English
Related papers

Related papers: Decomposition techniques applied to the Clique-Sta…

200 papers

Goedgebeur and Schaudt [J. Graph Theory 87 (2018) 188-207] conjectured that all 4-vertex-critical $(P_7,C_3)$-free graphs belongs to the family $\cal G$, which consists of seven explicitly defined graphs. In this paper, we establish a…

Combinatorics · Mathematics 2026-03-24 Ran Chen , Di Wu , Xiaowen Zhang

We consider the following problem: for a given graph $G$ and two integers $k$ and $d$, can we apply a fixed graph operation at most $k$ times in order to reduce a given graph parameter $\pi$ by at least $d$? We show that this problem is…

Combinatorics · Mathematics 2022-10-20 Felicia Lucke , Felix Mann

One way to define the Matching Cut problem is: Given a graph $G$, is there an edge-cut $M$ of $G$ such that $M$ is an independent set in the line graph of $G$? We propose the more general Conflict-Free Cut problem: Together with the graph…

Data Structures and Algorithms · Computer Science 2023-11-03 Johannes Rauch , Dieter Rautenbach , Uéverton S. Souza

The tree of decomposition of a $k$-connected graph by a set $\mathfrak S$ of pairwise independent $k$-vertex cutsets is defined as follows. The vertices of this tree are cutsets of $\mathfrak S$ and parts of decomposition of the graph by…

Combinatorics · Mathematics 2014-05-29 Dmitri Karpov

We prove a decomposition theorem for graphs that do not contain a subdivision of $K_4$ as an induced subgraph where $K_4$ is the complete graph on four vertices. We obtain also a structure theorem for the class $\cal C$ of graphs that…

Combinatorics · Mathematics 2013-09-10 Benjamin Lévêque , Frédéric Maffray , Nicolas Trotignon

We show that for every $r \ge 2$ there exists $\epsilon_r > 0$ such that any $r$-uniform hypergraph with $m$ edges and maximum vertex degree $o(\sqrt{m})$ contains a set of at most $(\frac{1}{2} - \epsilon_r)m$ edges the removal of which…

Logic in Computer Science · Computer Science 2023-06-22 Michal Koucký , Vojtěch Rödl , Navid Talebanfard

We study the set of all decompositions (clusterings) of a graph through its characterization as a set of lifted multicuts. This leads us to practically relevant insights related to the definition of a class of decompositions by must-join…

Discrete Mathematics · Computer Science 2017-06-09 Andrea Horňáková , Jan-Hendrik Lange , Bjoern Andres

Considering systems of separations in a graph that separate every pair of a given set of vertex sets that are themselves not separated by these separations, we determine conditions under which such a separation system contains a nested…

Combinatorics · Mathematics 2014-09-02 Johannes Carmesin , Reinhard Diestel , Fabian Hundertmark , Maya Stein

Let $A$ and $B$ be disjoint, non-adjacent vertex-sets in an undirected, connected graph $G$, whose vertices are associated with positive weights. We address the problem of identifying a minimum-weight subset of vertices $S\subseteq V(G)$…

Data Structures and Algorithms · Computer Science 2025-06-06 Batya Kenig

We investigate the parameterized complexity of several problems formalizing cluster identification in graphs. In other words we ask whether a graph contains a large enough and sufficiently connected subgraph. We study here three relaxations…

Computational Complexity · Computer Science 2023-03-23 Ambroise Baril , Antoine Castillon , Nacim Oijid

A \textbf{strong arc decomposition} of a (multi-)digraph $D(V, A)$ is a partition of its arc set $A$ into two disjoint arc sets $A_1$ and $A_2$ such that both of the spanning subdigraphs $D(V, A_1)$ and $D(V, A_2)$ are strong. In this…

Combinatorics · Mathematics 2024-08-06 Jiangdong Ai , Fankang He , Zhaoxiang Li , Zhongmei Qin , Changxin Wang

A graph $G$ is well-covered if all its maximal independent sets are of the same cardinality. Assume that a weight function $w$ is defined on its vertices. Then $G$ is $w$-well-covered if all maximal independent sets are of the same weight.…

Discrete Mathematics · Computer Science 2018-11-13 Vadim E. Levit , David Tankus

The Subgraph Isomorphism problem asks, given a host graph G on n vertices and a pattern graph P on k vertices, whether G contains a subgraph isomorphic to P. The restriction of this problem to planar graphs has often been considered. After…

Discrete Mathematics · Computer Science 2015-03-19 Paul Bonsma

For real numbers c,epsilon>0, let G_{c,epsilon} denote the class of graphs G such that each subgraph H of G has a balanced separator of order at most c|V(H)|^{1-epsilon}. A class of graphs has strongly sublinear separators if it is a…

Combinatorics · Mathematics 2018-02-12 Zdeněk Dvořák

A perfect matching cut is a perfect matching that is also a cutset, or equivalently a perfect matching containing an even number of edges on every cycle. The corresponding algorithmic problem, Perfect Matching Cut, is known to be…

Computational Complexity · Computer Science 2023-02-24 Édouard Bonnet , Dibyayan Chakraborty , Julien Duron

We introduce a graph decomposition which exists for all simple, connected graphs $G=(V,E)$. The decomposition $V = A \cup B \cup C$ is such that each vertex in $A$ has more neighbors in $B$ than in $A$ and vice versa. $C$ is `balanced':…

Combinatorics · Mathematics 2021-06-04 Stefan Steinerberger

Constraint Satisfaction Problems (CSPs) play a central role in many applications in Artificial Intelligence and Operations Research. In general, solving CSPs is NP-complete. The structure of CSPs is best described by hypergraphs. Therefore,…

Artificial Intelligence · Computer Science 2021-01-01 Georg Gottlob , Matthias Lanzinger , Davide Mario Longo , Cem Okulmus , Reinhard Pichler

In 1966, Erd\H{o}s, Goodman, and P\'{o}sa showed that if $G$ is an $n$-vertex graph, then at most $\lfloor n^2/4 \rfloor$ cliques of $G$ are needed to cover the edges of $G$, and the bound is best possible as witnessed by the balanced…

Combinatorics · Mathematics 2024-12-24 József Balogh , Jialin He , Robert A. Krueger , The Nguyen , Michael C. Wigal

The Weisfeiler-Leman procedure is a widely-used technique for graph isomorphism testing that works by iteratively computing an isomorphism-invariant coloring of vertex tuples. Meanwhile, a fundamental tool in structural graph theory, which…

Discrete Mathematics · Computer Science 2022-07-19 Sandra Kiefer , Daniel Neuen

Using dominating sets to separate vertices of graphs is a well-studied problem in the larger domain of identification problems. In such problems, the objective is to choose a suitable dominating set $C$ of a graph $G$ which is also…

Combinatorics · Mathematics 2025-10-13 Dipayan Chakraborty , Annegret K. Wagler