Abstract:Parameterization above (or below) a guarantee is a successful concept in parameterized algorithms. The idea is that many computational problems admit ``natural'' guarantees bringing to algorithmic questions whether a better solution (above the guarantee) could be obtained efficiently. The above guarantee paradigm has led to several exciting discoveries in the areas of parameterized algorithms and kernelization. We argue that this paradigm could bring forth fresh perspectives on well-studied problems in approximation algorithms. Our example is the longest cycle problem. One of the oldest results in extremal combinatorics is the celebrated Dirac's theorem from 1952. Dirac's theorem provides the following guarantee on the length of the longest cycle: for every 2-connected n-vertex graph G with minimum degree \delta(G)\leq n/2, the length of a longest cycle L is at least 2\delta(G). Thus, the ``essential'' part in finding the longest cycle is in approximating the ``offset'' k = L - 2 \delta(G). The main result of this paper is the above-guarantee approximation theorem for k. Informally, the theorem says that approximating the offset k is not harder than approximating the total length L of a cycle. In other words, for any (reasonably well-behaved) function f, a polynomial time algorithm constructing a cycle of length f(L) in an undirected graph with a cycle of length L, yields a polynomial time algorithm constructing a cycle of length 2\delta(G)+\Omega(f(k)).

Algorithmic Extensions of Dirac's Theorem

Large Degree Vertices in Longest Cycles of Graphs, II

On a property of $2$-connected graphs and Dirac's Theorem

A ug 2 02 0 A Dirac-type theorem for uniform hypergraphs ∗

Connectivity Preserving Hamiltonian Cycles in $k$-Connected Dirac Graphs

Cycle Extension in Edge-Colored Complete Graphs

Graphs with no $2δ+ 1$ cycle

Longest Cycle above Erdős–Gallai Bound

Non-Hamiltonian Graphs with Large Minimum Degree

Hamilton cycles, minimum degree and bipartite holes

A Dirac-Type Theorem for Uniform Hypergraphs

An implicit degree condition for long cycles in 2-connected graphs

Approximating Long Cycle Above Dirac's Guarantee

Forbidden Subgraphs for Longest Cycles to Contain Vertices with Large Degrees

Distributed CONGEST Algorithm for Finding Hamiltonian Paths in Dirac Graphs and Generalizations

On The Maximum Number Of Independent Cycles In A Graph

Vertex-disjoint Properly Edge-Colored Cycles in Edge-Colored Complete Graphs.

Ore-degree threshold for the square of a Hamiltonian cycle

Minimum degree conditions for the existence of cycles of all lengths modulo $k$ in graphs

Spanning Cyclic Subdivisions of Vertex-Disjoint Cycles and Chorded Cycles in Graphs

On a Conjecture of Woodall