scholarly journals Polynomially Bounding the Number of Minimal Separators in Graphs: Reductions, Sufficient Conditions, and a Dichotomy Theorem

10.37236/9428 ◽  
2021 ◽  
Vol 28 (1) ◽  
Author(s):  
Martin Milanič ◽  
Nevena Pivač
Keyword(s):  
Cartesian Product ◽  
Sufficient Conditions ◽  
Induced Subgraphs ◽  
Forbidden Induced Subgraphs ◽  
Dichotomy Theorem ◽  
Bounded Number ◽  
Graph Classes ◽  
The Family ◽  
Graph Class ◽  
Hereditary Graph Class

A graph class is said to be tame if graphs in the class have a polynomially bounded number of minimal separators. Tame graph classes have good algorithmic properties, which follow, for example, from an algorithmic metatheorem of Fomin, Todinca, and Villanger from 2015. We show that a hereditary graph class $\mathcal{G}$ is tame if and only if the subclass consisting of graphs in $\mathcal{G}$ without clique cutsets is tame. This result and Ramsey's theorem lead to several types of sufficient conditions for a graph class to be tame. In particular, we show that any hereditary class of graphs of bounded clique cover number that excludes some complete prism is tame, where a complete prism is the Cartesian product of a complete graph with a $K_2$. We apply these results, combined with constructions of graphs with exponentially many minimal separators, to develop a dichotomy theorem separating tame from non-tame graph classes within the family of graph classes defined by sets of forbidden induced subgraphs with at most four vertices.

scholarly journals Smaller Extended Formulations for Spanning Tree Polytopes in Minor-closed Classes and Beyond

2021 ◽  
Vol 28 (4) ◽  
Author(s):  
Manuel Aprile ◽  
Samuel Fiorini ◽  
Tony Huynh ◽  
Gwenaël Joret ◽  
David R. Wood
Keyword(s):  
Spanning Tree ◽  
Short Proof ◽  
Induced Subgraphs ◽  
Direct Construction ◽  
Extension Complexity ◽  
Graph Classes ◽  
Closed Class ◽  
Vertex Graph ◽  
Graph Class ◽  
Strongly Sublinear

Let $G$ be a connected $n$-vertex graph in a proper minor-closed class $\mathcal G$. We prove that the extension complexity of the spanning tree polytope of $G$ is $O(n^{3/2})$. This improves on the $O(n^2)$ bounds following from the work of Wong (1980) and Martin (1991). It also extends a result of Fiorini, Huynh, Joret, and Pashkovich (2017), who obtained a $O(n^{3/2})$ bound for graphs embedded in a fixed surface. Our proof works more generally for all graph classes admitting strongly sublinear balanced separators: We prove that for every constant $\beta$ with $0<\beta<1$, if $\mathcal G$ is a graph class closed under induced subgraphs such that all $n$-vertex graphs in $\mathcal G$ have balanced separators of size $O(n^\beta)$, then the extension complexity of the spanning tree polytope of every connected $n$-vertex graph in $\mathcal{G}$ is $O(n^{1+\beta})$. We in fact give two proofs of this result, one is a direct construction of the extended formulation, the other is via communication protocols. Using the latter approach we also give a short proof of the $O(n)$ bound for planar graphs due to Williams (2002).

scholarly journals Forbidden Subgraphs of Power Graphs

10.37236/9961 ◽  
2021 ◽  
Vol 28 (3) ◽  
Author(s):  
Pallabi Manna ◽  
Peter J. Cameron ◽  
Ranjit Mehatari
Keyword(s):  
Nilpotent Groups ◽  
Chordal Graphs ◽  
Forbidden Subgraphs ◽  
Induced Subgraphs ◽  
Open Problems ◽  
Split Graph ◽  
Forbidden Induced Subgraphs ◽  
Power Graph ◽  
Graph Classes ◽  
Split Graphs

The undirected power graph (or simply power graph) of a group $G$, denoted by $P(G)$, is a graph whose vertices are the elements of the group $G$, in which two vertices $u$ and $v$ are connected by an edge between if and only if either $u=v^i$ or $v=u^j$ for some $i$, $j$. A number of important graph classes, including perfect graphs, cographs, chordal graphs, split graphs, and threshold graphs, can be defined either structurally or in terms of forbidden induced subgraphs. We examine each of these five classes and attempt to determine for which groups $G$ the power graph $P(G)$ lies in the class under consideration. We give complete results in the case of nilpotent groups, and partial results in greater generality. In particular, the power graph is always perfect; and we determine completely the groups whose power graph is a threshold or split graph (the answer is the same for both classes). We give a number of open problems.

scholarly journals Tree Cover Number and Maximum Semidefinite Nullity of Some Graph Classes

2020 ◽  
Vol 36 (36) ◽  
pp. 678-693
Author(s):  
Rachel Domagalski ◽  
Sivaram Narayan
Keyword(s):  
Line Graph ◽  
Cartesian Product ◽  
Positive Semidefinite ◽  
Tree Cover ◽  
Induced Subgraphs ◽  
Graph Classes ◽  
Maximum Nullity ◽  
Minimum Number ◽  
Vertex Set ◽  
Vertex Disjoint

Let $G$ be a graph with a vertex set $V$ and an edge set $E$ consisting of unordered pairs of vertices. The tree cover number of $G$, denoted $\tau(G)$, is the minimum number of vertex disjoint simple trees occurring as induced subgraphs of $G$ that cover all the vertices of $G$. In this paper, the tree cover number of a line graph $\tau(L(G))$ is shown to be equal to the path number $\pi(G)$ of $G$. Also, the tree cover numbers of shadow graphs, corona and Cartesian product of two graphs are found. The graph parameter $\tau(G)$ is related to another graph parameter $M_+(G)$, called the maximum semidefinite nullity of $G$. Suppose $S_+(G,\mathbb{R})$ denotes the collection of positive semidefinite real symmetric matrices associated with a given graph $G$. Then $M_+(G)$ is the maximum nullity among all matrices in $S_+(G,\mathbb{R})$. It has been conjectured that $\tau(G)\leq M_+(G)$. The conjecture is shown to be true for graph classes considered in this work.

scholarly journals Clique-Width of Graph Classes Defined by Two Forbidden Induced Subgraphs

2015 ◽  
Vol 59 (5) ◽  
pp. 650-666 ◽  
Author(s):  
Konrad K. Dabrowski ◽  
Daniël Paulusma
Keyword(s):  
Induced Subgraphs ◽  
Forbidden Induced Subgraphs ◽  
Graph Classes

Using binary operations to construct a transitive set of block transformations

2020 ◽  
Vol 30 (6) ◽  
pp. 375-389
Author(s):  
Igor V. Cherednik
Keyword(s):  
Binary Operation ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Binary Operations ◽  
The Family ◽  
Transitive Set ◽  
Necessary And Sufficient

AbstractWe study the set of transformations {ΣF : F∈ 𝓑∗(Ω)} implemented by a network Σ with a single binary operation F, where 𝓑∗(Ω) is the set of all binary operations on Ω that are invertible as function of the second variable. We state a criterion of bijectivity of all transformations from the family {ΣF : F∈ 𝓑∗(Ω)} in terms of the structure of the network Σ, identify necessary and sufficient conditions of transitivity of the set of transformations {ΣF : F∈ 𝓑∗(Ω)}, and propose an efficient way of verifying these conditions. We also describe an algorithm for construction of networks Σ with transitive sets of transformations {ΣF : F∈ 𝓑∗(Ω)}.

Sign in / Sign up

Export Citation Format

Share Document