-
FPT and kernelization algorithms for the k-in-a-tree problem
Authors:
Guilherme C. M. Gomes,
Vinicius F. dos Santos,
Murilo V. G. da Silva,
Jayme L. Szwarcfiter
Abstract:
The three-in-a-tree problem asks for an induced tree of the input graph containing three mandatory vertices. In 2006, Chudnovsky and Seymour [Combinatorica, 2010] presented the first polynomial time algorithm for this problem, which has become a critical subroutine in many algorithms for detecting induced subgraphs, such as beetles, pyramids, thetas, and even and odd-holes. In 2007, Derhy and Pico…
▽ More
The three-in-a-tree problem asks for an induced tree of the input graph containing three mandatory vertices. In 2006, Chudnovsky and Seymour [Combinatorica, 2010] presented the first polynomial time algorithm for this problem, which has become a critical subroutine in many algorithms for detecting induced subgraphs, such as beetles, pyramids, thetas, and even and odd-holes. In 2007, Derhy and Picouleau [Discrete Applied Mathematics, 2009] considered the natural generalization to $k$ mandatory vertices, proving that, when $k$ is part of the input, the problem is $\mathsf{NP}$-complete, and ask what is the complexity of four-in-a-tree. Motivated by this question and the relevance of the original problem, we study the parameterized complexity of $k$-in-a-tree. We begin by showing that the problem is $\mathsf{W[1]}$-hard when jointly parameterized by the size of the solution and minimum clique cover and, under the Exponential Time Hypothesis, does not admit an $n^{o(k)}$ time algorithm. Afterwards, we use Courcelle's Theorem to prove fixed-parameter tractability under cliquewidth, which prompts our investigation into which parameterizations admit single exponential algorithms; we show that such algorithms exist for the unrelated parameterizations treewidth, distance to cluster, and distance to co-cluster. In terms of kernelization, we present a linear kernel under feedback edge set, and show that no polynomial kernel exists under vertex cover nor distance to clique unless $\mathsf{NP} \subseteq \mathsf{coNP}/\mathsf{poly}$. Along with other remarks and previous work, our tractability and kernelization results cover many of the most commonly employed parameters in the graph parameter hierarchy.
△ Less
Submitted 8 July, 2020;
originally announced July 2020.
-
Shortest Path Centrality and the APSP problem via VC-dimension and Rademacher Averages
Authors:
Alane M. de Lima,
Murilo V. G. da Silva,
André L. Vignatti
Abstract:
In this paper we are interested in a version of the All-pairs Shortest Paths problem (APSP) that fits neither in the exact nor in the approximate case. We define a measure of centrality of a shortest path, related to the ``importance'' of such shortest path in the graph, and propose an algorithm based on the idea of progressive sampling that, for {\it any fixed constants} $0 < ε$, $ δ< 1$, given a…
▽ More
In this paper we are interested in a version of the All-pairs Shortest Paths problem (APSP) that fits neither in the exact nor in the approximate case. We define a measure of centrality of a shortest path, related to the ``importance'' of such shortest path in the graph, and propose an algorithm based on the idea of progressive sampling that, for {\it any fixed constants} $0 < ε$, $ δ< 1$, given an undirected graph $G$ with non-negative edge weights, outputs with probability $1 - δ$ a data structure of size $n \cdot \textrm{Diam}_V(G)$, where $\textrm{Diam}_V(G)$ is the vertex diameter of $G$, in expected time $\mathcal{O}(\lg n \max(m + n \log n, n \cdot \textrm{Diam}_V(G)))$ containing the (exact) distance and the shortest path between every pair of vertices $(u,v)$ that has centrality at least $ε$. The progressive sampling technique is sensitive to the probability distribution of the input (if we assume that $G$ is chosen from a prescribed random distribution), but even in the case where we take no assumption about such distribution, we show an upper bound for the sample size using VC-dimension theory that is tighter than the bound given by standard Hoeffding and union bounds, since VC-dimension theory captures the combinatorial structure of the input graph.
△ Less
Submitted 4 May, 2020; v1 submitted 29 November, 2019;
originally announced November 2019.
-
Estimating the Percolation Centrality of Large Networks through Pseudo-dimension Theory
Authors:
Alane M. de Lima,
Murilo V. G. da Silva,
André L. Vignatti
Abstract:
In this work we investigate the problem of estimating the percolation centrality of every vertex in a graph. This centrality measure quantifies the importance of each vertex in a graph going through a contagious process. It is an open problem whether the percolation centrality can be computed in $\mathcal{O}(n^{3-c})$ time, for any constant $c>0$. In this paper we present a…
▽ More
In this work we investigate the problem of estimating the percolation centrality of every vertex in a graph. This centrality measure quantifies the importance of each vertex in a graph going through a contagious process. It is an open problem whether the percolation centrality can be computed in $\mathcal{O}(n^{3-c})$ time, for any constant $c>0$. In this paper we present a $\mathcal{O}(m \log^2 n)$ randomized approximation algorithm for the percolation centrality for every vertex of $G$, generalizing techniques developed by Riondato, Upfal e Kornaropoulos (this complexity is reduced to $\mathcal{O}((m+n) \log n)$ for unweighted graphs). The estimation obtained by the algorithm is within $ε$ of the exact value with probability $1-δ$, for {\it fixed} constants $0 < ε,δ\leq 1$. In fact, we show in our experimental analysis that in the case of real world complex networks, the output produced by our algorithm is significantly closer to the exact values than its guarantee in terms of theoretical worst case analysis.
△ Less
Submitted 15 February, 2020; v1 submitted 1 October, 2019;
originally announced October 2019.
-
An Indexing for Quadratic Residues Modulo $N$ and a Non-uniform Efficient Decoding Algorithm
Authors:
Nicollas M. Sdroievski,
Murilo V. G. da Silva,
André L. Vignatti
Abstract:
An \emph{indexing} of a finite set $S$ is a bijection $D : \{1,...,|S|\} \rightarrow S$. We present an indexing for the set of quadratic residues modulo $N$ that is decodable in polynomial time on the size of $N$, given the factorization of $N$. One consequence of this result is a procedure for sampling quadratic residues modulo $N$, when the factorization of $N$ is known, that runs in strict poly…
▽ More
An \emph{indexing} of a finite set $S$ is a bijection $D : \{1,...,|S|\} \rightarrow S$. We present an indexing for the set of quadratic residues modulo $N$ that is decodable in polynomial time on the size of $N$, given the factorization of $N$. One consequence of this result is a procedure for sampling quadratic residues modulo $N$, when the factorization of $N$ is known, that runs in strict polynomial time and requires the theoretical minimum amount of random bits (i.e., $\log{(φ(N)/2^r)}$ bits, where $φ(N)$ is Euler's totient function and $r$ is the number of distinct prime factors of $N$). A previously known procedure for this same problem runs in expected (not strict) polynomial time and requires more random bits.
△ Less
Submitted 21 November, 2018; v1 submitted 12 May, 2018;
originally announced May 2018.
-
Structure and algorithms for (cap, even hole)-free graphs
Authors:
Kathie Cameron,
Murilo V. G. da Silva,
Shenwei Huang,
Kristina Vušković
Abstract:
A graph is even-hole-free if it has no induced even cycles of length 4 or more. A cap is a cycle of length at least 5 with exactly one chord and that chord creates a triangle with the cycle. In this paper, we consider (cap, even hole)-free graphs, and more generally, (cap, 4-hole)-free odd-signable graphs. We give an explicit construction of these graphs. We prove that every such graph $G$ has a v…
▽ More
A graph is even-hole-free if it has no induced even cycles of length 4 or more. A cap is a cycle of length at least 5 with exactly one chord and that chord creates a triangle with the cycle. In this paper, we consider (cap, even hole)-free graphs, and more generally, (cap, 4-hole)-free odd-signable graphs. We give an explicit construction of these graphs. We prove that every such graph $G$ has a vertex of degree at most $\frac{3}{2}ω(G) -1$, and hence $χ(G)\leq \frac{3}{2}ω(G)$, where $ω(G)$ denotes the size of a largest clique in $G$ and $χ(G)$ denotes the chromatic number of $G$. We give an $O(nm)$ algorithm for $q$-coloring these graphs for fixed $q$ and an $O(nm)$ algorithm for maximum weight stable set. We also give a polynomial-time algorithm for minimum coloring.
Our algorithms are based on our results that triangle-free odd-signable graphs have treewidth at most 5 and thus have clique-width at most 48, and that (cap, 4-hole)-free odd-signable graphs $G$ without clique cutsets have treewidth at most $6ω(G)-1$ and clique-width at most 48.
△ Less
Submitted 23 November, 2016;
originally announced November 2016.
-
A note on coloring (even-hole,cap)-free graphs
Authors:
Shenwei Huang,
Murilo V. G. da Silva
Abstract:
A {\em hole} is a chordless cycle of length at least four. A hole is {\em even} (resp. {\em odd}) if it contains an even (resp. odd) number of vertices. A \emph{cap} is a graph induced by a hole with an additional vertex that is adjacent to exactly two adjacent vertices on the hole. In this note, we use a decomposition theorem by Conforti et al. (1999) to show that if a graph $G$ does not contain…
▽ More
A {\em hole} is a chordless cycle of length at least four. A hole is {\em even} (resp. {\em odd}) if it contains an even (resp. odd) number of vertices. A \emph{cap} is a graph induced by a hole with an additional vertex that is adjacent to exactly two adjacent vertices on the hole. In this note, we use a decomposition theorem by Conforti et al. (1999) to show that if a graph $G$ does not contain any even hole or cap as an induced subgraph, then $χ(G)\le \lfloor\frac{3}{2}ω(G)\rfloor$, where $χ(G)$ and $ω(G)$ are the chromatic number and the clique number of $G$, respectively. This bound is attained by odd holes and the Hajos graph. The proof leads to a polynomial-time $3/2$-approximation algorithm for coloring (even-hole,cap)-free graphs.
△ Less
Submitted 30 October, 2015;
originally announced October 2015.
