arXiv++ Combinatorics

A non-empty subset $S$ of the vertices of a digraph $D$ is called a {\it safe set} if \begin{itemize} \item[(i)] for every strongly connected component $M$ of $D-S$, there exists a strongly connected component $N$ of $D[S]$ such that there exists an arc from $M$ to $N$; and \item[(ii)] for every strongly connected component $M$ of $D-S$ and every strongly connected component $N$ of $D[S]$, we have $|M|\leq |N|$ whenever there exists an arc from $M$ to $N$. \end{itemize} In the case of acyclic digraphs a set $X$ of vertices is a safe set precisely when $X$ is an {\it in-dominating set}, that is, every vertex not in $X$ has at least one arc to $X$. We prove that, even for acyclic digraphs which are traceable (have a hamiltonian path) it is NP-hard to find a minimum cardinality in-dominating set. Then we show that the problem is also NP-hard for tournaments and give, for every positive constant $c$, a polynomial algorithm for finding a minimum cardinality safe set in a tournament on $n$ vertices in which no strong component has size more than $c\log{}(n)$. Under the so called Exponential Time Hypothesis (ETH) this is close to best possible in the following sense: If ETH holds, then, for every $ε>0$ there is no polynomial time algorithm for finding a minimum cardinality safe set for the class of tournaments in which the largest strong component has size at most $\log^{1+ε}(n)$. We also discuss bounds on the cardinality of safe sets in tournaments.

We improve the lower bound on the $d$-dimensional rectilinear crossing number of the complete $d$-uniform hypergraph having $2d$ vertices to $Ω\left(\dfrac{(4\sqrt{2}/3^{3/4})^d}{d}\right)$ from $Ω(2^d \sqrt{d})$. We also establish that the $3$-dimensional rectilinear crossing number of a complete $3$-uniform hypergraph having $n \geq 9$ vertices is at least $\dfrac{43}{42}\dbinom{n}{6}$. We prove that the maximum number of crossing pairs of hyperedges in a $4$-dimensional rectilinear drawing of the complete $4$-uniform hypergraph having $n$ vertices is $13\dbinom{n}{8}$. We also prove that among all $4$-dimensional rectilinear drawings of a complete $4$-uniform hypergraph having $n$ vertices, the number of crossing pairs of hyperedges is maximized if all its vertices are placed at the vertices of a $4$-dimensional neighborly polytope. Our result proves the conjecture by Anshu et al. [Anshu, Gangopadhyay, Shannigrahi, and Vusirikala, 2017] for $d=4$. We prove that the maximum $d$-dimensional rectilinear crossing number of a complete $d$-partite $d$-uniform balanced hypergraph is $(2^{d-1}-1){\dbinom{n}{2}}^d$. We then prove that finding the maximum $d$-dimensional rectilinear crossing number of an arbitrary $d$-uniform hypergraph is NP-hard. We give a randomized scheme to create a $d$-dimensional rectilinear drawing of a $d$-uniform hypergraph $H$ such that, in expectation the total number of crossing pairs of hyperedges is a constant fraction of the maximum $d$-dimensional rectilinear crossing number of $H$.

An injective edge-coloring $c$ of a graph $G$ is an edge-coloring such that if $e_1$, $e_2$, and $e_3$ are three consecutive edges in $G$ (they are consecutive if they form a path or a cycle of length three), then $e_1$ and $e_3$ receive different colors. The minimum integer $k$ such that, $G$ has an injective edge-coloring with $k$ colors, is called the injective chromatic index of $G$ ($χ'_{\textrm{inj}}(G)$). This parameter was introduced by Cardoso et \textit{al.} \cite{CCCD} motivated by the Packet Radio Network problem. They proved that computing $χ'_{\textrm{inj}}(G)$ of a graph $G$ is NP-hard. We give new upper bounds for this parameter and we present the relationships of the injective edge-coloring with other colorings of graphs. The obtained general bound gives 8 for the injective chromatic index of a subcubic graph. If the graph is subcubic bipartite we improve this last bound. We prove that a subcubic bipartite graph has an injective chromatic index bounded by $6$. We also prove that if $G$ is a subcubic graph with maximum average degree less than $\frac{7}{3} $ (resp. $\frac{8}{3} $, $3$), then $G$ admits an injective edge-coloring with at most 4 (resp. $6$, $7$) colors. Moreover, we establish a tight upper bound for subcubic outerplanar graphs.

Reciprocal best match graphs (RBMGs) are vertex colored graphs whose vertices represent genes and the colors the species where the genes reside. Edges identify pairs of genes that are most closely related with respect to an underlying evolutionary tree. In practical applications this tree is unknown and the edges of the RBMGs are inferred by quantifying sequence similarity. Due to noise in the data, these empirically determined graphs in general violate the condition of being a ``biologically feasible'' RBMG. Therefore, it is of practical interest in computational biology to correct the initial estimate. Here we consider deletion (remove at most $k$ edges) and editing (add or delete at most $k$ edges) problems. We show that the decision version of the deletion and editing problem to obtain RBMGs from vertex colored graphs is NP-hard. Using known results for the so-called bicluster editing, we show that the RBMG editing problem for $2$-colored graphs is fixed-parameter tractable. A restricted class of RBMGs appears in the context of orthology detection. These are cographs with a specific type of vertex coloring known as hierarchical coloring. We show that the decision problem of modifying a vertex-colored graph (either by edge-deletion or editing) into an RBMG with cograph structure or, equivalently, to an hierarchically colored cograph is NP-complete.

The 2-domination number $γ_2(G)$ of a graph $G$ is the minimum cardinality of a set $ D \subseteq V(G) $ for which every vertex outside $ D $ is adjacent to at least two vertices in $ D $. Clearly, $ γ_2(G) $ cannot be smaller than the domination number $ γ(G) $. We consider a large class of graphs and characterize those members which satisfy $γ_2=γ$. For the general case, we prove that it is NP-hard to decide whether $γ_2=γ$ holds. We also give a necessary and sufficient condition for a graph to satisfy the equality hereditarily.

Arboricity is a graph parameter akin to chromatic number, in that it seeks to partition the vertices into the smallest number of sparse subgraphs. Where for the chromatic number we are partitioning the vertices into independent sets, for the arboricity we want to partition the vertices into cycle-free subsets (i.e., forests). Arboricity is NP-hard in general, and our focus is on the arboricity of cographs. For arboricity two, we obtain the complete list of minimal cograph obstructions. These minimal obstructions do generalize to higher arboricities; however, we no longer have a complete list, and in fact, the number of minimal cograph obstructions grows exponentially with arboricity. We obtain bounds on their size and the height of their cotrees. More generally, we consider the following common generalization of colouring and partition into forests: given non-negative integers $p$ and $q$, we ask if a given cograph $G$ admits a vertex partition into $p$ forests and $q$ independent sets. We give a polynomial-time dynamic programming algorithm for this problem. In fact, the algorithm solves a more general problem which also includes several other problems such as finding a maximum $q$-colourable subgraph, maximum subgraph of arboricity-$p$, minimum vertex feedback set and minimum $q$ of a $q$-colourable vertex feedback set.

Bottleneck Steiner networks model energy consumption in wireless ad-hoc networks. The task is to design a network spanning a given set of terminals and at most $k$ Steiner points such that the length of the longest edge is minimised. The problem has been extensively studied for the case where an optimal solution is a tree in the Euclidean plane. However, in order to model a wider range of applications, including fault-tolerant networks, it is necessary to consider multi-connectivity constraints for networks embedded in more general metrics. We show that the $2$-connected bottleneck Steiner network problem is NP-hard in any planar $p$-norm and, in fact, if P$\,\neq\,$NP then an optimal solution cannot be approximated to within a ratio of ${2}^\frac{1}{p}-ε$ in polynomial time for any $ε>0$ and $1\leq p< \infty$.

The (Diophantine) Frobenius problem is a well-known NP-hard problem (also called the stamp problem or the chicken nugget problem) whose origins lie in the realm of combinatorial number theory. In this paper we present an adiabatic quantum algorithm which solves it, using the so-called Apéry set of a numerical semigroup, via a translation into a QUBO problem. The algorithm has been specifically designed to run in a D-Wave 2X machine.

Rearrangement operations transform a phylogenetic tree into another one and hence induce a metric on the space of phylogenetic trees. Popular operations for unrooted phylogenetic trees are NNI (nearest neighbour interchange), SPR (subtree prune and regraft), and TBR (tree bisection and reconnection). Recently, these operations have been extended to unrooted phylogenetic networks, which are generalisations of phylogenetic trees that can model reticulated evolutionary relationships. Here, we study global and local properties of spaces of phylogenetic networks under these three operations. In particular, we prove connectedness and asymptotic bounds on the diameters of spaces of different classes of phylogenetic networks, including tree-based and level-k networks. We also examine the behaviour of shortest TBR-sequence between two phylogenetic networks in a class, and whether the TBR-distance changes if intermediate networks from other classes are allowed: for example, the space of phylogenetic trees is an isometric subgraph of the space of phylogenetic networks under TBR. Lastly, we show that computing the TBR-distance and the PR-distance of two phylogenetic networks is NP-hard.

Budget Minimization is a scheduling problem with precedence constraints, i.e., a scheduling problem on a partially ordered set of jobs $(N, \unlhd)$. A job $j \in N$ is available for scheduling, if all jobs $i \in N$ with $i \unlhd j$ are completed. Further, each job $j \in N$ is assigned real valued costs $c_{j}$, which can be negative or positive. A schedule is an ordering $j_{1}, \dots, j_{\vert N \vert}$ of all jobs in $N$. The budget of a schedule is the external investment needed to complete all jobs, i.e., it is $\max_{l \in \{0, \dots, \vert N \vert \} } \sum_{1 \le k \le l} c_{j_{k}}$. The goal is to find a schedule with minimum budget. Rafiey et al. (2015) showed that Budget Minimization is NP-hard following from a reduction from a molecular folding problem. We extend this result and prove that it is NP-hard to $α(N)$-approximate the minimum budget even on bipartite partial orders. We present structural insights that lead to arguably simpler algorithms and extensions of the results by Rafiey et al. (2015). In particular, we show that there always exists an optimal solution that partitions the set of jobs and schedules each subset independently of the other jobs. We use this structural insight to derive polynomial-time algorithms that solve the problem to optimality on series-parallel and convex bipartite partial orders.

Many well-known NP-hard algorithmic problems on directed graphs resist efficient parametrisations with most known width measures for directed graphs, such as directed treewidth, DAG-width, Kelly-width and many others. While these focus on measuring how close a digraph is to an oriented tree resp. a directed acyclic graph, in this paper, we investigate directed modular width as a parameter, which is closer to the concept of clique-width. We investigate applications of modular decompositions of directed graphs to a wide range of algorithmic problems and derive FPT-algorithms for several well-known digraph-specific NP-hard problems, namely minimum (weight) directed feedback vertex set, minimum (weight) directed dominating set, digraph colouring, directed Hamiltonian path/cycle, partitioning into paths, (capacitated) vertex-disjoint directed paths, and the directed subgraph homeomorphism problem. The latter yields a polynomial-time algorithm for detecting topological minors in digraphs of bounded directed modular width. Finally we illustrate that also other structural digraph parameters, such as the directed pathwidth and the cycle-rank can be computed efficiently using directed modular width as a parameter.

Clique-width is a well-studied graph parameter. For graphs of bounded clique-width, many problems that are NP-hard in general can be polynomial-time solvable. The fact motivates several studies to investigate whether the clique-width of graphs in a certain class is bounded or not. We focus on unigraphs, that is, graphs that are uniquely determined by their degree sequences up to isomorphism. We show that every unigraph has clique-width at most 4. It follows that many problems that are NP-hard in general are polynomial-time solvable for unigraphs.

For a graph $G=(V,E)$, a double roman dominating function (DRDF) is a function $f : V \longrightarrow \{0, 1, 2,3\}$ having the property that if $f(v)=0$ for some vertex $v$, then $v$ has at least two neighbors assigned $2$ under $f$ or one neighbor $w$ with $f(w)=3$, and if $f(v)=1$ then $v$ has at least one neighbor $w$ with $f(w) \geq 2$. The weight of a DRDF $f$ is the sum $f (V) =\sum_{u\in V} f (u)$. The minimum weight of a DRDF on a graph $G$ is the double Roman domination number of $G$ and is denoted by $γ_{dR}(G)$. The double roman bondage number of $G$, denoted by $b_{dR}(G)$, is the minimum cardinality among all edge subsets $B \subseteq E(G)$ such that $γ_{dR}(G-B) > γ_{dR}(G)$. In this paper we study the double roman bondage number in graphs. We determine the double roman bondage number in several families of graphs, and present several bounds for the double roman bondage number. We also study the complexity issue of the double roman bondage number and prove that the decision problem for the double roman bondage number is NP-hard even when restricted to bipartite graphs.

A {\it semi-proper orientation} of a given graph $G$ is a function $(D,w)$ that assigns an orientation $D(e)$ and a positive integer weight $ w(e)$ to each edge $e$ such that for every two adjacent vertices $v$ and $u$, $S_{(D,w)}(v) \neq S_{(D,w)}(u) $, where $S_{(D,w)}(v) $ is the sum of the weights of edges with head $v$ in $D$. The {\it semi-proper orientation number} of a graph $G$, denoted by $\overrightarrowχ_s (G)$, is $ \min_{(D,w)\in Γ} \max_{v\in V(G)} S_{(D,w)}(v) $, where $Γ$ is the set of all semi-proper orientations of $G$. The {\it optimal semi-proper orientation} is a semi-proper orientation $(D,w)$ such that $ \max_{v\in V(G)} S_{(D,w)}(v)= \overrightarrowχ_s (G) $. In this work, we show that every graph $G$ has an optimal semi-proper orientation $(D,w)$ such that the weight of each edge is one or two. Next, we show that determining whether a given planar graph $G$ with $\overrightarrowχ_s (G)=2 $ has an optimal semi-proper orientation $(D,w)$ such that the weight of each edge is one is NP-complete. Finally, we prove that the problem of determining the semi-proper orientation number of planar bipartite graphs is NP-hard.

We show that the graph transformation problem of turning a simple graph into an Eulerian one by a minimum number of single edge switches is NP-hard. Further, we show that any simple Eulerian graph can be transformed into any other such graph by a sequence of 2-switches (i.e., exchange of two edge pairs), such that every intermediate graph is also Eulerian. However, finding the shortest such sequence also turns out to be an NP-hard problem.

In this paper, we initiate the study of global offensive $k$-alliances in digraphs. Given a digraph $D=(V(D),A(D))$, a global offensive $k$-alliance in a digraph $D$ is a subset $S\subseteq V(D)$ such that every vertex outside of $S$ has at least one in-neighbor from $S$ and also at least $k$ more in-neighbors from $S$ than from outside of $S$, by assuming $k$ is an integer lying between two minus the maximum in-degree of $D$ and the maximum in-degree of $D$. The global offensive $k$-alliance number $γ_{k}^{o}(D)$ is the minimum cardinality among all global offensive $k$-alliances in $D$. In this article we begin the study of the global offensive $k$-alliance number of digraphs. For instance, we prove that finding the global offensive $k$-alliance number of digraphs $D$ is an NP-hard problem for any value $k\in \{2-Δ^-(D),\dots,Δ^-(D)\}$ and that it remains NP-complete even when restricted to bipartite digraphs when we consider the non-negative values of $k$ given in the interval above. Based on these facts, lower bounds on $γ_{k}^{o}(D)$ with characterizations of all digraphs attaining the bounds are given in this work. We also bound this parameter for bipartite digraphs from above. For the particular case $k=1$, an immediate result from the definition shows that $γ(D)\leq γ_{1}^{o}(D)$ for all digraphs $D$, in which $γ(D)$ stands for the domination number of $D$. We show that these two digraph parameters are the same for some infinite families of digraphs like rooted trees and contrafunctional digraphs. Moreover, we show that the difference between $γ_{1}^{o}(D)$ and $γ(D)$ can be arbitrary large for directed trees and connected functional digraphs.

Let G = ((A,B),E) be an instance of the stable marriage problem where every vertex ranks its neighbors in a strict order of preference. A matching M in G is popular if M does not lose a head-to-head election against any matching. Popular matchings are a well-studied generalization of stable matchings, introduced with the goal of enlarging the set of admissible solutions, while maintaining a certain level of fairness. Every stable matching is a min-size popular matching. Unfortunately, when there are edge costs, it is NP-hard to find a popular matching of minimum cost -- even worse, the min-cost popular matching problem is hard to approximate up to any factor. Let opt be the cost of a min-cost popular matching. Our goal is to efficiently compute a matching of cost at most opt by paying the price of mildly relaxing popularity. Our main positive results are two bi-criteria algorithms that find in polynomial time a near-popular or quasi-popular matching of cost at most opt. Moreover, one of the algorithms finds a quasi-popular matching of cost at most that of a min-cost popular fractional matching, which could be much smaller than opt. Key to the other algorithm is a polynomial-size extended formulation for an integral polytope sandwiched between the popular and quasi-popular matching polytopes. We complement these results by showing that it is NP-hard to find a quasi-popular matching of minimum cost, and that both the popular and quasi-popular matching polytopes have near-exponential extension complexity. This version of the paper goes beyond the conference version [12] in the following two points: (i) the algorithm for finding a quasi-popular matching of cost at most that of a min-cost popular fractional matching is new; (ii) the proofs from Section 6.1 and Section 7.3 are now self-contained (the conference version used constructions from [10] to show these lower bounds).

A transitive graph is 2-dimensional if it can be represented as the intersection of two linear orders. Such representations make answering of reachability queries trivial, and allow many problems that are NP-hard on arbitrary graphs to be solved in polynomial time. One may therefore be interested in finding 2-dimensional graphs that closely approximate a given graph of arbitrary order dimension. In this paper we show that the maximal 2-dimensional subgraphs of a transitive graph G are induced by the optimal near-transitive orientations of the complement of G. The same characterization holds for the maximal permutation subgraphs of a transitively orientable graph. We provide an algorithm that enables this problem reduction in near-linear time, and an approach for enlarging non-maximal 2-dimensional subgraphs, such as trees.

A phylogenetic tree is a graphical representation of an evolutionary history of taxa in which the leaves correspond to the taxa and the non-leaves correspond to speciations. One of important problems in phylogenetic analysis is to assemble a global phylogenetic tree from small phylogenetic trees, particularly, quartet trees. {\sc Quartet Compatibility} is the problem of deciding whether there is a phylogenetic tree inducing a given collection of quartet trees, and to construct such a phylogenetic tree if it exists. It is known that {\sc Quartet Compatibility} is NP-hard and that there are only a few results known for polynomial-time solvable subclasses. In this paper, we introduce two novel classes of quartet systems, called complete multipartite quartet system and full multipartite quartet system, and present polynomial-time algorithms for {\sc Quartet Compatibility} for these systems.

We model the Lights Out game on general simple graphs in the framework of linear algebra over the field $\mathbb F_2$. Based upon a version of the Fredholm alternative, we introduce a separating invariant of the game, i.e., an initial state can be transformed into a final state if and only if the invariant of both states agrees. We also investigate certain states with particularly interesting properties. Apart from the classical version of the game, we propose several variants, in particular a version with more than only two states (light on, light off), where the analysis resides on systems of linear equations over the ring $\mathbb Z_n$. Although it is easy to find a concrete solution of the Lights Out problem, we show that it is NP-hard to find a minimal solution. We also propose electric circuit diagrams to actually realize the Lights Out game.