Non-deterministic graph searching in trees - Inria - Institut national de recherche en sciences et technologies du numérique
Journal Articles Theoretical Computer Science Year : 2015

Non-deterministic graph searching in trees

Abstract

Non-deterministic graph searching was introduced by Fomin et al. to provide a unified approach for pathwidth, treewidth, and their interpretations in terms of graph searching games. Given q ≥ 0, the q-limited search number, s q (G), of a graph G is the smallest number of searchers required to capture an invisible fugitive in G, when the searchers are allowed to know the position of the fugitive at most q times. The search parameter s 0 (G) corresponds to the pathwidth of a graph G, and s ∞ (G) to its treewidth. Determining s q (G) is NP-complete for any fixed q ≥ 0 in general graphs and s 0 (T) can be computed in linear time in trees, however the complexity of the problem on trees has been unknown for any q > 0. We introduce a new variant of graph searching called restricted non-deterministic. The corresponding parameter is denoted by rs q and is shown to be equal to the non-deterministic graph searching parameter s q for q = 0, 1, and at most twice s q for any q ≥ 2 (for any graph G). Our main result is a polynomial time algorithm that computes rs q (T) for any tree T and any q ≥ 0. This provides a 2-approximation of s q (T) for any tree T , and shows that the decision problem associated to s 1 is polynomial in the class of trees. Our proofs are based on a new decomposition technique for trees which might be of independent interest.
Fichier principal
Vignette du fichier
ACN15.pdf (646.7 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01132032 , version 1 (16-03-2015)

Identifiers

Cite

Omid Amini, David Coudert, Nicolas Nisse. Non-deterministic graph searching in trees. Theoretical Computer Science, 2015, 580, pp.101-121. ⟨10.1016/j.tcs.2015.02.038⟩. ⟨hal-01132032⟩
203 View
172 Download

Altmetric

Share

More