arXiv++ Combinatorics

Let $G = (V, E)$ be a connected graph, and let $T$ in $V$ be a subset of vertices. An orientation of $G$ is called $T$-odd if any vertex $v \in V$ has odd in-degree if and only if it is in $T$. Finding a T -odd orientation of G can be solved in polynomial time as shown by Chevalier, Jaeger, Payan and Xuong (1983). Since then, $T$-odd orientations have continued to attract interest, particularly in the context of global constraints on the orientation. For instance, Frank and Király (2002) investigated $k$-connected $T$-odd orientations and raised questions about acyclic $T$-odd orientations. This problem is now recognized as an Egres problem and is known as the "Acyclic orientation with parity constraints" problem. Szegedy ( 005) proposed a randomized polynomial algorithm to address this problem. An easy consequence of his work provides a polynomial time algorithm for planar graphs whenever $|T | = |V | - 1$. Nevertheless, it remains unknown whether it exists in general. In this paper we contribute to the understanding of the complexity of this problem by studying a more general one. We prove that finding a $T$-odd acyclic orientation on graphs having some directed edges is NP-complete.

It was proved by Huynh, Mohar, Šámal, Thomassen and Wood in 2021 that any countable graph containing every countable planar graph as a subgraph has an infinite clique minor. We prove a finite, quantitative version of this result: for fixed $t$, if a graph $G$ is $K_t$-minor-free and contains every $n$-vertex planar graph as a subgraph, then $G$ has $2^{Ω(n)}$ vertices. On the other hand, we construct a polynomial size $K_4$-minor-free graph containing every $n$-vertex tree as an induced subgraph, and a polynomial size $K_7$-minor-free graph containing every $n$-vertex $K_4$-minor-free graph as induced subgraph. This answers several problems raised recently by Bergold, Iršič, Lauff, Orthaber, Scheucher and Wesolek. We study more generally the order of universal graphs for various classes (of graphs of bounded degree, treedepth, pathwidth, or treewidth), if the universal graphs retain some of the structure of the original class.

We classify all regular polyhedra according to their type i.e., the collection of numbers of common neighbours that any pair of distinct vertices may have (polyhedra are planar, $3$-connected graphs). As an application, we recover the classification of planar Deza graphs. Next, we focus on the class of quartic polyhedral Deza graphs, and completely characterise it in terms of medial graphs of certain specific cubic polyhedra. Furthermore, within the aforementioned class of quartic polyhedral Deza graphs, we study the extremal graphs with respect to the ratio of number of triangular faces to the total. In the maximal extreme, these notably coincide with the class of line graphs of cubic polyhedra of girth $5$. We also fully characterise the quartic polyhedra of type $\{0,1,2,3\}$, and in particular we prove that none of them are medial graphs. On one hand our findings fit within the novel research area of common neighbours in graphs. On the other hand, our findings imply general properties of regular planar graphs and regular polyhedra.

In 1962, Tutte provided a formula for the number of combinatorial triangulations, that is, maximal planar graphs with a fixed triangular face and $n$ additional vertices. In this note, we study how many ways a combinatorial triangulation can be drawn as geometric triangulation, that is, with straight-line segments, on a given point set in the plane. Our central contribution is that there exists a combinatorial triangulation with n vertices that can be drawn in at least $Ω(1,31^n)$ ways on a set of n points as different geometric triangulations. We also show an upper bound on the number of drawings of a combinatorial triangulation on the so-called double chain point set.

Cops and Robbers is a game played on a graph where a set of cops attempt to capture a single robber. The game proceeds in rounds, where each round first consists of the cops' turn, followed by the robber's turn. In the cops' turn, every cop can choose to either stay on the same vertex or move to an adjacent vertex, and likewise the robber in his turn. The robber is considered to be captured if, at any point in time, there is some cop on the same vertex as the robber. A natural question in this game concerns the cop-number of a graph -- the minimum number of cops needed to capture the robber. It has long been known that graphs embeddable (without crossings) on surfaces of bounded genus have bounded cop-number. In contrast, the class of 1-planar graphs -- graphs that can be drawn on the plane with at most one crossing per edge -- does not have bounded cop-number. This paper initiates an investigation into how distance between crossing pairs of edges influences a graph's cop number. In particular, we look at Distance $d$ Cops and Robbers, a variant of the classical game, where the robber is considered to be captured if there is a cop within distance $d$ of the robber. Let $c_d(G)$ denote the minimum number of cops required in the graph $G$ to capture a robber within distance $d$. We look at various classes of graphs, such as 1-plane graphs, $k$-plane graphs (graphs where each edge is crossed at most $k$ times), and even general graph drawings, and show that if every crossing pair of edges can be connected by a path of small length, then $c_d(G)$ is bounded, for small values of $d$.

The number of spanning trees of a graph $G$, denoted $τ(G)$, is a well studied graph parameter with numerous connections to other areas of mathematics. In a recent remarkable paper, answering a question of Sedláček from 1969, Chan, Kontorovich and Pak showed that $τ(G)$ takes at least $1.1103^n$ different values across simple (and planar) $n$-vertex graphs $G$, for large enough $n$. We give a very short, purely combinatorial proof that at least $1.55^n$ values are attained. We also prove that exponential growth can be achieved with regular graphs, determining the growth rate in another problem first raised by Sedláček in the late 1960's. We further show that the following modular dual version of the result holds. For any integer $N$ and any $u < N$ there exists a planar graph on $O(\log N)$ vertices whose number of spanning trees is $u$ modulo $N$.

In this article, we give a sufficient and necessary condition for determining whether a matchgate signature retains its property under a certain variable permutation, which can be checked in polynomial time. We also define the concept of permutable matchgate signatures, and use it to erase the gap between Pl-\#CSP and \#CSP on planar graphs in the previous study. We provide a detailed characterization of permutable matchgate signatures as well, by presenting their relation to symmetric matchgate signatures. In addition, we prove a dichotomy for Pl-$\#R_D$-CSP where $D\ge 3$ is an integer.

A graph $G$ is a link-irregular graph if every two distinct vertices of $G$ have non-isomorphic links. The link of a vertex $v$ in $G$ is the subgraph induced by the neighbors of $v$ in $G$. Ali, Chartrand and Zhang [Discussiones Mathematicae. Graph Theory, 45(1) (2025) p.95] conjectured that there exists no regular link-irregular graph. In this paper, we show that the existence of an $r$-regular link irregular graph is very likely for large enough $r$. In particular, we provide a 7-regular link irregular graph on 12 vertices, which serves as a counterexample to the conjecture. Additionally, we prove that no bipartite link-irregular graphs exist, and there are no regular link-irregular graphs on $n$-vertices for $n \leq 9$. Also, we determine upper and lower bounds for the number of edges of link-irregular graphs. Furthermore, we show the minimum number of edges in a link-irregular graph on the $n$ vertices is $Ω(n\sqrt{\log n})$. Finally, we prove that all but finitely many link-irregular graphs are non-planar, and there is no regular link-irregular planar graphs.

For real application and theoretical investigation of ordinary hypergraphs and non-ordinary hypergraphs, researchers need to establish standard rules and feasible operating methods. We propose a visualization tool for investigating hypergraphs by means of the natural topological structure of finite sets and their subsets, so we are able to construct various non-ordinary hypergraphs, and to reveal topological properties (such as hamiltonian cycles, maximal planar graphs), colorings, connectivity, hypergraph group, isomorphism and homomorphism of hypergraphs.

Let $G$ be an embedded graph and $A$ an edge subset of $G$. The partial dual of $G$ with respect to $A$, denoted by $G^A$, can be viewed as the geometric dual $G^*$ of $G$ over $A$. If $A=E(G)$, then $G^A=G^*$. Denote by $γ(G^A)$ the genus of the embedded graph $G^A$. The maximum partial-dual genus of $G$ is defined as $$^\partialγ_{M}(G):=\max_{A \subseteq E(G)}γ(G^A).$$ For any planar graph $G$, it had been proved that $^\partialγ_{M}(G)$ does not rely on the embeddings of $G$. In this paper, we further prove that if $G$ is a connected planar graph of order $n\geq 2$, then $^{\partial}γ_{M}(G)\geq \frac{n-n_2-2n_1}{2}+1$, where $n_i$ is the number of vertices of degree $i$ in $G$. As a consequence, if $G$ is a connected planar graph of order $n$ with minimum degree at least 3, then $^{\partial}γ_{M}(G) \geq \frac{n}{2}+1$. Denote by $G^c$ the complement of a graph $G$ and by $χ(G^c)$ the chromatic number of $G^c$. Moreover, we prove that if $G \ncong K_4$ is a $λ$-edge-connected planar graph of order $n$, then $^{\partial}γ_{M}(G) \geq f(n,λ,χ(G^c))$, where $f(n,λ,χ(G^c))$ is a function of $n$, $λ$ and $χ(G^c)$. The first lower bound is tight for any $n$, and the second lower bound is tight for some 3-edge-connected graphs.

Consider a finite field $\mathbb F_q$, $q=p^d$, where $p$ is an odd number. Let $M=(E,r)$ be a regular matroid; denote by ${\mathcal B}$ the family of its bases, $\bar s(M;α)=\sum_{B\in {\mathcal B}}\prod_{e\not\in B} α_e$, where ${α_e\in \mathbb F_q}$, $α_e\neq 0$. Let a subset $A\equiv A(α)$ in $E$ have the maximal cardinality and satisfy the condition $\bar s(M|A;α)\neq 0$, while ${r^*}(α)=|A|-r(E)$. Let us represent the value of the characteristic polynomial of the matroid $M$ at the point $q$ as the linear combination of Legendre symbols with respect to $\bar s(M|A;α)$, whose coefficients are modulo equal to $1/q^{r^*(α)/2}$. This representation generalizes the formula for a flow polynomial of a graph which was obtained by us earlier. The latter formula is an analog of the so-called $α$-representation of vacuum Feynman amplitudes in the case of a finite field, which has inspired the Kontsevich conjecture (1997). The $α$-representation technique is also applicable for expressing the number of Tait colorings for a cubic biconnected planar graph in terms of principal minors of the matrix of faces of this graph.

Shi, Walsh and Yu demonstrated that any dense planar graph with certain property (known as circuit graph) contains a large near-triangulation. We extend the result to $2$-connected plane graphs, thereby addressing a question posed by them. Using the result, we prove that the planar Tuán number of $2C_k$ is $\left[3-Θ(k^{\log_23})^{-1}\right]n$ when $k\geq 5$.

We study 3-plane drawings, that is, drawings of graphs in which every edge has at most three crossings. We show how the recently developed Density Formula for topological drawings of graphs (KKKRSU GD 2024) can be used to count the crossings in terms of the number $n$ of vertices. As a main result, we show that every 3-plane drawing has at most $5.5(n-2)$ crossings, which is tight. In particular, it follows that every 3-planar graph on $n$ vertices has crossing number at most $5.5n$, which improves upon a recent bound (BBBDHKMOW GD 2024) of $6.6n$. To apply the Density Formula, we carefully analyze the interplay between certain configurations of cells in a 3-plane drawing. As a by-product, we also obtain an alternative proof for the known statement that every 3-planar graph has at most $5.5(n-2)$ edges.

The dominating number $γ(G)$ of a graph $G$ is the minimum size of a vertex set whose closed neighborhood covers all the vertices of the graph. The packing number $ρ(G)$ of $G$ is the maximum size of a vertex set whose closed neighborhoods are pairwise disjoint. In this paper we study graph classes ${\cal G}$ such that $γ(G)/ρ(G)$ is bounded by a constant $c_{\cal G}$ for each $G\in {\cal G}$. We propose an inductive proof technique to prove that if $\cal G$ is the class of $2$-degenerate graphs, then there is such a constant bound $c_{\cal G}$. We note that this is the first monotone, dense graph class that is shown to have constant ratio. We also show that the classes of AT-free and unit-disk graphs have bounded ratio. In addition, our technique gives improved bounds on $c_{\cal G}$ for planar graphs, graphs of bounded treewidth or bounded twin-width. Finally, we provide some new examples of graph classes where the ratio is unbounded.

Given a graph H and a positive integer n, the planar Turan number of H, denoted by exp(n, H), is the maximum number of edges in an n-vertex H-free planar graph.D.Ghosh, et al.initiated the topic of double stars S_(k,l). Recently Xu et al.[AIMS Mathematics, 2025, 10(1): 1628-1644.] mentioned that exp(n, S_(3,5)) is still unknown.In this paper, we first establish that the planar Turan number S_(3,5) satisfies exp(n, S_(3,5)) <= 23n/8 - 9/2 for all n >= 2. The upper bound is tight for n = 12.

A graph is \emph{$(\mathcal{I}, \mathcal{F})$-partitionable} if its vertex set can be partitioned into two parts such that one part $\mathcal{I}$ is an independent set, and the other $\mathcal{F}$ induces a forest. A graph is \emph{$k$-degenerate} if every subgraph $H$ contains a vertex of degree at most $k$ in $H$. Bernshteyn and Lee defined a generalization of $k$-degenerate graphs, which is called \emph{weakly $k$-degenerate}. In this paper, we show that planar graphs without $4$-, $7$-, $9$-cycles, and $5$-cycles normally adjacent to $3$-cycles are both $(\mathcal{I}, \mathcal{F})$-partitionable and weakly $2$-degenerate.

A cover of a graph $G$ is a graph $H$ with vertex set $V(H) = \bigcup_{v \in V(G)} L_{v}$, where $L_{v} = \{v\} \times [s]$, and the edge set $M = \bigcup_{uv \in E(G)} M_{uv}$, where $M_{uv}$ is a matching between $L_{u}$ and $L_{v}$. A vertex set $T \subseteq V(H)$ is a transversal of $H$ if $|T \cap L_{v}| = 1$ for each $v \in V(G)$. Let $f$ be a nonnegative integer valued function on the vertex-set of $H$. If for any nonempty subgraph $Γ$ of $H[T]$, there exists a vertex $x \in V(H)$ such that $d(x) < f(x)$, then $T$ is called a strictly $f$-degenerate transversal. In this paper, we give a sufficient condition for the existence of strictly $f$-degenerate transversal for planar graphs without chorded $6$-cycles. As a consequence, every planar graph without subgraphs isomorphic to the configurations in Fig. 4 is DP-$4$-colorable.

Weak degeneracy of a graph is a variation of degeneracy that has a close relationship to many graph coloring parameters. In this article, we prove that planar graphs with distance of $3$-cycles at least 2 and no cycles of lengths $5, 6, 7$ are weakly $2$-degenerate. Furthermore, such graphs can be vertex-partitioned into two subgraphs, one of which has no edges, and the other is a forest.

Recently, there has been interest in representing single graphs by multiple drawings; for example, using graph stories, storyplans, or uncrossed collections. In this paper, we apply this idea to orthogonal graph drawing. Due to the orthogonal drawing style, we focus on 4-graphs, that is, graphs of maximum degree 4. We restrict ourselves to plane graphs, that is, planar graphs whose embedding is fixed. Our goal is to represent any plane 4-graph $G$ by an unbent collection, that is, a collection of orthogonal drawings of $G$ that adhere to the embedding of $G$ and ensure that each edge of $G$ is drawn without bends in at least one of the drawings. We investigate two objectives. First, we consider minimizing the number of drawings in an unbent collection. We prove that every plane 4-graph can be represented by a collection with at most three drawings, which is tight. We also give necessary and sufficient conditions for a graph to admit an unbent collection of size $2$. Second, we consider minimizing the total number of bends over all drawings in an unbent collection. We show that this problem is NP-hard and give a 3-approximation algorithm. For the special case of plane triconnected cubic graphs, we show how to compute minimum-bend collections in linear time.

A long-standing conjecture of Thomassen says that every longest cycle of a $3$-connected graph has a chord. Thomassen (2018) proved that if $G$ is $2$-connected and cubic, then any longest cycle must have a chord. He also showed that if $G$ is a $3$-connected graph with minimum degree at least $4$, then some of the longest cycles in $G$ must have a chord. Zhang (1987) proved that if $G$ is a $3$-connected simple planar graph which is 3-regular or has minimum degree at least $4$, then every longest cycle of $G$ must have a chord. Recently, Li and Liu showed that if $G$ is a $2$-connected cubic graph and $x, y$ are two distinct vertices of $G$, then every longest $(x,y)$-path of $G$ contains at least one internal vertex whose neighbors are all in the path. In this paper, we study chords of longest cycles passing through a specified small set and generalize Thomassen's and Zhang's above results by proving the following results. (i) Let $G$ be a $2$-connected cubic graph and $S$ be a specified set consisting of an edge plus a vertex. Then every longest cycle of $G$ containing $S$ must have a chord. (ii) Let $G$ be a $3$-connected graph with minimum degree at least $4$ and $e$ be a specified edge of $G$. Then some longest cycle of $G$ containing $e$ must have a chord. (iii) Let $G$ be a $3$-connected planar graph with minimum degree at least $4$. Suppose $S$ is a specified set consisting of either three vertices or an edge plus a vertex. Then every longest cycle of $G$ containing $S$ must have a chord. We also extend the above-mentioned result of Li and Liu for $2$-connected cubic graphs.