English
Related papers

Related papers: Computing fixed point free automorphisms of graphs

200 papers

An automorphism of a graph describes its structural symmetry and the concept of fixing number of a graph is used for breaking its symmetries (except the trivial one). In this paper, we evaluate automorphisms of the co-normal product graph…

Combinatorics · Mathematics 2023-02-14 Shahid ur Rehman , Muhammad Imran , Imran Javaid

In an attempt to understanding the complexity of the independent set problem, Chv{\'a}tal defined t-perfect graphs. While a full characterization of this class is still at large, progress has been achieved for claw-free graphs [Bruhn and…

Discrete Mathematics · Computer Science 2022-11-08 Yixin Cao , Shenghua Wang

A \emph{self-complementary} graph is a graph isomorphic to its complement. An isomorphism between $G$ and its complement, viewed as a permutation of $V(G)$, is then called an \emph{antimorphism}. A \emph{skew partition} of $G$ is a…

Combinatorics · Mathematics 2013-08-29 Nicolas Trotignon

This is the first paper in a series whose goal is to give a polynomial time algorithm for the $4$-coloring problem and the $4$-precoloring extension problem restricted to the class of graphs with no induced six-vertex path, thus proving a…

Combinatorics · Mathematics 2018-07-16 Maria Chudnovsky , Sophie Spirkl , Mingxian Zhong

The K-way vertex cut problem} consists in, given a graph G, finding a subset of vertices of a given size, whose removal partitions G into the maximum number of connected components. This problem has many applications in several areas. It…

Computational Complexity · Computer Science 2021-12-06 Mohammed Lalou

In this paper we design {\sf FPT}-algorithms for two parameterized problems. The first is \textsc{List Digraph Homomorphism}: given two digraphs $G$ and $H$ and a list of allowed vertices of $H$ for every vertex of $G$, the question is…

Data Structures and Algorithms · Computer Science 2015-09-25 Eunjung Kim , Christophe Paul , Ignasi Sau , Dimitrios M. Thilikos

In this paper, we investigate the complexity of Maximum Independent Set (MIS) in the class of $H$-free graphs, that is, graphs excluding a fixed graph as an induced subgraph. Given that the problem remains $NP$-hard for most graphs $H$, we…

Data Structures and Algorithms · Computer Science 2019-02-21 Édouard Bonnet , Nicolas Bousquet , Pierre Charbit , Stéphan Thomassé , Rémi Watrigant

In this paper, we show that every $(2P_2,K_4)$-free graph is 4-colorable. The bound is attained by the five-wheel and the complement of the seven-cycle. This answers an open question by Wagon \cite{Wa80} in the 1980s. Our result can also be…

Combinatorics · Mathematics 2018-12-17 Serge Gaspers , Shenwei Huang

Let $S=\{K_{1,3},K_3,P_4\}$ be the set of connected graphs of size 3. We study the problem of partitioning the edge set of a graph $G$ into graphs taken from any non-empty $S'\subseteq S$. The problem is known to be NP-complete for any…

Data Structures and Algorithms · Computer Science 2022-08-29 Laurent Bulteau , Guillaume Fertin , Anthony Labarre , Romeo Rizzi , Irena Rusu

Let $G$ be a (finite or infinite) group, and let $K_G = \mathrm{Cay} ( G;G \smallsetminus \{1\} )$ be the complete graph with vertex set $G$, considered as a Cayley graph of $G$. Being a Cayley graph, it has a natural edge-colouring by sets…

Combinatorics · Mathematics 2024-04-16 Shirin Alimirzaei , Dave Witte Morris

We study the problem HomsTo$H$ of counting, modulo 2, the homomorphisms from an input graph to a fixed undirected graph $H$. A characteristic feature of modular counting is that cancellations make wider classes of instances tractable than…

Computational Complexity · Computer Science 2015-08-27 Andreas Göbel , Leslie Ann Goldberg , David Richerby

A graph is called t-perfect if its stable set polytope is defined by non-negativity, edge and odd-cycle inequalities. We show that it can be decided in polynomial time whether a given claw-free graph is t-perfect.

Discrete Mathematics · Computer Science 2013-10-31 Henning Bruhn , Oliver Schaudt

We give a new fpt algorithm testing isomorphism of $n$-vertex graphs of tree width $k$ in time $2^{k\operatorname{polylog} (k)}\operatorname{poly} (n)$, improving the fpt algorithm due to Lokshtanov, Pilipczuk, Pilipczuk, and Saurabh (FOCS…

Data Structures and Algorithms · Computer Science 2018-03-20 Martin Grohe , Daniel Neuen , Pascal Schweitzer , Daniel Wiebking

A graph $G$ covers a graph $H$ if there exists a locally bijective homomorphism from $G$ to $H$. We deal with regular covers where this homomorphism is prescribed by the action of a semiregular subgroup of $\textrm{Aut}(G)$. We study…

Discrete Mathematics · Computer Science 2017-01-31 Jiří Fiala , Pavel Klavík , Jan Kratochvíl , Roman Nedela

For a connected graph G=(V,E), a subset U of V is called a disconnected cut if U disconnects the graph and the subgraph induced by U is disconnected as well. We show that the problem to test whether a graph has a disconnected cut is…

Computational Complexity · Computer Science 2014-10-30 Barnaby Martin , Daniel Paulusma

We strengthen a result by Laskar and Lyle (Discrete Appl. Math. (2009), 330-338) by proving that it is NP-complete to decide whether a bipartite planar graph can be partitioned into three independent dominating sets. In contrast, we show…

Computational Complexity · Computer Science 2019-05-14 Juho Lauri , Christodoulos Mitillos

A matching-cut of a graph is an edge cut that is a matching. The problem Matching-Cut is that of recognizing graphs with a matching-cut and is NP-complete, even if the graph belongs to one of a number of classes. We initiate the study of…

Combinatorics · Mathematics 2022-05-17 Carl Feghali

In the Independent set problem, the input is a graph $G$, every vertex has a non-negative integer weight, and the task is to find a set $S$ of pairwise non-adjacent vertices, maximizing the total weight of the vertices in $S$. We give an…

Data Structures and Algorithms · Computer Science 2015-09-02 Daniel Lokshtanov , Marcin Pilipczuk , Erik Jan van Leeuwen

Given a 3-uniform hypergraph H, its 2-intersection graph G has for vertex set the hyperedges of H and ee' is an edge of G whenever e and e' have exactly two common vertices in H. Di Marco et al. prove that deciding wether a graph G is the…

Combinatorics · Mathematics 2023-05-24 Niccolò Di Marco , Andrea Frosini , Christophe Picouleau

For a connected graph $G=(V,E)$, a matching $M\subseteq E$ is a matching cut of $G$ if $G-M$ is disconnected. It is known that for an integer $d$, the corresponding decision problem Matching Cut is polynomial-time solvable for graphs of…

Combinatorics · Mathematics 2022-07-18 Felicia Lucke , Daniël Paulusma , Bernard Ries