-
Correlation Clustering Algorithm for Dynamic Complete Signed Graphs: An Index-based Approach
Authors:
Ali Shakiba
Abstract:
In this paper, we reduce the complexity of approximating the correlation clustering problem from $O(m\times\left( 2+ α(G) \right)+n)$ to $O(m+n)$ for any given value of $\varepsilon$ for a complete signed graph with $n$ vertices and $m$ positive edges where $α(G)$ is the arboricity of the graph. Our approach gives the same output as the original algorithm and makes it possible to implement the alg…
▽ More
In this paper, we reduce the complexity of approximating the correlation clustering problem from $O(m\times\left( 2+ α(G) \right)+n)$ to $O(m+n)$ for any given value of $\varepsilon$ for a complete signed graph with $n$ vertices and $m$ positive edges where $α(G)$ is the arboricity of the graph. Our approach gives the same output as the original algorithm and makes it possible to implement the algorithm in a full dynamic setting where edge sign flip** and vertex addition/removal are allowed. Constructing this index costs $O(m)$ memory and $O(m\timesα(G))$ time. We also studied the structural properties of the non-agreement measure used in the approximation algorithm. The theoretical results are accompanied by a full set of experiments concerning seven real-world graphs. These results shows superiority of our index-based algorithm to the non-index one by a decrease of %34 in time on average.
△ Less
Submitted 1 January, 2023;
originally announced January 2023.
-
Online Correlation Clustering for Dynamic Complete Signed Graphs
Authors:
Ali Shakiba
Abstract:
In the correlation clustering problem for complete signed graphs, the input is a complete signed graph with edges weighted as $+1$ (denote recommendation to put this pair in the same cluster) or $-1$ (recommending to put this pair of vertices in separate clusters) and the target is to cluster the set of vertices such that the number of disagreements with these recommendations is minimized.
In th…
▽ More
In the correlation clustering problem for complete signed graphs, the input is a complete signed graph with edges weighted as $+1$ (denote recommendation to put this pair in the same cluster) or $-1$ (recommending to put this pair of vertices in separate clusters) and the target is to cluster the set of vertices such that the number of disagreements with these recommendations is minimized.
In this paper, we consider the problem of correlation clustering for dynamic complete signed graphs where (1) a vertex can be added or deleted, and (2) the sign of an edge can be flipped. In the proposed online scheme, the offline approximation algorithm in [CALM+21] for correlation clustering is used. Up to the author's knowledge, this is the first online algorithm for dynamic graphs which allows a full set of graph editing operations.
The proposed approach is rigorously analyzed and compared with a baseline method, which runs the original offline algorithm on each time step. Our results show that the dynamic operations have local effects on the neighboring vertices and we employ this locality to reduce the dependency of the running time in the Baseline to the summation of the degree of all vertices in $G_t$, the graph after applying the graph edit operation at time step $t$, to the summation of the degree of the changing vertices (e.g. two endpoints of an edge) and the number of clusters in the previous time step. Moreover, the required working memory is reduced to the square of the summation of the degree of the modified edge endpoints rather than the total number of vertices in the graph.
△ Less
Submitted 13 November, 2022;
originally announced November 2022.
-
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.
-
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.
-
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.
-
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.