On the approximability of the maximum induced matching problem

In this paper we consider the approximability of the maximum induced matching problem (MIM). We give an approximation algorithm with asymptotic performance ratio <i>d</i>-1 for MIM in <i>d</i>-regular graphs, for each <i>d</i>≥3. We also prove that MIM is APX-complete in <i>d</i>-regular graphs, for each <i>d</i>≥3

Linear-Time Algorithms for Maximum-Weight Induced Matchings and Minimum Chain Covers in Convex Bipartite Graphs

A bipartite graph $G=(U,V,E)$ is convex if the vertices in $V$ can be linearly ordered such that for each vertex $u\in U$, the neighbors of $u$ are consecutive in the ordering of $V$. An induced matching $H$ of $G$ is a matching such that no edge of $E$ connects endpoints of two different edges of $H$. We show that in a convex bipartite graph with $n$ vertices and $m$ weighted edges, an induced matching of maximum total weight can be computed in $O(n+m)$ time. An unweighted convex bipartite graph has a representation of size $O(n)$ that records for each vertex $u\in U$ the first and last neighbor in the ordering of $V$. Given such a compact representation, we compute an induced matching of maximum cardinality in $O(n)$ time. In convex bipartite graphs, maximum-cardinality induced matchings are dual to minimum chain covers. A chain cover is a covering of the edge set by chain subgraphs, that is, subgraphs that do not contain induced matchings of more than one edge. Given a compact representation, we compute a representation of a minimum chain cover in $O(n)$ time. If no compact representation is given, the cover can be computed in $O(n+m)$ time. All of our algorithms achieve optimal running time for the respective problem and model. Previous algorithms considered only the unweighted case, and the best algorithm for computing a maximum-cardinality induced matching or a minimum chain cover in a convex bipartite graph had a running time of $O(n^2)$

Large induced subgraphs via triangulations and CMSO

We obtain an algorithmic meta-theorem for the following optimization problem. Let \phi\ be a Counting Monadic Second Order Logic (CMSO) formula and t be an integer. For a given graph G, the task is to maximize |X| subject to the following: there is a set of vertices F of G, containing X, such that the subgraph G[F] induced by F is of treewidth at most t, and structure (G[F],X) models \phi. Some special cases of this optimization problem are the following generic examples. Each of these cases contains various problems as a special subcase: 1) "Maximum induced subgraph with at most l copies of cycles of length 0 modulo m", where for fixed nonnegative integers m and l, the task is to find a maximum induced subgraph of a given graph with at most l vertex-disjoint cycles of length 0 modulo m. 2) "Minimum \Gamma-deletion", where for a fixed finite set of graphs \Gamma\ containing a planar graph, the task is to find a maximum induced subgraph of a given graph containing no graph from \Gamma\ as a minor. 3) "Independent \Pi-packing", where for a fixed finite set of connected graphs \Pi, the task is to find an induced subgraph G[F] of a given graph G with the maximum number of connected components, such that each connected component of G[F] is isomorphic to some graph from \Pi. We give an algorithm solving the optimization problem on an n-vertex graph G in time O(#pmc n^{t+4} f(t,\phi)), where #pmc is the number of all potential maximal cliques in G and f is a function depending of t and \phi\ only. We also show how a similar running time can be obtained for the weighted version of the problem. Pipelined with known bounds on the number of potential maximal cliques, we deduce that our optimization problem can be solved in time O(1.7347^n) for arbitrary graphs, and in polynomial time for graph classes with polynomial number of minimal separators

Upper clique transversals in graphs

A clique transversal in a graph is a set of vertices intersecting all maximal cliques. The problem of determining the minimum size of a clique transversal has received considerable attention in the literature. In this paper, we initiate the study of the "upper" variant of this parameter, the upper clique transversal number, defined as the maximum size of a minimal clique transversal. We investigate this parameter from the algorithmic and complexity points of view, with a focus on various graph classes. We show that the corresponding decision problem is NP-complete in the classes of chordal graphs, chordal bipartite graphs, and line graphs of bipartite graphs, but solvable in linear time in the classes of split graphs and proper interval graphs.Comment: Full version of a WG 2023 pape

Boundary properties of graphs

A set of graphs may acquire various desirable properties, if we apply suitable restrictions on the set. We investigate the following two questions: How far, exactly, must one restrict the structure of a graph to obtain a certain interesting property? What kind of tools are helpful to classify sets of graphs into those which satisfy a property and those that do not? Equipped with a containment relation, a graph class is a special example of a partially ordered set. We introduce the notion of a boundary ideal as a generalisation of a notion introduced by Alekseev in 2003, to provide a tool to indicate whether a partially ordered set satisfies a desirable property or not. This tool can give a complete characterisation of lower ideals defined by a finite forbidden set, into those that satisfy the given property and to those that do not. In the case of graphs, a lower ideal with respect to the induced subgraph relation is known as a hereditary graph class. We study three interrelated types of properties for hereditary graph classes: the existence of an efficient solution to an algorithmic graph problem, the boundedness of the graph parameter known as clique-width, and well-quasi-orderability by the induced subgraph relation. It was shown by Courcelle, Makowsky and Rotics in 2000 that, for a graph class, boundedness of clique-width immediately implies an efficient solution to a wide range of algorithmic problems. This serves as one of the motivations to study clique-width. As for well-quasiorderability, we conjecture that every hereditary graph class that is well-quasi-ordered by the induced subgraph relation also has bounded clique-width. We discover the first boundary classes for several algorithmic graph problems, including the Hamiltonian cycle problem. We also give polynomial-time algorithms for the dominating induced matching problem, for some restricted graph classes. After discussing the special importance of bipartite graphs in the study of clique-width, we describe a general framework for constructing bipartite graphs of large clique-width. As a consequence, we find a new minimal class of unbounded clique-width. We prove numerous positive and negative results regarding the well-quasi-orderability of classes of bipartite graphs. This completes a characterisation of the well-quasi-orderability of all classes of bipartite graphs defined by one forbidden induced bipartite subgraph. We also make considerable progress in characterising general graph classes defined by two forbidden induced subgraphs, reducing the task to a small finite number of open cases. Finally, we show that, in general, for hereditary graph classes defined by a forbidden set of bounded finite size, a similar reduction is not usually possible, but the number of boundary classes to determine well-quasi-orderability is nevertheless finite. Our results, together with the notion of boundary ideals, are also relevant for the study of other partially ordered sets in mathematics, such as permutations ordered by the pattern containment relation

Structural solutions to maximum independent set and related problems

In this thesis, we study some fundamental problems in algorithmic graph theory. Most natural problems in this area are hard from a computational point of view. However, many applications demand that we do solve such problems, even if they are intractable. There are a number of methods in which we can try to do this: 1) We may use an approximation algorithm if we do not necessarily require the best possible solution to a problem. 2) Heuristics can be applied and work well enough to be useful for many applications. 3) We can construct randomised algorithms for which the probability of failure is very small. 4) We may parameterize the problem in some way which limits its complexity. In other cases, we may also have some information about the structure of the instances of the problem we are trying to solve. If we are lucky, we may and that we can exploit this extra structure to find efficient ways to solve our problem. The question which arises is - How far must we restrict the structure of our graph to be able to solve our problem efficiently? In this thesis we study a number of problems, such as Maximum Indepen- dent Set, Maximum Induced Matching, Stable-II, Efficient Edge Domina- tion, Vertex Colouring and Dynamic Edge-Choosability. We try to solve problems on various hereditary classes of graphs and analyse the complexity of the resulting problem, both from a classical and parameterized point of view