-
Succinct Data Structure for Chordal Graphs with Bounded Vertex Leafage
Authors:
Girish Balakrishnan,
Sankardeep Chakraborty,
N S Narayanaswamy,
Kunihiko Sadakane
Abstract:
We improve the worst-case information theoretic lower bound of Munro and Wu (ISAAC 2018) for $n-$vertex unlabeled chordal graphs when vertex leafage is bounded and leafage is unbounded. The class of unlabeled $k-$vertex leafage chordal graphs that consists of all chordal graphs with vertex leafage at most $k$ and unbounded leafage, denoted $\mathcal{G}_k$, is introduced for the first time. For…
▽ More
We improve the worst-case information theoretic lower bound of Munro and Wu (ISAAC 2018) for $n-$vertex unlabeled chordal graphs when vertex leafage is bounded and leafage is unbounded. The class of unlabeled $k-$vertex leafage chordal graphs that consists of all chordal graphs with vertex leafage at most $k$ and unbounded leafage, denoted $\mathcal{G}_k$, is introduced for the first time. For $k>0$ in $o(n/\log n)$, we obtain a lower bound of $((k-1)n \log n -kn \log k - O(\log n))-$bits on the size of any data structure that encodes a graph in $\mathcal{G}_k$. Further, for every $k-$vertex leafage chordal graph $G$ such that for $k>1$ in $o(n^c), c >0$, we present a $((k-1)n \log n + o(kn \log n))-$bit succinct data structure, constructed using the succinct data structure for path graphs with $kn/2$ vertices. Our data structure supports adjacency query in $O(k \log n)$ time and using additional $2n \log n$ bits, an $O(k^2 d_v \log n + \log^2 n)$ time neighbourhood query where $d_v$ is degree of $v \in V$.
△ Less
Submitted 11 April, 2024; v1 submitted 6 February, 2024;
originally announced February 2024.
-
Succinct Data Structure for Graphs with $d$-Dimensional $t$-Representation
Authors:
Girish Balakrishnan,
Sankardeep Chakraborty,
Seungbum Jo,
N S Narayanaswamy,
Kunihiko Sadakane
Abstract:
Erdős and West (Discrete Mathematics'85) considered the class of $n$ vertex intersection graphs which have a {\em $d$-dimensional} {\em $t$-representation}, that is, each vertex of a graph in the class has an associated set consisting of at most $t$ $d$-dimensional axis-parallel boxes. In particular, for a graph $G$ and for each $d \geq 1$, they consider $i_d(G)$ to be the minimum $t$ for which…
▽ More
Erdős and West (Discrete Mathematics'85) considered the class of $n$ vertex intersection graphs which have a {\em $d$-dimensional} {\em $t$-representation}, that is, each vertex of a graph in the class has an associated set consisting of at most $t$ $d$-dimensional axis-parallel boxes. In particular, for a graph $G$ and for each $d \geq 1$, they consider $i_d(G)$ to be the minimum $t$ for which $G$ has such a representation. For fixed $t$ and $d$, they consider the class of $n$ vertex labeled graphs for which $i_d(G) \leq t$, and prove an upper bound of $(2nt+\frac{1}{2})d \log n - (n - \frac{1}{2})d \log(4πt)$ on the logarithm of size of the class.
In this work, for fixed $t$ and $d$ we consider the class of $n$ vertex unlabeled graphs which have a {\em $d$-dimensional $t$-representation}, denoted by $\mathcal{G}_{t,d}$. We address the problem of designing a succinct data structure for the class $\mathcal{G}_{t,d}$ in an attempt to generalize the relatively recent results on succinct data structures for interval graphs (Algorithmica'21). To this end, for each $n$ such that $td^2$ is in $o(n / \log n)$, we first prove a lower bound of $(2dt-1)n \log n - O(ndt \log \log n)$-bits on the size of any data structure for encoding an arbitrary graph that belongs to $\mathcal{G}_{t,d}$.
We then present a $((2dt-1)n \log n + dt\log t + o(ndt \log n))$-bit data structure for $\mathcal{G}_{t,d}$ that supports navigational queries efficiently. Contrasting this data structure with our lower bound argument, we show that for each fixed $t$ and $d$, and for all $n \geq 0$ when $td^2$ is in $o(n/\log n)$ our data structure for $\mathcal{G}_{t,d}$ is succinct.
As a byproduct, we also obtain succinct data structures for graphs of bounded boxicity (denoted by $d$ and $t = 1$) and graphs of bounded interval number (denoted by $t$ and $d=1$) when $td^2$ is in $o(n/\log n)$.
△ Less
Submitted 6 February, 2024; v1 submitted 4 November, 2023;
originally announced November 2023.
-
Exactly Hittable Interval Graphs
Authors:
S. M. Dhannya,
N. S. Narayanaswamy,
K. K. Nisha
Abstract:
Given a set system $\mathcal{X} = \{\mathcal{U},\mathcal{S}\}$, where $\mathcal{U}$ is a set of elements and $\mathcal{S}$ is a set of subsets of $\mathcal{U}$, an exact hitting set $\mathcal{U}'$ is a subset of $\mathcal{U}$ such that each subset in $\mathcal{S}$ contains exactly one element in $\mathcal{U}'$. We refer to a set system as exactly hittable if it has an exact hitting set. In this pa…
▽ More
Given a set system $\mathcal{X} = \{\mathcal{U},\mathcal{S}\}$, where $\mathcal{U}$ is a set of elements and $\mathcal{S}$ is a set of subsets of $\mathcal{U}$, an exact hitting set $\mathcal{U}'$ is a subset of $\mathcal{U}$ such that each subset in $\mathcal{S}$ contains exactly one element in $\mathcal{U}'$. We refer to a set system as exactly hittable if it has an exact hitting set. In this paper, we study interval graphs which have intersection models that are exactly hittable. We refer to these interval graphs as exactly hittable interval graphs (EHIG). We present a forbidden structure characterization for EHIG. We also show that the class of proper interval graphs is a strict subclass of EHIG. Finally, we give an algorithm that runs in polynomial time to recognize graphs belonging to the class of EHIG.
△ Less
Submitted 26 November, 2023; v1 submitted 1 January, 2023;
originally announced January 2023.
-
A faster algorithm for Vertex Cover parameterized by solution size
Authors:
David G. Harris,
N. S. Narayanaswamy
Abstract:
We describe a new algorithm for vertex cover with runtime $O^*(1.25284^k)$, where $k$ is the size of the desired solution and $O^*$ hides polynomial factors in the input size. This improves over previous runtime of $O^*(1.2738^k)$ due to Chen, Kanj, & Xia (2010) standing for more than a decade. The key to our algorithm is to use a potential function which simultaneously tracks $k$ as well as the o…
▽ More
We describe a new algorithm for vertex cover with runtime $O^*(1.25284^k)$, where $k$ is the size of the desired solution and $O^*$ hides polynomial factors in the input size. This improves over previous runtime of $O^*(1.2738^k)$ due to Chen, Kanj, & Xia (2010) standing for more than a decade. The key to our algorithm is to use a potential function which simultaneously tracks $k$ as well as the optimal value $λ$ of the vertex cover LP relaxation. This approach also allows us to make use of prior algorithms for Maximum Independent Set in bounded-degree graphs and Above-Guarantee Vertex Cover.
The main step in the algorithm is to branch on high-degree vertices, while ensuring that both $k$ and $μ= k - λ$ are decreased at each step. There can be local obstructions in the graph that prevent $μ$ from decreasing in this process; we develop a number of novel branching steps to handle these situations.
△ Less
Submitted 5 January, 2024; v1 submitted 16 May, 2022;
originally announced May 2022.
-
Succinct Data Structure for Path Graphs
Authors:
Girish Balakrishnan,
Sankardeep Chakraborty,
N S Narayanaswamy,
Kunihiko Sadakane
Abstract:
We consider the problem of designing a succinct data structure for {\it path graphs} (which are a proper subclass of chordal graphs and a proper superclass of interval graphs) on $n$ vertices while supporting degree, adjacency, and neighborhood queries efficiently. We provide the following two solutions for this problem:
- an $n \log n+o(n \log n)$-bit succinct data structure that supports adjac…
▽ More
We consider the problem of designing a succinct data structure for {\it path graphs} (which are a proper subclass of chordal graphs and a proper superclass of interval graphs) on $n$ vertices while supporting degree, adjacency, and neighborhood queries efficiently. We provide the following two solutions for this problem:
- an $n \log n+o(n \log n)$-bit succinct data structure that supports adjacency query in $O(\log n)$ time, neighborhood query in $O(d \log n)$ time and finally, degree query in $\min\{O(\log^2 n), O(d \log n)\}$ where $d$ is the degree of the queried vertex.
- an $O(n \log^2 n)$-bit space-efficient data structure that supports adjacency and degree queries in $O(1)$ time, and the neighborhood query in $O(d)$ time where $d$ is the degree of the queried vertex.
Central to our data structures is the usage of the classical heavy path decomposition by Sleator and Tarjan~\cite{ST}, followed by a careful bookkee** using an orthogonal range search data structure using wavelet trees~\cite{Makinen2007} among others, which maybe of independent interest for designing succinct data structures for other graph classes.
△ Less
Submitted 2 March, 2023; v1 submitted 8 November, 2021;
originally announced November 2021.
-
Parameterized Complexity of Minimum Membership Dominating Set
Authors:
Akanksha Agrawal,
Pratibha Choudhary,
N. S. Narayanaswamy,
K. K. Nisha,
Vijayaragunathan Ramamoorthi
Abstract:
Given a graph $G=(V,E)$ and an integer $k$, the Minimum Membership Dominating Set (MMDS) problem seeks to find a dominating set $S \subseteq V$ of $G$ such that for each $v \in V$, $|N[v] \cap S|$ is at most $k$. We investigate the parameterized complexity of the problem and obtain the following results about MMDS:
W[1]-hardness of the problem parameterized by the pathwidth (and thus, treewidth…
▽ More
Given a graph $G=(V,E)$ and an integer $k$, the Minimum Membership Dominating Set (MMDS) problem seeks to find a dominating set $S \subseteq V$ of $G$ such that for each $v \in V$, $|N[v] \cap S|$ is at most $k$. We investigate the parameterized complexity of the problem and obtain the following results about MMDS:
W[1]-hardness of the problem parameterized by the pathwidth (and thus, treewidth) of the input graph.
W[1]-hardness parameterized by $k$ on split graphs.
An algorithm running in time $2^{\mathcal{O}(\textbf{vc})} |V|^{\mathcal{O}(1)}$, where $\textbf{vc}$ is the size of a minimum-sized vertex cover of the input graph.
An ETH-based lower bound showing that the algorithm mentioned in the previous item is optimal.
△ Less
Submitted 13 October, 2021;
originally announced October 2021.
-
Parameterized Algorithms for the Steiner Arborescence Problem on a Hypercube
Authors:
Sugyani Mahapatra,
Manikandan Narayanan,
N S Narayanaswamy
Abstract:
Motivated by a phylogeny reconstruction problem in evolutionary biology, we study the minimum Steiner arborescence problem on directed hypercubes (MSA-DH). Given $m$, representing the directed hypercube $\vec{Q}_m$, and a set of terminals $R$, the problem asks to find a Steiner arborescence that spans $R$ with minimum cost. As $m$ implicitly represents $\vec{Q}_m$ comprising $2^{m}$ vertices, the…
▽ More
Motivated by a phylogeny reconstruction problem in evolutionary biology, we study the minimum Steiner arborescence problem on directed hypercubes (MSA-DH). Given $m$, representing the directed hypercube $\vec{Q}_m$, and a set of terminals $R$, the problem asks to find a Steiner arborescence that spans $R$ with minimum cost. As $m$ implicitly represents $\vec{Q}_m$ comprising $2^{m}$ vertices, the running time analyses of traditional Steiner tree algorithms on general graphs does not give a clear understanding of the actual complexity of this problem. We present algorithms that exploit the structure of the hypercube and run in time polynomial in $|R|$ and $m$.
We explore the MSA-DH problem on three natural parameters - $R$, and two above-guarantee parameters, number of Steiner nodes $p$ and penalty $q$. For above-guarantee parameters, the parameterized MSA-DH problem takes $p \geq 0$ or $q\geq 0$ as input, and outputs a Steiner arborescence with at most $|R| + p - 1$ or $m + q$ edges respectively. We present the following results ($\tilde{\mathcal{O}}$ hides the polynomial factors):
1. An exact algorithm that runs in $\tilde{\mathcal{O}}(3^{|R|})$ time.
2. A randomized algorithm that runs in $\tilde{\mathcal{O}}(9^q)$ time with success probability $\geq 4^{-q}$.
3. An exact algorithm that runs in $\tilde{\mathcal{O}}(36^q)$ time.
4. A $(1+q)$-approximation algorithm that runs in $\tilde{\mathcal{O}}(1.25284^q)$ time.
5. An $\mathcal{O}\left(p\ell_{\mathrm{max}} \right)$-additive approximation algorithm that runs in $\tilde{\mathcal{O}}(\ell_{\mathrm{max}}^{p+2})$ time, where $\ell_{\mathrm{max}}$ is the maximum distance of any terminal from the root.
△ Less
Submitted 14 May, 2024; v1 submitted 6 October, 2021;
originally announced October 2021.
-
Budgeted Dominating Sets in Uncertain Graphs
Authors:
Keerti Choudhary,
Avi Cohen,
N. S. Narayanaswamy,
David Peleg,
R. Vijayaragunathan
Abstract:
We study the {\em Budgeted Dominating Set} (BDS) problem on uncertain graphs, namely, graphs with a probability distribution $p$ associated with the edges, such that an edge $e$ exists in the graph with probability $p(e)$. The input to the problem consists of a vertex-weighted uncertain graph $\G=(V, E, p, ω)$ and an integer {\em budget} (or {\em solution size}) $k$, and the objective is to comput…
▽ More
We study the {\em Budgeted Dominating Set} (BDS) problem on uncertain graphs, namely, graphs with a probability distribution $p$ associated with the edges, such that an edge $e$ exists in the graph with probability $p(e)$. The input to the problem consists of a vertex-weighted uncertain graph $\G=(V, E, p, ω)$ and an integer {\em budget} (or {\em solution size}) $k$, and the objective is to compute a vertex set $S$ of size $k$ that maximizes the expected total domination (or total weight) of vertices in the closed neighborhood of $S$. We refer to the problem as the {\em Probabilistic Budgeted Dominating Set}~(PBDS) problem and present the following results. \begin{enumerate} \dnsitem We show that the PBDS problem is NP-complete even when restricted to uncertain {\em trees} of diameter at most four. This is in sharp contrast with the well-known fact that the BDS problem is solvable in polynomial time in trees. We further show that PBDS is \wone-hard for the budget parameter $k$, and under the {\em Exponential time hypothesis} it cannot be solved in $n^{o(k)}$ time.
\item We show that if one is willing to settle for $(1-ε)$ approximation, then there exists a PTAS for PBDS on trees. Moreover, for the scenario of uniform edge-probabilities, the problem can be solved optimally in polynomial time.
\item We consider the parameterized complexity of the PBDS problem, and show that Uni-PBDS (where all edge probabilities are identical) is \wone-hard for the parameter pathwidth. On the other hand, we show that it is FPT in the combined parameters of the budget $k$ and the treewidth.
\item Finally, we extend some of our parameterized results to planar and apex-minor-free graphs. \end{enumerate}
△ Less
Submitted 7 July, 2021;
originally announced July 2021.
-
The Connected Domination Number of Grids
Authors:
Adarsh Srinivasan,
N S Narayanaswamy
Abstract:
Closed form expressions for the domination number of an $n \times m$ grid have attracted significant attention, and an exact expression has been obtained in 2011 by Gonçalves et al. In this paper, we present our results on obtaining new lower bounds on the connected domination number of an $n \times m$ grid. The problem has been solved for grids with up to $4$ rows and with $6$ rows by Tolouse et…
▽ More
Closed form expressions for the domination number of an $n \times m$ grid have attracted significant attention, and an exact expression has been obtained in 2011 by Gonçalves et al. In this paper, we present our results on obtaining new lower bounds on the connected domination number of an $n \times m$ grid. The problem has been solved for grids with up to $4$ rows and with $6$ rows by Tolouse et al and the best currently known lower bound for arbitrary $m,n$ is $\lceil\frac{mn}{3}\rceil$. Fujie came up with a general construction for a connected dominating set of an $n \times m$ grid of size $\min \left\{2n+(m-4)+\lfloor\frac{m-4}{3}\rfloor(n-2), 2m+(n-4)+\lfloor\frac{n-4}{3}\rfloor(m-2) \right\}$ . In this paper, we investigate whether this construction is indeed optimum. We prove a new lower bound of $\left\lceil\frac{mn+2\lceil\frac{\min \{m,n\}}{3}\rceil}{3} \right\rceil$ for arbitrary $m,n \geq 4$.
△ Less
Submitted 23 November, 2020;
originally announced November 2020.
-
A polynomial time 12-approximation algorithm for restricted Santa Claus problem
Authors:
S Anil Kumar,
N S Narayanaswamy
Abstract:
In this paper, we consider the restricted case of the problem and improve the current best approximation ratio by presenting a polynomial time 12-approximation algorithm using linear programming and semi-definite programming. Our algorithm starts by solving the configuration LP and uses the optimum value to get a 12-gap instance. This is then followed by the well-known clustering technique of Bans…
▽ More
In this paper, we consider the restricted case of the problem and improve the current best approximation ratio by presenting a polynomial time 12-approximation algorithm using linear programming and semi-definite programming. Our algorithm starts by solving the configuration LP and uses the optimum value to get a 12-gap instance. This is then followed by the well-known clustering technique of Bansal and Sviridenko\cite{bansal}. We then apply the analysis of Asadpour \textit{et al.} \cite{AFS,AFS2} to show that the clustered instance has an integer solution which is at least $\frac{1}{6}$ times the best possible value, which was computed by solving the configuration LP. To find this solution, we formulate a problem called the Extended Assignment Problem, and formulate it as an LP. We then, show that the associated polytope is integral and gives us an fractional solution of value at least $\frac{1}{6}$ times the optimum. From this solution we find a solution to a new quadratic program that we introduce to select one machine from each cluster, and then we show that the resulting instance has an Assignment LP fractional solution of value at least $\frac{1}{6}$ times the optimum. We then use the well known rounding technique due to Bezakova and Dani \cite{bezakova} on the 12-gap instance to get our 12-approximate solution.
△ Less
Submitted 7 August, 2020; v1 submitted 19 July, 2020;
originally announced July 2020.
-
Trade-offs in dynamic coloring for bipartite and general graphs
Authors:
Manas Jyoti Kashyop,
N. S. Narayanaswamy,
Meghana Nasre,
Sai Mohith Potluri
Abstract:
We present trade-offs in the incremental and fully dynamic settings to maintian a proper coloring. For any fully dynamic $2$-coloring algorithm, the maximum of the update time, number of recolorings, and query time is $Ω(\log n)$. We present a deterministic fully dynamic $2$-coloring algorithm with $O(\log^2 n)$ amortized update time, $O(\log n)$ amortized query time, and one recoloring in the wor…
▽ More
We present trade-offs in the incremental and fully dynamic settings to maintian a proper coloring. For any fully dynamic $2$-coloring algorithm, the maximum of the update time, number of recolorings, and query time is $Ω(\log n)$. We present a deterministic fully dynamic $2$-coloring algorithm with $O(\log^2 n)$ amortized update time, $O(\log n)$ amortized query time, and one recoloring in the worst case. For any incremental $2$-coloring algorithm which explicitly maintains the color of every vertex after each update, the amortized update time and the amortized number of recolorings is $Ω(\log n)$. For such an algorithm, in the worst case the update time and the number of recolorings is $Ω(n)$. We then design a deterministic incremental $2$-coloring algorithm which explicitly maintains the color of every vertex after each update, with amortized $O(\log n)$ update time and amortized $O(\log n)$ many recolorings. Further, in the worst case the update time and the number of recolorings is $O(n)$. Further, we present a deterministic incremental $(1+2 \log n)$-coloring algorithm which explicitly maintains the color of every vertex after each update, with $O(α(n))$ amortized update time, at most one recoloring and $O(1)$ query time. We then show a deterministic incremental $2$-coloring algorithm which does not maintain color of every vertex after each update, with amortized $O(α(n))$ update time, amortized $O(α(n))$ recolorings, and amortized $O(α(n))$ query time.
For general graphs and graphs of bounded arboricity $γ$ and maximum degree $Δ$ we present a deterministic $(Δ+1)$-coloring algorithm with $O(\sqrt{m})$ update time, $O(1)$ query time, and one recoloring. Finally, we show a deterministic $(Δ+1)$-coloring algorithm with amortized $O(γ+ \log{n})$ update time, $O(1)$ query time, and one recoloring.
△ Less
Submitted 27 February, 2020; v1 submitted 17 September, 2019;
originally announced September 2019.
-
Dynamic Data Structures for Interval Coloring
Authors:
Girish Raguvir J,
Manas Jyoti Kashyop,
N. S. Narayanaswamy
Abstract:
We consider the dynamic graph coloring problem restricted to the class of interval graphs. At each update step the algorithm is presented with an interval to be colored, or a previously colored interval to delete. The goal of the algorithm is to efficiently maintain a proper coloring of the intervals with as few colors as possible by an online algorithm. In the incremental model, each update step…
▽ More
We consider the dynamic graph coloring problem restricted to the class of interval graphs. At each update step the algorithm is presented with an interval to be colored, or a previously colored interval to delete. The goal of the algorithm is to efficiently maintain a proper coloring of the intervals with as few colors as possible by an online algorithm. In the incremental model, each update step presents the algorithm with an interval to be colored. The problem is closely connected to the online vertex coloring problem of interval graphs for which the Kierstead-Trotter (KT) algorithm achieves the best possible competitive ratio. We first show that a sub-quadratic time direct implementation of the KT-algorithm is unlikely to exist conditioned on the correctness of the Online Boolean Matrix Vector multiplication conjecture due to Henzinger et al. \cite{DBLP:conf/stoc/HenzingerKNS15}. We then design an incremental algorithm that is subtly different from the KT-algorithm and uses at most $3 ω- 2$ colors, where $ω$ is the maximum clique in the interval graph associated with the set of intervals. Our incremental data structure maintains a proper coloring in amortized $O(\log n + Δ)$ update time where $n$ is the total number of intervals inserted and $Δ$ is the maximum degree of a vertex in the interval graph. We then consider the fully dynamic framework involving insertions and deletions. On each update, our aim is to maintain a $3 ω- 2$ coloring of the remaining set of intervals, where $ω$ is the maximum clique in the interval graph associated with the remaining set of intervals. Our fully dynamic algorithm supports insertion of an interval in $O(\log n + Δ\log ω)$ worst case update time and deletion of an interval in $O(Δ^2 \log n)$ worst case update time.
△ Less
Submitted 25 January, 2020; v1 submitted 1 April, 2019;
originally announced April 2019.
-
On the Complexity Landscape of Connected f -Factor Problems
Authors:
R. Ganian,
N. S. Narayanaswamy,
S. Ordyniak,
C. S. Rahul,
M. S. Ramanujan
Abstract:
Let G be an undirected simple graph having n vertices and let f be a function defined to be f:V(G) -> {0,..., n-1}. An f-factor of G is a spanning subgraph H such that degree of a vertex v in H is f(v) for every vertex v in V(G). The subgraph H is called a connected f-factor if, in addition, H is connected. A classical result of Tutte(1954) is the polynomial time algorithm to check whether a given…
▽ More
Let G be an undirected simple graph having n vertices and let f be a function defined to be f:V(G) -> {0,..., n-1}. An f-factor of G is a spanning subgraph H such that degree of a vertex v in H is f(v) for every vertex v in V(G). The subgraph H is called a connected f-factor if, in addition, H is connected. A classical result of Tutte(1954) is the polynomial time algorithm to check whether a given graph has a specified f-factor. However, checking for the presence of a connected f-factor is easily seen to generalize HAMILTONIAN CYCLE and hence is NP-complete. In fact, the CONNECTED f-FACTOR problem remains NP-complete even when we restrict f(v) to be at least n^e for each vertex v and 0<e<1; on the other side of the spectrum of nontrivial lower bounds on f, the problem is known to be polynomial time solvable when f(v) is at least n/3 for every vertex v. In this paper, we extend this line of work and obtain new complexity results based on restrictions on the function f. In particular, we show that when f(v) is restricted to be at least n/(log n)^c , the problem can be solved in quasi-polynomial time in general and in randomized polynomial time if c<=1. Furthermore, we show that when c>1, the problem is NP-intermediate.
△ Less
Submitted 5 December, 2018;
originally announced December 2018.
-
Conflict-Free Colouring using Maximum Independent Set and Minimum Colouring
Authors:
S. M. Dhannya,
N. S. Narayanaswamy
Abstract:
Given a hypergraph $H$, the conflict-free colouring problem is to colour vertices of $H$ using minimum colours so that each hyperedge in $H$ sees a unique colour. We present a polynomial time reduction from the conflict-free colouring problem in hypergraphs to the maximum independent set problem in a class of simple graphs, which we refer to as \textit{conflict graphs}. We also present another cha…
▽ More
Given a hypergraph $H$, the conflict-free colouring problem is to colour vertices of $H$ using minimum colours so that each hyperedge in $H$ sees a unique colour. We present a polynomial time reduction from the conflict-free colouring problem in hypergraphs to the maximum independent set problem in a class of simple graphs, which we refer to as \textit{conflict graphs}. We also present another characterization of the conflict-free colouring number in terms of the chromatic number of graphs in an associated family of simple graphs, which we refer to as \textit{co-occurrence graphs}. We present perfectness results for co-occurrence graphs and a special case of conflict graphs. Based on these results and a linear program that returns an integer solution in polynomial time, we obtain a polynomial time algorithm to compute a minimum conflict-free colouring of interval hypergraphs, thus solving an open problem due to Cheilaris et al.\cite{CPLGARSS2014}. Finally, we use the co-occurrence graph characterization to prove that for an interval hypergraph, the conflict-free colouring number is the minimum partition of its intervals into sets such that each set has an exact hitting set (a hitting set in which each interval is hit exactly once).
△ Less
Submitted 4 May, 2019; v1 submitted 4 December, 2018;
originally announced December 2018.
-
Fully dynamic $3/2$ approximate maximum cardinality matching in $O(\sqrt{n})$ update time
Authors:
Manas Jyoti Kashyop,
N. S. Narayanaswamy
Abstract:
We present a randomized algorithm to maintain a maximal matching without 3 length augmenting paths in the fully dynamic setting. Consequently, we maintain a $3/2$ approximate maximum cardinality matching. Our algorithm takes expected amortized $O(\sqrt{n})$ time where $n$ is the number of vertices in the graph when the update sequence is generated by an oblivious adversary. Over any sequence of…
▽ More
We present a randomized algorithm to maintain a maximal matching without 3 length augmenting paths in the fully dynamic setting. Consequently, we maintain a $3/2$ approximate maximum cardinality matching. Our algorithm takes expected amortized $O(\sqrt{n})$ time where $n$ is the number of vertices in the graph when the update sequence is generated by an oblivious adversary. Over any sequence of $t$ edge insertions and deletions presented by an oblivious adversary, the total update time of our algorithm is $O(t\sqrt{n})$ in expectation and $O(t\sqrt{n} + n \log n)$ with high probability. To the best of our knowledge, our algorithm is the first one to maintain an approximate matching in which all augmenting paths are of length at least $5$ in $o(\sqrt{m})$ update time.
△ Less
Submitted 3 November, 2018; v1 submitted 2 October, 2018;
originally announced October 2018.
-
A Characterization for the Existence of Connected $f$-Factors of $\textit{ Large}$ Minimum Degree
Authors:
N S Narayanaswamy,
C S Rahul
Abstract:
It is well known that when $f(v)$ is a constant for each vertex $v$, the connected $f$-factor problem is NP-Complete. In this note we consider the case when $f(v) \geq \lceil \frac{n}{2.5}\rceil$ for each vertex $v$, where $n$ is the number of vertices. We present a diameter based characterization of graphs having a connected $f$-factor (for such $f$). We show that if a graph $G$ has a connected…
▽ More
It is well known that when $f(v)$ is a constant for each vertex $v$, the connected $f$-factor problem is NP-Complete. In this note we consider the case when $f(v) \geq \lceil \frac{n}{2.5}\rceil$ for each vertex $v$, where $n$ is the number of vertices. We present a diameter based characterization of graphs having a connected $f$-factor (for such $f$). We show that if a graph $G$ has a connected $f$-factor and an $f$-factor with 2 connected components, then it has a connected $f$-factor of diameter at least 3. This result yields a polynomial time algorithm which first executes the Tutte's $f$-factor algorithm, and if the output has 2 connected components, our algorithm searches for a connected $f$-factor of diameter at least 3.
△ Less
Submitted 23 January, 2016;
originally announced January 2016.
-
Hitting Set for hypergraphs of low VC-dimension
Authors:
Karl Bringmann,
László Kozma,
Shay Moran,
N. S. Narayanaswamy
Abstract:
We study the complexity of the Hitting Set problem in set systems (hypergraphs) that avoid certain sub-structures. In particular, we characterize the classical and parameterized complexity of the problem when the Vapnik-Chervonenkis dimension (VC-dimension) of the input is small. VC-dimension is a natural measure of complexity of set systems. Several tractable instances of Hitting Set with a geome…
▽ More
We study the complexity of the Hitting Set problem in set systems (hypergraphs) that avoid certain sub-structures. In particular, we characterize the classical and parameterized complexity of the problem when the Vapnik-Chervonenkis dimension (VC-dimension) of the input is small. VC-dimension is a natural measure of complexity of set systems. Several tractable instances of Hitting Set with a geometric or graph-theoretical flavor are known to have low VC-dimension. In set systems of bounded VC-dimension, Hitting Set is known to admit efficient and almost optimal approximation algorithms (Brönnimann and Goodrich, 1995; Even, Rawitz, and Shahar, 2005; Agarwal and Pan, 2014).
In contrast to these approximation-results, a low VC-dimension does not necessarily imply tractability in the parameterized sense. In fact, we show that Hitting Set is W[1]-hard already on inputs with VC-dimension 2, even if the VC-dimension of the dual set system is also 2. Thus, Hitting Set is very unlikely to be fixed-parameter tractable even in this arguably simple case. This answers an open question raised by King in 2010. For set systems whose (primal or dual) VC-dimension is 1, we show that Hitting Set is solvable in polynomial time.
To bridge the gap in complexity between the classes of inputs with VC-dimension 1 and 2, we use a measure that is more fine-grained than VC-dimension. In terms of this measure, we identify a sharp threshold where the complexity of Hitting Set transitions from polynomial-time-solvable to NP-hard. The tractable class that lies just under the threshold is a generalization of Edge Cover, and thus extends the domain of polynomial-time tractability of Hitting Set.
△ Less
Submitted 21 June, 2016; v1 submitted 1 December, 2015;
originally announced December 2015.
-
Faster Randomized Branching Algorithms for $r$-SAT
Authors:
R. Krithika,
N. S. Narayanaswamy
Abstract:
The problem of determining if an $r$-CNF boolean formula $F$ over $n$ variables is satisifiable reduces to the problem of determining if $F$ has a satisfying assignment with a Hamming distance of at most $d$ from a fixed assignment $α$. This problem is also a very important subproblem in Schoning's local search algorithm for $r$-SAT. While Schoning described a randomized algorithm solves this subp…
▽ More
The problem of determining if an $r$-CNF boolean formula $F$ over $n$ variables is satisifiable reduces to the problem of determining if $F$ has a satisfying assignment with a Hamming distance of at most $d$ from a fixed assignment $α$. This problem is also a very important subproblem in Schoning's local search algorithm for $r$-SAT. While Schoning described a randomized algorithm solves this subproblem in $O((r-1)^d)$ time, Dantsin et al. presented a deterministic branching algorithm with $O^*(r^d)$ running time. In this paper we present a simple randomized branching algorithm that runs in time $O^*({(\frac{r+1}{2})}^d)$. As a consequence we get a randomized algorithm for $r$-SAT that runs in $O^*({(\frac{2(r+1)}{r+3})}^n)$ time. This algorithm matches the running time of Schoning's algorithm for 3-SAT and is an improvement over Schoning's algorithm for all $r \geq 4$.
For $r$-uniform hitting set parameterized by solution size $k$, we describe a randomized FPT algorithm with a running time of $O^*({(\frac{r+1}{2})}^k)$. For the above LP guarantee parameterization of vertex cover, we have a randomized FPT algorithm to find a vertex cover of size $k$ in a running time of $O^*(2.25^{k-vc^*})$, where $vc^*$ is the LP optimum of the natural LP relaxation of vertex cover. In both the cases, these randomized algorithms have a better running time than the current best deterministic algorithms.
△ Less
Submitted 6 March, 2016; v1 submitted 9 November, 2015;
originally announced November 2015.
-
A Classification of Connected f -factor Problems inside NP
Authors:
N. S. Narayanaswamy,
C. S. Rahul
Abstract:
Given an undirected graph G = (V, E) with n vertices, and a function f : V -> N, we consider the problem of finding a connected f -factor in G. In this work we design an algorithm to check for the existence of a connected f -factor, for the case where f (v) >= n/g(n), for all v in V and g(n) is polylogarithmic in n. The running time of our algorithm is O(n^{2g(n)}. As a consequence of this algorit…
▽ More
Given an undirected graph G = (V, E) with n vertices, and a function f : V -> N, we consider the problem of finding a connected f -factor in G. In this work we design an algorithm to check for the existence of a connected f -factor, for the case where f (v) >= n/g(n), for all v in V and g(n) is polylogarithmic in n. The running time of our algorithm is O(n^{2g(n)}. As a consequence of this algorithm we conclude that the complexity of connected f -factor for the case we consider is unlikely to be NP-Complete unless the Exponential Time Hypothesis (ETH) is false. Secondly, under the assumption of the ETH, we show that it is also unlikely to be in P for g(n) in O((log n)^{1+eps} ) for any eps> 0. Therefore, our results show that for all eps> 0, connected f -factor for f (v) >= n/O(log n)^{1+eps}) is in NP-Intermediate unless the ETH is false. Further, for any constant c > 0, when g(n) = c, our algorithm for connected f -factor runs in polynomial time. Finally, we extend our algorithm to compute a minimum weight connected f -factor in edge weighted graphs in the same asymptotic time bounds.
△ Less
Submitted 28 July, 2015;
originally announced July 2015.
-
An Intuitive Procedure for Converting PDA to CFG, by Construction of Single State PDA
Authors:
Arjun Bhardwaj,
N. S. Narayanaswamy
Abstract:
We present here the proof for an alternative procedure to convert a Push Down Automata (PDA) into a Context Free Grammar (CFG). The procedure involves intermediate conversion to a single state PDA. In view of the authors, this conversion is conceptually intuitive and can serve as a teaching aid for the relevant topics.
We present here the proof for an alternative procedure to convert a Push Down Automata (PDA) into a Context Free Grammar (CFG). The procedure involves intermediate conversion to a single state PDA. In view of the authors, this conversion is conceptually intuitive and can serve as a teaching aid for the relevant topics.
△ Less
Submitted 4 November, 2014;
originally announced November 2014.
-
On Minimum Average Stretch Spanning Trees in Polygonal 2-trees
Authors:
N. S. Narayanaswamy,
G. Ramakrishna
Abstract:
A spanning tree of an unweighted graph is a minimum average stretch spanning tree if it minimizes the ratio of sum of the distances in the tree between the end vertices of the graph edges and the number of graph edges. We consider the problem of computing a minimum average stretch spanning tree in polygonal 2-trees, a super class of 2-connected outerplanar graphs. For a polygonal 2-tree on $n$ ver…
▽ More
A spanning tree of an unweighted graph is a minimum average stretch spanning tree if it minimizes the ratio of sum of the distances in the tree between the end vertices of the graph edges and the number of graph edges. We consider the problem of computing a minimum average stretch spanning tree in polygonal 2-trees, a super class of 2-connected outerplanar graphs. For a polygonal 2-tree on $n$ vertices, we present an algorithm to compute a minimum average stretch spanning tree in $O(n \log n)$ time. This algorithm also finds a minimum fundamental cycle basis in polygonal 2-trees.
△ Less
Submitted 14 April, 2014; v1 submitted 2 January, 2014;
originally announced January 2014.
-
Approximability of Connected Factors
Authors:
Kamiel Cornelissen,
Ruben Hoeksma,
Bodo Manthey,
N. S. Narayanaswamy,
C. S. Rahul
Abstract:
Finding a d-regular spanning subgraph (or d-factor) of a graph is easy by Tutte's reduction to the matching problem. By the same reduction, it is easy to find a minimal or maximal d-factor of a graph. However, if we require that the d-factor is connected, these problems become NP-hard - finding a minimal connected 2-factor is just the traveling salesman problem (TSP).
Given a complete graph with…
▽ More
Finding a d-regular spanning subgraph (or d-factor) of a graph is easy by Tutte's reduction to the matching problem. By the same reduction, it is easy to find a minimal or maximal d-factor of a graph. However, if we require that the d-factor is connected, these problems become NP-hard - finding a minimal connected 2-factor is just the traveling salesman problem (TSP).
Given a complete graph with edge weights that satisfy the triangle inequality, we consider the problem of finding a minimal connected $d$-factor. We give a 3-approximation for all $d$ and improve this to an (r+1)-approximation for even d, where r is the approximation ratio of the TSP. This yields a 2.5-approximation for even d. The same algorithm yields an (r+1)-approximation for the directed version of the problem, where r is the approximation ratio of the asymmetric TSP. We also show that none of these minimization problems can be approximated better than the corresponding TSP.
Finally, for the decision problem of deciding whether a given graph contains a connected d-factor, we extend known hardness results.
△ Less
Submitted 9 October, 2013;
originally announced October 2013.
-
Another Disjoint Compression Algorithm for OCT
Authors:
R. Krithika,
N. S. Narayanaswamy
Abstract:
We describe an elegant O*(2^k) algorithm for the disjoint compression problem for Odd Cycle Transversal based on a reduction to Above Guarantee Vertex Cover. We believe that this algorithm refines the understanding of the Odd Cycle Transversal algorithm by Reed, Smith and Vetta.
We describe an elegant O*(2^k) algorithm for the disjoint compression problem for Odd Cycle Transversal based on a reduction to Above Guarantee Vertex Cover. We believe that this algorithm refines the understanding of the Odd Cycle Transversal algorithm by Reed, Smith and Vetta.
△ Less
Submitted 7 March, 2013;
originally announced March 2013.
-
$d$-COS-R is FPT via Interval Deletion
Authors:
N. S. Narayanaswamy,
R. Subashini
Abstract:
A binary matrix $M$ has the Consecutive Ones Property (COP) if there exists a permutation of columns that arranges the ones consecutively in all the rows. Given a matrix, the $d$-COS-R problem is to determine if there exists a set of at most $d$ rows whose deletion results in a matrix with COP. We consider the parameterized complexity of this problem with respect to the number $d$ of rows to be de…
▽ More
A binary matrix $M$ has the Consecutive Ones Property (COP) if there exists a permutation of columns that arranges the ones consecutively in all the rows. Given a matrix, the $d$-COS-R problem is to determine if there exists a set of at most $d$ rows whose deletion results in a matrix with COP. We consider the parameterized complexity of this problem with respect to the number $d$ of rows to be deleted as the parameter. The closely related Interval Deletion problem has recently shown to be FPT [Y. Cao and D. Marx, Interval Deletion is Fixed-Parameter Tractable, arXiv:1211.5933 [cs.DS],2012]. In this work, we describe a recursive depth-bounded search tree algorithm in which the problems at the leaf-level are solved as instances of Interval Deletion. The running time of the algorithm is dominated by the running time of Interval Deletion, and therefore we show that $d$-COS-R is fixed-parameter tractable and has a run-time of $O^*(10^d)$.
△ Less
Submitted 7 March, 2013;
originally announced March 2013.
-
Characterization of Minimum Cycle Basis in Weighted Partial 2-trees
Authors:
N. S. Narayanaswamy,
G. Ramakrishna
Abstract:
For a weighted outerplanar graph, the set of lex short cycles is known to be a minimum cycle basis [Inf. Process. Lett. 110 (2010) 970-974 ]. In this work, we show that the set of lex short cycles is a minimum cycle basis in weighted partial 2-trees (graphs of treewidth two) which is a superclass of outerplanar graphs.
For a weighted outerplanar graph, the set of lex short cycles is known to be a minimum cycle basis [Inf. Process. Lett. 110 (2010) 970-974 ]. In this work, we show that the set of lex short cycles is a minimum cycle basis in weighted partial 2-trees (graphs of treewidth two) which is a superclass of outerplanar graphs.
△ Less
Submitted 24 February, 2013;
originally announced February 2013.
-
Tree t-spanners in Outerplanar Graphs via Supply Demand Partition
Authors:
N. S. Narayanaswamy,
G. Ramakrishna
Abstract:
A tree t-spanner of an unweighted graph G is a spanning tree T such that for every two vertices their distance in T is at most t times their distance in G. Given an unweighted graph G and a positive integer t as input, the tree t-spanner problem is to compute a tree t-spanner of G if one exists. This decision problem is known to be NP-complete even in the restricted class of unweighted planar grap…
▽ More
A tree t-spanner of an unweighted graph G is a spanning tree T such that for every two vertices their distance in T is at most t times their distance in G. Given an unweighted graph G and a positive integer t as input, the tree t-spanner problem is to compute a tree t-spanner of G if one exists. This decision problem is known to be NP-complete even in the restricted class of unweighted planar graphs. We present a linear-time reduction from tree t-spanner in outerplanar graphs to the supply-demand tree partition problem. Based on this reduction, we obtain a linear-time algorithm to solve tree t-spanner in outerplanar graphs. Consequently, we show that the minimum value of t for which an input outerplanar graph on n vertices has a tree t-spanner can be found in O(n log n) time.
△ Less
Submitted 16 October, 2013; v1 submitted 30 October, 2012;
originally announced October 2012.
-
A Dirac-type Characterization of k-chordal Graphs
Authors:
R. Krithika,
Rogers Mathew,
N. S. Narayanaswamy,
N. Sadagopan
Abstract:
Characterization of k-chordal graphs based on the existence of a "simplicial path" was shown in [Chv{á}tal et al. Note: Dirac-type characterizations of graphs without long chordless cycles. Discrete Mathematics, 256, 445-448, 2002]. We give a characterization of k-chordal graphs which is a generalization of the known characterization of chordal graphs due to [G. A. Dirac. On rigid circuit graphs.…
▽ More
Characterization of k-chordal graphs based on the existence of a "simplicial path" was shown in [Chv{á}tal et al. Note: Dirac-type characterizations of graphs without long chordless cycles. Discrete Mathematics, 256, 445-448, 2002]. We give a characterization of k-chordal graphs which is a generalization of the known characterization of chordal graphs due to [G. A. Dirac. On rigid circuit graphs. Abh. Math. Sem. Univ. Hamburg, 25, 71-76, 1961] that use notions of a "simplicial vertex" and a "simplicial ordering".
△ Less
Submitted 31 December, 2012; v1 submitted 23 June, 2012;
originally announced June 2012.
-
Faster Parameterized Algorithms using Linear Programming
Authors:
Daniel Lokshtanov,
N. S. Narayanaswamy,
Venkatesh Raman,
M. S. Ramanujan,
Saket Saurabh
Abstract:
We investigate the parameterized complexity of Vertex Cover parameterized by the difference between the size of the optimal solution and the value of the linear programming (LP) relaxation of the problem. By carefully analyzing the change in the LP value in the branching steps, we argue that combining previously known preprocessing rules with the most straightforward branching algorithm yields an…
▽ More
We investigate the parameterized complexity of Vertex Cover parameterized by the difference between the size of the optimal solution and the value of the linear programming (LP) relaxation of the problem. By carefully analyzing the change in the LP value in the branching steps, we argue that combining previously known preprocessing rules with the most straightforward branching algorithm yields an $O^*((2.618)^k)$ algorithm for the problem. Here $k$ is the excess of the vertex cover size over the LP optimum, and we write $O^*(f(k))$ for a time complexity of the form $O(f(k)n^{O(1)})$, where $f (k)$ grows exponentially with $k$. We proceed to show that a more sophisticated branching algorithm achieves a runtime of $O^*(2.3146^k)$.
Following this, using known and new reductions, we give $O^*(2.3146^k)$ algorithms for the parameterized versions of Above Guarantee Vertex Cover, Odd Cycle Transversal, Split Vertex Deletion and Almost 2-SAT, and an $O^*(1.5214^k)$ algorithm for Konig Vertex Deletion, Vertex Cover Param by OCT and Vertex Cover Param by KVD. These algorithms significantly improve the best known bounds for these problems. The most notable improvement is the new bound for Odd Cycle Transversal - this is the first algorithm which beats the dependence on $k$ of the seminal $O^*(3^k)$ algorithm of Reed, Smith and Vetta. Finally, using our algorithm, we obtain a kernel for the standard parameterization of Vertex Cover with at most $2k - c \log k$ vertices. Our kernel is simpler than previously known kernels achieving the same size bound.
△ Less
Submitted 12 March, 2012; v1 submitted 5 March, 2012;
originally announced March 2012.
-
On the Complexity of Connected $(s,t)$-Vertex Separator
Authors:
N. S. Narayanaswamy,
N. Sadagopan
Abstract:
We show that minimum connected $(s,t)$-vertex separator ($(s,t)$-CVS) is $Ω(log^{2-ε}n)$-hard for any $ε>0$ unless NP has quasi-polynomial Las-Vegas algorithms. i.e., for any $ε>0$ and for some $δ>0$, $(s,t)$-CVS is unlikely to have $δ.log^{2-ε}n$-approximation algorithm. We show that $(s,t)$-CVS is NP-complete on graphs with chordality at least 5 and present a polynomial-time algorithm for…
▽ More
We show that minimum connected $(s,t)$-vertex separator ($(s,t)$-CVS) is $Ω(log^{2-ε}n)$-hard for any $ε>0$ unless NP has quasi-polynomial Las-Vegas algorithms. i.e., for any $ε>0$ and for some $δ>0$, $(s,t)$-CVS is unlikely to have $δ.log^{2-ε}n$-approximation algorithm. We show that $(s,t)$-CVS is NP-complete on graphs with chordality at least 5 and present a polynomial-time algorithm for $(s,t)$-CVS on bipartite chordality 4 graphs. We also present a $\lceil\frac{c}{2}\rceil$-approximation algorithm for $(s,t)$-CVS on graphs with chordality $c$. Finally, from the parameterized setting, we show that $(s,t)$-CVS parameterized above the $(s,t)$-vertex connectivity is $W[2]$-hard.
△ Less
Submitted 2 March, 2022; v1 submitted 8 November, 2011;
originally announced November 2011.
-
On Approximability of Block Sorting
Authors:
N. S. Narayanaswamy,
Swapnoneel Roy
Abstract:
Block Sorting is a well studied problem, motivated by its applications in Optical Character Recognition (OCR), and Computational Biology. Block Sorting has been shown to be NP-Hard, and two separate polynomial time 2-approximation algorithms have been designed for the problem. But questions like whether a better approximation algorithm can be designed, and whether the problem is APX-Hard have been…
▽ More
Block Sorting is a well studied problem, motivated by its applications in Optical Character Recognition (OCR), and Computational Biology. Block Sorting has been shown to be NP-Hard, and two separate polynomial time 2-approximation algorithms have been designed for the problem. But questions like whether a better approximation algorithm can be designed, and whether the problem is APX-Hard have been open for quite a while now.
In this work we answer the latter question by proving Block Sorting to be Max-SNP-Hard (APX-Hard). The APX-Hardness result is based on a linear reduction of Max-3SAT to Block Sorting. We also provide a new lower bound for the problem via a new parametrized problem k-Block Merging.
△ Less
Submitted 5 October, 2011;
originally announced October 2011.
-
Online Algorithms for Self-Organizing Sequential Search - A Survey
Authors:
Rakesh Mohanty,
N. S. Narayanaswamy
Abstract:
The main objective of this survey is to present the important theoretical and experimental results contributed till date in the area of online algorithms for the self organizing sequential search problem, also popularly known as the List Update Problem(LUP) in a chronological way. The survey includes competitiveness results of deterministic and randomized online algorithms and complexity results…
▽ More
The main objective of this survey is to present the important theoretical and experimental results contributed till date in the area of online algorithms for the self organizing sequential search problem, also popularly known as the List Update Problem(LUP) in a chronological way. The survey includes competitiveness results of deterministic and randomized online algorithms and complexity results of optimal off line algorithms for the list update problem. We also present the results associated with list update with look ahead, list update with locality of reference and other variants of the list update problem. We investigate research issues, explore scope of future work associated with each issue so that future researchers can find it useful to work on.
△ Less
Submitted 1 September, 2009; v1 submitted 1 September, 2009;
originally announced September 2009.
-
A Note on Contractible Edges in Chordal Graphs
Authors:
N. S. Narayanaswamy,
N. Sadagopan,
Apoorve Dubey
Abstract:
Contraction of an edge merges its end points into a new vertex which is adjacent to each neighbor of the end points of the edge. An edge in a $k$-connected graph is {\em contractible} if its contraction does not result in a graph of lower connectivity. We characterize contractible edges in chordal graphs using properties of tree decompositions with respect to minimal vertex separators.
Contraction of an edge merges its end points into a new vertex which is adjacent to each neighbor of the end points of the edge. An edge in a $k$-connected graph is {\em contractible} if its contraction does not result in a graph of lower connectivity. We characterize contractible edges in chordal graphs using properties of tree decompositions with respect to minimal vertex separators.
△ Less
Submitted 9 February, 2009;
originally announced February 2009.