Abstract:Finding a few solutions for a given problem that are diverse, as opposed to finding a single best solution to solve the problem, has recently become a notable topic in theoretical computer science. Recently, Baste, Fellows, Jaffke, Masařík, Oliveira, Philip, and Rosamond showed that under a standard structural parameterization by treewidth, one can find a set of diverse solutions for many problems with only a very small additional cost [Artificial Intelligence 2022]. In this paper, we investigate a much stronger graph parameter, the cliquewidth, which can additionally describe some dense graph classes. Broadly speaking, it describes graphs that can be recursively constructed by a few operations defined on graphs whose vertices are divided into a bounded number of groups while each such group behaves uniformly with respect to any operation. We show that for any vertex problem, if we are given a dynamic program solving that problem on cliquewidth decomposition, we can modify it to produce a few solutions that are as diverse as possible with as little overhead as in the above-mentioned treewidth paper. As a consequence, we prove that a diverse version of any MSO$_1$ expressible problem can be solved in FPT time parameterized by cliquewidth, the number of sought solutions, and the number of quantifiers in the formula. That was an important missing piece in the complexity landscape of structural graph parameters and logic. We prove our results allowing for a more general natural collection of diversity functions compared to only two mostly studied diversity functions previously. That might be of independent interest as a larger pool of different diversity functions can highlight various aspects of different solutions to a problem.

Pre-assignment problem for unique minimum vertex cover on bounded clique-width graphs

Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover

Parameterized Algorithms for Minimum Sum Vertex Cover

Exact approaches for the Connected Vertex Cover problem

Enumerating All Maximal Clique-Partitions of an Undirected Graph

A PTAS for the Minimum Weight Connected Vertex Cover P3 Problem on Unit Disk Graphs.

An Exact Algorithm for Minimum Weight Vertex Cover Problem in Large Graphs

Iterated Clique Reductions in Vertex Weighted Coloring for Large Sparse Graphs

Subexponential Algorithms for Clique Cover on Unit Disk and Unit Ball Graphs

The Upper Clique Transversal Problem

p-Edge/Vertex-Connected Vertex Cover: Parameterized and Approximation Algorithms

Exact and Parameterized Algorithms for the Independent Cutset Problem

Clique cover products and unimodality of independence polynomials

Tight minimum degree conditions for apex-outerplanar minors and subdivisions in graphs and digraphs

Minimum sum vertex cover: kernelization and parameterized algorithms

Statistics and Algorithms on the Organization and Quantitative Analysis of Minimal Vertex Covers.

On minimum $t$-claw deletion in split graphs

Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH

On odd covers of cliques and disjoint unions

Stretch-width

Finding Diverse Solutions Parameterized by Cliquewidth