Proof Flashcards

1
Q

in any graph, nb of odd dergee vertices is even

A

Handshake lemma

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

simple graph G contains no odd length closed walk => G bipartite

A
  • suppose G connected
  • AUB = V
    -AinterB = vide
    -e = uw
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

G graph, e cut-edge; no cycle contains e

A

contradiction

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

G simple graph, deg(v)>=2 for all v€V, G contains a cycle

A

P maximum length path

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Cayley’s Theorem

A

p: T->C prüfer code functIon
show bijectivity

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

G graph n vertices k edges, comp(G)>=n-k

A

induction on k

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

G connected on n vertices, |E(G)|>=n-1

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

G a tree, |V(G)| = |E(G)|+1

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

every closed walk of odd length contains an odd cycle

A

exists repetition

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Euler theo

A

=>) contradiction
<=) induction on |E(G)|

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

element u,v de A^k = nb of walks from u to v of k length

A

statement : sum of walks of length k-1 form u to w for all w€N(v) = sum of walks of length k from u to v

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

M maximal, M’ maximum |M|>= |M’|/2

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Hall’s Mariage theorem

A

=>) f: S -> N(S) matching function
prove injectivity
<=) induction on|A|

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

D digraph, deg(v)>=1 for all v€E => contains a cycle

A

maximum path

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

every tournament has an Hamiltonian path

A

induction on |V(T)|

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

if H1 and H2 2 strongly connected components then H1 and H2 do not share any vertex

A

contradiction

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

H1 and H2 strongly connected components of digraph D, all arcs between H1 and H2 are in the same direction

18
Q

a digraph D is acyclic iff there’s an ordering pn the vertices v1 … vn such that for all i,j = 1…n, i<j, there’s no arc vjvi

A

<=) contradiction
=>) induction on |V(D)|

19
Q

A tournament T has an Hamiltonian cycle iff T is strongly connected

A

=>) direct
<=) contradiction

20
Q

H1, H2 blocks, show that |V(H1) ∩V(H2)|<= 1

A

Contradiction
Maximality => ∃cut vertex
2 cases

21
Q

∀v1,v2∈G, ∃k internally disjoints paths from v1 to v2 => G is k connected

A

By contradiction

22
Q

G a graph on n>=3 vertices
G 2-connected IFF ∀u,v∈G there exists a cycle containing u and v

A

=>]
show a stronger statement : ∀e,f∈E(G), there is a cycle containing both
induction on k (length of shortest path from e to f)
k=2 : adjacent

23
Q

G a simple graph
X(G) >= n/alpha(G)

A

contradiction
note : a color class is a inde set

24
Q

G a graph of maximum degree Δ then X(G)<= Δ+1

A

ordering + argument of greedy coloring (at most Δ in N(vi) )

25
G k-degenerate then X(G)<= k+1
induction on n
26
G k-critical then d(G)>=k-1
Rappel : k-critical := X(G)=K and ∀v X(G-v)
27
Show that for any graph G there is an ordering of the vertices for which the greedy algo uses exactly X(G) colors
Take a coloring using exactly X(G)
28
G simple graph on n vertices and delta max degree alpha(G) >= n/(delta+1)
* alpha(G)>= n/X(G) --> mean size of color class * X(G) <= delta +1
29
G triangle - free graph on n vertices X(G) <= 2 * racine(n)
delta max degree *delta <= racine(n) *delta>racine(n) N(v) only one color
30
X(G) + X(G barre) <= n+1
induction on n
31
G interval graph w(G) = X(G)
contradiction : X(G)>w(G) (we already know X(G)>=w(G))
32
X(G)=k then X(Gm)=k+1
* X(Gm)<=k+1 * X(Gm)< k+1 (contradiction of >=)
33
Somme(size(f)) = 2 |E| ∀f∈F(G)
edge : * boundary walk of 2 faces * twice in boundary walk of outside face
34
G a plane graph connected |V(G)|-|E(G)|+|F(G)| = 2
show for multigraphs * e is a loop * e is a // edge * e is neither (contracting)
35
G a simple connnected planar graph with at least 2 edges |E(G)|<= 3n - 6
size(f)>=3 ∀f∈F(G)
36
n a natural nb show that there exists a planar graph on n vertices and 3n-6 edges
constructive proof
37
G triangle-free planar graph on n vertices. What is the max amount of edges it can have ?
each face delimited by at least 4 edges
38
prove K3,3 not planar
max nb of edges of triangle free planar graph
39
G planar than G 5-colorable
induction on n n=1 v st deg(v)<=5 *if deg(v)<=4 : done * deg(v) =5 Gi,j := graph on vertices of colors i and j
40
G graph admitting a perfect matching M ∀subset U of V(G) : |odd(G\U)|<=|U|
every vertex of G\U not covered by M|G\U is paired with a vertex of U in M => inductive function