Back to Search Start Over

Edge degeneracy: Algorithmic and structural results.

Authors :
Limnios, Stratis
Paul, Christophe
Perret, Joanny
Thilikos, Dimitrios M.
Source :
Theoretical Computer Science. Nov2020, Vol. 839, p164-175. 12p.
Publication Year :
2020

Abstract

We consider a cops and robber game where the cops are blocking edges of a graph, while the robber occupies its vertices. At each round of the game, the cops choose some set of edges to block and right after the robber is obliged to move to another vertex traversing at most s unblocked edges (s can be seen as the speed of the robber). Both parts have complete knowledge of the opponent's moves and the cops win when they occupy all edges incident to the robbers position. We introduce the capture cost on G against a robber of speed s. This defines a hierarchy of invariants, namely δ e 1 , δ e 2 , ... , δ e ∞ , where δ e ∞ is an edge-analogue of the admissibility graph invariant, namely the edge-admissibility of a graph. We prove that the problem asking whether δ e s (G) ≤ k , is polynomially solvable when s ∈ { 1 , 2 , 3 , ∞ } while, otherwise, it is NP -complete. Our main result is a structural theorem for graphs of bounded edge-admissibility. We prove that every graph of edge-admissibility at most k can be constructed using (≤ k) -edge-sums, starting from graphs whose all vertices, except possibly from one, have degree at most k. Our structural result is approximately tight in the sense that graphs generated by this construction always have edge-admissibility at most 2 k − 1. Our proofs are based on a precise structural characterization of the graphs that do not contain θ r as an immersion, where θ r is the graph on two vertices and r parallel edges. [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISSN :
03043975
Volume :
839
Database :
Academic Search Index
Journal :
Theoretical Computer Science
Publication Type :
Academic Journal
Accession number :
145439416
Full Text :
https://doi.org/10.1016/j.tcs.2020.06.006