Complete Acyclic Colorings GGTW 2019, Ghent, Belgium attler 2 , - - PowerPoint PPT Presentation

complete acyclic colorings
SMART_READER_LITE
LIVE PREVIEW

Complete Acyclic Colorings GGTW 2019, Ghent, Belgium attler 2 , - - PowerPoint PPT Presentation

Complete Acyclic Colorings GGTW 2019, Ghent, Belgium attler 2 , Kolja Knauer 3 and Stefan Felsner 1 , Winfried Hochst Raphael Steiner 1 1 Technische Universit at Berlin 2 FernUniversit at in Hagen 3 Universit e Aix-Marseille 11-14


slide-1
SLIDE 1

Complete Acyclic Colorings

GGTW 2019, Ghent, Belgium Stefan Felsner1, Winfried Hochst¨ attler2, Kolja Knauer3 and Raphael Steiner1

1Technische Universit¨

at Berlin

2FernUniversit¨

at in Hagen

3Universit´

e Aix-Marseille

11-14 August 2019

slide-2
SLIDE 2

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Arboreal and Acyclic Colorings

An arboreal coloring of a graph G is a partition of the vertex set into subsets inducing forests. It is complete if there is a cycle in the merge of any two color classes.

Raphael Steiner Complete Acyclic Colorings

slide-3
SLIDE 3

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Arboreal and Acyclic Colorings

An arboreal coloring of a graph G is a partition of the vertex set into subsets inducing forests. It is complete if there is a cycle in the merge of any two color classes. Vertex arboricity va(G) Minimum number of colors in arboreal coloring va(G) = 2 A-vertex arboricity ava(G) Maximum number of colors in complete arboreal coloring ava(G) = 4

Raphael Steiner Complete Acyclic Colorings

slide-4
SLIDE 4

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Arboreal and Acyclic Colorings

An acyclic coloring of a digraph D is a partition of the vertex set into subsets inducing acyclic digraphs. It is complete if there is a directed cycle in the merge of any two color classes. Dichromatic number χ(D) Minimum number of colors in acyclic coloring

  • χ(D) = 2

Adichromatic number adi(D) Maximum number of colors in complete acyclic coloring adi(D) = 3

Raphael Steiner Complete Acyclic Colorings

slide-5
SLIDE 5

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Complete Bipartite Graphs

va(Kn,n) = 2

Raphael Steiner Complete Acyclic Colorings

slide-6
SLIDE 6

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Complete Bipartite Graphs

ava(Kn,n) = n

Raphael Steiner Complete Acyclic Colorings

slide-7
SLIDE 7

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Complete Bipartite Graphs

ava(Kn,n) = n

Raphael Steiner Complete Acyclic Colorings

slide-8
SLIDE 8

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Subgraphs

Raphael Steiner Complete Acyclic Colorings

slide-9
SLIDE 9

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Subgraphs

ava(G) = 2 ava(G ′) = 3

Raphael Steiner Complete Acyclic Colorings

slide-10
SLIDE 10

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Subgraphs

ava(G) = 2 ava(G ′) = 3 Lemma If G ′ is an induced subgraph of G, then ava(G ′) ≤ ava(G).

Raphael Steiner Complete Acyclic Colorings

slide-11
SLIDE 11

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Subgraphs

ava(G) = 2 ava(G ′) = 3 Lemma If G ′ is an induced subgraph of G, then ava(G ′) ≤ ava(G).

Raphael Steiner Complete Acyclic Colorings

slide-12
SLIDE 12

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Subgraphs

ava(G) = 2 ava(G ′) = 3 Lemma If G ′ is an induced subgraph of G, then ava(G ′) ≤ ava(G). ava(G ′) = 3

Raphael Steiner Complete Acyclic Colorings

slide-13
SLIDE 13

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Subgraphs

ava(G) = 2 ava(G ′) = 3 Lemma If G ′ is an induced subgraph of G, then ava(G ′) ≤ ava(G). ava(G ′) = 3

Raphael Steiner Complete Acyclic Colorings

slide-14
SLIDE 14

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Subgraphs

ava(G) = 2 ava(G ′) = 3 Lemma If G ′ is an induced subgraph of G, then ava(G ′) ≤ ava(G). ava(G ′) = 3

Raphael Steiner Complete Acyclic Colorings

slide-15
SLIDE 15

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Subgraphs

ava(G) = 2 ava(G ′) = 3 Lemma If G ′ is an induced subgraph of G, then ava(G ′) ≤ ava(G). ava(G ′) = 3 ava(G) ≥ 3

Raphael Steiner Complete Acyclic Colorings

slide-16
SLIDE 16

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Subgraphs

ava(G) = 2 ava(G ′) = 3 Lemma If G ′ is an induced subgraph of G, then ava(G ′) ≤ ava(G). Lemma If D′ is an induced subdigraph of D, then adi(D′) ≤ adi(D).

Raphael Steiner Complete Acyclic Colorings

slide-17
SLIDE 17

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Induced Minors and Subdivisions

Lemma If e is a simple edge, then ava(G/e) ≤ ava(G).

Raphael Steiner Complete Acyclic Colorings

slide-18
SLIDE 18

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Induced Minors and Subdivisions

Lemma If e is a simple edge, then ava(G/e) ≤ ava(G).

e

Raphael Steiner Complete Acyclic Colorings

slide-19
SLIDE 19

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Induced Minors and Subdivisions

Lemma If e is a simple edge, then ava(G/e) ≤ ava(G).

e

Raphael Steiner Complete Acyclic Colorings

slide-20
SLIDE 20

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Induced Minors and Subdivisions

Lemma If e is a simple edge, then ava(G/e) ≤ ava(G).

e

Raphael Steiner Complete Acyclic Colorings

slide-21
SLIDE 21

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Induced Minors and Subdivisions

Lemma If e is a simple edge, then ava(G/e) ≤ ava(G).

e

Raphael Steiner Complete Acyclic Colorings

slide-22
SLIDE 22

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Induced Minors and Subdivisions

Lemma If e is a simple edge, then ava(G/e) ≤ ava(G).

e

Raphael Steiner Complete Acyclic Colorings

slide-23
SLIDE 23

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Induced Minors and Subdivisions

Corollary If H is an induced minor of G, then ava(H) ≤ ava(G). H G

Raphael Steiner Complete Acyclic Colorings

slide-24
SLIDE 24

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Relation to Feedback Vertex Sets

Definition A feedback vertex set of a graph (digraph) is a vertex set whose deletion yields a forest (acyclic digraph).

Raphael Steiner Complete Acyclic Colorings

slide-25
SLIDE 25

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Relation to Feedback Vertex Sets

Definition A feedback vertex set of a graph (digraph) is a vertex set whose deletion yields a forest (acyclic digraph). Proposition ava(G) ≤ fv(G) + 1 for any graph G. adi(D) ≤ fv(D) + 1 for any digraph D.

Raphael Steiner Complete Acyclic Colorings

slide-26
SLIDE 26

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Relation to Feedback Vertex Sets

Definition A feedback vertex set of a graph (digraph) is a vertex set whose deletion yields a forest (acyclic digraph). Proposition ava(G) ≤ fv(G) + 1 for any graph G. adi(D) ≤ fv(D) + 1 for any digraph D. Proof. In a complete arboreal/acyclic coloring, at most one colour class is disjoint from a feedback vertex set.

Raphael Steiner Complete Acyclic Colorings

slide-27
SLIDE 27

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Relations between the Parameters

Theorem (Felsner, Hochst¨ attler, Knauer, S. ’19) ∃ Multi-graphs with bounded ava and unbounded fv. ∃ Simple digraphs with bounded adi and unbounded fv. For simple graphs, there is f such that fv(G) ≤ f (ava(G)). For simple graphs, ava(G) ∼ maxD adi(D).

Raphael Steiner Complete Acyclic Colorings

slide-28
SLIDE 28

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Relations between the Parameters

Theorem (Felsner, Hochst¨ attler, Knauer, S. ’19) Let G be a non-trivial minor-closed class of simple graphs. There is f such that for D orientation of G ∈ G: fv(D) ≤ f (adi(D)). There is f (k) = O(k2 log k) such that for all G ∈ G: fv(G) ≤ f (ava(G)).

Raphael Steiner Complete Acyclic Colorings

slide-29
SLIDE 29

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Degeneracy vs. ava

Theorem There is f such that for all simple graphs G: deg(G) ≤ f (ava(G)).

Raphael Steiner Complete Acyclic Colorings

slide-30
SLIDE 30

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Degeneracy vs. ava

Theorem There is f such that for all simple graphs G: deg(G) ≤ f (ava(G)). Theorem (K¨ uhn and Osthus, 2004) For s ≥ 1 and every graph H there is d(s, H) ≥ 1 such that every G with δ(G) ≥ d(s, H) contains Ks,s as a subgraph or an induced subdivision of H.

Raphael Steiner Complete Acyclic Colorings

slide-31
SLIDE 31

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Degeneracy vs. ava

Theorem There is f such that for all simple graphs G: deg(G) ≤ f (ava(G)). Proof. If deg(G) ≥ d(s, Ks,s), then ava(G) ≥ s.

Raphael Steiner Complete Acyclic Colorings

slide-32
SLIDE 32

Complete Colorings Graph Operations Upper Bounds Lower Bounds

fv(G) ≤ f (ava(G))

Proof by contradiction: Assume ∃ sequence G1, G2, G3, . . . such that fv(Gi) → ∞ and ava(Gi) bounded.

Raphael Steiner Complete Acyclic Colorings

slide-33
SLIDE 33

Complete Colorings Graph Operations Upper Bounds Lower Bounds

fv(G) ≤ f (ava(G))

Proof by contradiction: Assume ∃ sequence G1, G2, G3, . . . such that fv(Gi) → ∞ and ava(Gi) bounded. Theorem (Erd˝

  • s and P´
  • sa ’65)

There is f (k) = O(k log k) such that for all graphs: cp(G) ≤ fv(G) ≤ f (cp(G)).

Raphael Steiner Complete Acyclic Colorings

slide-34
SLIDE 34

Complete Colorings Graph Operations Upper Bounds Lower Bounds

fv(G) ≤ f (ava(G))

Proof by contradiction: Assume ∃ sequence G1, G2, G3, . . . such that fv(Gi) → ∞ and ava(Gi) bounded. Theorem (Erd˝

  • s and P´
  • sa ’65)

There is f (k) = O(k log k) such that for all graphs: cp(G) ≤ fv(G) ≤ f (cp(G)). Therefore: cp(Gi) → ∞, and deg(Gi) ≤ d.

Raphael Steiner Complete Acyclic Colorings

slide-35
SLIDE 35

Complete Colorings Graph Operations Upper Bounds Lower Bounds

fv(G) ≤ f (ava(G))

Raphael Steiner Complete Acyclic Colorings

slide-36
SLIDE 36

Complete Colorings Graph Operations Upper Bounds Lower Bounds

fv(G) ≤ f (ava(G))

Raphael Steiner Complete Acyclic Colorings

slide-37
SLIDE 37

Complete Colorings Graph Operations Upper Bounds Lower Bounds

fv(G) ≤ f (ava(G))

Raphael Steiner Complete Acyclic Colorings

slide-38
SLIDE 38

Complete Colorings Graph Operations Upper Bounds Lower Bounds

fv(G) ≤ f (ava(G))

Raphael Steiner Complete Acyclic Colorings

slide-39
SLIDE 39

Complete Colorings Graph Operations Upper Bounds Lower Bounds

fv(G) ≤ f (ava(G))

Raphael Steiner Complete Acyclic Colorings

slide-40
SLIDE 40

Complete Colorings Graph Operations Upper Bounds Lower Bounds

fv(G) ≤ f (ava(G))

Raphael Steiner Complete Acyclic Colorings

slide-41
SLIDE 41

Complete Colorings Graph Operations Upper Bounds Lower Bounds

fv(G) ≤ f (ava(G))

Raphael Steiner Complete Acyclic Colorings

slide-42
SLIDE 42

Complete Colorings Graph Operations Upper Bounds Lower Bounds

fv(G) ≤ f (ava(G))

Raphael Steiner Complete Acyclic Colorings

slide-43
SLIDE 43

Complete Colorings Graph Operations Upper Bounds Lower Bounds

fv(G) ≤ f (ava(G))

Raphael Steiner Complete Acyclic Colorings

slide-44
SLIDE 44

Complete Colorings Graph Operations Upper Bounds Lower Bounds

fv(G) ≤ f (ava(G))

Raphael Steiner Complete Acyclic Colorings

slide-45
SLIDE 45

Complete Colorings Graph Operations Upper Bounds Lower Bounds

fv(G) ≤ f (ava(G))

Raphael Steiner Complete Acyclic Colorings

slide-46
SLIDE 46

Complete Colorings Graph Operations Upper Bounds Lower Bounds

The End.

Thank you.

Raphael Steiner Complete Acyclic Colorings

slide-47
SLIDE 47

Complete Colorings Graph Operations Upper Bounds Lower Bounds

fv(G) ≤ f (ava(G))

k: Number of short cycles. L: Maximum length of short cycle. d: Upper bound for degeneracy. N: Number of vertices in short cycles. k 2

  • ≤ Number of edges in induced subgraph ≤ dN ≤ dL · k

Raphael Steiner Complete Acyclic Colorings

slide-48
SLIDE 48

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Multigraphs

ava = 2, fv = n

Raphael Steiner Complete Acyclic Colorings

slide-49
SLIDE 49

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Simple digraphs

n = 3, k = 4

Raphael Steiner Complete Acyclic Colorings

slide-50
SLIDE 50

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Simple digraphs

adi ≤ k, fv = n

Raphael Steiner Complete Acyclic Colorings

slide-51
SLIDE 51

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Relationship of ava and adi

Raphael Steiner Complete Acyclic Colorings

slide-52
SLIDE 52

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Relationship of ava and adi adi(D) ≤ fv(D) + 1 ≤ fv(G) + 1 ≤ f (ava(G)) + 1.

Raphael Steiner Complete Acyclic Colorings

slide-53
SLIDE 53

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Relationship of ava and adi max

D adi(D) ≤ g(ava(G)).

Raphael Steiner Complete Acyclic Colorings

slide-54
SLIDE 54

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Relationship of ava and adi ava(G) ≤ h(max

D adi(D)))?

Raphael Steiner Complete Acyclic Colorings

slide-55
SLIDE 55

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Relationship of ava and adi

Raphael Steiner Complete Acyclic Colorings

slide-56
SLIDE 56

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Relationship of ava and adi

Raphael Steiner Complete Acyclic Colorings

slide-57
SLIDE 57

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Relationship of ava and adi

1 2 6 5 4 3

Raphael Steiner Complete Acyclic Colorings

slide-58
SLIDE 58

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Relationship of ava and adi

1 2 6 5 4 3

Raphael Steiner Complete Acyclic Colorings

slide-59
SLIDE 59

Complete Colorings Graph Operations Upper Bounds Lower Bounds

Relationship of ava and adi

1 2 6 5 4 3

Raphael Steiner Complete Acyclic Colorings