中文
相关论文

相关论文: An Algorithmic Meta-Theorem for Graph Modification…

200 篇论文

We study a general class of problems called F-deletion problems. In an F-deletion problem, we are asked whether a subset of at most $k$ vertices can be deleted from a graph $G$ such that the resulting graph does not contain as a minor any…

数据结构与算法 · 计算机科学 2010-10-08 Fedor V. Fomin , Daniel Lokshtanov , Neeldhara Misra , Geevarghese Philip , Saket Saurabh

We consider the embeddability problem of a graph G into a two-dimensional simplicial complex C: Given G and C, decide whether G admits a topological embedding into C. The problem is NP-hard, even in the restricted case where C is…

计算几何 · 计算机科学 2025-11-13 Éric Colin de Verdière , Thomas Magnard

We tackle the problem of attributed graph transformations and propose a new algorithmic approach for defining parallel graph transformations allowing overlaps. We start by introducing some abstract operations over graph structures. Then, we…

计算机科学中的逻辑 · 计算机科学 2018-08-10 Thierry Boy de la Tour , Rachid Echahed

A dynamic graph algorithm is a data structure that answers queries about a property of the current graph while supporting graph modifications such as edge insertions and deletions. Prior work has shown strong conditional lower bounds for…

数据结构与算法 · 计算机科学 2023-01-30 Monika Henzinger , Ami Paz , A. R. Sricharan

For graphs $G$ and $H$, a \emph{homomorphism} from $G$ to $H$ is an edge-preserving mapping from the vertex set of $G$ to the vertex set of $H$. For a fixed graph $H$, by \textsc{Hom($H$)} we denote the computational problem which asks…

计算复杂性 · 计算机科学 2020-02-20 Karolina Okrasa , Paweł Rzążewski

{\sc Vertex $(s, t)$-Cut} and {\sc Vertex Multiway Cut} are two fundamental graph separation problems in algorithmic graph theory. We study matroidal generalizations of these problems, where in addition to the usual input, we are given a…

离散数学 · 计算机科学 2024-06-28 Aritra Banik , Fedor V. Fomin , Petr A. Golovach , Tanmay Inamdar , Satyabrata Jana , Saket Saurabh

Fully dynamic graph is a data structure that (1) supports edge insertions and deletions and (2) answers problem specific queries. The time complexity of (1) and (2) are referred to as the update time and the query time respectively. There…

数据结构与算法 · 计算机科学 2014-04-30 Yoichi Iwata , Keigo Oka

For an undirected graph G, we consider the following problems: given a fixed graph H, can we partition the vertices of G into two non-empty sets A and B such that neither the induced graph G[A] nor G[B] contain H (i) as a subgraph? (ii) as…

数据结构与算法 · 计算机科学 2018-04-12 N. R. Aravind , Subrahmanyam Kalyanasundaram , Anjeneya Swami Kare

Lokshtanov, Marx, and Saurabh SODA 2011 proved that there is no $(k-\epsilon)^{\operatorname{pw}(G)}\operatorname{poly}(n)$ time algorithm for deciding if an $n$-vertex graph $G$ with pathwidth $\operatorname{pw}(G)$ admits a proper vertex…

数据结构与算法 · 计算机科学 2015-07-10 Andreas Björklund

Graphs are fundamental objects that find widespread applications across computer science and beyond. Graph Theory has yielded deep insights about structural properties of various families of graphs, which are leveraged in the design and…

数据结构与算法 · 计算机科学 2023-08-30 Rachit Nimavat

For a finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION problem consists in, given a graph $G$ and an integer $k$, decide whether there exists $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain…

数据结构与算法 · 计算机科学 2021-03-12 Julien Baste , Ignasi Sau , Dimitrios M. Thilikos

We consider the Editing to a Graph of Given Degrees problem that asks for a graph G, non-negative integers d,k and a function \delta:V(G)->{1,...,d}, whether it is possible to obtain a graph G' from G such that the degree of v is \delta(v)…

数据结构与算法 · 计算机科学 2014-12-24 Petr A. Golovach

This paper deals with the complexity of some natural graph problems when parametrized by {measures that are restrictions of} clique-width, such as modular-width and neighborhood diversity. The main contribution of this paper is to introduce…

计算复杂性 · 计算机科学 2020-02-03 Gennaro Cordasco , Luisa Gargano , Adele Anna Rescigno

Graph coloring is one of the most famous computational problems with applications in a wide range of areas such as planning and scheduling, resource allocation, and pattern matching. So far coloring problems are mostly studied on static…

离散数学 · 计算机科学 2019-06-12 George B. Mertzios , Hendrik Molter , Viktor Zamaraev

Graph polynomials which are definable in Monadic Second Order Logic (MSOL) on the vocabulary of graphs are Fixed-Parameter Tractable (FPT) with respect to clique-width. In contrast, graph polynomials which are definable in MSOL on the…

计算机科学中的逻辑 · 计算机科学 2015-05-26 Tomer Kotek , Johann A. Makowsky

Meta-theorems for polynomial (linear) kernels have been the subject of intensive research in parameterized complexity. Heretofore, meta-theorems for linear kernels exist on graphs of bounded genus, $H$-minor-free graphs, and…

Given a graph $G$, a set $T$ of terminal vertices, and a demand graph $H$ on $T$, the \textsc{Multicut} problem asks for a set of edges of minimum weight that separates the pairs of terminals specified by the edges of $H$. The…

计算复杂性 · 计算机科学 2026-01-27 Florian Hörsch , Dániel Marx

Possibly the most famous algorithmic meta-theorem is Courcelle's theorem, which states that all MSO-expressible graph properties are decidable in linear time for graphs of bounded treewidth. Unfortunately, the running time's dependence on…

数据结构与算法 · 计算机科学 2009-11-05 Michael Lampis

Graph partition is a key component to achieve workload balance and reduce job completion time in parallel graph processing systems. Among the various partition strategies, edge partition has demonstrated more promising performance in…

数据结构与算法 · 计算机科学 2020-12-18 Zhenyu Guo , Mingyu Xiao , Yi Zhou , Dongxiang Zhang , Kian-Lee Tan

The problems studied in this paper originate from Graph Motif, a problem introduced in 2006 in the context of biological networks. Informally speaking, it consists in deciding if a multiset of colors occurs in a connected subgraph of a…

计算复杂性 · 计算机科学 2014-09-11 Romeo Rizzi , Florian Sikora