On CCE graphs of doubly partial orders

Let G(V, E) be a simple, undirected graph where V is the set of vertices and E is the set of edges. A b‐dimensional cube is a Cartesian product I1×I2×···×Ib, where each Ii is a closed interval of unit length on the real line. The cubicity of G, denoted by cub(G), is the minimum positive integer b such that the vertices in G can be mapped to axis parallel b‐dimensional cubes in such a way that two vertices are adjacent in G if and only if their assigned cubes intersect. An interval graph is a graph that can be represented as the intersection of intervals on the real line—i.e. the vertices of an interval graph can be mapped to intervals on the real line such that two vertices are adjacent if and only if their corresponding intervals overlap. Suppose S(m) denotes a star graph on m+1 nodes. We define claw number ψ(G) of the graph to be the largest positive integer m such that S(m) is an induced subgraph of G. It can be easily shown that the cubicity of any graph is at least ⌈log2ψ(G)⌉. In this article, we show that for an interval graph G ⌈log2ψ(G)⌉⩽cub(G)⩽⌈log2ψ(G)⌉+2. It is not clear whether the upper bound of ⌈log2ψ(G)⌉+2 is tight: till now we are unable to find any interval graph with cub(G)>⌈log2ψ(G)⌉. We also show that for an interval graph G, cub(G)⩽⌈log2α⌉, where α is the independence number of G. Therefore, in the special case of ψ(G)=α, cub(G) is exactly ⌈log2α2⌉. The concept of cubicity can be generalized by considering boxes instead of cubes. A b‐dimensional box is a Cartesian product I1×I2×···×Ib, where each Ii is a closed interval on the real line. The boxicity of a graph, denoted box(G), is the minimum k such that G is the intersection graph of k‐dimensional boxes. It is clear that box(G)⩽cub(G). From the above result, it follows that for any graph G, cub(G)⩽box(G)⌈log2α⌉. © 2010 Wiley Periodicals, Inc. J Graph Theory 65: 323–333, 2010

The longest path problem asks for a path with the largest number of vertices in a given graph. The first polynomial time algorithm (with running time O(n4)) has been recently developed for interval graphs. Even though interval and circular-arc graphs look superficially similar, they differ substantially, as circular-arc graphs are not perfect. In this paper, we prove that for every path P of a circular-arc graph G, we can appropriately “cut” the circle, such that the obtained (not induced) interval subgraph G′ of G admits a path P′ on the same vertices as P. This non-trivial result is of independent interest, as it suggests a generic reduction of a number of path problems on circular-arc graphs to the case of interval graphs with a multiplicative linear time overhead of O(n). As an application of this reduction, we present the first polynomial algorithm for the longest path problem on circular-arc graphs, which turns out to have the same running time O(n4) with the one on interval graphs, as we manage to get rid of the linear overhead of the reduction. This algorithm computes in the same time an n-approximation of the number of different vertex sets that provide a longest path; in the case where G is an interval graph, we compute the exact number. Moreover, our algorithm can be directly extended with the same running time to the case where every vertex has an arbitrary positive weight.

The competition graph of a doubly partial order is known to be an interval graph. The CCE graph and the niche graph of a doubly partial order are also known to be interval graphs if the graphs do not contain a cycle of length four and three as an induced subgraph, respectively. Phylogeny graphs are variant of competition graphs. The phylogeny graph $P(D)$ of a digraph $D$ is the (simple undirected) graph defined by $V(P(D)):=V(D)$ and $E(P(D)):=\{xy \mid N^+_D(x) \cap N^+_D(y) \neq \emptyset \} \cup \{xy \mid (x,y) \in A(D) \}$, where $N^+_D(x):=\{v \in V(D) \mid (x,v) \in A(D)\}$. In this note, we show that the phylogeny graph of a doubly partial order is an interval graph. We also show that, for any interval graph $G$, there exists an interval graph $\tilde{G}$ such that $\tilde{G}$ contains the graph $G$ as an induced subgraph and that $\tilde{G}$ is the phylogeny graph of a doubly partial order.

A bipartite graph G(X, Y) whose vertex set is partitioned into X and Y is a convex bipartite graph, if there is an ordering of $$X=(x_1,\ldots ,x_m)$$ such that for all $$y \in Y$$ , $$N_G(y)$$ is consecutive with respect to the ordering of X, and G is said to have convexity with respect to X. A k-star caterpillar is a tree with a collection of stars with each star having k vertices of degree one whose roots are joined by a path. For a bipartite graph with partitions X and Y, we associate a k-star caterpillar on X such that for each vertex in Y, its neighborhood induces a tree. The minimum Steiner tree problem (STREE) is defined as follows: given a connected graph $$G=(V,E)$$ and a subset of vertices $$R \subseteq V(G)$$ , the objective is to find a minimum cardinality set $$S \subseteq V(G)$$ such that the set $$R \cup S$$ induces a connected subgraph. In this paper, we present the following dichotomy result: we show that STREE is NP-complete for 1-star caterpillar convex bipartite graphs and polynomial-time solvable for 0-star caterpillar convex bipartite graphs (also known as convex bipartite graphs). We also strengthen the well-known result of Müller and Brandstädt (Theoret Comput Sci 53(2-3):257-265, 1987), which says STREE in chordal bipartite graphs is NP-complete (reduction instances are 3-star caterpillar convex bipartite graphs). As an application, we use our STREE results to solve: (i) the classical dominating set problem in convex bipartite graphs, (ii) STREE on interval graphs, linear time.

A generalization of interval graph is introduced for cosmid contig mapping of DNA. A graph is a tagged probe interval graph if its vertex set can be partitioned into two subsets of probes and nonprobes, and a closed interval can be assigned to each vertex such that two vertices are adjacent if and only if at least one of them is a probe and one end of its corresponding interval is contained in the interval corresponding to the other vertex. We show that tagged probe interval graphs are weakly triangulated graphs, hence are perfect graphs. For a tagged probe interval graph with a given partition, we give a chordal completion that is consistent to any tagged interval completions with respect to the same vertex partition. Forbidden induced subgraph lists are given for trees with or without a given vertex partition. A heuristic that construct map candidates is given for cosmid contig mapping.

Max point-tolerance graphs

Polynomial-time algorithms for the subset feedback vertex set problem on interval graphs and permutation graphs

Compatibilité entre structures d'intervalles et relations d'orde

Given a graph G and integers b and w. The black-and-white coloring problem asks if there exist disjoint sets of vertices B and W with |B|=b and |W|=w such that no vertex in B is adjacent to any vertex in W . In this paper we show that the problem is polynomial when restricted to cographs, distance-hereditary graphs, interval graphs and strongly chordal graphs. We show that the problem is NP-complete on splitgraphs.

For a finite undirected graph G = (V ,E ) and positive integer k *** 1, an edge set M *** E is a distance-k matching if the mutual distance of edges in M is at least k in G . For k = 1, this gives the usual notion of matching in graphs, and for general k *** 1, distance-k matchings were called k-separated matchings by Stockmeyer and Vazirani. The special case k = 2 has been studied under the names induced matching (i.e., a matching which forms an induced subgraph in G ) by Cameron and strong matching by Golumbic and Laskar in various papers. Finding a maximum induced matching is $\mathbb{NP}$-complete even on very restricted bipartite graphs but for k = 2, it can be done efficiently on various classes of graphs such as chordal graphs, based on the fact that an induced matching in G corresponds to an independent vertex set in the square L (G )2 of the line graph L (G ) of G which, by a result of Cameron, is chordal for any chordal graph G . We show that, unlike for k = 2, for a chordal graph G , L (G )3 is not necessarily chordal, and finding a maximum distance-3 matching remains $\mathbb{NP}$-complete on chordal graphs. For strongly chordal graphs and interval graphs, however, the maximum distance-3 matching problem can be solved in polynomial time. Moreover, we obtain various new results for induced matchings.

Given a vertex-weighted graph \(G=(V,E)\) and a set \(S \subseteq V\), a subset feedback vertex set X is a set of the vertices of G such that the graph induced by \(V \setminus X\) has no cycle containing a vertex of S. The Subset Feedback Vertex Set problem takes as input G and S and asks for the subset feedback vertex set of minimum total weight. In contrast to the classical Feedback Vertex Set problem which is obtained from the Subset Feedback Vertex Set problem for \(S=V\), restricted to graph classes the Subset Feedback Vertex Set problem is known to be NP-complete on split graphs and, consequently, on chordal graphs. Here we give the first polynomial-time algorithms for the problem on two subclasses of AT-free graphs: interval graphs and permutation graphs. Moreover towards the unknown complexity of the problem for AT-free graphs, we give a polynomial-time algorithm for co-bipartite graphs. Thus we contribute to the first positive results of the Subset Feedback Vertex Set problem when restricted to graph classes for which Feedback Vertex Set is solved in polynomial time.

Two Problems on Interval Counting

Computing K-terminal reliability of d-trapezoid graphs

We introduce the combinatorial notion of a q-factorization graph intended as a tool to study and express results related to the classification of prime simple modules for quantum affine algebras. These are directed graphs equipped with three decorations: a coloring and a weight map on vertices, and an exponent map on arrows (the exponent map can be seen as a weight map on arrows). Such graphs do not contain oriented cycles and, hence, the set of arrows induces a partial order on the set of vertices. In this first paper on the topic, beside setting the theoretical base of the concept, we establish several criteria for deciding whether or not a tensor product of two simple modules is a highest- $\ell $ -weight module and use such criteria to prove, for type A, that a simple module whose q-factorization graph has a totally ordered vertex set is prime.

Let Γ denote the folded (2D + 1)-cube with vertex set X and diameter D ≥ 3. Fix x ∈ X. We first define a partial order ≤ on X as follows. For y, z ∈ X let y ≤ z whenever ∂(x, y) + ∂(y, z) = ∂(x, z). Let R (resp. L) denote the raising matrix (resp. lowering matrix) of Γ. Next we show that there exists a certain linear dependency among RL2, LRL,L2R and L for each given Q-polynomial structure of Γ. Finally, we determine whether the above linear dependency structure gives this poset a uniform structure or strongly uniform structure.