The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong...
-
Upload
evelyn-lee -
Category
Documents
-
view
216 -
download
0
Transcript of The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong...
![Page 1: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/1.jpg)
The Ryjacek Closure
and
a Forbidden Subgraph
Akira Saito (Nihon University, Japan)
Liming Xiong (Beijing Institute of Technology, China)
![Page 2: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/2.jpg)
Ryjacek Closure
(Preaching Buddhism to Buddha)
In 1997, Ryjacek discovered a new closure.
Ryjacek closure
• a locally-connected vertex• local completion
A vertex in a graph is said to be locally-connected if (the
neighborhood of ) induces a connected graph in .
Local completion at is the operation of joining every pair of non-
adjacent neighbors of by an edge.
A vertex in a graph is said to be eligible if is locally-connected
and does not induce a complete graph.
![Page 3: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/3.jpg)
Ryjacek Closure
: a sequence of graphs
•
• is obtained from by local completion at an eligible vertex
in .
: a graph
If does not contain an eligible vertex, we call a (the) Ryjacek
closure and denote it by clR.
appears to depend on the order of eligible vertices chosen for
local completion at each step.
![Page 4: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/4.jpg)
Ryjacek Closure
Theorem A ( Ryjacek 1997 )
1. The Ryjacek closure is uniquely determined, regardless of the order of
eligible vertices chosen for local completion.
2. If is a claw-free graph, then clR is a line graph.
3. If is a claw-free graph, then is hamiltonian if and only if clR is
hamiltonian.
(Note that the uniqueness of the Ryjacek closure is not limited to the
class of claw-free graphs.)
![Page 5: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/5.jpg)
Ryjacek Closure
The Ryjacek closure is a powerful operation in the class of claw-free graphs.
Conjecture 1 (Matthews-Sumner Conjecture, 1984)
Every 4-connected claw-free graph is hamiltonian.
Conjecture 2 (Thomassen’s Conjecture, 1986)
Every 4-connected line graph is hamiltonian.
Corollary B (Ryjacek, 1997)
Conjecture 2 imlpies Conjecture 1.
![Page 6: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/6.jpg)
Standard Approach
claw-free graph
line graph
pre-image
Ryjacek closure
Harary & Nash-Williams
super eulerian graphs and other techniques
![Page 7: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/7.jpg)
Motivation
The Ryjacek closure is a powerful operation in the class of claw-free
graphs.
Is there any other class of graphs defined by a forbidden subgraph, in
which the Ryjacek closure works effectively?
: a connected graph of order at least three
𝑆 (𝐻 )=¿ “For every -free graph of sufficiently large order, is hamiltonian if
and only if clR is hamiltonian.”
Want : a graph which makes the statement true
![Page 8: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/8.jpg)
Candidates
Theorem 1
For a connected graph of order at least three, if the statement holds,
then H is , , , or .
𝐾 1,2 𝐾 3 𝐾 1 ,3 𝐾 2+2𝐾 1
![Page 9: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/9.jpg)
Proof (easy)
“For every -free graph of sufficiently large order, is hamiltonian if
and only if clR is hamiltonian.”
If holds, then a sufficiently large locally-connected -free graph is
hamiltonian.
Theorem 1
For a connected graph of order at least three, if the statment holds,
then H is , , , or .
(A graph is locally-connected if every vertex in is locally-connected.)
![Page 10: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/10.jpg)
Proof (easy)
• non-hamiltonian
If holds, then a sufficiently large locally-connected -free graph is
hamiltonian.
• locally-connected
• can be arbitrarily large
This graph cannot be -free.
is an induced subgraph of this graph.
![Page 11: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/11.jpg)
Proof (easy)
If holds, then a sufficiently large locally-connected -free graph is
hamiltonian.
𝐾 𝑠
Replace each edge in with the graph
on the right.
• non-hamiltonian
• locally-connected
• can be arbitrarily large
This graph cannot be -free.
is an induced subgraph of this graph.
![Page 12: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/12.jpg)
Proof (easy)
is an induced subgraph of these graphs.
𝐾 𝑠
Replace each edge in with the graph
on the right.
H is , , , or .
![Page 13: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/13.jpg)
Candidates
Theorem 1
For a connected graph of order at least three, if the statement holds,
then H is , , , or .
𝐾 1,2 𝐾 3 𝐾 1 ,3 𝐾 2+2𝐾 1
![Page 14: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/14.jpg)
Check three graphs
Theorem 1
For a connected graph of order at least three, if the statement holds,
then H is , , , or .
𝐾 1,2 𝐾 3 𝐾 1 ,3 𝐾 2+2𝐾 1Ryjacek’s result
![Page 15: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/15.jpg)
Check three graphs
Theorem 1
For a connected graph of order at least three, if the statement holds,
then H is , , , or .
𝐾 1,2 𝐾 3 𝐾 1 ,3 𝐾 2+2𝐾 1
![Page 16: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/16.jpg)
Check
Theorem 1
For a connected graph of order at least three, if the statement holds,
then H is , , , or .
𝐾 1,2 𝐾 3 𝐾 1 ,3 𝐾 2+2𝐾 1
![Page 17: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/17.jpg)
Check
𝐾 1,2
“For every -free graph of sufficiently large order, is hamiltonian if
and only if clR is hamiltonian.”
What is a -free graph?
No pair of vertices of distance 2
Every component is a complete graph.
No eligible vertex
clR
is true, but trivial.
![Page 18: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/18.jpg)
Check
Theorem 1
For a connected graph of order at least three, if the statement holds,
then H is , , , or .
𝐾 1,2 𝐾 3 𝐾 1 ,3 𝐾 2+2𝐾 1
![Page 19: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/19.jpg)
Check
“For every -free graph of sufficiently large order, is hamiltonian if
and only if clR is hamiltonian.”
What is a -free graph?
The neighborhood of a vertex has no edge.
If is locally-connected, .
No eligible vertex
clR
is true, but trivial.
𝐾 3
![Page 20: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/20.jpg)
Check
Theorem 1
For a connected graph of order at least three, if the statement holds,
then H is , , , or .
𝐾 1,2 𝐾 3 𝐾 1 ,3 𝐾 2+2𝐾 1
![Page 21: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/21.jpg)
Check
“For every -free graph of sufficiently large order, is
hamiltonian if and only if clR is hamiltonian.”
What is a -free graph?
A graph is -free if and only if the neighborhood
of every vertex induces a -free graph
If is locally-connected, then induces a complete graph.
No eligible vertex clR
is true, but trivial.
𝐾 2+2𝐾 1
![Page 22: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/22.jpg)
Check three graphs
Theorem 1
For a connected graph of order at least three, if the statement holds,
then H is , , , or .
𝐾 1,2 𝐾 3 𝐾 1 ,3 𝐾 2+2𝐾 1
These graphs make trivial.
![Page 23: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/23.jpg)
Conclusion
𝐾 1,2 𝐾 3 𝐾 1 ,3 𝐾 2+2𝐾 1
𝑆 (𝐻 )=¿ “For every -free graph of sufficiently large order, is hamiltonian if
and only if clR is hamiltonian.”
Theorem 1
For a connected graph of order at least three, the statement holds if
and only if H is , , , or .
However, only gives a nontrivial statement.
![Page 24: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/24.jpg)
Conclusion
𝑆 (𝐻 )=¿ “For every -free graph of sufficiently large order, is hamiltonian if
and only if clR is Hamiltonian.”
Theorem 1
For a connected graph of order at least three, the statement holds if
and only if H is , , , or .
The Ryjacek closure works in a non-trivial manner only in the class of
claw-free graphs.
![Page 25: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/25.jpg)
Question
• The Ryjacek closure works in a non-trivial manner only in the class of
claw-free graphs.
But why is the Ryjacek closure so powerful in the class of claw-
free graphs, while it does now work effectively for other forbidden
subgraphs?
Is there any mechanism which makes the combination of the Ryjacek
closure and claw-free graphs so powerful?
• The Ryjacek closure works in a non-trivial manner only in the class of
claw-free graphs as long as we forbid one graph.
What happens if we forbid two or more graphs?
![Page 26: The Ryjacek Closure and a Forbidden Subgraph Akira Saito (Nihon University, Japan) Liming Xiong (Beijing Institute of Technology, China)](https://reader036.fdocuments.in/reader036/viewer/2022062408/56649f2e5503460f94c4839f/html5/thumbnails/26.jpg)
Děkuji mockrát !Thank you!