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. For example, for every boolean CNF formula on m clauses, there is an assignment that satisfies at least m /2 clauses. How difficult is it to decide whether there is an assignment satisfying more than clauses? Or, if an n -vertex graph has a perfect matching, then its vertex cover is at least n /2. Is there a vertex cover of size at least for some and how difficult is it to find such a vertex cover? 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 , the length of a longest cycle L is at least . Thus the "essential" part in finding the longest cycle is in approximating the "offset" . 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 .

A Polynomial-Time Approximation Scheme for Embedding Hypergraph in a Cycle

A PTAS for Embedding Hypergraph in a Cycle

Approximation Algorithms for Packing Cycles and Paths in Complete Graphs

Improved Approximation Algorithms for Cycle and Path Packings.

Polynomial-Time Approximability of the Asymmetric Problem of Covering a Graph by a Bounded Number of Cycles

Finding Short Cycles in an Embedded Graph in Polynomial Time

Improved Approximation Algorithms for Some Min-Max and Minimum Cycle Cover Problems

New Approximation Algorithms for the Minimum Cycle Cover Problem.

Improved Approximation Bounds for Minimum Weight Cycle in the CONGEST Model

A Polylogarithmic Approximation Algorithm for Edge-Disjoint Paths with Congestion 2

Improved Approximation Algorithms For Min-Max And Minimum Vehicle Routing Problems

Embedding hypercubes into torus and Cartesian product of paths and cycles for minimizing wirelength

Packing Short Cycles

Quasi-polynomial time approximation schemes for the Maximum Weight Independent Set Problem in H-free graphs

A generalization of the Hamiltonian cycle in dense digraphs

Hidden Hamiltonian Cycle Recovery via Linear Programming

Approximating Long Cycle Above Dirac's Guarantee

Embedding Cycles and Meshes Onto Incomplete Hypercubes

Linear-time approximation schemes for planar minimum three-edge connected and three-vertex connected spanning subgraphs

On Virtual Network Embedding: Paths and Cycles

Embedding Graphs into Embedded Graphs