arXiv++ Combinatorics

Let $P$ be the Petersen graph and let $e\in E(P)$. We prove that every almost $4$-connected nonplanar graph of minimum degree at least three and girth at least five contains $P/e$ as a minor. Using this structural result, we show that every finite bridgeless $(P/e)$-minor-free multigraph admits a nowhere-zero $4$-flow. This extends the theorem of Wang, Zhang and Zhang (2009) for graphs excluding the graph obtained by contracting three edges of a perfect matching of $P$, and complements the theorem of Thomas and Thomson (2000) for $(P-e)$-minor-free graphs. Consequently, every bridgeless graph with no nowhere-zero $4$-flow contains both $P/e$ and $P-e$ as minors. The proof combines the girth-five structure theorem of Thomas and Thomson (2000) with the nonplanar extension theorem of Norin and Thomas (2016). Its finite part is computer-assisted and verifies the required minor models in the Petersen, Triplex and Basket graphs, and in the jump and facial cross extensions of the Dodecahedron.

The red-blue vertex partitions now known as crumby colorings originate in a conjecture of Thomassen related to Wegner's conjecture on squares of planar graphs. In such a coloring, the blue vertices induce a graph of maximum degree at most one, while the red vertices induce a graph with no isolated vertices and no simple path with three edges. Barát, Blázsik and Damásdi proved that every 2-connected outerplanar graph of maximum degree at most three admits a crumby coloring, and conjectured that the 2-connectivity assumption can be removed. We prove this conjecture: every finite simple subcubic outerplanar graph admits a crumby coloring. To prove the conjecture, we introduce a rooted grammar for subcubic outerplanar graphs. The grammar describes such graphs recursively using rooted branches and two-terminal path fragments; cyclic blocks are handled by deleting the root to obtain a path fragment. We correspondingly extend crumby colorings to crumby-admissible colorings: in a rooted branch the root, and in a path fragment the two terminals, are allowed to be temporary isolated red vertices. This relaxation makes induction along the grammar possible while retaining only finite boundary information. The induction reduces to verifying an explicit finite family of lower certificates, namely nonempty sets of boundary types and root states. The required verification has two parts: the family must be closed under all steps of the decomposition, and every certified completed branch must contain a final-legal root state, so that the temporary defect disappears and the resulting coloring is a genuine crumby coloring. This final step is computer-assisted: a stand-alone certificate checker, supplied with the paper, verifies the stated closure and crumby conditions for the supplied certificate. All structural reductions and the certificate-induction principle are proved by hand.

A graph $G$ is conformable if it admits a proper $(Δ(G)+1)$-coloring in which, among the $Δ(G)+1$ color classes including the empty ones, at most $\sum_{v\in V(G)}(Δ(G)-d_G(v))$ have parity different from that of $|V(G)|$. The complexity of deciding conformability was left open in recent work, and positive results for several graph classes had suggested that the problem might be polynomial-time solvable. We settle the general problem by proving that Conformability is NP-complete. Hardness holds even for connected regular graphs $G$ of odd order with independence number $α(G)=3$ and maximum degree $Δ(G)\ge |V(G)|/2$. In particular, NP-completeness persists when every color class is forced to have the parity of the order. The reduction starts from perfect triangle packing in graphs of clique number three, regularizes the source graph while preserving the relevant triangle packings, and then takes the complement. In the complement, conformable color classes correspond to odd cliques of the regularized graph; $K_4$-freeness restricts these cliques to singletons or triangles, and the number of available colors forces exactly the required number of disjoint triangles.

Motivated by Wegner's conjecture on squares of planar graphs, Thomassen conjectured that every 3-connected cubic graph on at least eight vertices admits a red-blue vertex coloring in which the blue subgraph has maximum degree at most 1, while the red subgraph has minimum degree at least 1 and contains no $P_4$. Such colorings are now called crumby colorings. Although this conjecture was disproved in general by Bellitto, Klimošová, Merker, Witkowski and Yuditsky, positive results of Barát, Blázsik and Damásdi led them, in the same subcubic setting, to conjecture that every $K_4$-minor-free graph admits a crumby coloring. We disprove this conjecture with a connected subcubic partial 2-tree on 18 vertices. We also disprove its natural 2-connected version with a 2-connected subcubic partial 2-tree on 40 vertices with no crumby coloring. Consequently, the obstruction to crumby colorability already occurs within treewidth two, even under 2-connectivity.

We study network robustness under correlated failures modeled by colors, where each color represents a class of edges or vertices that may fail simultaneously. An edge-colored graph is said to be edge-color-avoiding $k$-edge-connected if it remains $k$-edge-connected after the removal of all edges of any single color. We characterize the graphs that admit such a coloring and show that, when $k = 1$, one can determine in polynomial time both the minimum number of colors required and a coloring achieving it; while the problem becomes NP-hard for $k \ge 2$. We also investigate the problem of orienting the edges of a graph so that the resulting digraph remains strongly or rooted connected even after the removal of all arcs of any single color. In addition, we explore generalizations involving vertex-colorings, $k$-vertex-connectivity, simultaneous failures of multiple colors and matroids.

We call a (not necessarily properly) edge-colored graph edge-color-avoiding connected if after the removal of edges of any single color, the graph remains connected. For vertex-colored graphs, similar definitions of color-avoiding connectivity can be given. In this article, we investigate the problem of determining the maximum number of edges that can be removed from a color-avoiding connected graph so that it remains color-avoiding connected. First, we prove that this problem is NP-hard, then we give a polynomial-time approximation algorithm for it. To analyze the approximation factor of this algorithm, we determine the minimum number of edges of color-avoiding connected graphs on a given number of vertices and with a given number of colors. Furthermore, we also consider a generalization of edge-color-avoiding connectivity to matroids.