arXiv++ Combinatorics

The avalanche polynomial on a graph captures the distribution of avalanches in the abelian sandpile model. Studied on trees, this polynomial could be defined by simply considering the size of the subtrees of the original tree. In this article, we study some properties of this polynomial on plane trees. Previously it has been proved that two different trees could have the same avalanche polynomial. We show here that the problem of finding a tree with a prescribed polynomial is NP-complete. In a second part, we study the average and the variance of the avalanche distribution on trees and give a closed formula.

The Fibonacci dimension fdim(G) of a graph G is introduced as the smallest integer f such that G admits an isometric embedding into Gamma_f, the f-dimensional Fibonacci cube. We give bounds on the Fibonacci dimension of a graph in terms of the isometric and lattice dimension, provide a combinatorial characterization of the Fibonacci dimension using properties of an associated graph, and establish the Fibonacci dimension for certain families of graphs. From the algorithmic point of view we prove that it is NP-complete to decide if fdim(G) equals to the isometric dimension of G, and that it is also NP-hard to approximate fdim(G) within (741/740)-epsilon. We also give a (3/2)-approximation algorithm for fdim(G) in the general case and a (1+epsilon)-approximation algorithm for simplex graphs.

The problem of finding the longest common subsequence (LCS) for a set of sequences is a very interesting and challenging problem in computer science. This problem is NP-complete, but because of its importance, many heuristic algorithms have been proposed, such as Long Run algorithm and Expansion algorithm. However, the performance of many current heuristic algorithms deteriorates fast when the number of sequences and sequence length increase. In this paper, we have proposed a post process heuristic algorithm for the LCS problem, the Deposition and Extension algorithm (DEA). This algorithm first generates common subsequence by the process of sequences deposition, and then extends this common subsequence. The algorithm is proven to generate Common Subsequences (CSs) with guaranteed lengths. The experiments show that the results of DEA algorithm are better than those of Long Run and Expansion algorithm, especially on many long sequences. The algorithm also has superior efficiency both in time and space.

A $k$-dimensional box is the Cartesian product $R_1 \times R_2 \times ... \times R_k$ where each $R_i$ is a closed interval on the real line. The {\it boxicity} of a graph $G$, denoted as $\boxi(G)$, is the minimum integer $k$ such that $G$ can be represented as the intersection graph of a collection of $k$-dimensional boxes. A unit cube in $k$-dimensional space or a $k$-cube is defined as the Cartesian product $R_1 \times R_2 \times ... \times R_k$ where each $R_i$ is a closed interval on the real line of the form $[a_i,a_i + 1]$. The {\it cubicity} of $G$, denoted as $\cub(G)$, is the minimum integer $k$ such that $G$ can be represented as the intersection graph of a collection of $k$-cubes. The {\it threshold dimension} of a graph $G(V,E)$ is the smallest integer $k$ such that $E$ can be covered by $k$ threshold spanning subgraphs of $G$. In this paper we will show that there exists no polynomial-time algorithm to approximate the threshold dimension of a graph on $n$ vertices with a factor of $O(n^{0.5-ε})$ for any $ε>0$, unless $NP=ZPP$. From this result we will show that there exists no polynomial-time algorithm to approximate the boxicity and the cubicity of a graph on $n$ vertices with factor $O(n^{0.5-ε})$ for any $ ε>0$, unless $NP=ZPP$. In fact all these hardness results hold even for a highly structured class of graphs namely the split graphs. We will also show that it is NP-complete to determine if a given split graph has boxicity at most 3.

A theory about the implication structure in graph coloring is presented. Discovering hidden relations is a crucial activity in every scientific discipline. The development of mathematical models to study and discover such hidden relations is of the most highest interest. The main contribution presented in this work is a model of hidden relations materialized as implicit-edges and implicit-identities in the graph coloring problem, these relations can be interpreted in physical and chemical models as hidden forces, hidden interactions, hidden reactions or hidden variables. Also this theory can be extended to the complete class of NP-complete problems.

Consider the problem of determining whether there exists a spanning hypertree in a given k-uniform hypergraph. This problem is trivially in P for k=2, and is NP-complete for k>= 4, whereas for k=3, there exists a polynomial-time algorithm based on Lovasz' theory of polymatroid matching. Here we give a completely different, randomized polynomial-time algorithm in the case k=3. The main ingredients are a Pfaffian formula by Vaintrob and one of the authors (G.M.) for a polynomial that enumerates spanning hypertrees with some signs, and a lemma on the number of roots of polynomials over a finite field.

The greedy defining sets of graphs were appeared first time in [M. Zaker, Greedy defining sets of graphs, Australas. J. Combin, 2001]. We show that to determine the greedy defining number of bipartite graphs is an NP-complete problem. This result answers affirmatively the problem mentioned in the previous paper. It is also shown that this number for forests can be determined in polynomial time. Then we present a method for obtaining greedy defining sets in Latin squares and using this method, show that any $n\times n$ Latin square has a GDS of size at most $n^2-(n\log n)/4$. Finally we present an application of greedy defining sets in designing practical secret sharing schemes.

An edge-colored graph $G$ is {\em rainbow connected} if any two vertices are connected by a path whose edges have distinct colors. The {\em rainbow connection} of a connected graph $G$, denoted $rc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow connected. In the first result of this paper we prove that computing $rc(G)$ is NP-Hard solving an open problem from \cite{Ca-Yu}. In fact, we prove that it is already NP-Complete to decide if $rc(G)=2$, and also that it is NP-Complete to decide whether a given edge-colored (with an unbounded number of colors) graph is rainbow connected. On the positive side, we prove that for every $ε>0$, a connected graph with minimum degree at least $εn$ has {\em bounded} rainbow connection, where the bound depends only on $ε$, and a corresponding coloring can be constructed in polynomial time. Additional non-trivial upper bounds, as well as open problems and conjectures are also presented.

Given a finite poset P, we consider pairs of linear extensions of P with maximal distance, where the distance between two linear extensions L_1, L_2 is the number of pairs of elements of P appearing in different orders in L_1 and L_2. A diametral pair maximizes the distance among all pairs of linear extensions of P. Felsner and Reuter defined the linear extension diameter of P as the distance between a diametral pair of linear extensions. We show that computing the linear extension diameter is NP-complete in general, but can be solved in polynomial time for posets of width 3. Felsner and Reuter conjectured that, in every diametral pair, at least one of the linear extensions reverses a critical pair. We construct a counterexample to this conjecture. On the other hand, we show that a slightly stronger property holds for many classes of posets: We call a poset "diametrally reversing" if, in every diametral pair, both linear extensions reverse a critical pair. Among other results we show that interval orders and 3-layer posets are diametrally reversing. From the latter it follows that almost all posets are diametrally reversing.

A simplicial complex is d-collapsible if it can be reduced to an empty complex by repeatedly removing (collapsing) a face of dimension at most d-1 that is contained in a unique maximal face. We prove that the algorithmic question whether a given simplicial complex is d-collapsible is NP-complete for d greater or equal to 4 and polynomial time solvable for d at most 2. As an intermediate step, we prove that d-collapsibility can be recognized by the greedy algorithm for d at most 2, but the greedy algorithm does not work for d greater or equal 3. A simplicial complex is d-representable if it is the nerve of a collection of convex sets in R^d. The main motivation for studying d-collapsible complexes is that every d-representable complex is d-collapsible. We also observe that known results imply that analogical algorithmic question for d-representable complexes is NP-hard for d greater or equal to 2.

The ring of graph invariants is spanned by the basic graph invariants which calculate the number of subgraphs isomorphic to a given graph in other graphs. These subgraphs counting invariants are not algebraically independent. In our view the most important problem in graph theory of unlabeled graphs is the problem of determining graphic values of arbitrary sets of graph invariants. This corresponds to explaining the syzygy of the graph invariants when the number of vertices is unbounded. We introduce two methods to explore this complicated structure. Sets of graphs with a small number of vertices impose constraints on larger sets. We describe families of inequalities of graph invariants. These inequalities allow to loop over all values of graph invariants which look like graphic from the small sets point of view. We also develop strong notion of graphic values where the existence of the corresponding graphs is guaranteed once the constraints are satisfied by the basic graph invariants. These constraints are necessary and sufficient for graphs whose local neighborhoods are generated by a finite set of locally connected graphs. The reconstruction of the graph from the basic graph invariants is shown to be NP-complete in this restricted case. Finally we apply these results to formulate the problem of Ramsey numbers as an integer polyhedron problem of moderate and adjustable dimension.

It is well known that kernels in graphs are powerful and useful structures, for instance in the theory of games. However, a kernel does not always exist and Chvátal proved in 1973 that it is an NP-Complete problem to decide its existence. We present here an alternative definition of kernels that uses an inductive machinery : the inductive kernels. We prove that inductive kernels always exist and a particular one can be constructed in quadratic time. However, it is an NP-Complete problem to decide the existence of an inductive kernel including (resp. excluding) some fixed vertex.

We consider embeddings of 3-regular graphs into 3-dimensional Cartesian coordinates, in such a way that two vertices are adjacent if and only if two of their three coordinates are equal (that is, if they lie on an axis-parallel line) and such that no three points lie on the same axis-parallel line; we call a graph with such an embedding an xyz graph}. We describe a correspondence between xyz graphs and face-colored embeddings of the graph onto two-dimensional manifolds, and we relate bipartiteness of the xyz graph to orientability of the underlying topological surface. Using this correspondence, we show that planar graphs are xyz graphs if and only if they are bipartite, cubic, and three-connected, and that it is NP-complete to determine whether an arbitrary graph is an xyz graph. We also describe an algorithm with running time O(n 2^{n/2}) for testing whether a given graph is an xyz graph.

Let $G=(V,E)$ be a simple graph. For a nonempty set $X\subset V,$ and a vertex $v\in V,$ $δ_{X}(v)$ denotes the number of neighbors $v$ has in $X.$ A nonempty set $S\subset V$ is an \emph{offensive $r$-alliance} in $G$ if $δ_S(v)\ge δ_{\bar{S}}(v)+r,$ $\forall v\in \partial (S),$ where $\partial (S)$ denotes the boundary of $S$. An offensive $r$-alliance $S$ is called \emph{global} if it forms a dominating set. The \emph{global offensive $r$-alliance number} of $G$, denoted by $γ_{r}^{o}(G)$, is the minimum cardinality of a global offensive $r$-alliance in $G$. We show that the problem of finding optimal (global) offensive $r$-alliances is NP-complete and we obtain several tight bounds on $γ_{r}^{o}(G)$.

Consider a $m \times n$ matrix $A$, whose elements are arbitrary integers. Consider, for each square window of size $2 \times 2$, the sum of the corresponding elements of $A$. These sums form a $(m - 1) \times (n-1)$ matrix $S$. Can we efficiently (in polynomial time) restore the original matrix $A$ given $S$? This problem was originally posed by Maurice Nivat for the case when the elements of matrix $A$ are zeros and ones. We prove that this problem is solvable in polynomial time. Moreover, the problem still can be efficiently solved if the elements of $A$ are integers from given intervals. On the other hand, for $2 \times 3$ windows the similar problem turns out to be NP-complete.

The incidence coloring conjecture, proposed by Brualdi and Massey in 1993, states that the incidence coloring number of every graph is at most ${\it Δ}+2$, where ${\it Δ}$ is the maximum degree of a graph. The conjecture was shown to be false in general by Guiduli in 1997, following the work of Algor and Alon. However, in 2005 Maydanskiy proved that the conjecture holds for any graph with ${\it Δ}\leq 3$. It is easily deduced that the incidence coloring number of a semi-cubic graph is 4 or 5. In this paper, we show that it is already NP-complete to determine if a semi-cubic graph is 4-incidence colorable, and therefore it is NP-complete to determine if a general graph is $k$-incidence colorable.

Neighbor-scattering number is a useful measure for graph vulnerability. For some special kinds of graphs, explicit formulas are given for this number. However, for general graphs it is shown that to compute this number is NP-complete. In this paper, we prove that for interval graphs this number can be computed in polynomial time.

We study three new versions of the All-Ones Problem and the Minimum All-Ones Problem. The original All-Ones Problem is simply called the Vertex-Vertex Problem, and the three new versions are called the Vertex-Edge Problem, the Edge-Vertex Problem and the Edge-Edge Problem, respectively. The Vertex-Vertex Problem has been studied extensively. For example, existence of solutions and efficient algorithms for finding solutions were obtained, and the Minimum Vertex-Vertex Problem for general graphs was shown to be NP-complete and for trees it can be solved in linear time, etc. In this paper, for the Vertex-Edge Problem, we show that a graph has a solution if and only if it is bipartite, and therefore it has only two possible solutions and optimal solutions. A linear program version is also given. For the Edge-Vertex Problem, we show that a graph has a solution if and only if it contains even number of vertices. By showing that the Minimum Edge-Vertex Problem can be polynomially transformed into the Minimum Weight Perfect Matching Problem, we obtain that the Minimum Edge-Vertex Problem can be solved in polynomial time in general. The Edge-Edge Problem is reduced to the Vertex-Vertex Problem for the line graph of a graph.

We show that the problem of computing the distance of a given permutation from a subgroup $H$ of $S_n$ is in general NP-complete, even under the restriction that $H$ is elementary Abelian of exponent 2. The problem is shown to be polynomial-time equivalent to a problem related to finding a maximal partition of the edges of an Eulerian directed graph into cycles and this problem is in turn equivalent to the standard NP-complete problem of Boolean satisfiability.

Given a configuration of pebbles on the vertices of a graph, a pebbling move is defined by removing two pebbles from some vertex and placing one pebble on an adjacent vertex. The cover pebbling number of a graph is the smallest number of pebbles necessary so that through a sequence of pebbling moves, a pebble can eventually be placed on every vertex simultaneously, no matter how the pebbles are initially distributed. We determine Bose Einstein and Maxwell Boltzmann cover pebbling thresholds for the complete graph. Also, we show that the cover pebbling decision problem is NP-complete.