Finding a central vertex in an HHD-free graph

Listing, generating or enumerating objects of specified type is one of the principal tasks in algorithmics. In graph algorithms one often enumerates vertex subsets satisfying a certain property. We study the enumeration of all minimal connected dominating sets of an input graph from various graph classes of bounded chordality. We establish enumeration algorithms as well as lower and upper bounds for the maximum number of minimal connected dominating sets in such graphs. In particular, we present algorithms to enumerate all minimal connected dominating sets of chordal graphs in time O(1.7159^n), of split graphs in time O(1.3803^n), and of AT-free, strongly chordal, and distance-hereditary graphs in time O^*(3^{n/3}), where n is the number of vertices of the input graph. Our algorithms imply corresponding upper bounds for the number of minimal connected dominating sets for these graph classes.

Counting dominating sets (DSs) in a graph is a #P-complete problem even for chordal bipartite graphs and split graphs, which are both subclasses of weakly chordal graphs. This paper investigates this problem for distance-hereditary graphs, which is another known subclass of weakly chordal graphs. This work develops linear-time algorithms for counting DSs and their two variants, total DSs and connected DSs in distance-hereditary graphs.

We introduce a new subclass of chordal graphs that generalizes the class of split graphs, which we call well-partitioned chordal graphs. A connected graph G is a well-partitioned chordal graph if there exist a partition P of the vertex set of G into cliques and a tree T having P as a vertex set such that for distinct X,Y∈P, (1) the edges between X and Y in G form a complete bipartite subgraph whose parts are some subsets of X and Y, if X and Y are adjacent in T, and (2) there are no edges between X and Y in G otherwise. A split graph with vertex partition (C,I) where C is a clique and I is an independent set is a well-partitioned chordal graph as witnessed by a star T having C as the center and each vertex in I as a leaf, viewed as a clique of size 1. We characterize well-partitioned chordal graphs by forbidden induced subgraphs, and give a polynomial-time algorithm that given a graph, either finds an obstruction, or outputs a partition of its vertex set that asserts that the graph is well-partitioned chordal.We observe that there are problems, for instance Densestk-Subgraph and b-Coloring, that are polynomial-time solvable on split graphs but become NP -hard on well-partitioned chordal graphs. On the other hand, we show that the Geodetic Set problem, known to be NP -hard on chordal graphs, can be solved in polynomial time on well-partitioned chordal graphs.We also answer two combinatorial questions on well-partitioned chordal graphs that are open on chordal graphs, namely that each well-partitioned chordal graph admits a polynomial-time constructible tree 3-spanner, and that each (2-connected) well-partitioned chordal graph has a vertex that intersects all its longest paths (cycles).

Motivated by the concept of reverse signed domination, we introduce the reverse minus domination problem on graphs, and study the reverse minus and signed domination problems from the algorithmic point of view. In this paper, we show that both the reverse minus and signed domination problems are polynomial-time solvable for strongly chordal graphs and distance-hereditary graphs, and are linear-time solvable for trees. For chordal graphs and bipartite planar graphs, however, we show that the decision problem corresponding to the reverse minus domination problem is NP-complete. For doubly chordal graphs and bipartite planar graphs, we show that the decision problem corresponding to the reverse signed domination problem is NP-complete. Furthermore, we show that even when restricted to bipartite planar graphs or doubly chordal graphs, the reverse signed domination problem is not fixed parameter tractable.

We investigate a new class of codes for the optimal covering of vertices in an undirected graph G such that any vertex in G can be uniquely identified by examining the vertices that cover it. We define a ball of radius t centered on a vertex /spl upsi/ to be the set of vertices in G that are at distance at most t from /spl upsi/. The vertex /spl upsi/ is then said to cover itself and every other vertex in the ball with center /spl upsi/. Our formal problem statement is as follows: given an undirected graph G and an integer t/spl ges/1, find a (minimal) set C of vertices such that every vertex in G belongs to a unique set of balls of radius t centered at the vertices in C. The set of vertices thus obtained constitutes a code for vertex identification. We first develop topology-independent bounds on the size of C. We then develop methods for constructing C for several specific topologies such as binary cubes, nonbinary cubes, and trees. We also describe the identification of sets of vertices using covering codes that uniquely identify single vertices. We develop methods for constructing optimal topologies that yield identifying codes with a minimum number of codewords. Finally, we describe an application of the theory developed in this paper to fault diagnosis of multiprocessor systems.

In this paper, we consider the recognition problem on a class of perfectly orderable graphs, namely, the HHD-free graphs, i.e., graphs that do not contain any induced subgraph isomorphic to a house, a hole, or a domino. We prove properties of the HHD-free graphs which enable us to present an O(n m)-time and O(n + m)-space algorithm for determining whether a given graph G on n vertices and m edges is HHD-free. The algorithm can be augmented to provide a certificate (an induced house, hole, or domino) whenever it decides that the input graph is not HHD-free; the certificate computation requires O(n + m) additional time and O(n) space.

Cover-Incomparability graphs (C-I graphs) form an interesting class of graphs from posets. C-I graphs are identified among chordal graphs, distance-hereditary graphs, Ptolemaic graphs, split graphs, threshold graphs, bisplit graphs, block graphs and cographs. Thus only a few classes of graphs are known to be C-I graphs so far. Composition operation and various graph products are usually used to produce more non-trivial graphs in a particular graph class, using the prime graphs in the class. In this paper, we attempt to study the effect of the composition, lexicographic and strong products of C-I graphs. We found that the lexicographic product of two C-I graphs, say G and H is a C-I graph if and only if either G is any C-I graph, and H is a complete graph or vice versa. A similar result holds for the strong product also. It can be observed that the composition operation is more general than lexicographic product and we obtain new classes of C-I graphs from this operation.

CENTERS OF TRIANGULATED GRAPHS V. D. Chepoi Let G = (X, U) be an ordinary graph with arbitrarily (not necessarily finitely) many vertexes, any two of which are joined by some finite chain. We endow G with a standard metric d(x, y) equal to the number of edges in the chain of shortest length joining vertexes x, y. The eccentricity e(z) of a vertex z is defined as {d(z, v): v e X}. The radius r(G) is the least eccentricity of the vertexes, and the diameter d(G) is the largest eccentricity. The center C(G) of G is the subgraph generated by the set of vertexes with minimal eccentricity. It is well known [I, 2] that any graph G, even if it is not connected, is the center of some graph G', i.e., G = C(G'). At the same time, if one confines attention to special classes of graphs, their centers may have rather specific features. Thus, a well-known re- sult of Jordan [3] states that the center of any finite tree consists of one vertex or two adjacent vertexes; that is to say, the only two possibilities are the graphs K l and K 2 (where K n denotes the complete subgraph on n vertexes). The centers of maximal outerplanar graphs and 2-trees were described in [4, 5]. In this paper we characterize the centers of triangu- lated graphs. In this connection, we note that metric properties, including in particular properties of the centers, of triangulated graphs have been studied by various authors [6-9]. Our Theorems 1 and 2 were proved in [8], but they are established here in a more general form and the proofs are simpler. Recall [i0] that a graph G is said to be triangulated if, in any simple cycle F of length more than 3, there are two vertexes not adjacent in r but joined by an edge in G. Recall moreover that a clique of a graph G is any maximal complete subgraph (with re- spect to inclusion). The density of a graph G is the cardinality of the largest clique in G (if such a clique exists). Throughout this paper, the term triangulated graph will mean a triangulated graph of finite diameter without infinite complete subgraphs. Let CT denote the family of graphs which are centers of triangulated graphs. We shall need a number of additional concepts and definitions. Given sets M c X in a graph G and any number r ~ 0, we put where

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.

Chordal graphs are those graphs which have chords for each cycle of the length > 3. For large graphs/ networks, generally, the number of chords is less in number than the required number of chords to for a chordal graph. By definition, those graphs are not chordal. The algorithms and properties of chordal graphs do not apply to such cases. Also, the strength of the chords is not measured there. This study introduces a relaxation on such number of chords for the definition of chordal graphs. The notion of a fuzzy strong chord is introduced. After that, fuzzy chordal graphs and related properties are developed. The measure of fuzzy strong chords is proposed. Also, as a generation, fuzzy k-chordal graphs are developed, and isomorphism on a fuzzy chordal graph is defined. At last, area of applications of fuzzy chordal graphs and conclusions with future directions are illustrated.

If $K$ is a simplicial complex on $m$ vertices, the flagification of $K$ is the minimal flag complex $K^{f}$ on the same vertex set that contains $K$ . Letting $L$ be the set of vertices, there is a sequence of simplicial inclusions $L\stackrel{}{\longrightarrow }K\stackrel{}{\longrightarrow }K^{f}$ . This induces a sequence of maps of polyhedral products $(\text{}\underline{X},\text{}\underline{A})^{L}\stackrel{g}{\longrightarrow }(\text{}\underline{X},\text{}\underline{A})^{K}\stackrel{f}{\longrightarrow }(\text{}\underline{X},\text{}\underline{A})^{K^{f}}$ . We show that $\unicode[STIX]{x1D6FA}f$ and $\unicode[STIX]{x1D6FA}f\circ \unicode[STIX]{x1D6FA}g$ have right homotopy inverses and draw consequences. For a flag complex $K$ the polyhedral product of the form $(\text{}\underline{CY},\text{}\underline{Y})^{K}$ is a co- $H$ -space if and only if the 1-skeleton of $K$ is a chordal graph, and we deduce that the maps $f$ and $f\circ g$ have right homotopy inverses in this case.

The center (periphery) of a graph is the set of vertices with minimum (maximum) eccentricity. In this paper, the structure of centers and peripheries of some classes of composite graphs are determined. The relations between eccentricity, radius and diameter of such composite graphs are also investigated. As an application we determine the center and periphery of some chemical graphs such as nanotorus and nanotubes covered by C4.

Let G be a connected graph and $S \subseteq V( G )$. Then the Steiner distance of S in G, denoted by $d_G ( S )$, is the smallest number of edges in a connected subgraph of G that contains S. A connected graph G is k-Steiner distance-hereditary, $k \geq 2$, if, for every $S \subseteq V( G )$ such that $|S| = k$ and every connected induced subgraph H of G containing $S,d_H ( S ) = d_G ( S )$. It is shown that if G is 2-Steiner distance-hereditary, then G is k-Steiner distance-hereditary for all $k \geq 2$. Furthermore, it is shown that if G is k-Steiner distance-hereditary $( k \geq 3 )$, then G need not be $( k - 1 )$-Steiner distance-hereditary. An efficient algorithm for determining the Steiner distance of a set of k vertices in a k-Steiner distance-hereditary graph is discussed, and a characterization of 2-Steiner distance-hereditary graphs that leads to an efficient algorithm for testing whether a graph is 2-Steiner distance-hereditary is given.

Kneser graphs are like Swiss cheese, Discrete Analysis 2018:2, 18 pp. This paper relates two very interesting areas of research in extremal combinatorics: removal lemmas, and of variables. A _removal lemma_ is a result that states that if $S$ is a set that contains only few copies of a certain structure, then one can remove just a few elements from $S$ to create a set $S'$ that has no copies of that structure. For instance, the triangle removal states that a graph with few triangles can be approximated by a graph with no triangles. Removal lemmas play a very important role in extremal and additive combinatorics. As for the of variables, the aspect that is of interest here is that there are many interesting theorems that state that if a function has a certain property, it must be because in a certain sense it depends on only a few variables. For example, a famous result of the first author shows that if a monotone graph property fails to have a sharp threshold, then the property can be approximated by one for which the minimal graphs that satisfy it are all small, with the result that the influence of individual edges on whether the graph has the property is substantial. The main result of this paper is an removal lemma for various families of graphs. It states that if $G$ is a graph in one of these families, then for every set $X$ of vertices in $G$ that spans only a few edges one can throw away just a small proportion of $X$ to obtain a subset $X'$ that is independent. Of course, a result like this is completely false in general: one has only to take a sparse random graph, and then every subset will span few edges but no large subset will be independent. But it is true, for example, for complete bipartite graphs, since a set of vertices that spans a sparse subgraph will have to be contained almost entirely in one of the two vertex sets, and then one can throw away the vertices that are in the other set. One of the families for which the authors prove an edge-removal is that of Kneser graphs. For $0<m<n/2$, the Kneser graph $K(n,m)$ has as its vertex set the set of all subsets of $\{1,2,\dots,n\}$ of size $m$, with two such subsets joined by an edge if and only if they are disjoint. Kneser graphs have large sparse sets, but the natural examples seem to depend on just a few variables: for example, one can take all sets that contain a particular element. (Note that an independent set in $K(n,m)$ is just an intersecting family of $m$-sets.) The authors wanted to prove a precise conjecture that would say that every set of vertices that spans a sparse subgraph can be approximated by a set of vertices that (i) depends on just a few variables and (ii) spans an independent set. Before this paper a weaker statement was known where instead of (ii) one had a sparse set. In this paper the authors settle the conjecture completely by showing that a sparse set of vertices can be approximated by an independent set of vertices. The other family of graphs for which the authors prove an edge removal is that of product graphs. If $H$ is a graph, then the product $G=H^n$ is the graph where $x$ and $y$ are joined if for every coordinate $i$ we have that $x_iy_i$ is an edge of $H$. (There are different definitions of product graphs, but this is the one to which the result applies: note that it makes it quite hard for two vertices to be joined.) For example, if $H$ is a complete graph on $r$ coordinates, then $G=[r]^n$ with two vertices joined if and only if they differ in every coordinate. The proof of the removal uses ideas from Jacob Fox's proof of the triangle removal lemma, which obtains the best known bound for that result. Finally, what has this to do with Swiss cheese? The rough idea is that these graphs have large and highly structured independent sets, and a part of the graph is sparse if and only if it has a big intersection with one of these independent sets. Likewise a Swiss cheese contains lots of large holes, and a region of space contained within the boundary of the cheese will contain only a small amount of cheese if and only if it is almost entirely contained in one of the holes. Article image [by G. J. Wanderer](https://www.flickr.com/photos/106561245@N07/13515457313/in/photolist-mAjfA6-f7mF8i-Tf5Ler-7i4FtY-bi74Nt-gWVXdj-7XoC4N-okRvp5-77HxiZ-7xt4hx-RSUt3B-qeB17D-as2aAc-7K64uq-oL2GMj-6trVsK-UDq452-SP1xSX-d4u57o-fATSUi-8Km2Qs-dJeLzb-qu9Z4Z-dNNvQ2-7eVY4b-6mtCks-frWJEF-aCerNx-7tyjAW-haiMTG-oysrog-9LJVj8-fzno-4VuER1-b5n85M-Jka6K5-a7vHJZ-5S7Yyt-Uwa6kC-dNU7Mm-5AWGod-YSE7a-bzagV7-8tV58z-8YW1XL-5nvECU-QAdC69-8wG84t-TSsHP4-9eoj6S) and distributed under a [CC-BY-NC-SA licence](https://creativecommons.org/licenses/by-nc-sa/2.0/).

An important theme of recent research in Ramsey theory has been establishing pseudorandomness properties of Ramsey graphs. An N N -vertex graph is called C C -Ramsey if it has no homogeneous set of size C log ⁡ N C\log N . A theorem of Bukh and Sudakov, solving a conjecture of Erdős, Faudree, and Sós, shows that any C C -Ramsey N N -vertex graph contains an induced subgraph with Ω C ( N 1 / 2 ) \Omega _C(N^{1/2}) distinct degrees. We improve this to Ω C ( N 2 / 3 ) \Omega _C(N^{2/3}) , which is tight up to the constant factor. We also show that any N N -vertex graph with N &gt; ( k − 1 ) ( n − 1 ) N &gt; (k-1)(n-1) and n ≥ n 0 ( k ) = Ω ( k 9 ) n\geq n_0(k) = \Omega (k^9) either contains a homogeneous set of order n n or an induced subgraph with k k distinct degrees. The lower bound on N N here is sharp, as shown by an appropriate Turán graph, and confirms a conjecture of Narayanan and Tomon.