English
Related papers

Related papers: Fixed-Point Definability and Polynomial Time on Ch…

200 papers

The perfect matching polytope, i.e. the convex hull of (incidence vectors of) perfect matchings of a graph is used in many combinatorial algorithms. Kotzig, Lov\'asz and Plummer developed a decomposition theory for graphs with perfect…

Combinatorics · Mathematics 2019-03-01 Isabel Beckenbach , Meike Hatzel , Sebastian Wiederrecht

In this paper we introduce a novel polynomial-time algorithm to compute graph invariants based on the modified random walk idea on graphs. However not proved to be a full graph invariant by now, our method gives the right answer for the…

Data Structures and Algorithms · Computer Science 2015-08-24 Alexander Gamkrelidze , Gunter Hotz , Levan Varamashvili

Determining the complexity of colouring ($4K_1, C_4$)-free graph is a long open problem. Recently Penev showed that there is a polynomial-time algorithm to colour a ($4K_1, C_4, C_6$)-free graph. In this paper, we will prove that if $G$ is…

Discrete Mathematics · Computer Science 2025-12-01 Chính T. Hoàng , Ramin Javadi , Nicolas Trotignon

A complete classification of the computational complexity of the fixed-point existence problem for boolean dynamical systems, i.e., finite discrete dynamical systems over the domain {0, 1}, is presented. For function classes F and graph…

Computational Complexity · Computer Science 2008-12-01 Sven Kosub

A class $\mathcal G$ of graphs is $\chi$-bounded if there is a function $f$ such that for every graph $G\in \mathcal G$ and every induced subgraph $H$ of $G$, $\chi(H)\le f(\omega(H))$. In addition, we say that $\mathcal G$ is polynomially…

Combinatorics · Mathematics 2019-06-17 Ringi Kim , O-joung Kwon , Sang-il Oum , Vaidy Sivaraman

Edge-weighted graphs play an important role in the theory of Robinsonian matrices and similarity theory, particularly via the concept of level graphs, that is, graphs obtained from an edge-weighted graph by removing all sufficiently light…

The d-Cut problem is to decide if a graph has an edge cut such that each vertex has at most d neighbours at the opposite side of the cut. If $d=1$, we obtain the intensively studied Matching Cut problem. The d-Cut problem has been studied…

Combinatorics · Mathematics 2025-10-07 Felicia Lucke , Ali Momeni , Daniël Paulusma , Siani Smith

A graph is well-covered if all its maximal independent sets have the same cardinality. This well studied concept was introduced by Plummer in 1970 and naturally generalizes to the weighted case. Given a graph $G$, a real-valued vertex…

Combinatorics · Mathematics 2023-10-20 Martin Milanič , Nevena Pivač

A set $D\subseteq V$ of a graph $G=(V,E)$ is called a restrained dominating set of $G$ if every vertex not in $D$ is adjacent to a vertex in $D$ and to a vertex in $V \setminus D$. The \textsc{Minimum Restrained Domination} problem is to…

Discrete Mathematics · Computer Science 2016-06-09 Arti Pandey , B. S. Panda

We answer the question which conjunctive queries are uniquely characterized by polynomially many positive and negative examples, and how to construct such examples efficiently. As a consequence, we obtain a new efficient exact learning…

Logic in Computer Science · Computer Science 2022-08-25 Balder ten Cate , Victor Dalmau

This article establishes that the split decomposition of graphs introduced by Cunnigham, is definable in Monadic Second-Order Logic.This result is actually an instance of a more general result covering canonical graph decompositions like…

Logic in Computer Science · Computer Science 2017-01-11 Bruno Courcelle

We introduce and study the problem of optimizing arbitrary functions over degree sequences of hypergraphs and multihypergraphs. We show that over multihypergraphs the problem can be solved in polynomial time. For hypergraphs, we show that…

Optimization and Control · Mathematics 2018-08-21 Antoine Deza , Asaf Levin , Syed M. Meesum , Shmuel Onn

Baker devised a powerful technique to obtain approximation schemes for various problems restricted to planar graphs. Her technique can be directly extended to various other graph classes, among the most general ones the graphs avoiding a…

Discrete Mathematics · Computer Science 2017-04-04 Zdeněk Dvořák

In Graph Theory a number of results were devoted to studying the computational complexity of the number modulo 2 of a graph's edge set decompositions of various kinds, first of all including its Hamiltonian decompositions, as well as the…

Discrete Mathematics · Computer Science 2010-05-14 Greg Cohen

A unit disk graph is the intersection graph of a set of disk of unit radius in the Euclidean plane. In 1998, Breu and Kirkpatrick showed that the recognition problem for unit disk graphs is NP-hard. Given $k$ horizontal and $m$ vertical…

Computational Geometry · Computer Science 2022-10-11 Deniz Ağaoğlu Çağırıcı , Onur Çağırıcı

A disconnected cut of a connected graph is a vertex cut that itself also induces a disconnected subgraph. The decision problem whether a graph has a disconnected cut is called Disconnected Cut. This problem is closely related to several…

Data Structures and Algorithms · Computer Science 2018-03-13 Barnaby Martin , Daniel Paulusma , Erik Jan van Leeuwen

A vertex set $D$ in a finite undirected graph $G$ is an efficient dominating set (e.d.s. for short) of $G$ if every vertex of $G$ is dominated by exactly one vertex of $D$. The Efficient Domination (ED) problem, which asks for the existence…

Discrete Mathematics · Computer Science 2019-05-01 Andreas Brandstädt , Raffaele Mosca

We show that the problem to decide whether two (convex) polytopes, given by their vertex-facet incidences, are combinatorially isomorphic is graph isomorphism complete, even for simple or simplicial polytopes. On the other hand, we give a…

Combinatorics · Mathematics 2007-05-23 Volker Kaibel , Alexander Schwartz

Motivated by the definition of linear coloring on simplicial complexes, recently introduced in the context of algebraic topology \cite{Civan}, and the framework through which it was studied, we introduce the linear coloring on graphs. We…

Discrete Mathematics · Computer Science 2008-07-29 Kyriaki Ioannidou , Stavros D. Nikolopoulos

The forcing number of a graph with a perfect matching $M$ is the minimum number of edges in $M$ whose endpoints need to be deleted, such that the remaining graph only has a single perfect matching. This number is of great interest in…

Discrete Mathematics · Computer Science 2024-02-01 Maximilian Gorsky , Fabian Kreßin