中文
相关论文

相关论文: Treewidth is NP-Complete on Cubic Graphs (and rela…

200 篇论文

In Graph Minor III, Robertson and Seymour conjecture that the tree-width of a planar graph and that of its dual differ by at most one. We prove that given a hypergraph H on a surface of Euler genus k, the tree-width of H^* is at most the…

离散数学 · 计算机科学 2008-12-17 Frédéric Mazoit

A matching is a set of edges in a graph with no common endpoint. A matching M is called acyclic if the induced subgraph on the endpoints of the edges in M is acyclic. Given a graph G and an integer k, Acyclic Matching Problem seeks for an…

计算复杂性 · 计算机科学 2022-10-05 Sahab Hajebi , Ramin Javadi

A subgraph $G'$ of a graph $G$ is nice if $G-V(G')$ has a perfect matching. Nice subgraphs play a vital role in the theory of ear decomposition and matching minors of matching covered graphs. A vertex $u$ of a cubic graph is nice if $u$ and…

组合数学 · 数学 2025-09-01 Wuxian Chen , Fuliang Lu , Heping Zhang

We investigate two types of graph layouts, track layouts and layered path decompositions, and the relations between their associated parameters track-number and layered pathwidth. We use these two types of layouts to characterize leveled…

In recent years, there has been significant interest in characterizing the induced subgraph obstructions to bounded treewidth and pathwidth. While this has recently been resolved for pathwidth, the case of treewidth remains open, and prior…

组合数学 · 数学 2025-07-31 Maria Chudnovsky , David Fischer , Sepehr Hajebi , Sophie Spirkl , Bartosz Walczak

We solve a recent question of Caro, Patk\'os and Tuza by determining the exact maximum number of edges in a bipartite connected graph as a function of the longest path it contains as a subgraph and of the number of vertices in each side of…

组合数学 · 数学 2025-11-11 Marthe Bonamy , Théotime Leclere , Timothé Picavet

Deciding whether a given graph has a square root is a classical problem that has been studied extensively both from graph theoretic and from algorithmic perspectives. The problem is NP-complete in general, and consequently substantial…

数据结构与算法 · 计算机科学 2018-10-09 Petr A. Golovach , Pinar Heggernes , Dieter Kratsch , Paloma T. Lima , Daniel Paulusma

We investigate a new width parameter, the fusion-width of a graph. It is a natural generalization of the tree-width, yet strong enough that not only graphs of bounded tree-width, but also graphs of bounded clique-width, trivially have…

数据结构与算法 · 计算机科学 2014-02-11 Martin Fürer

The connected tree-width of a graph is the minimum width of a tree-decomposition whose parts induce connected subgraphs. Long cycles are examples of graphs that have small tree-width but large connected tree-width. We show that a graph has…

组合数学 · 数学 2015-10-15 Reinhard Diestel , Malte Müller

We consider hereditary classes of graphs equipped with a total order. We provide multiple equivalent characterisations of those classes which have bounded twin-width. In particular, we prove a grid theorem for classes of ordered graphs…

计算机科学中的逻辑 · 计算机科学 2021-07-07 Pierre Simon , Szymon Toruńczyk

Let $t,q$ and $n$ be positive integers. Write $[q] = \{1,2,\ldots,q\}$. The generalized Hamming graph $H(t,q,n)$ is the graph whose vertex set is the cartesian product of $n$ copies of $[q]$ ($q\ge 2$), where two vertices are adjacent if…

组合数学 · 数学 2025-09-23 Yichen Wang , Mengyu Cao , Zequn Lv , Mei Lu

We prove that deciding whether a given input word contains as subsequence every possible permutation of integers $\{1,2,\ldots,n\}$ is coNP-complete. The coNP-completeness holds even when given the guarantee that the input word contains as…

计算复杂性 · 计算机科学 2015-07-10 Przemysław Uznański

For all $k \geq 1$, we show that deciding whether a graph is $k$-planar is NP-complete, extending the well-known fact that deciding 1-planarity is NP-complete. Furthermore, we show that the gap version of this decision problem is…

组合数学 · 数学 2020-05-19 John C. Urschel , Jake Wellens

Disjoint-Set forests, consisting of Union-Find trees are data structures having a widespread practical application due to their efficiency. Despite them being well-known, no exact structural characterization of these trees is known (such a…

计算复杂性 · 计算机科学 2017-01-06 Kitti Gelle , Szabolcs Ivan

A graph covering projection, also referred to as a locally bijective homomorphism, is a mapping between the vertices and edges of two graphs that preserves incidences and is a local bijection. This concept originates in topological graph…

离散数学 · 计算机科学 2025-07-02 Jan Bok , Jiří Fiala , Nikola Jedličková , Jan Kratochvíl

We consider the problem of partitioning a graph into a non-fixed number of non-overlapping subgraphs of maximum density. The density of a partition is the sum of the densities of the subgraphs, where the density of a subgraph is its average…

计算复杂性 · 计算机科学 2022-02-17 Cristina Bazgan , Katrin Casel , Pierre Cazals

We investigate the structure of graphs of twin-width at most $1$, and obtain the following results: - Graphs of twin-width at most $1$ are permutation graphs. In particular they have an intersection model and a linear structure. - There is…

离散数学 · 计算机科学 2025-01-03 Jungho Ahn , Hugo Jacob , Noleen Köhler , Christophe Paul , Amadeus Reinald , Sebastian Wiederrecht

Treewidth is a well-studied decompositional parameter to measure the tree-likeness of a graph. While the propositional satisfiability problem (SAT) is known to be tractable when parameterized by the treewidth of the underlying primal graph,…

数据结构与算法 · 计算机科学 2026-05-08 Robert Ganian , Marlene Gründel

In this paper we show how to find nearly optimal embeddings of large trees in several natural classes of graphs. The size of the tree T can be as large as a constant fraction of the size of the graph G, and the maximum degree of T can be…

组合数学 · 数学 2007-07-17 Benny Sudakov , Jan Vondrak

In a graph, a perfect matching cut is an edge cut that is a perfect matching. Perfect Matching Cut (PMC) is the problem of deciding whether a given graph has a perfect matching cut, and is known to be NP-complete. We revisit the problem and…

离散数学 · 计算机科学 2021-07-15 Van Bang Le , Jan Arne Telle