Victor Zamaraev – Boundary properties of factorial classes of graphs
description
Transcript of Victor Zamaraev – Boundary properties of factorial classes of graphs
![Page 1: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/1.jpg)
Boundary properties of factorial classes of graphs
Victor Zamaraev
Laboratory of Algorithms and Technologies for Networks Analysis (LATNA),Higher School of Economics
Joint work withVadim Lozin, University of Warwick
Workshop on Extremal Graph Theory6 June 2014
![Page 2: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/2.jpg)
Boundary properties of factorial classes of graphs
Introduction
2 / 28
![Page 3: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/3.jpg)
Boundary properties of factorial classes of graphs
Introduction
All considered graphs are simple (undirected, without loops andwithout multiple edges).
Graphs are labeled by natural numbers 1, . . . , n
6
4 5
1
2
3
3 / 28
![Page 4: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/4.jpg)
Boundary properties of factorial classes of graphs
Introduction
All considered graphs are simple (undirected, without loops andwithout multiple edges).
Graphs are labeled by natural numbers 1, . . . , n
6
4 5
1
2
3
3 / 28
![Page 5: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/5.jpg)
Boundary properties of factorial classes of graphs
Introduction
Definition
A class is a set of graphs closed under isomorphism.
Definition
A class of graphs is hereditary if it is closed under taking inducedsubgraphs.
ExapmleLet X be a hereditary class and W4 ∈ X. Then C4 ∈ X.
1
2
3 4
5 1
2 3
4
W4 C4
4 / 28
![Page 6: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/6.jpg)
Boundary properties of factorial classes of graphs
Introduction
Definition
A class is a set of graphs closed under isomorphism.
Definition
A class of graphs is hereditary if it is closed under taking inducedsubgraphs.
ExapmleLet X be a hereditary class and W4 ∈ X. Then C4 ∈ X.
1
2
3 4
5 1
2 3
4
W4 C4
4 / 28
![Page 7: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/7.jpg)
Boundary properties of factorial classes of graphs
Introduction
Definition
A class is a set of graphs closed under isomorphism.
Definition
A class of graphs is hereditary if it is closed under taking inducedsubgraphs.
ExapmleLet X be a hereditary class and W4 ∈ X. Then C4 ∈ X.
1
2
3 4
5 1
2 3
4
W4 C4 4 / 28
![Page 8: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/8.jpg)
Boundary properties of factorial classes of graphs
Introduction
Every hereditary graph class X can be defined by a set offorbidden induced subgraphs.
LetM be a set of graphs. Then Free(M) denotes the set of allgraphs not containing induced subgraphs isomorphic to graphs fromM.
Statement
Class X is hereditary if and only if there existsM such thatX = Free(M).
We say that graphs in X areM-free.
Example
For the class of bipartite graphsM is {C3, C5, C7, . . . }, i.e.B = Free(C3, C5, C7, . . . ).
5 / 28
![Page 9: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/9.jpg)
Boundary properties of factorial classes of graphs
Introduction
Every hereditary graph class X can be defined by a set offorbidden induced subgraphs.
LetM be a set of graphs. Then Free(M) denotes the set of allgraphs not containing induced subgraphs isomorphic to graphs fromM.
Statement
Class X is hereditary if and only if there existsM such thatX = Free(M).
We say that graphs in X areM-free.
Example
For the class of bipartite graphsM is {C3, C5, C7, . . . }, i.e.B = Free(C3, C5, C7, . . . ).
5 / 28
![Page 10: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/10.jpg)
Boundary properties of factorial classes of graphs
Introduction
Every hereditary graph class X can be defined by a set offorbidden induced subgraphs.
LetM be a set of graphs. Then Free(M) denotes the set of allgraphs not containing induced subgraphs isomorphic to graphs fromM.
Statement
Class X is hereditary if and only if there existsM such thatX = Free(M).
We say that graphs in X areM-free.
Example
For the class of bipartite graphsM is {C3, C5, C7, . . . }, i.e.B = Free(C3, C5, C7, . . . ).
5 / 28
![Page 11: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/11.jpg)
Boundary properties of factorial classes of graphs
Introduction
Every hereditary graph class X can be defined by a set offorbidden induced subgraphs.
LetM be a set of graphs. Then Free(M) denotes the set of allgraphs not containing induced subgraphs isomorphic to graphs fromM.
Statement
Class X is hereditary if and only if there existsM such thatX = Free(M).
We say that graphs in X areM-free.
Example
For the class of bipartite graphsM is {C3, C5, C7, . . . }, i.e.B = Free(C3, C5, C7, . . . ). 5 / 28
![Page 12: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/12.jpg)
Boundary properties of factorial classes of graphs
Introduction
For a class X denote by Xn the set of n-vertex graphs from X.
Example
Let P be the class of all graph.
|Pn| = 2(n2) = 2n(n−1)/2
log2 |Pn| = Θ(n2)
6 / 28
![Page 13: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/13.jpg)
Boundary properties of factorial classes of graphs
Introduction
For a class X denote by Xn the set of n-vertex graphs from X.
Example
Let P be the class of all graph.
|Pn| = 2(n2) = 2n(n−1)/2
log2 |Pn| = Θ(n2)
6 / 28
![Page 14: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/14.jpg)
Boundary properties of factorial classes of graphs
Introduction
For a class X denote by Xn the set of n-vertex graphs from X.
Example
Let P be the class of all graph.
|Pn| = 2(n2) = 2n(n−1)/2
log2 |Pn| = Θ(n2)
6 / 28
![Page 15: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/15.jpg)
Boundary properties of factorial classes of graphs
Introduction
Theorem (Alekseev V. E., 1992; Bollobas B. and Thomason A., 1994)
For every infinite hereditary class X, which is not the class of allgraphs:
log2 |Xn| =(
1− 1
c(X)
)n2
2+ o(n2), (1)
where c(X) ∈ N is the index of class X.
(i) For c(X) > 1, log2 |Xn| = Θ(n2)
(ii) For c(X) = 1, log2 |Xn| = o(n2)
7 / 28
![Page 16: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/16.jpg)
Boundary properties of factorial classes of graphs
Introduction
Theorem (Alekseev V. E., 1992; Bollobas B. and Thomason A., 1994)
For every infinite hereditary class X, which is not the class of allgraphs:
log2 |Xn| =(
1− 1
c(X)
)n2
2+ o(n2), (1)
where c(X) ∈ N is the index of class X.
(i) For c(X) > 1, log2 |Xn| = Θ(n2)
(ii) For c(X) = 1, log2 |Xn| = o(n2)
7 / 28
![Page 17: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/17.jpg)
Boundary properties of factorial classes of graphs
Introduction
Theorem (Alekseev V. E., 1992; Bollobas B. and Thomason A., 1994)
For every infinite hereditary class X, which is not the class of allgraphs:
log2 |Xn| =(
1− 1
c(X)
)n2
2+ o(n2), (1)
where c(X) ∈ N is the index of class X.
(i) For c(X) > 1, log2 |Xn| = Θ(n2)
(ii) For c(X) = 1, log2 |Xn| = o(n2)
7 / 28
![Page 18: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/18.jpg)
Boundary properties of factorial classes of graphs
Introduction
Let c(X) = 1
Question
What are possible rates of growth of a function log2 |Xn|?
Scheinerman E.R., Zito J. (1994)
Constant classes: log2 |Xn| = Θ(1).Polynomial classes: log2 |Xn| = Θ(log n).Exponential classes: log2 |Xn| = Θ(n).Factorial classes: log2 |Xn| = Θ(n log n).All other classes are superfactorial.
There are no intermediate growth rates between first four ranges.For exmaple, there is no hereditary class X withlog2 |Xn| = Θ(
√n).
8 / 28
![Page 19: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/19.jpg)
Boundary properties of factorial classes of graphs
Introduction
Let c(X) = 1
Question
What are possible rates of growth of a function log2 |Xn|?
Scheinerman E.R., Zito J. (1994)
Constant classes: log2 |Xn| = Θ(1).
Polynomial classes: log2 |Xn| = Θ(log n).Exponential classes: log2 |Xn| = Θ(n).Factorial classes: log2 |Xn| = Θ(n log n).All other classes are superfactorial.
There are no intermediate growth rates between first four ranges.For exmaple, there is no hereditary class X withlog2 |Xn| = Θ(
√n).
8 / 28
![Page 20: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/20.jpg)
Boundary properties of factorial classes of graphs
Introduction
Let c(X) = 1
Question
What are possible rates of growth of a function log2 |Xn|?
Scheinerman E.R., Zito J. (1994)
Constant classes: log2 |Xn| = Θ(1).Polynomial classes: log2 |Xn| = Θ(log n).
Exponential classes: log2 |Xn| = Θ(n).Factorial classes: log2 |Xn| = Θ(n log n).All other classes are superfactorial.
There are no intermediate growth rates between first four ranges.For exmaple, there is no hereditary class X withlog2 |Xn| = Θ(
√n).
8 / 28
![Page 21: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/21.jpg)
Boundary properties of factorial classes of graphs
Introduction
Let c(X) = 1
Question
What are possible rates of growth of a function log2 |Xn|?
Scheinerman E.R., Zito J. (1994)
Constant classes: log2 |Xn| = Θ(1).Polynomial classes: log2 |Xn| = Θ(log n).Exponential classes: log2 |Xn| = Θ(n).
Factorial classes: log2 |Xn| = Θ(n log n).All other classes are superfactorial.
There are no intermediate growth rates between first four ranges.For exmaple, there is no hereditary class X withlog2 |Xn| = Θ(
√n).
8 / 28
![Page 22: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/22.jpg)
Boundary properties of factorial classes of graphs
Introduction
Let c(X) = 1
Question
What are possible rates of growth of a function log2 |Xn|?
Scheinerman E.R., Zito J. (1994)
Constant classes: log2 |Xn| = Θ(1).Polynomial classes: log2 |Xn| = Θ(log n).Exponential classes: log2 |Xn| = Θ(n).Factorial classes: log2 |Xn| = Θ(n log n).
All other classes are superfactorial.
There are no intermediate growth rates between first four ranges.For exmaple, there is no hereditary class X withlog2 |Xn| = Θ(
√n).
8 / 28
![Page 23: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/23.jpg)
Boundary properties of factorial classes of graphs
Introduction
Let c(X) = 1
Question
What are possible rates of growth of a function log2 |Xn|?
Scheinerman E.R., Zito J. (1994)
Constant classes: log2 |Xn| = Θ(1).Polynomial classes: log2 |Xn| = Θ(log n).Exponential classes: log2 |Xn| = Θ(n).Factorial classes: log2 |Xn| = Θ(n log n).All other classes are superfactorial.
There are no intermediate growth rates between first four ranges.For exmaple, there is no hereditary class X withlog2 |Xn| = Θ(
√n).
8 / 28
![Page 24: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/24.jpg)
Boundary properties of factorial classes of graphs
Introduction
Let c(X) = 1
Question
What are possible rates of growth of a function log2 |Xn|?
Scheinerman E.R., Zito J. (1994)
Constant classes: log2 |Xn| = Θ(1).Polynomial classes: log2 |Xn| = Θ(log n).Exponential classes: log2 |Xn| = Θ(n).Factorial classes: log2 |Xn| = Θ(n log n).All other classes are superfactorial.
There are no intermediate growth rates between first four ranges.For exmaple, there is no hereditary class X withlog2 |Xn| = Θ(
√n).
8 / 28
![Page 25: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/25.jpg)
Boundary properties of factorial classes of graphs
Introduction
Constant
Polynomial
Exponential
Factorial layer
Classes with index 1
9 / 28
![Page 26: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/26.jpg)
Boundary properties of factorial classes of graphs
Introduction
Example
Constant class: Co – complete graphs (1).
Polynomial class: E1 – graphs with at most one edge((n2
)+ 1).
Exponential class: Co + Co (2n−1).Factorial class: F – forests (nn−2 < |Fn| < n2n).
10 / 28
![Page 27: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/27.jpg)
Boundary properties of factorial classes of graphs
Introduction
Example
Constant class: Co – complete graphs (1).Polynomial class: E1 – graphs with at most one edge((n2
)+ 1).
Exponential class: Co + Co (2n−1).Factorial class: F – forests (nn−2 < |Fn| < n2n).
10 / 28
![Page 28: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/28.jpg)
Boundary properties of factorial classes of graphs
Introduction
Example
Constant class: Co – complete graphs (1).Polynomial class: E1 – graphs with at most one edge((n2
)+ 1).
Exponential class: Co + Co (2n−1).
Factorial class: F – forests (nn−2 < |Fn| < n2n).
10 / 28
![Page 29: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/29.jpg)
Boundary properties of factorial classes of graphs
Introduction
Example
Constant class: Co – complete graphs (1).Polynomial class: E1 – graphs with at most one edge((n2
)+ 1).
Exponential class: Co + Co (2n−1).Factorial class: F – forests (nn−2 < |Fn| < n2n).
10 / 28
![Page 30: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/30.jpg)
Boundary properties of factorial classes of graphs
Introduction
Alekseev V.E. (1997)
Constant classes: log2 |Xn| = Θ(1).Polynomial classes: log2 |Xn| = Θ(log n).Exponential classes: log2 |Xn| = Θ(n).Factorial classes: log2 |Xn| = Θ(n log n).All other classes are superfactorial.
1 Structural characterizations were obtained for the first threelayers.
2 In every of the four layers all minimal classes were found.
11 / 28
![Page 31: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/31.jpg)
Boundary properties of factorial classes of graphs
Introduction
Alekseev V.E. (1997)
Constant classes: log2 |Xn| = Θ(1).Polynomial classes: log2 |Xn| = Θ(log n).Exponential classes: log2 |Xn| = Θ(n).Factorial classes: log2 |Xn| = Θ(n log n).All other classes are superfactorial.
1 Structural characterizations were obtained for the first threelayers.
2 In every of the four layers all minimal classes were found.
11 / 28
![Page 32: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/32.jpg)
Boundary properties of factorial classes of graphs
Introduction
Constant
Polynomial
Exponential
Factorial layer
Classes with index 1
12 / 28
![Page 33: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/33.jpg)
Boundary properties of factorial classes of graphs
Introduction
Balogh J., Bollobas B., Weinreich D. (2000)
Constant classes: log2 |Xn| = Θ(1).Polynomial classes: log2 |Xn| = Θ(log n).Exponential classes: log2 |Xn| = Θ(n).Factorial classes: log2 |Xn| = Θ(n log n).All other classes are superfactorial.
In addition1 Characterized lower part of the factorial layer, i.e. classes with|Xn| < n(1+o(1))n.
13 / 28
![Page 34: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/34.jpg)
Boundary properties of factorial classes of graphs
Introduction
Balogh J., Bollobas B., Weinreich D. (2000)
Constant classes: log2 |Xn| = Θ(1).Polynomial classes: log2 |Xn| = Θ(log n).Exponential classes: log2 |Xn| = Θ(n).Factorial classes: log2 |Xn| = Θ(n log n).All other classes are superfactorial.
In addition1 Characterized lower part of the factorial layer, i.e. classes with|Xn| < n(1+o(1))n.
13 / 28
![Page 35: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/35.jpg)
Boundary properties of factorial classes of graphs
Introduction
Examples of factorial classes:
forestsplanar graphsline graphscographspermutation graphsthreshold graphsgraphs of bounded vertex degreegraphs of bounded clique-widthet al.
14 / 28
![Page 36: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/36.jpg)
Boundary properties of factorial classes of graphs
Introduction
Problem
Characterize factorial layer.
15 / 28
![Page 37: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/37.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Minimal superfactorial classes
16 / 28
![Page 38: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/38.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Minimal superfactorial classes
Constant
Polynomial
Exponential
Factorial
Classes with index 1
? ? ?
17 / 28
![Page 39: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/39.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Minimal superfactorial classes
Constant
Polynomial
Exponential
Factorial
Classes with index 1
? ? ?
17 / 28
![Page 40: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/40.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Minimal superfactorial classes
log2 |Xn| = Θ(n log2 n)
CB = Free(C3, C5, C6, C7, . . .)
Theorem (Spinrad J. P., 1995)
log2 |CBn| = Θ(n log2 n)
Question
Is the class of chordal bipartite graphs a minimal superfactorial?
18 / 28
![Page 41: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/41.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Minimal superfactorial classes
log2 |Xn| = Θ(n log2 n)
CB = Free(C3, C5, C6, C7, . . .)
Theorem (Spinrad J. P., 1995)
log2 |CBn| = Θ(n log2 n)
Question
Is the class of chordal bipartite graphs a minimal superfactorial?
18 / 28
![Page 42: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/42.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Minimal superfactorial classes
log2 |Xn| = Θ(n log2 n)
CB = Free(C3, C5, C6, C7, . . .)
Theorem (Spinrad J. P., 1995)
log2 |CBn| = Θ(n log2 n)
Question
Is the class of chordal bipartite graphs a minimal superfactorial?
18 / 28
![Page 43: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/43.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Minimal superfactorial classes
log2 |Xn| = Θ(n log2 n)
CB = Free(C3, C5, C6, C7, . . .)
Theorem (Spinrad J. P., 1995)
log2 |CBn| = Θ(n log2 n)
Question
Is the class of chordal bipartite graphs a minimal superfactorial?
18 / 28
![Page 44: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/44.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Minimal superfactorial classes
Theorem (Dabrowski K., Lozin V.V., Zamaraev V., 2012)
Let X = Free(2C4, 2C4 + e)∩CB. Then log2 |Xn| = Θ(n log2 n).
2C4 2C4 + e
Open question
Is the class Free(2C4, 2C4 + e) ∩CB a minimal superfactorial?
19 / 28
![Page 45: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/45.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Minimal superfactorial classes
Theorem (Dabrowski K., Lozin V.V., Zamaraev V., 2012)
Let X = Free(2C4, 2C4 + e)∩CB. Then log2 |Xn| = Θ(n log2 n).
2C4 2C4 + e
Open question
Is the class Free(2C4, 2C4 + e) ∩CB a minimal superfactorial?
19 / 28
![Page 46: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/46.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Minimal superfactorial classes
Denote by Bk the class of (C4, C6, ..., C2k)-free bipartite graphs.
Statement (follows from the results of Lazebnik F., et al., 1995)
For each integer k ≥ 2, the class Bk is superfactorial.
Infinite sequence of superfactorial classes
B2 ⊃ B3 ⊃ B4 . . . .
In this sequence there is no minimal superfactorial class.
20 / 28
![Page 47: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/47.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Minimal superfactorial classes
Denote by Bk the class of (C4, C6, ..., C2k)-free bipartite graphs.
Statement (follows from the results of Lazebnik F., et al., 1995)
For each integer k ≥ 2, the class Bk is superfactorial.
Infinite sequence of superfactorial classes
B2 ⊃ B3 ⊃ B4 . . . .
In this sequence there is no minimal superfactorial class.
20 / 28
![Page 48: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/48.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Minimal superfactorial classes
Denote by Bk the class of (C4, C6, ..., C2k)-free bipartite graphs.
Statement (follows from the results of Lazebnik F., et al., 1995)
For each integer k ≥ 2, the class Bk is superfactorial.
Infinite sequence of superfactorial classes
B2 ⊃ B3 ⊃ B4 . . . .
In this sequence there is no minimal superfactorial class.
20 / 28
![Page 49: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/49.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Minimal superfactorial classes
Denote by Bk the class of (C4, C6, ..., C2k)-free bipartite graphs.
Statement (follows from the results of Lazebnik F., et al., 1995)
For each integer k ≥ 2, the class Bk is superfactorial.
Infinite sequence of superfactorial classes
B2 ⊃ B3 ⊃ B4 . . . .
In this sequence there is no minimal superfactorial class.
20 / 28
![Page 50: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/50.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Limit classes
Definition
Given a sequence X1 ⊇ X2 ⊇ X3 ⊇ . . . of graph classes, we willsay that the sequence converges to a class X if
⋂i≥1
Xi = X.
ExampleThe sequence B2 ⊃ B3 ⊃ B4 . . . converges to the factorial class Fof forests, i.e.
⋂i≥1
Bi = F.
Definition
A class X of graphs is a limit class (for the factorial layer) if thereis a sequence of superfactorial classes converging to X.
21 / 28
![Page 51: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/51.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Limit classes
Definition
Given a sequence X1 ⊇ X2 ⊇ X3 ⊇ . . . of graph classes, we willsay that the sequence converges to a class X if
⋂i≥1
Xi = X.
ExampleThe sequence B2 ⊃ B3 ⊃ B4 . . . converges to the factorial class Fof forests, i.e.
⋂i≥1
Bi = F.
Definition
A class X of graphs is a limit class (for the factorial layer) if thereis a sequence of superfactorial classes converging to X.
21 / 28
![Page 52: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/52.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Limit classes
Definition
Given a sequence X1 ⊇ X2 ⊇ X3 ⊇ . . . of graph classes, we willsay that the sequence converges to a class X if
⋂i≥1
Xi = X.
ExampleThe sequence B2 ⊃ B3 ⊃ B4 . . . converges to the factorial class Fof forests, i.e.
⋂i≥1
Bi = F.
Definition
A class X of graphs is a limit class (for the factorial layer) if thereis a sequence of superfactorial classes converging to X.
21 / 28
![Page 53: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/53.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Boundary classes
Definition
A limit class is called boundary (or minimal) if it does not properlycontain any other limit class.
Theorem
A finitely defined class is superfactorial if and only if it contains aboundary class.
Theorem
The class of forests is a boundary class.
22 / 28
![Page 54: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/54.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Boundary classes
Definition
A limit class is called boundary (or minimal) if it does not properlycontain any other limit class.
Theorem
A finitely defined class is superfactorial if and only if it contains aboundary class.
Theorem
The class of forests is a boundary class.
22 / 28
![Page 55: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/55.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Boundary classes
Definition
A limit class is called boundary (or minimal) if it does not properlycontain any other limit class.
Theorem
A finitely defined class is superfactorial if and only if it contains aboundary class.
Theorem
The class of forests is a boundary class.
22 / 28
![Page 56: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/56.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Are there more boundary classes?
There are five more boundary classes, which can be easly obtainedfrom the class of forests.
Two of them are:1 complements of forests;2 bipartite complements of forests;
1
5
2
6
3
7
4
8
F
1
5
2
6
3
7
4
8
Bipartite complement of F
Question
Are there other boundary classes?
23 / 28
![Page 57: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/57.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Are there more boundary classes?
There are five more boundary classes, which can be easly obtainedfrom the class of forests.
Two of them are:1 complements of forests;2 bipartite complements of forests;
1
5
2
6
3
7
4
8
F
1
5
2
6
3
7
4
8
Bipartite complement of F
Question
Are there other boundary classes?
23 / 28
![Page 58: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/58.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Are there more boundary classes?
There are five more boundary classes, which can be easly obtainedfrom the class of forests.
Two of them are:1 complements of forests;2 bipartite complements of forests;
1
5
2
6
3
7
4
8
F
1
5
2
6
3
7
4
8
Bipartite complement of F
Question
Are there other boundary classes?
23 / 28
![Page 59: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/59.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Are there more boundary classes?
There are five more boundary classes, which can be easly obtainedfrom the class of forests.
Two of them are:1 complements of forests;2 bipartite complements of forests;
1
5
2
6
3
7
4
8
F
1
5
2
6
3
7
4
8
Bipartite complement of F
Question
Are there other boundary classes?23 / 28
![Page 60: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/60.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Lozin’s conjecture
Conjecture (Lozin’s conjecture, [Lozin V.V., Mayhill C., Zamaraev V., 2011])
A hereditary graph class X is factorial if and only if at least one ofthe following three classes: X ∩B, X ∩ B и X ∩ S is factorial andeach of these classes is at most factorial.
B – bipartite graphsB – complements of bipartite graphsS – split graphs
24 / 28
![Page 61: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/61.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Proper boundary subclasses
B2 = Free(C4) ∩B CB = Free(C3, C5, C6, . . .)
superfactorial superfactorial⋂i≥1
Bi = F ⊂ B2⋂i≥1
Bi = F ⊂ CB
Bi ⊆ B2, i ≥ 1 Bi * CB, i ≥ 1
Definition
Let X be a superfactorial class and S a boundary subclasscontained in X. We say that S is a proper boundary subclass of Xif there is a sequence of superfactorial subclasses of X convergingto S.
25 / 28
![Page 62: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/62.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Proper boundary subclasses
B2 = Free(C4) ∩B CB = Free(C3, C5, C6, . . .)
superfactorial superfactorial
⋂i≥1
Bi = F ⊂ B2⋂i≥1
Bi = F ⊂ CB
Bi ⊆ B2, i ≥ 1 Bi * CB, i ≥ 1
Definition
Let X be a superfactorial class and S a boundary subclasscontained in X. We say that S is a proper boundary subclass of Xif there is a sequence of superfactorial subclasses of X convergingto S.
25 / 28
![Page 63: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/63.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Proper boundary subclasses
B2 = Free(C4) ∩B CB = Free(C3, C5, C6, . . .)
superfactorial superfactorial⋂i≥1
Bi = F ⊂ B2⋂i≥1
Bi = F ⊂ CB
Bi ⊆ B2, i ≥ 1 Bi * CB, i ≥ 1
Definition
Let X be a superfactorial class and S a boundary subclasscontained in X. We say that S is a proper boundary subclass of Xif there is a sequence of superfactorial subclasses of X convergingto S.
25 / 28
![Page 64: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/64.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Proper boundary subclasses
B2 = Free(C4) ∩B CB = Free(C3, C5, C6, . . .)
superfactorial superfactorial⋂i≥1
Bi = F ⊂ B2⋂i≥1
Bi = F ⊂ CB
Bi ⊆ B2, i ≥ 1 Bi * CB, i ≥ 1
Definition
Let X be a superfactorial class and S a boundary subclasscontained in X. We say that S is a proper boundary subclass of Xif there is a sequence of superfactorial subclasses of X convergingto S.
25 / 28
![Page 65: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/65.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Proper boundary subclasses
B2 = Free(C4) ∩B CB = Free(C3, C5, C6, . . .)
superfactorial superfactorial⋂i≥1
Bi = F ⊂ B2⋂i≥1
Bi = F ⊂ CB
Bi ⊆ B2, i ≥ 1 Bi * CB, i ≥ 1
Definition
Let X be a superfactorial class and S a boundary subclasscontained in X. We say that S is a proper boundary subclass of Xif there is a sequence of superfactorial subclasses of X convergingto S.
25 / 28
![Page 66: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/66.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Proper boundary subclasses
Theorem
There are no proper boundary subclasses of chordal bipartitegraphs.
Theorem
The class of forests is the only proper boundary subclass of B2.
26 / 28
![Page 67: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/67.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Proper boundary subclasses
Theorem
There are no proper boundary subclasses of chordal bipartitegraphs.
Theorem
The class of forests is the only proper boundary subclass of B2.
26 / 28
![Page 68: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/68.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Open problems
Open question
Find a minimal superfactorial class.
Open question
Is the list of boundary classes we found complete?
27 / 28
![Page 69: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/69.jpg)
Boundary properties of factorial classes of graphs
Minimal superfactorial classes
Open problems
Open question
Find a minimal superfactorial class.
Open question
Is the list of boundary classes we found complete?
27 / 28
![Page 70: Victor Zamaraev – Boundary properties of factorial classes of graphs](https://reader033.fdocuments.in/reader033/viewer/2022052411/556263abd8b42aed7d8b4d7e/html5/thumbnails/70.jpg)
Thank you!