robust hamiltonicity of line graphs and compatible euler ...sokoban.cn/gcgc2019/hewh.pdf · robust...
TRANSCRIPT
![Page 1: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/1.jpg)
ROBUST HAMILTONICITY OF LINE GRAPHS
AND
COMPATIBLE EULER TOURS IN EULERIAN
GRAPHS
Weihua He
Guangdong University of Technology, Guangzhou
Shaoguan, Jul. 6th, 2019
![Page 2: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/2.jpg)
ROBUST HAMILTONICITY
• If a graph G has property P, then how strongly does Gpossess P?(robustness of the property).
• For Hamiltonicity, two ways to measure the robustness:• Different Hamiltonian cycles or edge-disjoint Hamiltonian
cycles;• Resilience: compute the robustness in terms of the number
of edges one must delete from G locally or globally in orderto destroy the property P (similar to fault-tolerance).
![Page 3: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/3.jpg)
ROBUST HAMILTONICITY
• If a graph G has property P, then how strongly does Gpossess P?(robustness of the property).
• For Hamiltonicity, two ways to measure the robustness:• Different Hamiltonian cycles or edge-disjoint Hamiltonian
cycles;• Resilience: compute the robustness in terms of the number
of edges one must delete from G locally or globally in orderto destroy the property P (similar to fault-tolerance).
![Page 4: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/4.jpg)
ROBUST HAMILTONICITY OF DIRAC
GRAPHS
THEOREM (CUCKLER, KAHN, 2009)
Every Dirac graph contains at least n!(2+o(1))n Hamiltonian
cycles.
THEOREM (KRIVELEVICH, LEE, SUDAKOV, 2016)
There exists a positive constant C such that for p ≥ C log nn and a
graph G on n vertices of minimum degree at least n2 , the
random subgraph Gp is a.a.s. Hamiltonian.
• Gp: the probability space of graphs obtained by takingevery edge of G independently with probability p.
![Page 5: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/5.jpg)
HAMILTONICITY OF LINE GRAPHS
Line graph:
THEOREM (HARARY AND NASH-WILLIAMS, 1965)
Let G be a graph not a star. Then L(G) is Hamiltonian if andonly if G has a dominating closed trail.
![Page 6: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/6.jpg)
HAMILTONICITY OF LINE GRAPHS
CONJECTURE (THOMASSEN, 1986)
Every 4-connected line graph is Hamiltonian.
CONJECTURE (MATTHEWS AND SUMNER, 1984)
Every 4-connected claw-free graph is Hamiltonian.
THEOREM (RYJÁCEK, 1997)
Let G be a claw-free graph. Then1 the closure cl(G) is well-defined.2 cl(G) is the line graph of a triangle-free graph.3 c(G) = c(cl(G)).
![Page 7: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/7.jpg)
MOTIVATIONS
If L(G) is Hamiltonian, then
• can we remove some edges in L(G) such that the resultinggraph is Hamiltonian?
• how many edge-disjoint Hamiltonian cycles in L(G)?
![Page 8: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/8.jpg)
SL(G)
DEFINITION OF SL(G)
• it’s a spanning subgraph of L(G),
• every vertex e = uv is adjacent to at leastmin{dG(u)− 1, d 3
4 dG(u) + 12e} vertices of EG(u) and to at least
min{dG(v)− 1, d 34 dG(v) + 1
2e} vertices of EG(v).
• SL(G) denote this graph family.
![Page 9: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/9.jpg)
HAMILTONIAN CYCLES IN SL(G)
THEOREM (BAI, HE, LI, YANG, 2016)
If L(G) is Hamiltonian, then every SL(G) ∈ SL(G) is alsoHamiltonian.
![Page 10: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/10.jpg)
HAMILTONIAN CYCLE DECOMPOSITION
Hamiltonian cycle decomposition:
• if G is even regular and E(G) is the edge-disjoint union ofHamiltonian cycles;
• if G is odd regualr and E(G) is the edge-disjoint union ofHamiltonian cycles and a 1-factor.
THEOREM (JAEGER, 1983)
If G has a Hamiltonian cycle decomposition into twoHamiltonian cycles, then L(G) has a Hamiltonian cycledecomposition into three Hamiltonian cycles.
![Page 11: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/11.jpg)
BERMOND’S CONJECTURE
CONJECTURE (BERMOND, 1990)
If G has a Hamiltonian cycle decomposition, then L(G) also hasa Hamiltonian cycle decomposition.
THEOREM (MUTHUSAMY, PAULRAJA, 1995)
If G has a Hamiltonian decomposition into an even number ofHamiltonian cycles, then L(G) admits a Hamiltonian cycledecomposition.
THEOREM (MUTHUSAMY, PAULRAJA, 1995)
If G has a Hamiltonian decomposition into an odd number ofHamiltonian cycles, then the edge set of L(G) can bepartitioned into Hamiltonian cycles and a 2-factor.
![Page 12: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/12.jpg)
BERMOND’S CONJECTURE
CONJECTURE (BERMOND, 1990)
If G has a Hamiltonian cycle decomposition, then L(G) also hasa Hamiltonian cycle decomposition.
THEOREM (MUTHUSAMY, PAULRAJA, 1995)
If G has a Hamiltonian decomposition into an even number ofHamiltonian cycles, then L(G) admits a Hamiltonian cycledecomposition.
THEOREM (MUTHUSAMY, PAULRAJA, 1995)
If G has a Hamiltonian decomposition into an odd number ofHamiltonian cycles, then the edge set of L(G) can bepartitioned into Hamiltonian cycles and a 2-factor.
![Page 13: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/13.jpg)
BERMOND’S CONJECTURE
THEOREM (PIKE, 1995)
If G is a 5-regular Hamiltonian decomposable graph, then L(G)admits a Hamiltonian cycle decomposition.
THEOREM (VERRALL, 1998)
L(K2n) has a Hamiltonian cycle decomposition.
THEOREM (PIKE, 1995)
If G is a bipartite (2k + 1)-regular graph that has a Hamiltoniancycle decomposition, then L(G) admits a Hamiltonian cycledecomposition.
![Page 14: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/14.jpg)
COMPATIBLE EULER TOURS
Compatible Euler tours: two Euler tours of a graph G arecompatible if no pair of adjacent edges of G are consecutive inboth tours.
THEOREM (JACKSON, 1991)
Let G be a 3-connected Eulerian graph. Then G has threepairwise compatible Euler tours.
COROLLARY
Let G be a 3-connected, 4-regular graph. Then L(G) can bedecomposed into three Hamiltonian cycles.
![Page 15: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/15.jpg)
COMPATIBLE EULER TOURS
Compatible Euler tours: two Euler tours of a graph G arecompatible if no pair of adjacent edges of G are consecutive inboth tours.
THEOREM (JACKSON, 1991)
Let G be a 3-connected Eulerian graph. Then G has threepairwise compatible Euler tours.
COROLLARY
Let G be a 3-connected, 4-regular graph. Then L(G) can bedecomposed into three Hamiltonian cycles.
![Page 16: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/16.jpg)
JACKSON’S CONJECTURE
CONJECTURE (JACKSON, 1987)
If G is an Eulerian graph with δ(G) ≥ 2k, then G has a set of2k − 2 pairwise compatible Euler tours.
CONJECTURE (JACKSON 1991)
Let G be an Eulerian graph with δ(G) ≥ 2k. Then G has a setof 2k − 1 pairwise compatible Euler tours if and only if
(2k − 1)(ω(GT )− 1) ≤ (2k − 2)|T |
for all sets of disjoint transitions T in G.
CONJECTURE (KOTZIG, 1979)
K2k+1 has (2k − 1) pairwise compatible Euler tours.
![Page 17: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/17.jpg)
JACKSON’S CONJECTURE
CONJECTURE (JACKSON, 1987)
If G is an Eulerian graph with δ(G) ≥ 2k, then G has a set of2k − 2 pairwise compatible Euler tours.
CONJECTURE (JACKSON 1991)
Let G be an Eulerian graph with δ(G) ≥ 2k. Then G has a setof 2k − 1 pairwise compatible Euler tours if and only if
(2k − 1)(ω(GT )− 1) ≤ (2k − 2)|T |
for all sets of disjoint transitions T in G.
CONJECTURE (KOTZIG, 1979)
K2k+1 has (2k − 1) pairwise compatible Euler tours.
![Page 18: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/18.jpg)
JACKSON’S CONJECTURE
CONJECTURE (JACKSON, 1987)
If G is an Eulerian graph with δ(G) ≥ 2k, then G has a set of2k − 2 pairwise compatible Euler tours.
CONJECTURE (JACKSON 1991)
Let G be an Eulerian graph with δ(G) ≥ 2k. Then G has a setof 2k − 1 pairwise compatible Euler tours if and only if
(2k − 1)(ω(GT )− 1) ≤ (2k − 2)|T |
for all sets of disjoint transitions T in G.
CONJECTURE (KOTZIG, 1979)
K2k+1 has (2k − 1) pairwise compatible Euler tours.
![Page 19: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/19.jpg)
JACKSON’S CONJECTURE
THEOREM (HEINRICH, VERRALL, 1997)
K2k+1 has (2k − 1) pairwise compatible Euler tours.
THEOREM (JACKSON, WORMALD, 1990)
If G is an Eulerian graph with δ(G) ≥ 2k, then G has a set of kpairwise compatible Euler tours.
THEOREM (FLEISCHNER, HILTON, JACKSON, 1990)
Let G be a connected Eulerian graph other than a cycle andsuch that the blocks of G are the cycles of G. If δ(G) ≥ 2k, thenG has 2k − 2 pairwise compatible Euler tours.
![Page 20: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/20.jpg)
EDGE-DISJOINT HAMILTONIAN CYCLES
IN L(G)
THEOREM (BAI, HE, LI, YANG, 2015)
If a graph G is 4k-edge-connected, then there are kedge-disjoint Hamiltonian cycles in L(G).
THEOREM (BAI, HE, LI, YANG, 2016)
If L(G) is Hamiltonian, then there exist at leastmax{1, b1
8δ(G)− 34c} edge-disjoint Hamiltonian cycles in L(G).
![Page 21: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/21.jpg)
EDGE-DISJOINT HAMILTONIAN CYCLES
IN L(G)
THEOREM (BAI, HE, LI, YANG, 2015)
If a graph G is 4k-edge-connected, then there are kedge-disjoint Hamiltonian cycles in L(G).
THEOREM (BAI, HE, LI, YANG, 2016)
If L(G) is Hamiltonian, then there exist at leastmax{1, b1
8δ(G)− 34c} edge-disjoint Hamiltonian cycles in L(G).
![Page 22: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/22.jpg)
ROBUST HAMILTON-CONNECTEDNESS
OF L(G)
THEOREM (HE,YANG,2017)
Given a graph G, if L(G) is Hamiltonian-connected, then everySL(G) ∈ SL(G) is also Hamiltonian-connected.
COROLLARY
If L(G) is Hamiltonian-connected, then there exist at leastmax{1, b1
8δ(G)c − 1} edge-disjoint Hamiltonian paths betweenany two vertices in L(G).
![Page 23: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/23.jpg)
FURTHER RESEARCHES
• More edges can be deleted to maintain the Hamiltonicity ofline graphs?
• More edge-disjoint Hamiltonian cycles in a Hamiltonian linegraph?
• For digraphs?
![Page 24: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/24.jpg)
FURTHER RESEARCHES
• More edges can be deleted to maintain the Hamiltonicity ofline graphs?
• More edge-disjoint Hamiltonian cycles in a Hamiltonian linegraph?
• For digraphs?
![Page 25: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/25.jpg)
DIGRAPHS
CONJECTURE (FLEISCHNER, JACKSON, 1990)
If D is an Eulerian digraph with δ(D) ≥ 2k, then G has a set ofk − 2 pairwise compatible Euler tours.
THEOREM (FLEISCHNER, JACKSON, 1990)
If D is an Eulerian digraph with δ(D) ≥ 2k, then G has a set ofb k
2c pairwise compatible Euler tours.
• A Euler tour in a digraph D ⇔ A Hamiltonian cycle in theline digraph L(D).
![Page 26: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/26.jpg)
DIGRAPHS
CONJECTURE (FLEISCHNER, JACKSON, 1990)
If D is an Eulerian digraph with δ(D) ≥ 2k, then G has a set ofk − 2 pairwise compatible Euler tours.
THEOREM (FLEISCHNER, JACKSON, 1990)
If D is an Eulerian digraph with δ(D) ≥ 2k, then G has a set ofb k
2c pairwise compatible Euler tours.
• A Euler tour in a digraph D ⇔ A Hamiltonian cycle in theline digraph L(D).
![Page 27: Robust Hamiltonicity of line graphs and compatible Euler ...sokoban.cn/gcgc2019/HeWH.pdf · ROBUST HAMILTONICITY OF LINE GRAPHS AND COMPATIBLE EULER TOURS IN EULERIAN GRAPHS Weihua](https://reader033.vdocuments.mx/reader033/viewer/2022041603/5e321eeb6d62b544027587cd/html5/thumbnails/27.jpg)
Thank you!