-
W[1]-hardness of Outer Connected Dominating set in d-degenerate Graphs
Authors:
Mohsen Alambardar Meybodi,
Mohammad Reza Hooshmandasl,
Ali Shakiba
Abstract:
A set $D \subseteq V$ of a graph $G = (V,E)$ is called an outer-connected dominating set of $G$ if every vertex $v$ not in $D$ is adjacent to at least one vertex in $D$, and the induced subgraph of $G$ on $V \setminus D$ is connected. The Minimum Outer-connected Domination problem is to find an outer-connected dominating set of minimum cardinality for the input graph $G$. Given a positive integer…
▽ More
A set $D \subseteq V$ of a graph $G = (V,E)$ is called an outer-connected dominating set of $G$ if every vertex $v$ not in $D$ is adjacent to at least one vertex in $D$, and the induced subgraph of $G$ on $V \setminus D$ is connected. The Minimum Outer-connected Domination problem is to find an outer-connected dominating set of minimum cardinality for the input graph $G$. Given a positive integer $k$ and a graph $G = (V, E)$, the Outer-connected Domination Decision problem is to decide whether $G$ has an outer-connected dominating set of cardinality at most $k$. The Outer-connected Domination Decision problem is known to be NP-complete, even for bipartite graphs. We study the problem of outer-connected domination on sparse graphs from the perspective of parameterized complexity and show that it is W[1]-hard on d-degenerate graphs, while the original connected dominating set has FTP algorithm on d-degenerate graphs.
△ Less
Submitted 3 November, 2021;
originally announced November 2021.
-
On Mixed Domination in Generalized Petersen Graphs
Authors:
M. Rajaati,
M. R. Hooshmandasl,
M. Alambardar Meybodi,
B. Davvaz
Abstract:
Given a graph $G = (V, E)$, a set $S \subseteq V \cup E$ of vertices and edges is called a mixed dominating set if every vertex and edge that is not included in $S$ happens to be adjacent or incident to a member of $S$. The mixed domination number $γ_{md}(G)$ of the graph is the size of the smallest mixed dominating set of $G$. We present an explicit method for constructing optimal mixed dominatin…
▽ More
Given a graph $G = (V, E)$, a set $S \subseteq V \cup E$ of vertices and edges is called a mixed dominating set if every vertex and edge that is not included in $S$ happens to be adjacent or incident to a member of $S$. The mixed domination number $γ_{md}(G)$ of the graph is the size of the smallest mixed dominating set of $G$. We present an explicit method for constructing optimal mixed dominating sets in Petersen graphs $P(n, k)$ for $k \in \{1, 2\}$. Our method also provides a new upper bound for other Petersen graphs.
△ Less
Submitted 3 December, 2018;
originally announced December 2018.
-
A note on belief structures and S-approximation spaces
Authors:
Ali Shakiba,
Amir Kafshdar Goharshady,
MohammadReza Hooshmandasl,
Mohsen Alambardar Meybodi
Abstract:
We study relations between evidence theory and S-approximation spaces. Both theories have their roots in the analysis of Dempster's multivalued map**s and lower and upper probabilities and have close relations to rough sets. We show that an S-approximation space, satisfying a monotonicity condition, can induce a natural belief structure which is a fundamental block in evidence theory. We also de…
▽ More
We study relations between evidence theory and S-approximation spaces. Both theories have their roots in the analysis of Dempster's multivalued map**s and lower and upper probabilities and have close relations to rough sets. We show that an S-approximation space, satisfying a monotonicity condition, can induce a natural belief structure which is a fundamental block in evidence theory. We also demonstrate that one can induce a natural belief structure on one set, given a belief structure on another set if those sets are related by a partial monotone S-approximation space.
△ Less
Submitted 28 March, 2020; v1 submitted 27 May, 2018;
originally announced May 2018.
-
Domination Cover Number of Graphs
Authors:
M. Alambardar Meybodi,
M. R. Hooshmandasl,
P. Sharifani,
A. Shakiba
Abstract:
A set $D \subseteq V$ for the graph $G=(V, E)$ is called a dominating set if any vertex $v\in V\setminus D$ has at least one neighbor in $D$. Fomin et al.[9] gave an algorithm for enumerating all minimal dominating sets with $n$ vertices in $O(1.7159^n)$ time. It is known that the number of minimal dominating sets for interval graphs and trees on $n$ vertices is at most $3^{n/3} \approx 1.4422^n$.…
▽ More
A set $D \subseteq V$ for the graph $G=(V, E)$ is called a dominating set if any vertex $v\in V\setminus D$ has at least one neighbor in $D$. Fomin et al.[9] gave an algorithm for enumerating all minimal dominating sets with $n$ vertices in $O(1.7159^n)$ time. It is known that the number of minimal dominating sets for interval graphs and trees on $n$ vertices is at most $3^{n/3} \approx 1.4422^n$. In this paper, we introduce the domination cover number as a new criterion for evaluating the dominating sets in graphs. The domination cover number of a dominating set $D$, denoted by $\mathcal{C}_D(G)$, is the summation of the degrees of the vertices in $D$. Maximizing or minimizing this parameter among all minimal dominating sets have interesting applications in many real-world problems, such as the art gallery problem. Moreover, we investigate this concept for different graph classes and propose some algorithms for finding the domination cover number in trees, block graphs.
△ Less
Submitted 7 May, 2018;
originally announced May 2018.
-
On the complexity of the outer-connected bondage and the outer-connected reinforcement problems
Authors:
M. Hashemipour,
M. R. Hooshmandasl,
A. Shakiba
Abstract:
Let $G=(V,E)$ be a graph. A subset $S \subseteq V$ is a dominating set of $G$ if every vertex not in $S$ is adjacent to a vertex in $S$. A set $\tilde{D} \subseteq V$ of a graph $G=(V,E) $ is called an outer-connected dominating set for $G$ if (1) $\tilde{D}$ is a dominating set for $G$, and (2) $G [V \setminus \tilde{D}]$, the induced subgraph of $G$ by $V \setminus \tilde{D}$, is connected. The…
▽ More
Let $G=(V,E)$ be a graph. A subset $S \subseteq V$ is a dominating set of $G$ if every vertex not in $S$ is adjacent to a vertex in $S$. A set $\tilde{D} \subseteq V$ of a graph $G=(V,E) $ is called an outer-connected dominating set for $G$ if (1) $\tilde{D}$ is a dominating set for $G$, and (2) $G [V \setminus \tilde{D}]$, the induced subgraph of $G$ by $V \setminus \tilde{D}$, is connected. The minimum size among all outer-connected dominating sets of $G$ is called the outer-connected domination number of $G$ and is denoted by $\tildeγ_c(G)$. We define the outer-connected bondage number of a graph $G$ as the minimum number of edges whose removal from $G$ results in a graph with an outer-connected domination number larger than the one for $G$. Also, the outer-connected reinforcement number of a graph $G$ is defined as the minimum number of edges whose addition to $G$ results in a graph with an outer-connected domination number, which is smaller than the one for $G$. This paper shows that the decision problems for the outer-connected bondage and the outer-connected reinforcement numbers are $\mathbf{NP}$-hard. Also, the exact values of the bondage number are determined for several classes of graphs.
△ Less
Submitted 2 February, 2018;
originally announced February 2018.
-
An Efficient Algorithm for Mixed Domination on Generalized Series-Parallel Graphs
Authors:
M. Rajaati,
P. Sharifani,
A. Shakiba,
M. R. Hooshmandasl,
M. J. Dinneen
Abstract:
A mixed dominating set $S$ of a graph $G=(V,E)$ is a subset $ S \subseteq V \cup E$ such that each element $v\in (V \cup E) \setminus S$ is adjacent or incident to at least one element in $S$. The mixed domination number $γ_m(G)$ of a graph $G$ is the minimum cardinality among all mixed dominating sets in $G$. The problem of finding $γ_{m}(G)$ is know to be NP-complete. In this paper, we present a…
▽ More
A mixed dominating set $S$ of a graph $G=(V,E)$ is a subset $ S \subseteq V \cup E$ such that each element $v\in (V \cup E) \setminus S$ is adjacent or incident to at least one element in $S$. The mixed domination number $γ_m(G)$ of a graph $G$ is the minimum cardinality among all mixed dominating sets in $G$. The problem of finding $γ_{m}(G)$ is know to be NP-complete. In this paper, we present an explicit polynomial-time algorithm to construct a mixed dominating set of size $γ_{m}(G)$ by a parse tree when $G$ is a generalized series-parallel graph.
△ Less
Submitted 1 August, 2017;
originally announced August 2017.
-
Some Results on [1, k]-sets of Lexicographic Products of Graphs
Authors:
P. Sharifani,
M. R. Hooshmandasl
Abstract:
A subset $S \subseteq V$ in a graph $G = (V,E)$ is called a $[1, k]$-set, if for every vertex $v \in V \setminus S$, $1 \leq | N_G(v) \cap S | \leq k$. The $[1,k]$-domination number of $G$, denoted by $γ_{[1, k]}(G)$ is the size of the smallest $[1,k]$-sets of $G$. A set $S'\subseteq V(G)$ is called a total $[1,k]$-set, if for every vertex $v \in V$, $1 \leq | N_G(v) \cap S | \leq k$. If a graph…
▽ More
A subset $S \subseteq V$ in a graph $G = (V,E)$ is called a $[1, k]$-set, if for every vertex $v \in V \setminus S$, $1 \leq | N_G(v) \cap S | \leq k$. The $[1,k]$-domination number of $G$, denoted by $γ_{[1, k]}(G)$ is the size of the smallest $[1,k]$-sets of $G$. A set $S'\subseteq V(G)$ is called a total $[1,k]$-set, if for every vertex $v \in V$, $1 \leq | N_G(v) \cap S | \leq k$. If a graph $G$ has at least one total $[1, k]$-set then the cardinality of the smallest such set is denoted by $γ_{t[1, k]}(G)$. We consider $[1, k]$-sets that are also independent. Note that not every graph has an independent $[1, k]$-set. For graphs having an independent $[1, k]$-set, we define $[1, k]$-independence numbers which is denoted by $γ_{i[1, k]}(G)$. In this paper, we investigate the existence of $[1,k]$-sets in lexicographic products $G\circ H$. Furthermore, we completely characterize graphs which their lexicographic product has at least one total $[1,k]$-set. Also, we determine $γ_{[1, k]}(G\circ H)$, $γ_{t[1, k]}(G\circ H)$ and $γ_{i[1, k]}(G\circ H)$. Finally, we show that finding smallest total $[1, k]$-set is $NP$-complete.
△ Less
Submitted 1 August, 2017;
originally announced August 2017.
-
On outer-connected domination for graph products
Authors:
M. Hashemipour,
M. R. Hooshmandasl,
A. Shakiba
Abstract:
An outer-connected dominating set for an arbitrary graph $G$ is a set $\tilde{D} \subseteq V$ such that $\tilde{D}$ is a dominating set and the induced subgraph $G [V \setminus \tilde{D}]$ be connected. In this paper, we focus on the outer-connected domination number of the product of graphs. We investigate the existence of outer-connected dominating set in lexicographic product and Corona of two…
▽ More
An outer-connected dominating set for an arbitrary graph $G$ is a set $\tilde{D} \subseteq V$ such that $\tilde{D}$ is a dominating set and the induced subgraph $G [V \setminus \tilde{D}]$ be connected. In this paper, we focus on the outer-connected domination number of the product of graphs. We investigate the existence of outer-connected dominating set in lexicographic product and Corona of two arbitrary graphs, and we present upper bounds for outer-connected domination number in lexicographic and Cartesian product of graphs. Also, we establish an equivalent form of the Vizing's conjecture for outer-connected domination number in lexicographic and Cartesian product as $\tilde{γ_c}(G \circ K)\tilde{γ_c}(H \circ K) \leq \tilde{γ_c}(G\Box H)\circ K$. Furthermore, we study the outer-connected domination number of the direct product of finitely many complete graphs.
△ Less
Submitted 1 August, 2017;
originally announced August 2017.
-
An Explicit Construction of Optimal Dominating Sets in Grid
Authors:
P. Sharifani,
M. R. Hooshmandasl,
M. Alambardar Meybodi
Abstract:
A dominating set in a graph $G$ is a subset of vertices $D$ such that every vertex in $V\setminus D$ is a neighbor of some vertex of $D$. The domination number of $G$ is the minimum size of a dominating set of $G$ and it is denoted by $γ(G)$. Also, a subset $D$ of a graph $G$ is a $[ 1 , 2 ] $-set if, each vertex $v \in V \setminus D$ is adjacent to either one or two vertices in $D$ and the minimu…
▽ More
A dominating set in a graph $G$ is a subset of vertices $D$ such that every vertex in $V\setminus D$ is a neighbor of some vertex of $D$. The domination number of $G$ is the minimum size of a dominating set of $G$ and it is denoted by $γ(G)$. Also, a subset $D$ of a graph $G$ is a $[ 1 , 2 ] $-set if, each vertex $v \in V \setminus D$ is adjacent to either one or two vertices in $D$ and the minimum cardinality of $[ 1 , 2 ] $-dominating set of $G$, is denoted by $γ_{[1,2]}(G)$. Chang's conjecture says that for every $16 \leq m \leq n$, $γ(G_{m,n})= \left \lfloor\frac{(n+2)(m+2)}{5}\right \rfloor-4$ and this conjecture has been proven by Goncalves et al. This paper presents an explicit constructing method to find an optimal dominating set for grid graph $G_{m,n}$ where $m,n\geq 16$ in $O(\text{size of answer})$. In addition, we will show that $γ(G_{m,n})=γ_{[1,2]}(G_{m,n})$ where $m,n\geq 16$ holds in response to an open question posed by Chellali et al.
△ Less
Submitted 15 March, 2018; v1 submitted 20 July, 2017;
originally announced July 2017.
-
A Linear Algorithm for Computing $γ_{[1,2]}$-set in Generalized Series-Parallel Graphs
Authors:
P. Sharifani,
M. R. Hooshmandasl
Abstract:
For a graph $G=(V,E)$, a set $S \subseteq V$ is a $[1,2]$-set if it is a dominating set for $G$ and each vertex $v \in V \setminus S$ is dominated by at most two vertices of $S$, i.e. $1 \leq \vert N(v) \cap S \vert \leq 2$. Moreover a set $S \subseteq V$ is a total $[1,2]$-set if for each vertex of $V$, it is the case that $1 \leq \vert N(v) \cap S \vert \leq 2$. The $[1,2]$-domination number of…
▽ More
For a graph $G=(V,E)$, a set $S \subseteq V$ is a $[1,2]$-set if it is a dominating set for $G$ and each vertex $v \in V \setminus S$ is dominated by at most two vertices of $S$, i.e. $1 \leq \vert N(v) \cap S \vert \leq 2$. Moreover a set $S \subseteq V$ is a total $[1,2]$-set if for each vertex of $V$, it is the case that $1 \leq \vert N(v) \cap S \vert \leq 2$. The $[1,2]$-domination number of $G$, denoted $γ_{[1,2]}(G)$,is the minimum number of vertices in a $[1,2]$-set. Every $[1,2]$-set with cardinality of $γ_{[1,2]}(G)$ is called a $γ_{[1,2]}$-set. Total $[1,2]$-domination number and $γ_{t[1,2]}$-sets of $G$ are defined in a similar way. This paper presents a linear time algorithm to find a $γ_{[1,2]}$-set and a $γ_{t[1,2]}$-set in generalized series-parallel graphs.
△ Less
Submitted 20 July, 2017;
originally announced July 2017.
-
[1, 2]-sets and [1, 2]-total Sets in Trees with Algorithms
Authors:
Amir Kafshdar Goharshady,
Mohammad Reza Hooshmandasl,
Mohsen Alambardar Meybodi
Abstract:
A set $S \subseteq V$ of the graph $G = (V, E)$ is called a $[1, 2]$-set of $G$ if any vertex which is not in $S$ has at least one but no more than two neighbors in $S$. A set $S \subseteq V$ is called a $[1, 2]$-total set of $G$ if any vertex of $G$, no matter in $S$ or not, is adjacent to at least one but not more than two vertices in $S$. In this paper we introduce a linear algorithm for findin…
▽ More
A set $S \subseteq V$ of the graph $G = (V, E)$ is called a $[1, 2]$-set of $G$ if any vertex which is not in $S$ has at least one but no more than two neighbors in $S$. A set $S \subseteq V$ is called a $[1, 2]$-total set of $G$ if any vertex of $G$, no matter in $S$ or not, is adjacent to at least one but not more than two vertices in $S$. In this paper we introduce a linear algorithm for finding the cardinality of the smallest $[1, 2]$-sets and $[1, 2]$-total sets of a tree and extend it to a more generalized version for $[i, j]$-sets, a generalization of $[1, 2]$-sets. This answers one of the open problems proposed in [5]. Then since not all trees have $[1, 2]$-total sets, we devise a recursive method for generating all the trees that do have such sets. This method also constructs every $[1, 2]$-total set of each tree that it generates.
△ Less
Submitted 16 June, 2017;
originally announced June 2017.
-
On fixed-parameter tractability of the mixed domination problem for graphs with bounded tree-width
Authors:
M. Rajaati,
M. R. Hooshmandasl,
M. J. Dinneen,
A. Shakiba
Abstract:
A mixed dominating set for a graph $G = (V,E)$ is a set $S\subseteq V \cup E$ such that every element $x \in (V \cup E) \backslash S$ is either adjacent or incident to an element of $S$. The mixed domination number of a graph $G$, denoted by $γ_m(G)$, is the minimum cardinality of mixed dominating sets of $G$. Any mixed dominating set with the cardinality of $γ_m(G)$ is called a minimum mixed domi…
▽ More
A mixed dominating set for a graph $G = (V,E)$ is a set $S\subseteq V \cup E$ such that every element $x \in (V \cup E) \backslash S$ is either adjacent or incident to an element of $S$. The mixed domination number of a graph $G$, denoted by $γ_m(G)$, is the minimum cardinality of mixed dominating sets of $G$. Any mixed dominating set with the cardinality of $γ_m(G)$ is called a minimum mixed dominating set. The mixed domination set (MDS) problem is to find a minimum mixed dominating set for a graph $G$ and is known to be an NP-complete problem. In this paper, we present a novel approach to find all of the mixed dominating sets, called the AMDS problem, of a graph with bounded tree-width $tw$. Our new technique of assigning power values to edges and vertices, and combining with dynamic programming, leads to a fixed-parameter algorithm of time $O(3^{tw^{2}}\times tw^2 \times |V|)$. This shows that MDS is fixed-parameter tractable with respect to tree-width. In addition, we theoretically improve the proposed algorithm to solve the MDS problem in $O(6^{tw} \times |V|)$ time.
△ Less
Submitted 14 July, 2018; v1 submitted 24 December, 2016;
originally announced December 2016.
-
A combinatorial approach to certain topological spaces based on minimum complement S-approximation spaces
Authors:
M. R. Hooshmandasl,
M. Alambardar Meybodi,
A. K. Goharshady,
A. Shakiba
Abstract:
An S-approximation space is a novel approach to study systems with uncertainty that are not expressible in terms of inclusion relations. In this work, we further examined these spaces, mostly from a topological point of view by a combinatorial approach. This work also identifies a subclass of these approximation spaces, called $S_\mathcal{MC}$-approximations. Topological properties of this subclas…
▽ More
An S-approximation space is a novel approach to study systems with uncertainty that are not expressible in terms of inclusion relations. In this work, we further examined these spaces, mostly from a topological point of view by a combinatorial approach. This work also identifies a subclass of these approximation spaces, called $S_\mathcal{MC}$-approximations. Topological properties of this subclass are investigated and finally, the topologies formed by $S_\mathcal{MC}$-approximations are enumerated up to homeomorphism.
△ Less
Submitted 2 February, 2016;
originally announced February 2016.