The Minimum Fill-in problem is to decide if a graph can be triangulated by adding at most k edges. The problem has important applications in numerical algebra, in particular in sparse matrix computations. We develop kernelization algorithms for the problem on several classes of sparse graphs. We obtain linear kernels on planar graphs, and kernels of size O(k 3/2 ) in graphs excluding some fixed graph as a minor and in graphs of bounded degeneracy. As a byproduct of our results, we obtain approximation algorithms with approximation ratios O(log k) on planar graphs and O( √ k log k) on H-minor-free graphs. These results significantly improve the previously known kernelization and approximation results for Minimum Fill-in on sparse graphs.
ACM Subject Classification G.2.2 Graph Theory -Graph Algorithms
Keywords and phrases
IntroductionA graph is chordal (or triangulated) if every cycle of length at least four has a chord, i.e. an edge between nonadjacent vertices of the cycle. In the Minimum Fill-in problem (also known as Minimum Triangulation and Chordal Graph Completion) the task is to check if at most k edges can be added to a graph such that the resulting graph is chordal.
That isMinimum Fill-in Input: A graph G = (V, E) and a non-negative integer k.This is a classical computational problem motivated by, and named after, a fundamental issue arising in sparse matrix computations. During Gaussian eliminations of large sparse matrices, new non-zero elements -called fill -can replace original zeros, thus increasing storage requirements, the time needed for the elimination, and the time needed to solve the system after the elimination. The problem of finding the right elimination ordering * The research of Fedor V.