English
Related papers

Related papers: Exact Crossing Number Parameterized by Vertex Cove…

200 papers

We present fixed parameter tractable algorithms for the conflict-free coloring problem on graphs. Given a graph $G=(V,E)$, \emph{conflict-free coloring} of $G$ refers to coloring a subset of $V$ such that for every vertex $v$, there is a…

Data Structures and Algorithms · Computer Science 2019-05-07 Akanksha Agrawal , Pradeesha Ashok , Meghana M Reddy , Saket Saurabh , Dolly Yadav

We establish the expressibility in fixed-point logic with counting (FPC) of a number of natural polynomial-time problems. In particular, we show that the size of a maximum matching in a graph is definable in FPC. This settles an open…

Logic in Computer Science · Computer Science 2013-04-26 Matthew Anderson , Anuj Dawar , Bjarki Holm

The crossing number of a graph is the minimum number of crossings in a drawing of the graph in the plane. Our main result is that every graph $G$ that does not contain a fixed graph as a minor has crossing number $O(\Delta n)$, where $G$…

Combinatorics · Mathematics 2018-08-01 Vida Dujmović , Ken-ichi Kawarabayashi , Bojan Mohar , David R. Wood

We discuss approximability and inapproximability in FPT-time for a large class of subset problems where a feasible solution $S$ is a subset of the input data and the value of $S$ is $|S|$. The class handled encompasses many well-known…

Computational Complexity · Computer Science 2013-10-22 Edouard Bonnet , Vangelis Th. Paschos

Spectral graph bisections are a popular heuristic aimed at approximating the solution of the NP-complete graph bisection problem. This technique, however, does not always provide a robust tool for graph partitioning. Using a special class…

Numerical Analysis · Mathematics 2015-12-22 John C. Urschel , Ludmil T. Zikatanov

Ordered matchings, defined as graphs with linearly ordered vertices, where each vertex is connected to exactly one edge, play a crucial role in the area of ordered graphs and their homomorphisms. Therefore, we consider related problems from…

Computational Complexity · Computer Science 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski

A class domination coloring (also called cd-Coloring or dominated coloring) of a graph is a proper coloring in which every color class is contained in the neighbourhood of some vertex. The minimum number of colors required for any…

Discrete Mathematics · Computer Science 2022-03-18 R. Krithika , Ashutosh Rai , Saket Saurabh , Prafullkumar Tale

A straight-line drawing of a graph $G$ is a mapping which assigns to each vertex a point in the plane and to each edge a straight-line segment connecting the corresponding two points. The rectilinear crossing number of a graph $G$,…

Computational Geometry · Computer Science 2016-09-08 Jacob Fox , Janos Pach , Andrew Suk

The problem of (approximately) counting the independent sets of a bipartite graph (#BIS) is the canonical approximate counting problem that is complete in the intermediate complexity class #RH\Pi_1. It is believed that #BIS does not have an…

Computational Complexity · Computer Science 2019-07-16 Radu Curticapean , Holger Dell , Fedor Fomin , Leslie Ann Goldberg , John Lapinskas

The maximum matching width is a graph width parameter that is defined on a branch-decomposition over the vertex set of a graph. In this short paper, we prove that the problem of computing the maximum matching width is NP-hard.

Discrete Mathematics · Computer Science 2017-10-17 Kwangjun Ahn , Jisu Jeong

We consider the problem of finding a 1-planar drawing for a general graph, where a 1-planar drawing is a drawing in which each edge participates in at most one crossing. Since this problem is known to be NP-hard we investigate the…

Data Structures and Algorithms · Computer Science 2018-12-18 Michael J. Bannister , Sergio Cabello , David Eppstein

The uniqueness of an optimal solution to a combinatorial optimization problem attracts many fields of researchers' attention because it has a wide range of applications, it is related to important classes in computational complexity, and an…

Data Structures and Algorithms · Computer Science 2023-12-19 Takashi Horiyama , Yasuaki Kobayashi , Hirotaka Ono , Kazuhisa Seto , Ryu Suzuki

The $k$-ExactCover problem is a parameterized version of the ExactCover problem, in which we are given a universe $U$, a collection $S$ of subsets of $U$, and an integer $k$, and the task is to determine whether $U$ can be partitioned into…

Computational Complexity · Computer Science 2019-05-21 Venkatesan Guruswami , Patrick Lin

Treewidth is a useful tool in designing graph algorithms. Although many NP-hard graph problems can be solved in linear time when the input graphs have small treewidth, there are problems which remain hard on graphs of bounded treewidth. In…

Data Structures and Algorithms · Computer Science 2024-01-22 Huairui Chu , Bingkai Lin

We propose a fixed-parameter tractable algorithm for the \textsc{Max-Cut} problem on embedded 1-planar graphs parameterized by the crossing number $k$ of the given embedding. A graph is called 1-planar if it can be drawn in the plane with…

Data Structures and Algorithms · Computer Science 2018-12-08 Christine Dahn , Nils M. Kriege , Petra Mutzel

We study a recently introduced generalization of the Vertex Cover (VC) problem, called Power Vertex Cover (PVC). In this problem, each edge of the input graph is supplied with a positive integer demand. A solution is an assignment of…

Data Structures and Algorithms · Computer Science 2023-06-22 Eric Angel , Evripidis Bampis , Bruno Escoffier , Michael Lampis

We study parameterized and approximation algorithms for a variant of Set Cover, where the universe of elements to be covered consists of points in the plane and the sets with which the points should be covered are segments. We call this…

Computational Geometry · Computer Science 2024-02-27 Katarzyna Kowalska , Michał Pilipczuk

The problem of finding an optimal vertex cover in a graph is a classic NP-complete problem, and is a special case of the hitting set question. On the other hand, the hitting set problem, when asked in the context of induced geometric…

Data Structures and Algorithms · Computer Science 2014-04-24 Akanksha Agrawal , Sathish Govindarajan , Neeldhara Misra

Here we prove that counting maximum matchings in planar, bipartite graphs is #P-complete. This is somewhat surprising in the light that the number of perfect matchings in planar graphs can be computed in polynomial time. We also prove that…

Computational Complexity · Computer Science 2021-03-09 Istvan Miklos , Miklos Kresz

We provide theoretical insights around the cutwidth of a graph and the One-Sided Crossing Minimization (OSCM) problem. OSCM was posed in the Parameterized Algorithms and Computational Experiments Challenge 2024, where the cutwidth of the…

Data Structures and Algorithms · Computer Science 2025-01-20 Johannes Rauch , Dieter Rautenbach