some bounds on di-pathological graphs€¦ · introductiondi-pathological graphs some bounds on...
TRANSCRIPT
![Page 1: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/1.jpg)
Introduction DI-Pathological Graphs
Some Bounds on DI-Pathological Graphs
John Asplund, Joe Chaffee, and James M. Hammer∗
Department of Mathematics and StatisticsAuburn University
July 9, 2014
1 / 25
![Page 2: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/2.jpg)
Introduction DI-Pathological Graphs
Unrelated Problem
Hidato
16 58
20 17 12 52 52
22 10
23 49
6 47
31 1 4 46
32 42
34 36 40
2 / 25
![Page 3: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/3.jpg)
Introduction DI-Pathological Graphs
Unrelated Problem
Hidato
19 18 15 16 58 56 55 54
21 20 17 14 57 12 52 52
22 24 13 11 10 51
23 25 7 8 9 49 50
28 27 26 6 5 48 47
29 31 1 4 46 45
30 32 35 2 3 39 42 44
33 34 36 37 38 40 41 43
2 / 25
![Page 4: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/4.jpg)
Introduction DI-Pathological Graphs
Unrelated Problem
Natural Questions
What is the least amount of numbers that need to beprescribed to have a unique solution?
Are there any forbidden prescriptions?
If there are forbidden presctiptions, how big does a squareneed to be to embedd the smaller one?
If we change the board shape, what can we say about thispuzzle?
3 / 25
![Page 5: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/5.jpg)
Introduction DI-Pathological Graphs
Unrelated Problem
Natural Questions
What is the least amount of numbers that need to beprescribed to have a unique solution?
Are there any forbidden prescriptions?
If there are forbidden presctiptions, how big does a squareneed to be to embedd the smaller one?
If we change the board shape, what can we say about thispuzzle?
3 / 25
![Page 6: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/6.jpg)
Introduction DI-Pathological Graphs
Unrelated Problem
Natural Questions
What is the least amount of numbers that need to beprescribed to have a unique solution?
Are there any forbidden prescriptions?
If there are forbidden presctiptions, how big does a squareneed to be to embedd the smaller one?
If we change the board shape, what can we say about thispuzzle?
3 / 25
![Page 7: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/7.jpg)
Introduction DI-Pathological Graphs
Unrelated Problem
Natural Questions
What is the least amount of numbers that need to beprescribed to have a unique solution?
Are there any forbidden prescriptions?
If there are forbidden presctiptions, how big does a squareneed to be to embedd the smaller one?
If we change the board shape, what can we say about thispuzzle?
3 / 25
![Page 8: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/8.jpg)
Introduction DI-Pathological Graphs
Applications
Why Do We Care?
Graph Domination can be used in the following areas:
Design & Analysis of Communication Networks
Social Sciences
Optimization
Bio-informatics
Computational Complexity
Algorithm Design
4 / 25
![Page 9: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/9.jpg)
Introduction DI-Pathological Graphs
Applications
Why Do We Care?
Graph Domination can be used in the following areas:
Design & Analysis of Communication Networks
Social Sciences
Optimization
Bio-informatics
Computational Complexity
Algorithm Design
4 / 25
![Page 10: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/10.jpg)
Introduction DI-Pathological Graphs
Applications
Why Do We Care?
Graph Domination can be used in the following areas:
Design & Analysis of Communication Networks
Social Sciences
Optimization
Bio-informatics
Computational Complexity
Algorithm Design
4 / 25
![Page 11: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/11.jpg)
Introduction DI-Pathological Graphs
Applications
Why Do We Care?
Graph Domination can be used in the following areas:
Design & Analysis of Communication Networks
Social Sciences
Optimization
Bio-informatics
Computational Complexity
Algorithm Design
4 / 25
![Page 12: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/12.jpg)
Introduction DI-Pathological Graphs
Applications
Why Do We Care?
Graph Domination can be used in the following areas:
Design & Analysis of Communication Networks
Social Sciences
Optimization
Bio-informatics
Computational Complexity
Algorithm Design
4 / 25
![Page 13: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/13.jpg)
Introduction DI-Pathological Graphs
Applications
Why Do We Care?
Graph Domination can be used in the following areas:
Design & Analysis of Communication Networks
Social Sciences
Optimization
Bio-informatics
Computational Complexity
Algorithm Design
4 / 25
![Page 14: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/14.jpg)
Introduction DI-Pathological Graphs
Definition Theory
Definition (Dominating Set)
A set D ⊂ V is a dominating set of a graph G = (V,E) ifeach vertex in V is either in D or is adjacent to a vertex in D.
Example
5 / 25
![Page 15: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/15.jpg)
Introduction DI-Pathological Graphs
Definition Theory
Definition (Dominating Set)
A set D ⊂ V is a dominating set of a graph G = (V,E) ifeach vertex in V is either in D or is adjacent to a vertex in D.
Example
5 / 25
![Page 16: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/16.jpg)
Introduction DI-Pathological Graphs
Definition Theory
Definition (Dominating Set)
A set D ⊂ V is a dominating set of a graph G = (V,E) ifeach vertex in V is either in D or is adjacent to a vertex in D.
Example
Figure: Dominating Set
5 / 25
![Page 17: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/17.jpg)
Introduction DI-Pathological Graphs
Definition Theory
Definition (Domination Number)
The domination number, γ(G) is the minimum cardinality ofa dominating set of G.
Definition (Minimum Dominating Set)
A minimum dominating set of a graph G is a dominatingset of size γ(G).
6 / 25
![Page 18: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/18.jpg)
Introduction DI-Pathological Graphs
Definition Theory
Definition (Domination Number)
The domination number, γ(G) is the minimum cardinality ofa dominating set of G.
Definition (Minimum Dominating Set)
A minimum dominating set of a graph G is a dominatingset of size γ(G).
6 / 25
![Page 19: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/19.jpg)
Introduction DI-Pathological Graphs
Definition Theory
Definition (Independent Set)
A set I ⊂ V is a independent set of a graph G = (V,E) if notwo vertices in I are adjacent.
Example
7 / 25
![Page 20: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/20.jpg)
Introduction DI-Pathological Graphs
Definition Theory
Definition (Independent Set)
A set I ⊂ V is a independent set of a graph G = (V,E) if notwo vertices in I are adjacent.
Example
7 / 25
![Page 21: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/21.jpg)
Introduction DI-Pathological Graphs
Definition Theory
Definition (Independent Set)
A set I ⊂ V is a independent set of a graph G = (V,E) if notwo vertices in I are adjacent.
Example
Figure: Independent Set
7 / 25
![Page 22: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/22.jpg)
Introduction DI-Pathological Graphs
Definition Theory
Definition (Independence Number)
The independence number, α(G) is the maximumcardinality of an independent set of G.
8 / 25
![Page 23: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/23.jpg)
Introduction DI-Pathological Graphs
Definition Theory
Definition (Inverse Dominating Set)
Let D be a minimum dominating set. A set S ⊂ V \D is aninverse dominating set of a graph G = (V,E) with noisolated vertices if each vertex in V is either in S or is adjacentto a vertex in S.
Example
9 / 25
![Page 24: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/24.jpg)
Introduction DI-Pathological Graphs
Definition Theory
Definition (Inverse Dominating Set)
Let D be a minimum dominating set. A set S ⊂ V \D is aninverse dominating set of a graph G = (V,E) with noisolated vertices if each vertex in V is either in S or is adjacentto a vertex in S.
Example
9 / 25
![Page 25: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/25.jpg)
Introduction DI-Pathological Graphs
Definition Theory
Definition (Inverse Dominating Set)
Let D be a minimum dominating set. A set S ⊂ V \D is aninverse dominating set of a graph G = (V,E) with noisolated vertices if each vertex in V is either in S or is adjacentto a vertex in S.
Example
Figure: Dominating Set
9 / 25
![Page 26: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/26.jpg)
Introduction DI-Pathological Graphs
Definition Theory
Definition (Inverse Dominating Set)
Let D be a minimum dominating set. A set S ⊂ V \D is aninverse dominating set of a graph G = (V,E) with noisolated vertices if each vertex in V is either in S or is adjacentto a vertex in S.
Example
Figure: Dominating Set vs. Inverse Dominating Set
9 / 25
![Page 27: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/27.jpg)
Introduction DI-Pathological Graphs
Definition Theory
Definition (Inverse Domination Number)
The inverse domination number, γ′(G) is the minimumcardinality of any inverse dominating set over all minimumdominating sets.
Conjecture. (Hedetniemi)
γ′(G) ≤ α(G) for all graphs G.
10 / 25
![Page 28: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/28.jpg)
Introduction DI-Pathological Graphs
Definition Theory
Definition (Inverse Domination Number)
The inverse domination number, γ′(G) is the minimumcardinality of any inverse dominating set over all minimumdominating sets.
Conjecture. (Hedetniemi)
γ′(G) ≤ α(G) for all graphs G.
10 / 25
![Page 29: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/29.jpg)
Introduction DI-Pathological Graphs
Definition
Definition (Maximal Independent Set)
An independent set I is said to be a maximal independentset of a graph G if I dominates G.
Example
11 / 25
![Page 30: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/30.jpg)
Introduction DI-Pathological Graphs
Definition
Definition (Maximal Independent Set)
An independent set I is said to be a maximal independentset of a graph G if I dominates G.
Example
Figure: Maximal Independent Set
11 / 25
![Page 31: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/31.jpg)
Introduction DI-Pathological Graphs
Preliminary Observations
True Fact.
If G has a minimum dominating set D that is disjoint from amaximal independent set I, then γ′(G) ≤ α(G).
Proof.
γ′(G) ≤ |I| ≤ α(G).
12 / 25
![Page 32: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/32.jpg)
Introduction DI-Pathological Graphs
Preliminary Observations
True Fact.
If G has a minimum dominating set D that is disjoint from amaximal independent set I, then γ′(G) ≤ α(G).
Proof.
γ′(G) ≤ |I| ≤ α(G).
12 / 25
![Page 33: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/33.jpg)
Introduction DI-Pathological Graphs
Preliminary Observations
Observation
If there is a counterexample to Hedetniemi’s conjecture, it mustbe a graph where every maximal independent set intersectsevery minimum dominating set.
Definition (DI-Pathological Graph)
A graph G = (V,E) is said to be DI-pathological if everymaximal independent set intersects every minimum dominatingset.
13 / 25
![Page 34: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/34.jpg)
Introduction DI-Pathological Graphs
Preliminary Observations
Observation
If there is a counterexample to Hedetniemi’s conjecture, it mustbe a graph where every maximal independent set intersectsevery minimum dominating set.
Definition (DI-Pathological Graph)
A graph G = (V,E) is said to be DI-pathological if everymaximal independent set intersects every minimum dominatingset.
13 / 25
![Page 35: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/35.jpg)
Introduction DI-Pathological Graphs
Preliminary Observations
Natural Characterization Question
How small can a DI-pathological graph be with respect to agiven domination number?
Two Ways to Minimize
The number of vertices
The number of Edges
14 / 25
![Page 36: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/36.jpg)
Introduction DI-Pathological Graphs
Preliminary Observations
Natural Characterization Question
How small can a DI-pathological graph be with respect to agiven domination number?
Two Ways to Minimize
The number of vertices
The number of Edges
14 / 25
![Page 37: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/37.jpg)
Introduction DI-Pathological Graphs
Preliminary Observations
Natural Characterization Question
How small can a DI-pathological graph be with respect to agiven domination number?
Two Ways to Minimize
The number of vertices
The number of Edges
14 / 25
![Page 38: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/38.jpg)
Introduction DI-Pathological Graphs
History
True Fact. (Prier)
There does not exist a DI-pathological graph with γ(G) = 1other than K1.
Theorem (Prier)
If G is a connected DI-pathological graph with γ(G) = 2, thenG = Km,n where m,n ≥ 3.
Smallest Graph with γ(G) = 2
15 / 25
![Page 39: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/39.jpg)
Introduction DI-Pathological Graphs
History
True Fact. (Prier)
There does not exist a DI-pathological graph with γ(G) = 1other than K1.
Theorem (Prier)
If G is a connected DI-pathological graph with γ(G) = 2, thenG = Km,n where m,n ≥ 3.
Smallest Graph with γ(G) = 2
15 / 25
![Page 40: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/40.jpg)
Introduction DI-Pathological Graphs
History
True Fact. (Prier)
There does not exist a DI-pathological graph with γ(G) = 1other than K1.
Theorem (Prier)
If G is a connected DI-pathological graph with γ(G) = 2, thenG = Km,n where m,n ≥ 3.
Smallest Graph with γ(G) = 2
Figure: Minimum Dominating Set15 / 25
![Page 41: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/41.jpg)
Introduction DI-Pathological Graphs
History
True Fact. (Prier)
There does not exist a DI-pathological graph with γ(G) = 1other than K1.
Theorem (Prier)
If G is a connected DI-pathological graph with γ(G) = 2, thenG = Km,n where m,n ≥ 3.
Smallest Graph with γ(G) = 2
Figure: Maximal Independent Set15 / 25
![Page 42: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/42.jpg)
Introduction DI-Pathological Graphs
History
True Fact. (Prier)
There does not exist a DI-pathological graph with γ(G) = 1other than K1.
Theorem (Prier)
If G is a connected DI-pathological graph with γ(G) = 2, thenG = Km,n where m,n ≥ 3.
Smallest Graph with γ(G) = 2
Figure: K3,3
15 / 25
![Page 43: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/43.jpg)
Introduction DI-Pathological Graphs
History
Theorem (Prier)
If G is a connected graph with γ(G) = 3, then the smallestDI-pathological graph (with respect to both vertices and edges)has 9 vertices and 10 edges.
The Smallest connected DI-pathological graph with γ(G) = 3
16 / 25
![Page 44: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/44.jpg)
Introduction DI-Pathological Graphs
History
Theorem (Prier)
If G is a connected graph with γ(G) = 3, then the smallestDI-pathological graph (with respect to both vertices and edges)has 9 vertices and 10 edges.
The Smallest connected DI-pathological graph with γ(G) = 3
Figure: The Prier Graph
16 / 25
![Page 45: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/45.jpg)
Introduction DI-Pathological Graphs
Conjecture
False Fact.
The unique connected, DI-pathological graph G with the fewestnumber of edges and the fewest number of vertices for γ(G) ≥ 3is two 4-cycles connected by a path of length 3γ(G)− 7.
So, |V (G)| = 3γ(G), |E| = 3γ(G) + 1
Proposed Smallest Graph
17 / 25
![Page 46: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/46.jpg)
Introduction DI-Pathological Graphs
Conjecture
False Fact.
The unique connected, DI-pathological graph G with the fewestnumber of edges and the fewest number of vertices for γ(G) ≥ 3is two 4-cycles connected by a path of length 3γ(G)− 7.
So, |V (G)| = 3γ(G), |E| = 3γ(G) + 1
Proposed Smallest Graph
︸ ︷︷ ︸P3γ(G)−7
Figure: γ(G) ≥ 3
17 / 25
![Page 47: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/47.jpg)
Introduction DI-Pathological Graphs
9 Vertices, γ(G) = 3
Classification
Figure: DI-pathological graphs on 9 vertices with γ(G) = 3
18 / 25
![Page 48: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/48.jpg)
Introduction DI-Pathological Graphs
Smallest DI-pathological Graph (Vertices)
Theorem
Let G be a connected, DI-pathological graph with dominationnumber γ(G) where γ(G) ≥ 4. Then |V (G)| ≥ 2γ(G) + 4.
Construction
19 / 25
![Page 49: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/49.jpg)
Introduction DI-Pathological Graphs
Smallest DI-pathological Graph (Vertices)
Theorem
Let G be a connected, DI-pathological graph with dominationnumber γ(G) where γ(G) ≥ 4. Then |V (G)| ≥ 2γ(G) + 4.
Construction
︷ ︸︸ ︷2γ − 8 vertices
Figure: Smallest with Respect to Vertices
19 / 25
![Page 50: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/50.jpg)
Introduction DI-Pathological Graphs
Smallest DI-pathological Graph (Vertices)
Theorem
Let G be a connected, DI-pathological graph with dominationnumber γ(G) where γ(G) ≥ 4. Then |V (G)| ≥ 2γ(G) + 4.
Construction
︷ ︸︸ ︷2γ − 8 vertices
Figure: Smallest with Respect to Vertices
19 / 25
![Page 51: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/51.jpg)
Introduction DI-Pathological Graphs
Smallest DI-pathological Graph (Vertices)
Theorem
Let G be a connected, DI-pathological graph with dominationnumber γ(G) where γ(G) ≥ 4. Then |V (G)| ≥ 2γ(G) + 4.
Construction
︷ ︸︸ ︷2γ − 6 vertices
Figure: Another Smallest with Respect to Vertices
19 / 25
![Page 52: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/52.jpg)
Introduction DI-Pathological Graphs
Smallest DI-pathological Graph (Vertices)
Theorem
Let G be a connected, DI-pathological graph with dominationnumber γ(G) where γ(G) ≥ 4. Then |V (G)| ≥ 2γ(G) + 4.
Construction
︷ ︸︸ ︷2γ − 6 vertices
Figure: Another Smallest with Respect to Vertices
19 / 25
![Page 53: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/53.jpg)
Introduction DI-Pathological Graphs
Notes on Vertex Minimal
Observation
If γ(G) = 4 then 3γ(G) = 2γ(G) + 4.
However, for γ ≥ 5, 2γ + 4 < 3γ.
Theorem (Prier)
If G is a connected graph such that γ(G) ≤ 4 thenγ′(G) ≤ α(G).
20 / 25
![Page 54: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/54.jpg)
Introduction DI-Pathological Graphs
Notes on Vertex Minimal
Observation
If γ(G) = 4 then 3γ(G) = 2γ(G) + 4.
However, for γ ≥ 5, 2γ + 4 < 3γ.
Theorem (Prier)
If G is a connected graph such that γ(G) ≤ 4 thenγ′(G) ≤ α(G).
20 / 25
![Page 55: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/55.jpg)
Introduction DI-Pathological Graphs
Notes on Vertex Minimal
Observation
If γ(G) = 4 then 3γ(G) = 2γ(G) + 4.
However, for γ ≥ 5, 2γ + 4 < 3γ.
Theorem (Prier)
If G is a connected graph such that γ(G) ≤ 4 thenγ′(G) ≤ α(G).
20 / 25
![Page 56: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/56.jpg)
Introduction DI-Pathological Graphs
Smallest DI-pathological Graph (Edges)
Theorem
Let G be a connected, DI-pathological graph with dominationnumber γ(G) where γ(G) ≥ 4. Then |E(G)| ≥ 2γ(G) + 5.
Construction
21 / 25
![Page 57: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/57.jpg)
Introduction DI-Pathological Graphs
Smallest DI-pathological Graph (Edges)
Theorem
Let G be a connected, DI-pathological graph with dominationnumber γ(G) where γ(G) ≥ 4. Then |E(G)| ≥ 2γ(G) + 5.
Construction
︷ ︸︸ ︷2γ − 8 vertices
Figure: Smallest with Respect to Vertices
21 / 25
![Page 58: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/58.jpg)
Introduction DI-Pathological Graphs
Smallest DI-pathological Graph (Edges)
Theorem
Let G be a connected, DI-pathological graph with dominationnumber γ(G) where γ(G) ≥ 4. Then |E(G)| ≥ 2γ(G) + 5.
Construction
︷ ︸︸ ︷2γ − 8 vertices
Figure: Smallest with Respect to Vertices
21 / 25
![Page 59: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/59.jpg)
Introduction DI-Pathological Graphs
Smallest DI-pathological Graph (Edges)
Theorem
Let G be a connected, DI-pathological graph with dominationnumber γ(G) where γ(G) ≥ 4. Then |E(G)| ≥ 2γ(G) + 5.
Construction
︷ ︸︸ ︷γ − 4
Figure: Another Smallest with Respect to Vertices
21 / 25
![Page 60: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/60.jpg)
Introduction DI-Pathological Graphs
Smallest DI-pathological Graph (Edges)
Theorem
Let G be a connected, DI-pathological graph with dominationnumber γ(G) where γ(G) ≥ 4. Then |E(G)| ≥ 2γ(G) + 5.
Construction
︷ ︸︸ ︷γ − 4
Figure: Another Smallest with Respect to Vertices
21 / 25
![Page 61: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/61.jpg)
Introduction DI-Pathological Graphs
Notes on Edge Minimal
Observation
If γ(G) = 4 then 3γ(G) + 1 = 2γ(G) + 5.
However, for γ ≥ 5, 2γ + 5 < 3γ + 1.
Observation
It was (secretly) our hope that one of these would be acounterexample to Hedetniemi’s conjecture; however, none ofthese graphs disprove Hedetniemi’s conjecture.
22 / 25
![Page 62: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/62.jpg)
Introduction DI-Pathological Graphs
Notes on Edge Minimal
Observation
If γ(G) = 4 then 3γ(G) + 1 = 2γ(G) + 5.
However, for γ ≥ 5, 2γ + 5 < 3γ + 1.
Observation
It was (secretly) our hope that one of these would be acounterexample to Hedetniemi’s conjecture; however, none ofthese graphs disprove Hedetniemi’s conjecture.
22 / 25
![Page 63: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/63.jpg)
Introduction DI-Pathological Graphs
Notes on Edge Minimal
Observation
If γ(G) = 4 then 3γ(G) + 1 = 2γ(G) + 5.
However, for γ ≥ 5, 2γ + 5 < 3γ + 1.
Observation
It was (secretly) our hope that one of these would be acounterexample to Hedetniemi’s conjecture; however, none ofthese graphs disprove Hedetniemi’s conjecture.
22 / 25
![Page 64: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/64.jpg)
Introduction DI-Pathological Graphs
Disconnected Case
Theorem
Let G be a DI-pathological graph with no isolated vertices anddomination number γ(G). Then |V (G)| ≥ 2γ(G) + 2 and|E(G)| ≥ γ(G) + 7.
Example
23 / 25
![Page 65: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/65.jpg)
Introduction DI-Pathological Graphs
Disconnected Case
Theorem
Let G be a DI-pathological graph with no isolated vertices anddomination number γ(G). Then |V (G)| ≥ 2γ(G) + 2 and|E(G)| ≥ γ(G) + 7.
Example
Figure: Smallest DI-pathological graph with no isolated vertices.
23 / 25
![Page 66: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/66.jpg)
Introduction DI-Pathological Graphs
Disconnected Case
Theorem
Let G be a DI-pathological graph with no isolated vertices anddomination number γ(G). Then |V (G)| ≥ 2γ(G) + 2 and|E(G)| ≥ γ(G) + 7.
Example
Figure: Smallest DI-pathological graph with no isolated vertices.
23 / 25
![Page 67: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/67.jpg)
Introduction DI-Pathological Graphs
Open Problems
Things that make you go hmmmmm. . .
A Counterexample or a proof of Hedetniemi’s Conjecture
Characterize all of the graphs with the lowest number ofvertices for γ = 5
Characterize all of the graphs with the lowest number ofedges for γ = 5
The intersection of these two characterizations is a uniquegraph, namely:
24 / 25
![Page 68: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/68.jpg)
Introduction DI-Pathological Graphs
Open Problems
Things that make you go hmmmmm. . .
A Counterexample or a proof of Hedetniemi’s Conjecture
Characterize all of the graphs with the lowest number ofvertices for γ = 5
Characterize all of the graphs with the lowest number ofedges for γ = 5
The intersection of these two characterizations is a uniquegraph, namely:
24 / 25
![Page 69: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/69.jpg)
Introduction DI-Pathological Graphs
Open Problems
Things that make you go hmmmmm. . .
A Counterexample or a proof of Hedetniemi’s Conjecture
Characterize all of the graphs with the lowest number ofvertices for γ = 5
Characterize all of the graphs with the lowest number ofedges for γ = 5
The intersection of these two characterizations is a uniquegraph, namely:
24 / 25
![Page 70: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/70.jpg)
Introduction DI-Pathological Graphs
Open Problems
Things that make you go hmmmmm. . .
A Counterexample or a proof of Hedetniemi’s Conjecture
Characterize all of the graphs with the lowest number ofvertices for γ = 5
Characterize all of the graphs with the lowest number ofedges for γ = 5
The intersection of these two characterizations is a uniquegraph, namely:
︷ ︸︸ ︷2γ − 8 vertices
Figure: Proposed Intersection
24 / 25
![Page 71: Some Bounds on DI-Pathological Graphs€¦ · IntroductionDI-Pathological Graphs Some Bounds on DI-Pathological Graphs John Asplund, Joe Cha ee, and James M. Hammer Department of](https://reader034.vdocuments.site/reader034/viewer/2022051917/6008d706581e966d11434b94/html5/thumbnails/71.jpg)
Introduction DI-Pathological Graphs
War Eagle!
Thank You For YourKind Attention !
Figure: War Eagle !
25 / 25