arXiv++ Combinatorics

In a graph G, a dissociation set is a subset of vertices which induces a subgraph with vertex degree at most 1. Finding a dissociation set of maximum cardinality in a graph is NP-hard even for bipartite graphs and is called the maximum dissociation set problem. The complexity of maximum dissociation set problem in various subclasses of graphs has been extensively studied in the literature. In this paper, we study the maximum dissociation problem from different perspectives and characterize the vertices belonging to all maximum dissociation sets, and to no maximum dissociation set of a tree. We present a linear time recognition algorithm which can determine whether a given vertex in a tree is contained in all (or no) maximum dissociation sets of the tree. Thus for a tree with n vertices, we can find all vertices belonging to all (or no) maximum dissociation sets of the tree in O(n^2) time.

Let us consider a parametric weighted directed graph in which every arc $(j,i)$ has weight of the form $w((j,i))=\max(P_{ij}+λ,I_{ij}-λ,C_{ij})$, where $λ$ is a real parameter and $P$, $I$ and $C$ are arbitrary square matrices with elements in $\mathbb{R}\cup\{-\infty\}$. In this paper, we design an algorithm that solves the Non-positive Circuit weight Problem (NCP) on this class of parametric graphs, which consists in finding all values of $λ$ such that the graph does not contain circuits with positive weight. This problem, which generalizes other instances of the NCP previously investigated in the literature, has applications in the consistency analysis of a class of discrete-event systems called P-time event graphs. The proposed algorithm is based on max-plus algebra and formal languages, and improves the worst-case complexity of other existing approaches, achieving strongly polynomial time complexity $\mathcal{O}(n^4)$ (where $n$ is the number of nodes in the graph).

The orientation completion problem for a class of oriented graphs asks whether a given partially oriented graph can be completed to an oriented graph in the class by orienting the unoriented edges of the partially oriented graph. Orientation completion problems have been studied recently for several classes of oriented graphs, yielding both polynomial time solutions as well as NP-completeness results. Local tournaments are a well-structured class of oriented graphs that generalize tournaments and their underlying graphs are intimately related to proper circular-arc graphs. According to Skrien, a connected graph can be oriented as a local tournament if and only if it is a proper circular-arc graph. Proper interval graphs are precisely the graphs which can be oriented as acyclic local tournaments. It has been proved that the orientation completion problems for the classes of local tournaments and acyclic local tournaments are both polynomial time solvable. In this paper we characterize the partially oriented graphs that can be completed to local tournaments by determining the complete list of obstructions. These are in a sense minimal partially oriented graphs that cannot be completed to local tournaments. The result may be viewed as an extension of the well-known forbidden subgraph characterization of proper circular-arc graphs obtained by Tucker. The complete list of obstructions for acyclic local tournament orientation completions has been given in a companion paper.

Chip-firing and rotor-routing are two well-studied examples of abelian networks. We study the complexity of their respective reachability problems. We show that the rotor-routing reachability problem is decidable in polynomial time, and we give a simple characterization of when a chip-and-rotor configuration is reachable from another one. For chip-firing, it has been known that the reachability problem is in P if we have a class of graphs whose period length is polynomial (for example, Eulerian digraphs). Here we show that in the general case, chip-firing reachability is hard in the sense that if the chip-firing reachability problem were in P for general digraphs, then the polynomial hierarchy would collapse to NP. We encode graphs by their adjacency matrix, and we encode ribbon structures "succinctly", only remembering the number of consecutive parallel edges.

For a fixed positive $ε$, we show the existence of a constant $C_ε$ with the following property: Given a $\pm1$-edge-labeling $c:E(K_n)\to \{ -1,1\}$ of the complete graph $K_n$ with $c(E(K_n))=0$, and a spanning forest $F$ of $K_n$ of maximum degree $Δ$, one can determine in polynomial time an isomorphic copy $F'$ of $F$ in $K_n$ with $|c(E(F'))|\leq \left(\frac{3}{4}+ε\right)Δ+C_ε.$ Our approach is based on the method of conditional expectation.

We show that one can enumerate the vertices of the convex hull of integer points in polytopes whose constraint matrices have bounded and nonzero subdeterminants, in time polynomial in the dimension and encoding size of the polytope. This extends a previous result by Artmann et al. who showed that integer linear optimization in such polytopes can be done in polynomial time.

We study the scheduling problem of makespan minimization while taking machine conflicts into account. Machine conflicts arise in various settings, e.g., shared resources for pre- and post-processing of tasks or spatial restrictions. In this context, each job has a blocking time before and after its processing time, i.e., three parameters. We seek for conflict-free schedules in which the blocking times of no two jobs intersect on conflicting machines. Given a set of jobs, a set of machines, and a graph representing machine conflicts, the problem SchedulingWithMachineConflicts (SMC), asks for a conflict-free schedule of minimum makespan. We show that, unless $\textrm{P}=\textrm{NP}$, SMC on $m$ machines does not allow for a $\mathcal{O}(m^{1-\varepsilon})$-approximation algorithm for any $\varepsilon>0$, even in the case of identical jobs and every choice of fixed positive parameters, including the unit case. Complementary, we provide approximation algorithms when a suitable collection of independent sets is given. Finally, we present polynomial time algorithms to solve the problem for the case of unit jobs on special graph classes. Most prominently, we solve it for bipartite graphs by using structural insights for conflict graphs of star forests.

We study a class of optimization problems including matrix scaling, matrix balancing, multidimensional array scaling, operator scaling, and tensor scaling that arise frequently in theory and in practice. Some of these problems, such as matrix and array scaling, are convex in the Euclidean sense, but others such as operator scaling and tensor scaling are geodesically convex on a different Riemannian manifold. Trust region methods, which include box-constrained Newton's method, are known to produce high precision solutions very quickly for matrix scaling and matrix balancing (Cohen et. al., FOCS 2017, Allen-Zhu et. al. FOCS 2017), and result in polynomial time algorithms for some geodesically convex problems like operator scaling (Garg et. al. STOC 2018, Bürgisser et. al. FOCS 2019). One is led to ask whether these guarantees also hold for multidimensional array scaling and tensor scaling. We show that this is not the case by exhibiting instances with exponential diameter bound: we construct polynomial-size instances of 3-dimensional array scaling and 3-tensor scaling whose approximate solutions all have doubly exponential condition number. Moreover, we study convex-geometric notions of complexity known as margin and gap, which are used to bound the running times of all existing optimization algorithms for such problems. We show that margin and gap are exponentially small for several problems including array scaling, tensor scaling and polynomial scaling. Our results suggest that it is impossible to prove polynomial running time bounds for tensor scaling based on diameter bounds alone. Therefore, our work motivates the search for analogues of more sophisticated algorithms, such as interior point methods, for geodesically convex optimization that do not rely on polynomial diameter bounds.

We show fully polynomial time randomized approximation schemes (FPRAS) for counting matchings of a given size, or more generally sampling/counting monomer-dimer systems in planar, not-necessarily-bipartite, graphs. While perfect matchings on planar graphs can be counted exactly in polynomial time, counting non-perfect matchings was shown by [Jer87] to be #P-hard, who also raised the question of whether efficient approximate counting is possible. We answer this affirmatively by showing that the multi-site Glauber dynamics on the set of monomers in a monomer-dimer system always mixes rapidly, and that this dynamics can be implemented efficiently on downward-closed families of graphs where counting perfect matchings is tractable. As further applications of our results, we show how to sample efficiently using multi-site Glauber dynamics from partition-constrained strongly Rayleigh distributions, and nonsymmetric determinantal point processes. In order to analyze mixing properties of the multi-site Glauber dynamics, we establish two notions for generating polynomials of discrete set-valued distributions: sector-stability and fractional log-concavity. These notions generalize well-studied properties like real-stability and log-concavity, but unlike them robustly degrade under useful transformations applied to the distribution. We relate these notions to pairwise correlations in the underlying distribution and the notion of spectral independence introduced by [ALO20], providing a new tool for establishing spectral independence based on geometry of polynomials. As a byproduct of our techniques, we show that polynomials avoiding roots in a sector of the complex plane must satisfy what we call fractional log-concavity; this extends a classic result established by [Gar59] who showed homogeneous polynomials that have no roots in a half-plane must be log-concave over the positive orthant.

Modular Decomposition focuses on repeatedly identifying a module M (a collection of vertices that shares exactly the same neighbourhood outside of M) and collapsing it into a single vertex. This notion of exactitude of neighbourhood is very strict, especially when dealing with real world graphs. We study new ways to relax this exactitude condition. However, generalizing modular decomposition is far from obvious. Most of the previous proposals lose algebraic properties of modules and thus most of the nice algorithmic consequences. We introduce the notion of an (α, β)-module, a relaxation that allows a bounded number of errors in each node and maintains some of the algebraic structure. It leads to a new combinatorial decomposition with interesting properties. Among the main results in this work, we show that minimal (α, β)-modules can be computed in polynomial time, and that every graph admits an (α,β)-modular decomposition tree, thus generalizing Gallai's Theorem (which corresponds to the case for α = β = 0). Unfortunately we give evidence that computing such a decomposition tree can be difficult.

In this paper, we introduce a generalization of a class of tilings which appear in the literature: the tilings over which a height function can be defined (for example, the famous tilings of polyominoes with dominoes). We show that many properties of these tilings can be seen as the consequences of properties of the generalized tilings we introduce. In particular, we show that any tiling problem which can be modelized in our generalized framework has the following properties: the tilability of a region can be constructively decided in polynomial time, the number of connected components in the undirected flip-accessibility graph can be determined, and the directed flip-accessibility graph induces a distributive lattice structure. Finally, we give a few examples of known tiling problems which can be viewed as particular cases of the new notions we introduce.

A plane graph is called a rectangular graph if each of its edges can be oriented either horizontally or vertically, each of its interior regions is a four-sided region and all interior regions can be fitted in a rectangular enclosure. If the dual of a plane graph is a rectangular graph, then the plane graph is a rectangularly dualizable graph. A rectangular dual is it area-universal if any assignment of areas to each of its regions can be realized by a combinatorially weak equivalent rectangular dual. It is still unknown that there exists no polynomial time algorithm to construct an area-universal rectangular dual for a rectangularly dualizable graph . In this paper, we describe a class of rectangularly dualizable graphs wherein each graph can be realized by an area-universal rectangular dual. We also present a polynomial time algorithm for its construction.

A plane graph is said to be a rectangular graph if each of its edges can be oriented horizontal or vertical, its internal regions are four-sided and it has a rectangular enclosure. If dual of a planar graph is a rectangular graph, then the graph is said to be a rectangular dualizable graph (RDG). In this paper, we present adjacency transformations between RDGs and present polynomial time algorithms for their transformations. An RDG $\mathcal{G}=(V, E)$ is called maximal RDG (MRDG) if there does not exist an RDG $\mathcal{G'}=(V, E')$ with $E' \supset E$. An RDG $\mathcal{G}=(V, E)$ is said to be an edge-reducible if there exists an RDG $\mathcal{G'}=(V, E')$ such that $E\supset E'$. If an RDG is not edge-reducible, it is said to be an edge-irreducible RDG. We show that there always exists an MRDG for a given RDG. We also show that an MRDG is edge-reducible and can always be transformed to a minimal one (an edge-irreducible RDG).

Let $G=(V,E)$ be a graph. Let $w$ be a positive integer. A $w$-dominating set is a vertex subset $S$ such that for all $v\in V$, either $v\in S$ or it has at least $w$ neighbors in $S$. The $w$-Dominating Set problem is to find the minimum $w$-dominating set. The $L$-Max $w$-Dominating Set problem is to find the vertex subset $S$ of cardinality at most $L$ that maximizes $|S|+|\{v\in V\setminus S~|~|N(v)\cap S|\geq w\}|$, where $N(v)=\{u|uv\in E\}$. In this paper, we give polynomial time algorithms to $w$-Dominating Set problem and $L$-Max $w$-Dominating Set problem on graphs of bounded treewidth.

Connectivity is a central notion of graph theory and plays an important role in graph algorithm design and applications. With emerging new applications in networks, a new type of graph connectivity problem has been getting more attention--hedge connectivity. In this paper, we consider the model of hedge graphs without hedge overlaps, where edges are partitioned into subsets called hedges that fail together. The hedge connectivity of a graph is the minimum number of hedges whose removal disconnects the graph. This model is more general than the hypergraph, which brings new computational challenges. It has been a long open problem whether this problem is solvable in polynomial time. In this paper, we study the combinatorial properties of hedge graph connectivity without hedge overlaps, based on its extremal conditions as well as hedge contraction operations, which provide new insights into its algorithmic progress.

Let $D$ be a digraph, let $p \geq 1$ be an integer, and let $f: V(D) \to \mathbb{N}_0^p$ be a vector function with $f=(f_1,f_2,\ldots,f_p)$. We say that $D$ has an $f$-partition if there is a partition $(D_1,D_2,\ldots,D_p)$ into induced subdigraphs of $D$ such that for all $i \in [1,p]$, the digraph $D_i$ is weakly $f_i$-degenerate, that is, in every non-empty subdigraph $D'$ of $D_i$ there is a vertex $v$ such that $\min\{d_{D'}^+(v), d_{D'}^-(v)\} < f_i(v)$. In this paper, we prove that the condition $f_1(v) + f_2(v) + \ldots + f_p(v) \geq \max \{d_D^+(v),d_D^-(v)\}$ for all $v \in V(D)$ is almost sufficient for the existence of an $f$-partition and give a full characterization of the bad pairs $(D,f)$. Moreover, we describe a polynomial time algorithm that (under the previous conditions) either verifies that $(D,f)$ is a bad pair or finds an $f$-partition. Among other applications, this leads to a generalization of Brooks' Theorem as well as the list-version of Brooks' Theorem for digraphs, where a coloring of digraph is a partition of the digraph into acyclic induced subdigraphs. We furthermore obtain a result bounding the $s$-degenerate chromatic number of a digraph in terms of the maximum of maximum in-degree and maximum out-degree.

Paths $P_1,\ldots,P_k$ in a graph $G=(V,E)$ are mutually induced if any two distinct $P_i$ and $P_j$ have neither common vertices nor adjacent vertices (except perhaps their end-vertices). The Induced Disjoint Paths problem is to decide if a graph $G$ with $k$ pairs of specified vertices $(s_i,t_i)$ contains $k$ mutually induced paths $P_i$ such that each $P_i$ connects $s_i$ and $t_i$. This is a classical graph problem that is NP-complete even for $k=2$. We study it for AT-free graphs. Unlike its subclasses of permutation graphs and cocomparability graphs, the class of AT-free graphs has no geometric intersection model. However, by a new, structural analysis of the behaviour of Induced Disjoint Paths for AT-free graphs, we prove that it can be solved in polynomial time for AT-free graphs even when $k$ is part of the input. This is in contrast to the situation for other well-known graph classes, such as planar graphs, claw-free graphs, or more recently, (theta,wheel)-free graphs, for which such a result only holds if $k$ is fixed. As a consequence of our main result, the problem of deciding if a given AT-free graph contains a fixed graph $H$ as an induced topological minor admits a polynomial-time algorithm. In addition, we show that such an algorithm is essentially optimal by proving that the problem is W[1]-hard with parameter $|V_H|$, even on a subclass of AT-free graph, namely cobipartite graphs. We also show that the problems $k$-in-a-Path and $k$-in-a-Tree are polynomial-time solvable on AT-free graphs even if $k$ is part of the input. These problems are to test if a graph has an induced path or induced tree, respectively, spanning $k$ given vertices.

We investigate polytopes inscribed into a sphere that are normally equivalent (or strongly isomorphic) to a given polytope $P$. We show that the associated space of polytopes, called the inscribed cone of $P$, is closed under Minkowski addition. Inscribed cones are interpreted as type cones of ideal hyperbolic polytopes and as deformation spaces of Delaunay subdivisions. In particular, testing if there is an inscribed polytope normally equivalent to $P$ is polynomial time solvable. Normal equivalence is decided on the level of normal fans and we study the structure of inscribed cones for various classes of polytopes and fans, including simple, simplicial, and even. We classify (virtually) inscribable fans in dimension $2$ as well as inscribable permutahedra and nestohedra. A second goal of the paper is to introduce inscribed virtual polytopes. Polytopes with a fixed normal fan $\mathcal{N}$ form a monoid with respect to Minkowski addition and the associated Grothendieck group is called the type space of $\mathcal{N}$. Elements of the type space correspond to formal Minkowski differences and are naturally equipped with vertices and hence with a notion of inscribability. We show that inscribed virtual polytopes form a subgroup, which can be non-trivial even if $\mathcal{N}$ does not have actual inscribed polytopes. We relate inscribed virtual polytopes to routed particle trajectories, that is, piecewise-linear trajectories of particles in a ball with restricted directions. The state spaces gives rise to connected groupoids generated by reflections, called reflection groupoids. The endomorphism groups of reflection groupoids can be thought of as discrete holonomy groups of the trajectories and we determine when they are reflection groups.

Our main result, Theorem 2.5, shows the existence of a vast infinity of subset sum problems solvable in polynomial time. The only proof we have of this result uses the ZFC independent Jump Free Theorem of Harvey Friedman, thus putting Theorem 2.5 in what we call ZFC limbo. The mathematics we use is elementary and at the level of a good undergraduate course in combinatorics or design and analysis of algorithms. The statement of the Jump Free Theorem is also easily understood at this level (but not the proof).

In this work, we introduce a new graph convexity, that we call Cycle Convexity, motivated by related notions in Knot Theory. For a graph $G=(V,E)$, define the interval function in the Cycle Convexity as $I_{cc}(S) = S\cup \{v\in V(G)\mid \text{there is a cycle }C\text{ in }G\text{ such that } V(C)\setminus S=\{v\}\}$, for every $S\subseteq V(G)$. We say that $S\subseteq V(G)$ is convex if $I_{cc}(S)=S$. The convex hull of $S\subseteq V(G)$, denoted by $Hull(S)$, is the inclusion-wise minimal convex set $S'$ such that $S\subseteq S'$. A set $S\subseteq V(G)$ is called a hull set if $Hull(S)=V(G)$. The hull number of $G$ in the cycle convexity, denoted by $hn_{cc}(G)$, is the cardinality of a smallest hull set of $G$. We first present the motivation for introducing such convexity and the study of its related hull number. Then, we prove that: the hull number of a 4-regular planar graph is at most half of its vertices; computing the hull number of a planar graph is an $NP$-complete problem; computing the hull humber of chordal graphs, $P_4$-sparse graphs and grids can be done in polynomial time.