scholarly journals A Note on Conjectures of F. Galvin and R. Rado

2013 ◽  
Vol 56 (2) ◽  
pp. 317-325
Author(s):  
François G. Dorais
Keyword(s):  
Interval Graph ◽  
Chordal Graphs ◽  
Supercompact Cardinal ◽  
Induced Subgraph

AbstractIn 1968, Galvin conjectured that an uncountable poset P is the union of countably many chains if and only if this is true for every subposet Q ⊆ P with size ℵ1. In 1981, Rado formulated a similar conjecture that an uncountable interval graph G is countably chromatic if and only if this is true for every induced subgraph H ⊆ G with size ℵ1. Todorčević has shown that Rado's conjecture is consistent relative to the existence of a supercompact cardinal, while the consistency of Galvin's conjecture remains open. In this paper, we survey and collect a variety of results related to these two conjectures. We also show that the extension of Rado's conjecture to the class of all chordal graphs is relatively consistent with the existence of a supercompact cardinal.

Algorithmic Aspects of Outer-Independent Total Roman Domination in Graphs

2021 ◽  
pp. 1-9
Author(s):  
Amit Sharma ◽  
P. Venkata Subba Reddy
Keyword(s):  
Linear Time ◽  
Domination Number ◽  
Chordal Graphs ◽  
Roman Domination ◽  
Induced Subgraph ◽  
Bounded Treewidth ◽  
Roman Domination Number ◽  
Vertex Set ◽  
Roman Dominating Function ◽  
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.

Inductive graph invariants and approximation algorithms

2021 ◽  
Author(s):  
C. R. Subramanian
Keyword(s):  
Optimization Problems ◽  
Independence Number ◽  
Optimal Solution ◽  
Maximum Size ◽  
Chordal Graphs ◽  
Minimum Size ◽  
Optimal Size ◽  
Induced Subgraph ◽  
Special Cases ◽  
Optimal Formula

We introduce and study an inductively defined analogue [Formula: see text] of any increasing graph invariant [Formula: see text]. An invariant [Formula: see text] is increasing if [Formula: see text] whenever [Formula: see text] is an induced subgraph of [Formula: see text]. This inductive analogue simultaneously generalizes and unifies known notions like degeneracy, inductive independence number, etc., into a single generic notion. For any given increasing [Formula: see text], this gets us several new invariants and many of which are also increasing. It is also shown that [Formula: see text] is the minimum (over all orderings) of a value associated with each ordering. We also explore the possibility of computing [Formula: see text] (and a corresponding optimal vertex ordering) and identify some pairs [Formula: see text] for which [Formula: see text] can be computed efficiently for members of [Formula: see text]. In particular, it includes graphs of bounded [Formula: see text] values. Some specific examples (like the class of chordal graphs) have already been studied extensively. We further extend this new notion by (i) allowing vertex weighted graphs, (ii) allowing [Formula: see text] to take values from a totally ordered universe with a minimum and (iii) allowing the consideration of [Formula: see text]-neighborhoods for arbitrary but fixed [Formula: see text]. Such a generalization is employed in designing efficient approximations of some graph optimization problems. Precisely, we obtain efficient algorithms (by generalizing the known algorithm of Ye and Borodin [Y. Ye and A. Borodin, Elimination graphs, ACM Trans. Algorithms 8(2) (2012) 1–23] for special cases) for approximating optimal weighted induced [Formula: see text]-subgraphs and optimal [Formula: see text]-colorings (for hereditary [Formula: see text]’s) within multiplicative factors of (essentially) [Formula: see text] and [Formula: see text] respectively, where [Formula: see text] denotes the inductive analogue (as defined in this work) of optimal size of an unweighted induced [Formula: see text]-subgraph of the input and [Formula: see text] is the minimum size of a forbidden induced subgraph of [Formula: see text]. Our results generalize the previous result on efficiently approximating maximum independent sets and minimum colorings on graphs of bounded inductive independence number to optimal [Formula: see text]-subgraphs and [Formula: see text]-colorings for arbitrary hereditary classes [Formula: see text]. As a corollary, it is also shown that any maximal [Formula: see text]-subgraph approximates an optimal solution within a factor of [Formula: see text] for unweighted graphs, where [Formula: see text] is maximum size of any induced [Formula: see text]-subgraph in any local neighborhood [Formula: see text].

scholarly journals Complexity of Hamiltonian Cycle Reconfiguration

Algorithms ◽  
2018 ◽  
Vol 11 (9) ◽  
pp. 140 ◽  
Author(s):  
Asahi Takaoka
Keyword(s):  
Hamiltonian Cycle ◽  
Linear Time ◽  
Bipartite Graphs ◽  
Interval Graph ◽  
Unit Interval ◽  
Chordal Graphs ◽  
Hamiltonian Cycles ◽  
Permutation Graph ◽  
Proper Subclass ◽  
Chordal Bipartite Graphs

The Hamiltonian cycle reconfiguration problem asks, given two Hamiltonian cycles C 0 and C t of a graph G, whether there is a sequence of Hamiltonian cycles C 0 , C 1 , … , C t such that C i can be obtained from C i − 1 by a switch for each i with 1 ≤ i ≤ t , where a switch is the replacement of a pair of edges u v and w z on a Hamiltonian cycle with the edges u w and v z of G, given that u w and v z did not appear on the cycle. We show that the Hamiltonian cycle reconfiguration problem is PSPACE-complete, settling an open question posed by Ito et al. (2011) and van den Heuvel (2013). More precisely, we show that the Hamiltonian cycle reconfiguration problem is PSPACE-complete for chordal bipartite graphs, strongly chordal split graphs, and bipartite graphs with maximum degree 6. Bipartite permutation graphs form a proper subclass of chordal bipartite graphs, and unit interval graphs form a proper subclass of strongly chordal graphs. On the positive side, we show that, for any two Hamiltonian cycles of a bipartite permutation graph and a unit interval graph, there is a sequence of switches transforming one cycle to the other, and such a sequence can be obtained in linear time.

CONNECTED LIAR'S DOMINATION IN GRAPHS: COMPLEXITY AND ALGORITHMS

2013 ◽  
Vol 05 (04) ◽  
pp. 1350024 ◽  
Author(s):  
B. S. PANDA ◽  
S. PAUL
Keyword(s):  
Dominating Set ◽  
Chordal Graphs ◽  
Hardness Of Approximation ◽  
Induced Subgraph ◽  
Path Graph ◽  
Block Graphs ◽  
Domination Problem ◽  
Np Complete ◽  
Domination In Graphs ◽  
General Graphs

A subset L ⊆ V of a graph G = (V, E) is called a connected liar's dominating set of G if (i) for all v ∈ V, |NG[v] ∩ L| ≥ 2, (ii) for every pair u, v ∈ V of distinct vertices, |(NG[u]∪NG[v])∩L| ≥ 3, and (iii) the induced subgraph of G on L is connected. In this paper, we initiate the algorithmic study of minimum connected liar's domination problem by showing that the corresponding decision version of the problem is NP-complete for general graph. Next we study this problem in subclasses of chordal graphs where we strengthen the NP-completeness of this problem for undirected path graph and prove that this problem is linearly solvable for block graphs. Finally, we propose an approximation algorithm for minimum connected liar's domination problem and investigate its hardness of approximation in general graphs.

Total vertex-edge domination in graphs: Complexity and algorithms

2021 ◽  
Author(s):  
Nitisha Singhwal ◽  
Palagiri Venkata Subba Reddy
Keyword(s):  
Linear Time ◽  
Dominating Set ◽  
Domination Number ◽  
Bipartite Graphs ◽  
Chordal Graphs ◽  
Induced Subgraph ◽  
Minimum Cardinality ◽  
Edge Dominating Set ◽  
Linear Programming Formulation ◽  
Convex Bipartite Graphs

Let [Formula: see text] be a simple, undirected and connected graph. A vertex [Formula: see text] of a simple, undirected graph [Formula: see text]-dominates all edges incident to at least one vertex in its closed neighborhood [Formula: see text]. A set [Formula: see text] of vertices is a vertex-edge dominating set of [Formula: see text], if every edge of graph [Formula: see text] is [Formula: see text]-dominated by some vertex of [Formula: see text]. A vertex-edge dominating set [Formula: see text] of [Formula: see text] is called a total vertex-edge dominating set if the induced subgraph [Formula: see text] has no isolated vertices. The total vertex-edge domination number [Formula: see text] is the minimum cardinality of a total vertex-edge dominating set of [Formula: see text]. In this paper, we prove that the decision problem corresponding to [Formula: see text] is NP-complete for chordal graphs, star convex bipartite graphs, comb convex bipartite graphs and planar graphs. The problem of determining [Formula: see text] of a graph [Formula: see text] is called the minimum total vertex-edge domination problem (MTVEDP). We prove that MTVEDP is linear time solvable for chain graphs and threshold graphs. We also show that MTVEDP can be approximated within approximation ratio of [Formula: see text]. It is shown that the domination and total vertex-edge domination problems are not equivalent in computational complexity aspects. Finally, an integer linear programming formulation for MTVEDP is presented.

scholarly journals On Hyper-Chordal graphs

2021 ◽  
Vol 37 (1) ◽  
pp. 119-126
Author(s):  
MIHAI TALMACIU
Keyword(s):  
Combinatorial Optimization ◽  
Linear Complexity ◽  
Optimization Algorithms ◽  
Recognition Algorithm ◽  
Chordal Graphs ◽  
Induced Subgraph ◽  
Recognition Algorithms ◽  
Triangulated Graphs ◽  
Triangulated Graph

Triangulated graphs have many interesting properties (perfection, recognition algorithms, combinatorial optimization algorithms with linear complexity). Hyper-triangulated graphs are those where each induced subgraph has a hyper-simplicial vertex. In this paper we give the characterizations of hyper-triangulated graphs using an ordering of vertices and the weak decomposition. We also offer a recognition algorithm for the hyper-triangulated graphs, the inclusions between the triangulated graphs generalizations and we show that any hyper-triangulated graph is perfect.

Characterization of some classes of graphs with equal domination number and isolate domination number

2020 ◽  
Vol 12 (05) ◽  
pp. 2050065
Author(s):  
Davood Bakhshesh
Keyword(s):  
Dominating Set ◽  
Domination Number ◽  
Interval Graph ◽  
Induced Subgraph ◽  
Minimum Cardinality ◽  
Vertex Set ◽  
Isolated Vertex ◽  
Proper Interval Graph ◽  
Domination In Graphs

Let [Formula: see text] be a simple and undirected graph with vertex set [Formula: see text]. A set [Formula: see text] is called a dominating set of [Formula: see text], if every vertex in [Formula: see text] is adjacent to at least one vertex in [Formula: see text]. The minimum cardinality of a dominating set of [Formula: see text] is called the domination number of [Formula: see text], denoted by [Formula: see text]. A dominating set [Formula: see text] of [Formula: see text] is called isolate dominating, if the induced subgraph [Formula: see text] of [Formula: see text] contains at least one isolated vertex. The minimum cardinality of an isolate dominating set of [Formula: see text] is called the isolate domination number of [Formula: see text], denoted by [Formula: see text]. In this paper, we show that for every proper interval graph [Formula: see text], [Formula: see text]. Moreover, we provide a constructive characterization for trees with equal domination number and isolate domination number. These solve part of an open problem posed by Hamid and Balamurugan [Isolate domination in graphs, Arab J. Math. Sci. 22(2) (2016) 232–241].

A linear time algorithm to compute a minimum restrained dominating set in proper interval graphs

2015 ◽  
Vol 07 (02) ◽  
pp. 1550020 ◽  
Author(s):  
B. S. Panda ◽  
D. Pradhan
Keyword(s):  
Linear Time ◽  
Dominating Set ◽  
Time Algorithm ◽  
Interval Graph ◽  
Chordal Graphs ◽  
Linear Time Algorithm ◽  
Circle Graphs ◽  
Restrained Domination ◽  
Proper Interval Graph ◽  
Domination Problem

A set D ⊆ V is a restrained dominating set of a graph G = (V, E) if every vertex in V\D is adjacent to a vertex in D and a vertex in V\D. Given a graph G and a positive integer k, the restrained domination problem is to check whether G has a restrained dominating set of size at most k. The restrained domination problem is known to be NP-complete even for chordal graphs. In this paper, we propose a linear time algorithm to compute a minimum restrained dominating set of a proper interval graph. We present a polynomial time reduction that proves the NP-completeness of the restrained domination problem for undirected path graphs, chordal bipartite graphs, circle graphs, and planar graphs.

scholarly journals Minimal Obstructions for Partial Representations of Interval Graphs

10.37236/5862 ◽  
2018 ◽  
Vol 25 (4) ◽  
Author(s):  
Pavel Klavik ◽  
Maria Saumell
Keyword(s):  
Linear Time ◽  
Interval Graph ◽  
Interval Graphs ◽  
Induced Subgraphs ◽  
Induced Subgraph ◽  
Intersection Graphs ◽  
Certifying Algorithm ◽  
Partial Representation ◽  
Partial Representation Extension ◽  
Linear Time Algorithms

Interval graphs are intersection graphs of closed intervals. A generalization of recognition called partial representation extension was introduced recently. The input gives an interval graph with a partial representation specifying some pre-drawn intervals.  We ask whether the remaining intervals can be added to create an extending representation. Two linear-time algorithms are known for solving this problem. In this paper, we characterize the minimal obstructions which make partial representations non-extendible. This generalizes Lekkerkerker and Boland's characterization of the minimal forbidden induced subgraphs of interval graphs. Each minimal obstruction consists of a forbidden induced subgraph together with at most four pre-drawn intervals. A Helly-type result follows: A partial representation is extendible if and only if every quadruple of pre-drawn intervals is extendible by itself. Our characterization leads to a linear-time certifying algorithm for partial representation extension.

Sign in / Sign up

Export Citation Format

Share Document