OPERATIONS ON GRAPHS INCREASING SOME GRAPH PARAMETERS Alexander - - PowerPoint PPT Presentation

operations on graphs increasing some graph parameters
SMART_READER_LITE
LIVE PREVIEW

OPERATIONS ON GRAPHS INCREASING SOME GRAPH PARAMETERS Alexander - - PowerPoint PPT Presentation

OPERATIONS ON GRAPHS INCREASING SOME GRAPH PARAMETERS Alexander Kelmans University of Puerto Rico Rutgers University May 25, 2014 1. Let G m n be the set of graphs with n vertices and m edges. Let Q be an operation on a graph such that G G


slide-1
SLIDE 1

OPERATIONS ON GRAPHS INCREASING SOME GRAPH PARAMETERS Alexander Kelmans

University of Puerto Rico Rutgers University May 25, 2014

slide-2
SLIDE 2
  • 1. Let Gm

n be the set of graphs with n vertices and m edges.

Let Q be an operation on a graph such that G ∈ Gm

n

⇒ Q(G) ∈ Gm

n .

slide-3
SLIDE 3
  • 1. Let Gm

n be the set of graphs with n vertices and m edges.

Let Q be an operation on a graph such that G ∈ Gm

n

⇒ Q(G) ∈ Gm

n .

  • 2. Let (Gm

n , ) be a quasi-poset. An operation Q is called

  • increasing (-decreasing) if

Q(G) G (resp., Q(G) G) for every G ∈ Gm

n .

slide-4
SLIDE 4
slide-5
SLIDE 5
slide-6
SLIDE 6
slide-7
SLIDE 7
  • 1. A graph G is called vertex comparable (A.K. 1970) if

N(x, G) \ x ⊆ N(y, G) \ y or N(y, G) \ y ⊆ N(x, G) \ x for every x, y ∈ V (G).

slide-8
SLIDE 8
  • 1. A graph G is called vertex comparable (A.K. 1970) if

N(x, G) \ x ⊆ N(y, G) \ y or N(y, G) \ y ⊆ N(x, G) \ x for every x, y ∈ V (G).

  • 2. A graph G is called threshold (V. Chv´

atal, P. Hammer 1973) if G has no induced , N or II.

slide-9
SLIDE 9
  • 1. A graph G is called vertex comparable (A.K. 1970) if

N(x, G) \ x ⊆ N(y, G) \ y or N(y, G) \ y ⊆ N(x, G) \ x for every x, y ∈ V (G).

  • 2. A graph G is called threshold (V. Chv´

atal, P. Hammer 1973) if G has no induced , N or II.

  • 3. Claim. G is vertex comparable if and only if G is threshold.
slide-10
SLIDE 10
  • 1. Let k, r, s be integers, k ≥ 0, and 0 ≤ r < s. Let F(k, r, s) be

the graph obtained from the complete graph Ks as follows:

  • fix in Ks a set A of r vertices and a ∈ A,
  • add to Ks a new vertex c and the set {cx : x ∈ A} of new

edges to obtain graph C(r, s), and

  • add to C(r, s) the set B of k new vertices and the set

{az : z ∈ B} of new edge to obtain graph F(k, r, s).

slide-11
SLIDE 11
  • 1. Let k, r, s be integers, k ≥ 0, and 0 ≤ r < s. Let F(k, r, s) be

the graph obtained from the complete graph Ks as follows:

  • fix in Ks a set A of r vertices and a ∈ A,
  • add to Ks a new vertex c and the set {cx : x ∈ A} of new

edges to obtain graph C(r, s), and

  • add to C(r, s) the set B of k new vertices and the set

{az : z ∈ B} of new edge to obtain graph F(k, r, s).

  • 2. Let Cm

n be the set of connected graphs with n vertices and m

edges. Claim. For every pair (n, m) of integers such that Cm

n = ∅

there exists a unique triple (k, r, s) of integers such that k ≥ 0, 0 ≤ r < s, and F(k, r, s) ∈ Cm

n .

We call F(k, r, s) = F m

n the extreme graph in Cm n .

slide-12
SLIDE 12
  • 1. Theorem (A.K. 1970). Let n and m be natural numbers and

n ≥ 3. (a1) If n − 1 ≤ m ≤ 2n − 4, then F m

n is the only threshold graph

with n vertices and m edges, i.e. Fm

n = {F m n }.

(a2) If m = 2n − 3, then F m

n is not the only threshold graph

with n vertices and m edges.

slide-13
SLIDE 13
  • 1. Theorem (A.K. 1970). Let n and m be natural numbers and

n ≥ 3. (a1) If n − 1 ≤ m ≤ 2n − 4, then F m

n is the only threshold graph

with n vertices and m edges, i.e. Fm

n = {F m n }.

(a2) If m = 2n − 3, then F m

n is not the only threshold graph

with n vertices and m edges.

  • 2. Theorem (A.K. 1970). Let G be a connected graph. Then

(a1) there exists a connected threshold graph F obtained from G by a series of ♦-operations, and so (a2) if the ♦-operation is -decreasing, then there exists a connected threshold graph F such that G F.

slide-14
SLIDE 14
  • 1. Theorem (A.K. 1970). Let the ♦-operation be -decreasing,

F a graph with r edges and at most n vertices, and rP1 and Sr are a matching and a star with r edges. Then Kn−E(rP1) Kn−E(S2+(r−2)P1) Kn−E(F) Kn−E(Sr), where r ≥ 2, r ≤ n/2 for the second , and r ≤ n − 1 for the last .

slide-15
SLIDE 15
  • 1. Theorem (A.K. 1970). Let the ♦-operation be -decreasing,

F a graph with r edges and at most n vertices, and rP1 and Sr are a matching and a star with r edges. Then Kn−E(rP1) Kn−E(S2+(r−2)P1) Kn−E(F) Kn−E(Sr), where r ≥ 2, r ≤ n/2 for the second , and r ≤ n − 1 for the last .

  • 2. Theorem (A.K. 1970). Let the ♦-operation be -decreasing,

G ∈ Cm

n , and ¨

G be obtained from G by adding m − n + 1 isolated vertices. Then for every spanning tree T of G there exists a tree D with m edges such that T is a subgraph of D and D ¨ G.

slide-16
SLIDE 16

Theorem (A.K. 1970) Let G ∈ Cm

n , Pn an n-vertex path, Cn an n-vertex cycle, and

G ∈ F m

n . Suppose that the ♦-operation is -decreasing.

(a1) If m = n − 1 ≥ 3 and G = Pn, then Pn ≻ G ≻ F n−1

n

. (a2) If m = n ≥ 3 and G = Cn, then Cn ≻ G ≻ F n

n .

(a3) If n ≥ 4 and m = n + 1, then G ≻ F n+1

n

. (a4) If n ≥ 5 and n + 2 ≤ m ≤ 2n − 4, then G ≻ F m

n .

slide-17
SLIDE 17
slide-18
SLIDE 18
  • 1. Suppose that every edge of a graph G has probability p to exist

and the edge events are independent.

slide-19
SLIDE 19
  • 1. Suppose that every edge of a graph G has probability p to exist

and the edge events are independent.

  • 2. Let R(p, G) be the probability that the random graph (G, p)

is connected. We call R(p, G) the the reliability of G.

slide-20
SLIDE 20
  • 1. Suppose that every edge of a graph G has probability p to exist

and the edge events are independent.

  • 2. Let R(p, G) be the probability that the random graph (G, p)

is connected. We call R(p, G) the the reliability of G.

  • 3. Then

R(p, G) =

  • { as(G) ps qm−s : s ∈ {n − 1, . . . , m} },

where n and m are the numbers of vertices and edges of G, q = 1 − p, and as(G) is the number of connected spanning subgraphs of G with s edges, and so an−1 = t(G) is the number of spanning trees of G.

slide-21
SLIDE 21
  • 1. Problem

Find a most reliable graph M(p) with n vertices and m edges, i.e. such that R(p, M(p)) = max { R(p, G) : G ∈ Gm

n }.

slide-22
SLIDE 22
  • 1. Problem

Find a most reliable graph M(p) with n vertices and m edges, i.e. such that R(p, M(p)) = max { R(p, G) : G ∈ Gm

n }.

  • 2. Problem

Find a least reliable connected graph L(p) with n vertices and m edges, i.e. such that R(p, L(p)) = min { R(p, G) : G ∈ Cm

n }.

slide-23
SLIDE 23
  • 1. Problem

Find a most reliable graph M(p) with n vertices and m edges, i.e. such that R(p, M(p)) = max { R(p, G) : G ∈ Gm

n }.

  • 2. Problem

Find a least reliable connected graph L(p) with n vertices and m edges, i.e. such that R(p, L(p)) = min { R(p, G) : G ∈ Cm

n }.

  • 3. Problem

Find a graph Am

n ∈ Gm n with the maximum number

as(G) of connected spanning subgraps with s edges: as(F m

n ) = max { as(G) : G ∈ Gm n }.

slide-24
SLIDE 24
  • 1. Problem

Find a most reliable graph M(p) with n vertices and m edges, i.e. such that R(p, M(p)) = max { R(p, G) : G ∈ Gm

n }.

  • 2. Problem

Find a least reliable connected graph L(p) with n vertices and m edges, i.e. such that R(p, L(p)) = min { R(p, G) : G ∈ Cm

n }.

  • 3. Problem

Find a graph Am

n ∈ Gm n with the maximum number

as(G) of connected spanning subgraps with s edges: as(F m

n ) = max { as(G) : G ∈ Gm n }.

  • 4. Problem

Find a graph Bm

n

∈ Gm

n with the maximum number

  • f spanning trees, i.e. such that

t(Bm

n ) = max { t(G) : G ∈ Gm n }.

slide-25
SLIDE 25
  • 1. Poset (Gm

n , r):

G r F if R(p, G) ≥ R(p, F) for every p ∈ [0, 1].

slide-26
SLIDE 26
  • 1. Poset (Gm

n , r):

G r F if R(p, G) ≥ R(p, F) for every p ∈ [0, 1].

  • 2. Poset (Gm

n , a):

G a F if as(G) ≥ as(F) for s ∈ {n − 1, . . . , m}.

slide-27
SLIDE 27
  • 1. Poset (Gm

n , r):

G r F if R(p, G) ≥ R(p, F) for every p ∈ [0, 1].

  • 2. Poset (Gm

n , a):

G a F if as(G) ≥ as(F) for s ∈ {n − 1, . . . , m}.

  • 3. Poset (Gm

n , t):

G t F if t(G) ≥ t(F).

slide-28
SLIDE 28
  • 1. Poset (Gm

n , r):

G r F if R(p, G) ≥ R(p, F) for every p ∈ [0, 1].

  • 2. Poset (Gm

n , a):

G a F if as(G) ≥ as(F) for s ∈ {n − 1, . . . , m}.

  • 3. Poset (Gm

n , t):

G t F if t(G) ≥ t(F).

  • 4. Obviously,

a ⇒ r ⇒ t .

slide-29
SLIDE 29
  • 1. Poset (Gm

n , r):

G r F if R(p, G) ≥ R(p, F) for every p ∈ [0, 1].

  • 2. Poset (Gm

n , a):

G a F if as(G) ≥ as(F) for s ∈ {n − 1, . . . , m}.

  • 3. Poset (Gm

n , t):

G t F if t(G) ≥ t(F).

  • 4. Obviously,

a ⇒ r ⇒ t .

  • 5. Theorem (A.K. 1966)

Let ∈ {a, r, t}. Let G, G ′ ∈ Gm

n and G ′ = Hxy(G). Then G G ′.

slide-30
SLIDE 30
  • 1. Let L(λ, G) be the characteristic polynomial of the Laplacian

matrix of G.

slide-31
SLIDE 31
  • 1. Let L(λ, G) be the characteristic polynomial of the Laplacian

matrix of G.

  • 2. Poset (Gm

n , L):

G L F if L(λ, G) ≥ L(λ, F) for λ ≥ n.

slide-32
SLIDE 32
  • 1. Let L(λ, G) be the characteristic polynomial of the Laplacian

matrix of G.

  • 2. Poset (Gm

n , L):

G L F if L(λ, G) ≥ L(λ, F) for λ ≥ n.

  • 3. Poset (Gm

n , τ)):

G τ F if t(Kn+r − E(G)) ≥ t(Kn+r − E(F)) for integer r ≥ 0.

slide-33
SLIDE 33
  • 1. Let L(λ, G) be the characteristic polynomial of the Laplacian

matrix of G.

  • 2. Poset (Gm

n , L):

G L F if L(λ, G) ≥ L(λ, F) for λ ≥ n.

  • 3. Poset (Gm

n , τ)):

G τ F if t(Kn+r − E(G)) ≥ t(Kn+r − E(F)) for integer r ≥ 0.

  • 4. Claim (A.K. 1965). L

⇒ τ .

slide-34
SLIDE 34
  • 1. Let L(λ, G) be the characteristic polynomial of the Laplacian

matrix of G.

  • 2. Poset (Gm

n , L):

G L F if L(λ, G) ≥ L(λ, F) for λ ≥ n.

  • 3. Poset (Gm

n , τ)):

G τ F if t(Kn+r − E(G)) ≥ t(Kn+r − E(F)) for integer r ≥ 0.

  • 4. Claim (A.K. 1965). L

⇒ τ .

  • 5. Theorem (A.K. 1966)

Let G, G ′ ∈ Gm

n and G ′ = Hxy(G).

Then G L G ′, and so G τ G ′.

slide-35
SLIDE 35
  • 1. Theorem (A.K. 1970)

Let F be a forest, Cmp(F) the set of components of F, F(G) the set of spanning forests of G, and γ(F) = { v(C) : C ∈ Cmp(F) }. Then L(λ, G) = { (−1)s cs(G) λn−s : s ∈ {0, . . . , n − 1} }, where cs(G) = { γ(F) : F ∈ F(G), e(F) = s }.

slide-36
SLIDE 36
  • 1. Theorem (A.K. 1970)

Let F be a forest, Cmp(F) the set of components of F, F(G) the set of spanning forests of G, and γ(F) = { v(C) : C ∈ Cmp(F) }. Then L(λ, G) = { (−1)s cs(G) λn−s : s ∈ {0, . . . , n − 1} }, where cs(G) = { γ(F) : F ∈ F(G), e(F) = s }.

  • 2. Poset (Gm

n , c):

G c F if cs(G) ≥ cs(F) for every s ∈ {0, . . . , n − 1}.

slide-37
SLIDE 37
  • 1. Theorem (A.K. 1970)

Let F be a forest, Cmp(F) the set of components of F, F(G) the set of spanning forests of G, and γ(F) = { v(C) : C ∈ Cmp(F) }. Then L(λ, G) = { (−1)s cs(G) λn−s : s ∈ {0, . . . , n − 1} }, where cs(G) = { γ(F) : F ∈ F(G), e(F) = s }.

  • 2. Poset (Gm

n , c):

G c F if cs(G) ≥ cs(F) for every s ∈ {0, . . . , n − 1}.

  • 3. Theorem (A.K. 1995) Let G, G ′ ∈ Gm

n

and G ′ = Hxy(G). Then G L,c G ′.

slide-38
SLIDE 38
  • 1. Given a symmetric function σ on k variables and a graph F with

k components, let σ[F] = σ{ v(C) : C ∈ Cmp(F) }. For a graph G with n vertices, let ˜ cs(G) =

  • { σ[F] : F ∈ F(G), e(F) = s },

where σ is a symmetric function of n − s variables.

slide-39
SLIDE 39
  • 1. Given a symmetric function σ on k variables and a graph F with

k components, let σ[F] = σ{ v(C) : C ∈ Cmp(F) }. For a graph G with n vertices, let ˜ cs(G) =

  • { σ[F] : F ∈ F(G), e(F) = s },

where σ is a symmetric function of n − s variables.

  • 2. Theorem (A.K. 1995)

Let G, G ′ ∈ Gm

n

and G ′ = Hxy(G). Suppose that σ is a symmetric concave function. Then ˜ cs(G) ≥ ˜ cs(G ′).

slide-40
SLIDE 40
  • 1. Let A(λ, G) be the characteristic polynomial of the adjacency

matrix of G and α(G) the maximum eigenvalue of A(G).

slide-41
SLIDE 41
  • 1. Let A(λ, G) be the characteristic polynomial of the adjacency

matrix of G and α(G) the maximum eigenvalue of A(G).

  • 2. Poset (Gm

n , A):

G A F if A(λ, G) ≥ A(λ, F) for every λ ≥ α(F).

slide-42
SLIDE 42
  • 1. Let A(λ, G) be the characteristic polynomial of the adjacency

matrix of G and α(G) the maximum eigenvalue of A(G).

  • 2. Poset (Gm

n , A):

G A F if A(λ, G) ≥ A(λ, F) for every λ ≥ α(F).

  • 3. Theorem (A.K. 1992)

Let G, G ′ ∈ Gm

n

and G ′ = Hxy(G). Then G A G ′.

slide-43
SLIDE 43
  • 1. Poset (Gm

n , h):

G h F if hi(G) ≥ hi(F) for i ∈ {0, 1}, where h0(G) and h1(G) are the numbers of Hamiltonian cycles and paths in G.

slide-44
SLIDE 44
  • 1. Poset (Gm

n , h):

G h F if hi(G) ≥ hi(F) for i ∈ {0, 1}, where h0(G) and h1(G) are the numbers of Hamiltonian cycles and paths in G.

  • 2. Theorem (A.K. 1970)

Let G, G ′ ∈ Gm

n and G ′ = Hxy(G). Then

G h G ′.

slide-45
SLIDE 45
slide-46
SLIDE 46

Theorem (A.K. 1995) Let the graph Gb be obtained from a graph Ga by the operation on the above figure. Suppose that (h1) the two-pole xHy is symmetric and (h2) F has a path bBt such that v(A) ≤ v(B). Then Ga c Gb and v(A) < v(B) ⇒ Ga ≻≻c Gb.

slide-47
SLIDE 47
slide-48
SLIDE 48
  • 1. Let

Φ(λ, G) = λm−n L(λ, G) and λ(G) the maximum Laplacian eigenvalue of G.

slide-49
SLIDE 49
  • 1. Let

Φ(λ, G) = λm−n L(λ, G) and λ(G) the maximum Laplacian eigenvalue of G.

  • 2. Poset (Gm

n , φ):

G φ F if λ(G) ≤ λ(F) and Φ(λ, G) ≥ Φ(λ, F) for every λ ≥ λ(F).

slide-50
SLIDE 50
  • 1. Let

Φ(λ, G) = λm−n L(λ, G) and λ(G) the maximum Laplacian eigenvalue of G.

  • 2. Poset (Gm

n , φ):

G φ F if λ(G) ≤ λ(F) and Φ(λ, G) ≥ Φ(λ, F) for every λ ≥ λ(F).

  • 3. Clearly, φ

⇒ L.

slide-51
SLIDE 51
  • 1. Let

Φ(λ, G) = λm−n L(λ, G) and λ(G) the maximum Laplacian eigenvalue of G.

  • 2. Poset (Gm

n , φ):

G φ F if λ(G) ≤ λ(F) and Φ(λ, G) ≥ Φ(λ, F) for every λ ≥ λ(F).

  • 3. Clearly, φ

⇒ L.

  • 4. Theorem (A.K. 1970)

Let the graph Gb be obtained from a graph Ga by the operation

  • n the above figure. Then Ga φ Gb.
slide-52
SLIDE 52

≻: = ≻p

slide-53
SLIDE 53
  • 1. Let Dn(r) and Kn(r) denote the sets of n-vertex trees and

caterpillars of diameter r, and so Kn(r) ⊆ Dn(r).

slide-54
SLIDE 54
  • 1. Let Dn(r) and Kn(r) denote the sets of n-vertex trees and

caterpillars of diameter r, and so Kn(r) ⊆ Dn(r).

  • 2. Let Kn(r) be the n-vertex graph obtained from a disjoint path

P with r ≥ 2 edges and a star S by identifying a center vertex

  • f P and a center of S, and so Kn(r) ∈ Kn(r).

K = Kn(r), where v(K) = n and diam(K) = r

slide-55
SLIDE 55
  • 1. Theorem (A.K. 1970 and 1995, resp.)

Let r ≥ 3 and n ≥ r + 2. Then (a1) (Dn(3), φ,c) and (Dn(4), φ,c) are linear posets, (a2) for every D ∈ Dn(r) \ Kn(r) there exists Y ∈ Kn(r) such that D ≻≻φ,c Y , (a3) D ≻≻φ,c Kn(r) for every D ∈ Kn(r) \ {Kn(r)}, and therefore (from (a1) and (a2)) (a4) D ≻≻φ,c Kn(r) for every D ∈ Dn(r) \ {Kn(r)}.

slide-56
SLIDE 56
slide-57
SLIDE 57
  • 1. Let Ln(r) denote the sets of n-vertex trees having r leaves.
slide-58
SLIDE 58
  • 1. Let Ln(r) denote the sets of n-vertex trees having r leaves.
  • 2. Let Sn(r), r ≥ 3, be the set of n-vertex trees T such that T has

exactly one vertex of degree r and every other vertex in T has degree at most two, and so Sn(r) ⊆ Ln(r).

slide-59
SLIDE 59
  • 1. Let Ln(r) denote the sets of n-vertex trees having r leaves.
  • 2. Let Sn(r), r ≥ 3, be the set of n-vertex trees T such that T has

exactly one vertex of degree r and every other vertex in T has degree at most two, and so Sn(r) ⊆ Ln(r).

  • 3. Let Mn(r) be the tree T in S(r) obtained from a disjoint path P

and a star S by identifying an end-vertex of P with the center

  • f S.

M = Mn(r), where v(M) = n and lv(M) = r

slide-60
SLIDE 60

Let Ln(r) be the tree T in Sn(r) such that |e(P) − e(Q)| ≤ 1 for every two components P and Q of T − z, where z is the vertex

  • f degree r in T.

L = Ln(r), where v(L) = n and lv(L) = r

slide-61
SLIDE 61

Theorem (A.K. 1970 and 1995, resp.) Let r ≥ 3 and n ≥ r + 2. Then (a0) Ln(r) ≻≻φ,c Ln(r + 1) for every r ∈ {2, . . . , n − 2}, (a1) (Sn(r), φ,c) is a linear poset, (a2) Mn(r) ≻≻φ,c L for every L ∈ Sn(r) \ {Mn(r)}, (a3) for every L ∈ Ln(r) \ Sn(r) there exists Z ∈ Sn(r) such that L ≻≻φ,c Z, (a4) L ≻≻φ,c Ln(r) for every L ∈ Sn(r) \ {Ln(r)}, and therefore (a5) L ≻≻φ,c Ln(r) for every L ∈ Ln(r) \ {Ln(r)}, (a6) λ(Ln(r)) > λ(L) for every L ∈ Ln(r) \ {Ln(r)}, and (a7) If T is an n-vertex tree with the maximum degree r and T is not isomorphic to Mn(r), then Mn(r) ≻≻φ,c T.

slide-62
SLIDE 62
slide-63
SLIDE 63
slide-64
SLIDE 64

Theorem (A.K. 1995) Let G ∈ Cm

n , Pn an n-vertex path,

Cn an n-vertex cycle, and G = F m

n .

(a1) If m = n − 1 ≥ 3 and G = Pn, then Pn ≻L G ≻L F n−1

n

, cs(Pn) > cs(G) > cs(F n−1

n

) for every s ∈ {2, . . . , n − 2}, and cn−1(G) = cn−1(F n−1

n

) = n. (a2) If m = n ≥ 3 and G = Cn, then Cn ≻L G ≻L F n

n ,

cs(Cn) > cs(G) > cs(F n

n ) for every s ∈ {2, . . . , n − 2}, and

cn−1(G) ≥ cn−1(F n

n ).

(a3) If n ≥ 4 and m = n + 1, then G ≻L F n+1

n

, cs(G) > cs(F n+1

n

) for every s ∈ {2, . . . , n − 2}, and cn−1(G) ≥ cn−1(F n+1

n

).

slide-65
SLIDE 65

Theorem (A.K. 1995) Let G ∈ Cm

n and G = F m n .

(a1) If n ≥ 5 and n + 2 ≤ m ≤ 2n − 4, then G ≻L F m

n , cs(G) > cs(F m n ) for every s ∈ {2, . . . , n − 2}, and

cn−1(G) = cn−1(F m

n ).

(a2) If m = 2n − 3, then for every n ≥ 6 there exists G ∈ Cm

n

such that G c F m

n .

slide-66
SLIDE 66
slide-67
SLIDE 67
  • 1. Let M(x, G) be the matching polynomial of a graph G:

M(x, G) =

  • { (−1)r µr(G) xn−2r : r ∈ {0, . . . , ⌊n/2⌋} },

where µr(G) is the number of r-matchings in G.

slide-68
SLIDE 68
  • 1. Let M(x, G) be the matching polynomial of a graph G:

M(x, G) =

  • { (−1)r µr(G) xn−2r : r ∈ {0, . . . , ⌊n/2⌋} },

where µr(G) is the number of r-matchings in G.

  • 2. Claim.

The roots of M(x, G) are real numbers. Let ρ(G) be the largest root of M(x, G).

slide-69
SLIDE 69
  • 1. Let M(x, G) be the matching polynomial of a graph G:

M(x, G) =

  • { (−1)r µr(G) xn−2r : r ∈ {0, . . . , ⌊n/2⌋} },

where µr(G) is the number of r-matchings in G.

  • 2. Claim.

The roots of M(x, G) are real numbers. Let ρ(G) be the largest root of M(x, G).

  • 3. Poset (Gm

n , M):

G M F if M(x, G) ≥ M(x, F) for every x ≥ ρ(F).

slide-70
SLIDE 70
  • 1. Let M(x, G) be the matching polynomial of a graph G:

M(x, G) =

  • { (−1)r µr(G) xn−2r : r ∈ {0, . . . , ⌊n/2⌋} },

where µr(G) is the number of r-matchings in G.

  • 2. Claim.

The roots of M(x, G) are real numbers. Let ρ(G) be the largest root of M(x, G).

  • 3. Poset (Gm

n , M):

G M F if M(x, G) ≥ M(x, F) for every x ≥ ρ(F).

  • 4. Poset (Gm

n , µ):

G µ F if µr(G) ≥ µr(F) for every r ∈ {0, . . . , ⌊n/2⌋}.

slide-71
SLIDE 71
  • 1. Let I(x, G) be the independence polynomial of a graph G:

I(x, G) =

  • { (−1)s is(G) xs : s ∈ {0, . . . , n} },

where is(G) is the number of independent sets of size s in G.

slide-72
SLIDE 72
  • 1. Let I(x, G) be the independence polynomial of a graph G:

I(x, G) =

  • { (−1)s is(G) xs : s ∈ {0, . . . , n} },

where is(G) is the number of independent sets of size s in G.

  • 2. Claim.

I(x, G) has a real root and every real root is positive. Let r(G) be the smallest real root of I(x, G).

slide-73
SLIDE 73
  • 1. Let I(x, G) be the independence polynomial of a graph G:

I(x, G) =

  • { (−1)s is(G) xs : s ∈ {0, . . . , n} },

where is(G) is the number of independent sets of size s in G.

  • 2. Claim.

I(x, G) has a real root and every real root is positive. Let r(G) be the smallest real root of I(x, G).

  • 3. Poset (Gm

n , I):

G I F if I(x, G) ≥ I(x, F) for every x ∈ [0, r(F)].

slide-74
SLIDE 74
  • 1. Let λ be a positive integer and X(λ, G) be the number of proper

colorings of G with λ colors.

slide-75
SLIDE 75
  • 1. Let λ be a positive integer and X(λ, G) be the number of proper

colorings of G with λ colors.

  • 2. Claim.

X(λ, G) is a polynomial (called the chromatic polynomial of a graph G): X(λ, G) =

  • { (−1)n−i χi(G) λi : i ∈ {1, . . . , n} }.
slide-76
SLIDE 76
  • 1. Let λ be a positive integer and X(λ, G) be the number of proper

colorings of G with λ colors.

  • 2. Claim.

X(λ, G) is a polynomial (called the chromatic polynomial of a graph G): X(λ, G) =

  • { (−1)n−i χi(G) λi : i ∈ {1, . . . , n} }.
  • 3. Poset (Gm

n , χ):

G χ F if χi(G) ≥ χi(F) for every i ∈ {1, . . . , n}.

slide-77
SLIDE 77
  • 1. Theorem (A. Kelmans 1996)

Let G, G ′ ∈ Gm

n and G ′ = ♦xy(G). Then G µ G ′.

slide-78
SLIDE 78
  • 1. Theorem (A. Kelmans 1996)

Let G, G ′ ∈ Gm

n and G ′ = ♦xy(G). Then G µ G ′.

  • 2. Theorem

(P. Csikv´ ari, 2011) Let G, G ′ ∈ Gm

n and G ′ = ♦xy(G). Then

G M G ′, G χ G ′, and G I G ′.

slide-79
SLIDE 79
  • 1. Theorem (A. Kelmans 1996)

Let G, G ′ ∈ Gm

n and G ′ = ♦xy(G). Then G µ G ′.

  • 2. Theorem

(P. Csikv´ ari, 2011) Let G, G ′ ∈ Gm

n and G ′ = ♦xy(G). Then

G M G ′, G χ G ′, and G I G ′.

  • 3. Theorem.

Let G ∈ Cm

n . Then for every

∈ {r, a, τ, L, c, A, h, M, µ, χ, I} there exists a threshold graph F ∈ Cm

n such that G F.

If, in addition, m ≤ 2n − 4, then G F m

n .

slide-80
SLIDE 80

Operations on weighted graphs

slide-81
SLIDE 81

THANK YOU !

slide-82
SLIDE 82