Going Far From Degeneracy

02/07/2019
by   Fedor V. Fomin, et al.
0

An undirected graph G is d-degenerate if every subgraph of G has a vertex of degree at most d. By the classical theorem of Erdős and Gallai from 1959, every graph of degeneracy d>1 contains a cycle of length at least d+1. The proof of Erdős and Gallai is constructive and can be turned into a polynomial time algorithm constructing a cycle of length at least d+1. But can we decide in polynomial time whether a graph contains a cycle of length at least d+2? An easy reduction from Hamiltonian Cycle provides a negative answer to this question: deciding whether a graph has a cycle of length at least d+2 is NP-complete. Surprisingly, the complexity of the problem changes drastically when the input graph is 2-connected. In this case we prove that deciding whether G contains a cycle of length at least d+k can be done in time 2^O(k)|V(G)|^O(1). In other words, deciding whether a 2-connected n-vertex G contains a cycle of length at least d+log n can be done in polynomial time. Similar algorithmic results hold for long paths in graphs. We observe that deciding whether a graph has a path of length at least d+1 is NP-complete. However, we prove that if graph G is connected, then deciding whether G contains a path of length at least d+k can be done in time 2^O(k)n^O(1). We complement these results by showing that the choice of degeneracy as the `above guarantee parameterization' is optimal in the following sense: For any ϵ>0 it is NP-complete to decide whether a connected (2-connected) graph of degeneracy d has a path (cycle) of length at least (1+ϵ)d.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/06/2020

Algorithmic Extensions of Dirac's Theorem

In 1952, Dirac proved the following theorem about long cycles in graphs ...
research
05/03/2023

Approximating Long Cycle Above Dirac's Guarantee

Parameterization above (or below) a guarantee is a successful concept in...
research
07/13/2023

(k-2)-linear connected components in hypergraphs of rank k

We define a q-linear path in a hypergraph H as a sequence (e_1,…,e_L) of...
research
02/07/2022

Longest Cycle above Erdős-Gallai Bound

In 1959, Erdős and Gallai proved that every graph G with average vertex ...
research
03/21/2022

Complexity of limit cycles with block-sequential update schedules in conjunctive networks

In this paper, we deal the following decision problem: given a conjuncti...
research
09/16/2019

The Computational Complexity of Fire Emblem Series and similar Tactical Role-Playing Games

Fire Emblem (FE) is a popular turn-based tactical role-playing game (TRP...
research
06/23/2022

Algorithms for 2-connected network design and flexible Steiner trees with a constant number of terminals

The k-Steiner-2NCS problem is as follows: Given a constant k, and an und...

Please sign up or login with your details

Forgot password? Click here to reset