Subclass Of Chordal Graphs Research Articles

Algorithms and hardness results for edge total domination problem in graphs

For a graph G=(V,E) without an isolated edge, a set D⊆E is an edge total dominating set of G if every edge e∈E is adjacent to at least one edge of D. The Minimum Edge Total Dominating Set problem is to compute a minimum cardinality edge total dominating set of G. It is known that the decision version of the problem is NP-complete for bipartite graphs, chordal graphs, and planar graphs. On the positive side, the problem is efficiently solvable for trees. In this paper, we further study the complexity of this problem in other graph classes. We design a linear-time algorithm to compute a minimum cardinality edge total dominating set in chain graphs, a subclass of bipartite graphs. We also propose linear-time algorithms for two subclasses of chordal graphs, namely, split graphs and proper interval graphs with no cut vertices. In addition, we show that the problem is APX-complete for graphs with maximum degree 3 and propose an approximation algorithm for the problem in k-regular graphs, where k≥4. We discuss the complexity difference between the Minimum Edge Dominating Set problem and Minimum Edge Total Dominating Set problem which seem to be closely related.

Computing a Minimum Subset Feedback Vertex Set on Chordal Graphs Parameterized by Leafage

Chordal graphs are characterized as the intersection graphs of subtrees in a tree and such a representation is known as the tree model. Restricting the characterization results in well-known subclasses of chordal graphs such as interval graphs or split graphs. A typical example of a problem that does not behave computationally the same in all subclasses of chordal graphs is the Subset Feedback Vertex Set (SFVS) problem: given a vertex-weighted graph G=(V,E)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$G=(V,E)$$\\end{document} and a set S⊆V\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$S\\subseteq V$$\\end{document}, we seek for a vertex set of minimum weight that intersects all cycles containing a vertex of S. SFVS is known to be polynomial-time solvable on interval graphs, whereas SFVS remains np-complete on split graphs and, consequently, on chordal graphs. Towards a better understanding of the complexity of SFVS on subclasses of chordal graphs, we exploit structural properties of a tree model in order to cope with the hardness of SFVS. Here we consider the leafage, which measures the minimum number of leaves in a tree model. We show that SFVS can be solved in polynomial time for every chordal graph with bounded leafage. In particular, given a chordal graph on n vertices with leafage ℓ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\ell $$\\end{document}, we provide an algorithm for solving SFVS with running time nO(ℓ)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$n^{O(\\ell )}$$\\end{document}, thus improving upon nO(ℓ2)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$n^{O(\\ell ^2)}$$\\end{document}, which is the running time of an approach that utilizes the previously known algorithm for graphs with bounded mim-width. We complement our result by showing that SFVS is w[1]-hard parameterized by ℓ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\ell $$\\end{document}. Pushing further our positive result, it is natural to also consider the vertex leafage, which measures the minimum upper bound on the number of leaves of every subtree in a tree model. However, we show that it is unlikely to obtain a similar result, as we prove that SFVS remains np-complete on undirected path graphs, i.e., chordal graphs having vertex leafage at most two. Lastly, we provide a polynomial-time algorithm for solving SFVS on rooted path graphs, a proper subclass of undirected path graphs and graphs with mim-width one, which is faster than the approach of constructing a graph decomposition of mim-width one and applying the previously known algorithm for graphs with bounded mim-width.

On the monophonic rank of a graph

A set of vertices $S$ of a graph $G$ is {\em monophonically convex} if every induced path joining two vertices of $S$ is contained in $S$. The {\em monophonic convex hull of $S$}, $\langle S \rangle$, is the smallest monophonically convex set containing $S$. A set $S$ is {\em monophonic convexly independent} if $v \not\in \langle S - \{v\} \rangle$ for every $v \in S$. The {\em monophonic rank} of $G$ is the size of the largest monophonic convexly independent set of $G$. We present a characterization of the monophonic convexly independent sets. Using this result, we show how to determine the monophonic rank of graph classes like bipartite, cactus, triangle-free, and line graphs in polynomial time. Furthermore, we show that this parameter can computed in polynomial time for $1$-starlike graphs, i.e., for split graphs, and that its determination is $\NP$-complete for $k$-starlike graphs for any fixed $k \ge 2$, a subclass of chordal graphs. We also consider this problem on the graphs whose intersection graph of the maximal prime subgraphs is a tree.

Well-partitioned chordal 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).

The diameter of AT‐free graphs

AbstractA graph algorithm is truly subquadratic if it runs in time on connected ‐edge graphs, for some positive . Roditty and Vassilevska Williams (STOC'13) proved that under plausible complexity assumptions, there is no truly subquadratic algorithm for computing the diameter of general graphs. In this study, we present positive and negative results on the existence of such algorithms for computing the diameter on some special graph classes. Specifically, three vertices in a graph form an asteroidal triple (AT) if between any two of them there exists a path that avoids the closed neighbourhood of the third one. We call a graph AT‐free if it does not contain an AT. We first prove that for all ‐edge AT‐free graphs, one can compute all the eccentricities in truly subquadratic time. For the AT‐free bipartite graphs, it can be improved to linear time. Then, we extend our study to several subclasses of chordal graphs—all of them generalizing interval graphs in various ways—as an attempt to understand which of the properties of AT‐free graphs, or natural generalizations of the latter, can help in the design of fast algorithms for the diameter problem on broader graph classes. For instance, for all chordal graphs with a dominating shortest‐path, there is a linear‐time algorithm for computing a diametral pair if the diameter is at least four. However, already for split graphs with a dominating edge, under plausible complexity assumptions, there is no truly subquadratic algorithm for deciding whether the diameter is either 2 or 3.

Semipaired Domination in Some Subclasses of Chordal Graphs

A dominating set $D$ of a graph $G$ without isolated vertices is called semipaired dominating set if $D$ can be partitioned into $2$-element subsets such that the vertices in each set are at distance at most $2$. The semipaired domination number, denoted by $\gamma_{pr2}(G)$ is the minimum cardinality of a semipaired dominating set of $G$. Given a graph $G$ with no isolated vertices, the \textsc{Minimum Semipaired Domination} problem is to find a semipaired dominating set of $G$ of cardinality $\gamma_{pr2}(G)$. The decision version of the \textsc{Minimum Semipaired Domination} problem is already known to be NP-complete for chordal graphs, an important graph class. In this paper, we show that the decision version of the \textsc{Minimum Semipaired Domination} problem remains NP-complete for split graphs, a subclass of chordal graphs. On the positive side, we propose a linear-time algorithm to compute a minimum cardinality semipaired dominating set of block graphs. In addition, we prove that the \textsc{Minimum Semipaired Domination} problem is APX-complete for graphs with maximum degree $3$.

Algorithmic aspects of 2-secure domination in graphs

Let G(V, E) be a simple, connected and undirected graph. A dominating set $$S \subseteq V$$ is called a 2-secure dominating set (2-SDS) in G, if for each pair of distinct vertices $$v_1,v_2 \in V$$ there exists a pair of distinct vertices $$u_1,u_2 \in S$$ such that $$u_1 \in N[v_1]$$ , $$u_2 \in N[v_2]$$ and $$(S {\setminus } \{u_1,u_2\}) \cup \{v_1,v_2 \}$$ is a dominating set in G. The size of a minimum 2-SDS in G is said to be 2-secure domination number denoted by $$\gamma _{2s}(G)$$ . The 2-SDM problem is to check if an input graph G has a 2-SDS S, with $$ \vert S \vert \le k$$ , where $$ k \in \mathbb {Z}^+ $$ . It is proved that for bipartite graphs 2-SDM is NP-complete. In this paper, we prove that the 2-SDM problem is NP-complete for planar graphs and doubly chordal graphs, a subclass of chordal graphs. We reinforce the existing NP-complete result for bipartite graphs, by proving 2-SDM is NP-complete for some subclasses of bipartite graphs specifically, comb convex bipartite and star convex bipartite graphs. We prove that this problem is linear time solvable for bounded tree-width graphs. We also show that the 2-SDM is W[2]-hard even for split graphs. The M2SDS problem is to find a 2-SDS of minimum size in the given graph. We give a $$ \varDelta +1 $$ -approximation algorithm for M2SDS, where $$ \varDelta $$ is the maximum degree of the given graph and prove that M2SDS cannot be approximated within $$ (1 - \epsilon ) \ln (\vert V \vert ) $$ for any $$ \epsilon > 0 $$ unless $$ NP \subseteq DTIME(\vert V \vert ^{ O(\log \log \vert V \vert )}) $$ . Finally, we prove that the M2SDS is APX-complete for graphs with $$\varDelta =4.$$

Algorithmic Aspects of Outer-Independent Total Roman Domination in Graphs

For a simple, undirected graph [Formula: see text], a function [Formula: see text] which satisfies the following conditions is called an outer-independent total Roman dominating function (OITRDF) of [Formula: see text] with weight [Formula: see text]. (C1) For all [Formula: see text] with [Formula: see text] there exists a vertex [Formula: see text] such that [Formula: see text] and [Formula: see text], (C2) The induced subgraph with vertex set [Formula: see text] has no isolated vertices and (C3) The induced subgraph with vertex set [Formula: see text] is independent. For a graph [Formula: see text], the smallest possible weight of an OITRDF of [Formula: see text] which is denoted by [Formula: see text], is known as the outer-independent total Roman domination number of [Formula: see text]. The problem of determining [Formula: see text] of a graph [Formula: see text] is called minimum outer-independent total Roman domination problem (MOITRDP). In this article, we show that the problem of deciding if [Formula: see text] has an OITRDF of weight at most [Formula: see text] for bipartite graphs and split graphs, a subclass of chordal graphs is NP-complete. We also show that MOITRDP is linear time solvable for connected threshold graphs and bounded treewidth graphs. Finally, we show that the domination and outer-independent total Roman domination problems are not equivalent in computational complexity aspects.

Algorithmic aspects of secure connected domination in graphs

Let $G = (V,E)$ be a simple, undirected and connected graph. A connected dominating set $S \subseteq V$ is a secure connected dominating set of $G$, if for each $ u \in V\setminus S$, there exists $v\in S$ such that $(u,v) \in E$ and the set $(S \setminus \{ v \}) \cup \{ u \} $ is a connected dominating set of $G$. The minimum size of a secure connected dominating set of $G$ denoted by $ \gamma_{sc} (G)$, is called the secure connected domination number of $G$. Given a graph $ G$ and a positive integer $ k,$ the Secure Connected Domination (SCDM) problem is to check whether $ G $ has a secure connected dominating set of size at most $ k.$ In this paper, we prove that the SCDM problem is NP-complete for doubly chordal graphs, a subclass of chordal graphs. We investigate the complexity of this problem for some subclasses of bipartite graphs namely, star convex bipartite, comb convex bipartite, chordal bipartite and chain graphs. The Minimum Secure Connected Dominating Set (MSCDS) problem is to find a secure connected dominating set of minimum size in the input graph. We propose a $ (\Delta(G)+1) $ - approximation algorithm for MSCDS, where $ \Delta(G) $ is the maximum degree of the input graph $ G $ and prove that MSCDS cannot be approximated within $ (1 -\epsilon) ln(| V |)$ for any $ \epsilon > 0 $ unless $ NP \subseteq DTIME(| V |^{O(log log | V |)})$ even for bipartite graphs. Finally, we show that the MSCDS is APX-complete for graphs with $\Delta(G)=4$.

A story of diameter, radius, and (almost) Helly property

AbstractWe present new algorithmic results for the class of Helly graphs, that is, for the discrete analogues of hyperconvex metric spaces. Specifically, an undirected unweighted graph is Helly if every family of pairwise intersecting balls has a nonempty common intersection. It is known that every graph isometrically embeds into a Helly graph that makes of the latter an important class of graphs in metric graph theory. We study diameter and radius computations within the Helly graphs, and related graph classes. This is in part motivated by a conjecture on the fine‐grained complexity of these two distance problems within the graph classes of bounded fractional Helly number—that contain as particular cases the proper minor‐closed graph classes and the bounded clique‐width graphs. Note that under plausible complexity assumptions, neither the diameter nor the radius can be computed in truly subquadratic time on general graphs. In contrast to these negative results, we first present algorithms which given an n‐vertex m‐edge Helly graph G as input, compute with high probability (w.h.p.) its radius and its diameter in time (i.e., subquadratic in n + m). Our algorithms are based on the Helly property and on the unimodality of the eccentricity function in Helly graphs: every vertex of locally minimum eccentricity is a central vertex. Then, we improve our results for the C4‐free Helly graphs, that are exactly the Helly graphs whose balls are convex. For this subclass, we present linear‐time algorithms for computing the eccentricity of all vertices. Doing so, we generalize previous results on strongly chordal graphs to a much larger subclass, that includes, among others, all the bridged Helly graphs and the hereditary Helly graphs. Lastly, we derive approximate versions of our results for the class of chordal graphs: with the latter satisfying an almost‐Helly‐type property, and a stronger (induced‐path) convexity property than the C4‐free Helly graphs. For the chordal graphs, we can compute in quasi linear time the eccentricity of all vertices with an additive one‐sided error of at most one, which is best possible under the strong exponential‐time hypothesis. This answers an open question of Dragan. In fact, we obtain this last result as a byproduct from a more general reduction: from diameter computation on chordal graphs to the Disjoint Sets problem. Roughly, it implies that the split graphs are the only hard instances for diameter computation on chordal graphs. We also get from our reduction that on any subclass of chordal graphs with constant VC‐dimension (and so, for undirected path graphs), the diameter can be computed in truly subquadratic time.

Integer Laplacian eigenvalues of chordal graphs

In this paper, structural properties of chordal graphs are studied, establishing a relationship between these structures and integer Laplacian eigenvalues. We present the characterization of chordal graphs with equal vertex and algebraic connectivities, by means of the vertices that compose the minimal vertex separators of the graph; we stablish a sufficient condition for the cardinality of a maximal clique to appear as an integer Laplacian eigenvalue. Finally, we review two subclasses of chordal graphs, showing particular properties.

The strong domination problem in block graphs and proper interval graphs

In a graph [Formula: see text], the degree of a vertex [Formula: see text], denoted by [Formula: see text], is defined as the number of edges incident on [Formula: see text]. A set [Formula: see text] of vertices of [Formula: see text] is called a strong dominating set if for every [Formula: see text], there exists a vertex [Formula: see text] such that [Formula: see text] and [Formula: see text]. For a given graph [Formula: see text], Min-Strong-DS is the problem of finding a strong dominating set of minimum cardinality. The decision version of Min-Strong-DS is shown to be NP -complete for chordal graphs. In this paper, we present polynomial time algorithms for computing a strong dominating set in block graphs and proper interval graphs, two subclasses of chordal graphs. On the other hand, we show that for a graph [Formula: see text] with [Formula: see text]-vertices, Min-Strong-DS cannot be approximated within a factor of [Formula: see text] for every [Formula: see text], unless NP [Formula: see text] DTIME ([Formula: see text]). We also show that Min-Strong-DS is APX -complete for graphs with maximum degree [Formula: see text]. On the positive side, we show that Min-Strong-DS can be approximated within a factor of [Formula: see text] for graphs with maximum degree [Formula: see text].

On the minimum clique partitioning problem on weighted chordal graphs

In this paper, we introduce a new family of graphs which is a subclass of chordal graphs as well as a superclass of interval graphs and study it. Myung [8] proposed an algorithm for the minimum clique partitioning problem with constrained bounds in weighted interval graphs. We extend the family of interval graphs to the family of so called “interval-like graphs” to which Myung's algorithm is applicable and show that bull-free chordal graphs and diamond-free chordal graphs are interval-like graphs.

Restrained Domination in Some Subclasses of Chordal Graphs

A set D⊆V of a graph G = (V, E) is called a restrained dominating set of G if every vertex not in D is adjacent to a vertex in D and to a vertex in V\\D. The Minimum Restrained Domination problem is to find a restrained dominating set of minimum cardinality. The decision version of the Minimum Restrained Domination problem is known to be NP-complete for chordal graphs. In this paper, we strengthen this NP-completeness result by showing that the problem remains NP-complete for doubly chordal graphs, a subclass of chordal graphs. We also propose a polynomial time algorithm to solve the Minimum Restrained Domination problem in block graphs, a subclass of doubly chordal graphs.

Edge-b-Coloring Trees

A b-coloring of the vertices of a graph is a proper coloring where each color class contains a vertex which is adjacent to at least one vertex in each other color class. The b-chromatic number of G is the maximum integer b(G) for which G has a b-coloring with b(G) colors. This problem was introduced by Irving and Manlove (Discrete Appl Math 91:127–141, 1999), where they showed that computing b(G) is $${\mathcal {NP}}$$ -hard in general and polynomial-time solvable for trees. Since then, a number of complexity results were shown, including NP-hardness results for chordal graphs (Havet et al. in Discrete Appl Math 160(18):2709–2715, 2012) and line graphs (Campos et al. in Eur J Comb 48:154–164, 2015). In this article, we present a polynomial time algorithm that solves the problem restricted to claw-free block graphs, an important subclass of chordal graphs and of line graphs. This is equivalent to solving the edge coloring version restricted to trees.

Strictly Interval Graphs: Characterization and Linear Time Recognition

In this paper we introduce a new subclass of chordal graphs, those which are simultaneously strictly chordal and interval, the strictly interval graphs. We present the characterization of the new class by forbidden subgraphs and a simple linear time recognition obtained directly from the determination of the leafage of strictly chordal graphs. We also show how strictly interval graphs relate to proper interval graphs, presenting the new hierarchy of classes.

Computing role assignments of split graphs

A k-role assignment of a simple graph G is a surjective function r:V(G)→{1,…,k} where {r(u′):u′∈N(u)}={r(v′):v′∈N(v)} for every pair u,v∈V(G) with r(u)=r(v). This concept appears in the context of social networks. It is known that the problem of finding a 2-role assignment of chordal graphs can be solved in linear time and that deciding whether a graph of this class admits a k-role assignment, for any fixed k≥3, is NP-complete. In this work, we investigate this problem on split graphs, a subclass of chordal graphs. We characterize the split graphs admitting a 3-role assignment. Such result leads to a linear time algorithm for this case. Furthermore, we prove that deciding whether a split graph has a k-role assignment is NP-complete for any fixed k≥4.

On the complexity of the {k}‐packing function problem

AbstractGiven a positive integer k, the “‐packing function problem” (PF) is to find in a given graph G, a function f that assigns a nonnegative integer to the vertices of G in such a way that the sum of over each closed neighborhood is at most k and over the whole vertex set of G (weight of f) is maximum. It is known that PF is linear time solvable in strongly chordal graphs and in graphs with clique‐width bounded by a constant. In this paper we prove that PF is NP‐complete, even when restricted to chordal graphs that constitute a superclass of strongly chordal graphs. To find other subclasses of chordal graphs where PF is tractable, we prove that it is linear time solvable for doubly chordal graphs, by proving that it is so in the superclass of dually chordal graphs, which are graphs that have a maximum neighborhood ordering.

Structure learning in Bayesian Networks using regular vines

Learning the structure of a Bayesian Network from multidimensional data is an important task in many situations, as it allows understanding conditional (in)dependence relations which in turn can be used for prediction. Current methods mostly assume a multivariate normal or a discrete multinomial model. A new greedy learning algorithm for continuous non-Gaussian variables, where marginal distributions can be arbitrary, as well as the dependency structure, is proposed. It exploits the regular vine approximation of the model, which is a tree-based hierarchical construction with pair-copulae as building blocks. It is shown that the networks obtainable with our algorithm belong to a certain subclass of chordal graphs. Chordal graphs representations are often preferred, as they allow very efficient message passing and information propagation in intervention studies. It is illustrated through several examples and real data applications that the possibility of using non-Gaussian margins and a non-linear dependency structure outweighs the restriction to chordal graphs.

Complexity of the cluster deletion problem on subclasses of chordal graphs

We consider the following vertex-partition problem on graphs, known as the CLUSTER DELETION (CD) problem: given a graph with real nonnegative edge weights, partition the vertices into clusters (in this case, cliques) to minimize the total weight of edges outside the clusters. The decision version of this optimization problem is known to be NP-complete even for unweighted graphs and has been studied extensively. We investigate the complexity of the decision CD problem for the family of chordal graphs, showing that it is NP-complete for weighted split graphs, weighted interval graphs and unweighted chordal graphs. We also prove that the problem is NP-complete for weighted cographs. Some polynomial-time solvable cases of the optimization problem are also identified, in particular CD for unweighted split graphs, unweighted proper interval graphs and weighted block graphs.