A paradigm that was successfully applied in the study of both pure and algorithmic problems in graph theory can be colloquially summarized as stating that "any graph is close to being the disjoint union of expanders". Our goal in this paper is to show that in several of the instantiations of the above approach, the quantitative bounds that were obtained are essentially best possible. These results are obtained as corollaries of a new family of graphs, which we construct by picking random subgraphs of the hypercube, and analyze using (simple) arguments from the theory of metric embedding.
Let $G$ be an induced subgraph of the hypercube $Q_k$ for some $k$. We show that if $|G|$ is a power of $2$ then, for sufficiciently large $n$, the vertex set of $Q_n$ can be partitioned into induced copies of $G$. This answers a question of Offner. In fact, we prove a stronger statement: if $X$ is a subset of $\{0,1\}^k$ for some $k$ and if $|X|$ is a power of $2$, then, for sufficiently large $n$, $\{0,1\}^n$ can be partitioned into isometric copies of $X$.
A \emph{locally irregular graph} is a graph whose adjacent vertices have distinct degrees. We say that a graph $G$ can be decomposed into $k$ locally irregular subgraphs if its edge set may be partitioned into $k$ subsets each of which induces a locally irregular subgraph in $G$. It has been conjectured that apart from the family of exceptions which admit no such decompositions, i.e., odd paths, odd cycles and a special class of graphs of maximum degree $3$, every connected graph can be decomposed into $3$ locally irregular subgraphs. Using a combination of a probabilistic approach and some kn…
A graph is locally irregular if no two adjacent vertices have the same degree. The irregular chromatic index $χ_{\rm irr}'(G)$ of a graph $G$ is the smallest number of locally irregular subgraphs needed to edge-decompose $G$. Not all graphs have such a decomposition, but Baudon, Bensmail, Przybyło, and Woźniak conjectured that if $G$ can be decomposed into locally irregular subgraphs, then $χ_{\rm irr}'(G)\leq 3$. In support of this conjecture, Przybyło showed that $χ_{\rm irr}'(G)\leq 3$ holds whenever $G$ has minimum degree at least $10^{10}$. Here we prove that every bipartite graph $G$ whi…
The 3-Decomposition Conjecture states that every connected cubic graph can be decomposed into a spanning tree, a 2-regular subgraph and a matching. We show that this conjecture holds for the class of connected plane cubic graphs.
A graph $G$ is called interval colorable if it has a proper edge coloring with colors $1,2,3,\dots$ such that the colors of the edges incident to every vertex of $G$ form an interval of integers. Not all graphs are interval colorable; in fact, quite few families have been proved to admit interval colorings. In this paper we introduce and investigate a new notion, the interval coloring thickness of a graph $G$, denoted ${θ_{\mathrm{int}}}(G)$, which is the minimum number of interval colorable edge-disjoint subgraphs of $G$ whose union is $G$. Our investigation is motivated by scheduling problem…
The Tree Decomposition Conjecture by Barát and Thomassen states that for every tree $T$ there exists a natural number $k(T)$ such that the following holds: If $G$ is a $k(T)$-edge-connected simple graph with size divisible by the size of $T$, then $G$ can be edge-decomposed into subgraphs isomorphic to $T$. So far this conjecture has only been verified for paths, stars, and a family of bistars. We prove a weaker version of the Tree Decomposition Conjecture, where we require the subgraphs in the decomposition to be isomorphic to graphs that can be obtained from $T$ by vertex-identifications. We…
Hoffmann-Ostenhof's Conjecture states that the edge set of every connected cubic graph can be decomposed into a spanning tree, a matching and a $2$-regular subgraph. In this paper, we show that the conjecture holds for claw-free subcubic graphs and $4$-chordal subcubic graphs.
Let $S=\{K_{1,3},K_3,P_4\}$ be the set of connected graphs of size 3. We study the problem of partitioning the edge set of a graph $G$ into graphs taken from any non-empty $S'\subseteq S$. The problem is known to be NP-complete for any possible choice of $S'$ in general graphs. In this paper, we assume that the input graph is cubic, and study the computational complexity of the problem of partitioning its edge set for any choice of $S'$. We identify all polynomial and NP-complete problems in that setting, and give graph-theoretic characterisations of $S'$-decomposable cubic graphs in some case…
We solve the following problem: Can an undirected weighted graph G be parti- tioned into two non-empty induced subgraphs satisfying minimum constraints for the sum of edge weights at vertices of each subgraph? We show that this is possible for all constraints a(x), b(x) satisfying d_G(x) >= a(x) + b(x) + 2W_G(x), for every vertex x, where d_G(x), W_G(x) are, respectively, the sum and maximum of incident edge weights.
A celebrated theorem of Stiebitz asserts that any graph with minimum degree at least $s+t+1$ can be partitioned into two parts which induce two subgraphs with minimum degree at least $s$ and $t$, respectively. This resolved a conjecture of Thomassen. In this paper, we prove that for $s,t\geq 2$, if a graph $G$ contains no cycle of length four and has minimum degree at least $s+t-1$, then $G$ can be partitioned into two parts which induce two subgraphs with minimum degree at least $s$ and $t$, respectively. This improves the result of Diwan, who proved the same statement for graphs of girth at …
For an edge-colored graph $G$, the minimum color degree of $G$ means the minimum number of colors on edges which are adjacent to each vertex of $G$. We prove that if $G$ is an edge-colored graph with minimum color degree at least $5$ then $V(G)$ can be partitioned into two parts such that each part induces a subgraph with minimum color degree at least $2$. We show this theorem by proving a much stronger form. Moreover, we point out an important relationship between our theorem and Bermond-Thomassen's conjecture in digraphs.
A famous result by Rödl, Ruciński, and Szemerédi guarantees a (tight) Hamilton cycle in $k$-uniform hypergraphs $H$ on $n$ vertices with minimum $(k-1)$-degree $δ_{k-1}(H)\geq (1/2+o(1))n$, thereby extending Dirac's result from graphs to hypergraphs. For graphs, much more is known; each graph on $n$ vertices with $δ(G)\geq (1/2+o(1))n$ contains $(1-o(1))r$ edge-disjoint Hamilton cycles where $r$ is the largest integer such that $G$ contains a spanning $2r$-regular subgraph, which is clearly asymptotically optimal. This was proved by Ferber, Krivelevich, and Sudakov answering a question raised …
Unigraphs are graphs uniquely determined by their own degree sequence up to isomorphism. There are many subclasses of unigraphs such as threshold graphs, split matrogenic graphs, matroidal graphs, and matrogenic graphs. Unigraphs and these subclasses are well studied in the literature. Nevertheless, there are few results on superclasses of unigraphs. In this paper, we introduce two types of generalizations of unigraphs: $k$-unigraphs and $k$-strong unigraphs. We say that a graph $G$ is a $k$-unigraph if $G$ can be partitioned into $k$ unigraphs. $G$ is a $k$-strong unigraph if not only each su…
A locally irregular graph is a graph whose adjacent vertices have distinct degrees, a regular graph is a graph where each vertex has the same degree and a locally regular graph is a graph where for every two adjacent vertices u, v, their degrees are equal. In this work, we study the set of all problems which are related to decomposition of graphs into regular, locally regular and/or locally irregular subgraphs and we present some polynomial time algorithms, NP-completeness results, lower bounds and upper bounds for them. Among our results, one of our lower bounds makes use of mutually orthogon…
For a real constant $α$, let $π_3^α(G)$ be the minimum of twice the number of $K_2$'s plus $α$ times the number of $K_3$'s over all edge decompositions of $G$ into copies of $K_2$ and $K_3$, where $K_r$ denotes the complete graph on $r$ vertices. Let $π_3^α(n)$ be the maximum of $π_3^α(G)$ over all graphs $G$ with $n$ vertices. The extremal function $π_3^3(n)$ was first studied by Győri and Tuza [Decompositions of graphs into complete subgraphs of given order, Studia Sci. Math. Hungar. 22 (1987), 315--320]. In a recent progress on this problem, Král', Lidický, Martins and Pehova [Decomposing g…
A graph $G=(V,E)$ is called an expander if every vertex subset $U$ of size up to $|V|/2$ has an external neighborhood whose size is comparable to $|U|$. Expanders have been a subject of intensive research for more than three decades and have become one of the central notions of modern graph theory. We first discuss the above definition of an expander and its alternatives. Then we present examples of families of expanding graphs and state basic properties of expanders. Next, we introduce a way to argue that a given graph contains a large expanding subgraph. Finally we research properties of exp…
Consider a uniform expanders family G_n with a uniform bound on the degrees. It is shown that for any p and c>0, a random subgraph of G_n obtained by retaining each edge, randomly and independently, with probability p, will have at most one cluster of size at least c|G_n|, with probability going to one, uniformly in p. The method from Ajtai, Komlos and Szemeredi [Combinatorica 2 (1982) 1-7] is applied to obtain some new results about the critical probability for the emergence of a giant component in random subgraphs of finite regular expanding graphs of high girth, as well as a simple proof of…
Finding irrelevant vertices in linear time on bounded-genus graphs
University of Bergen（卑尔根大学）；National and Kapodistrian University of Athens（雅典国立卡波迪斯特里阿斯大学）；Université Paris Cité（巴黎西岱大学）；CNRS（法国国家科学研究中心）；IRIF（IRIF实验室）；Institute of Informatics, University of Warsaw（华沙大学信息学研究所）；LIRMM, Univ Montpellier（蒙彼利埃大学LIRMM实验室）；Department of Informatics and Telecommunications, National and Kapodistrian University of Athens（雅典国立卡波迪斯特里阿斯大学信息与电信系）
