中文
相关论文

相关论文: The canonical directed tree decomposition and its …

200 篇论文

Branchwidth determines how graphs, and more generally, arbitrary connectivity (basically symmetric and submodular) functions could be decomposed into a tree-like structure by specific cuts. We develop a general framework for designing…

数据结构与算法 · 计算机科学 2021-11-08 Fedor V. Fomin , Tuukka Korhonen

It is well-known and easy to show that even the following version of the directed travelling salesman problem is NP-complete: Given a strongly connected complete digraph $D=(V,A)$, a cost function $w: A\rightarrow \{0,1\}$ and a natural…

组合数学 · 数学 2024-03-13 Jørgen Bang-Jensen , Yun Wang , Anders Yeo

The NP-complete $k$-Path problem asks whether a given undirected graph has a (simple) path of length at least $k$. We prove that $k$-Path has polynomial-size Turing kernels when restricted to planar graphs, graphs of bounded degree,…

数据结构与算法 · 计算机科学 2017-04-21 Bart M. P. Jansen

Deciding whether a graph can be edge-decomposed into a matching and a $k$-bounded linear forest was recently shown by Campbell, H{\"o}rsch and Moore to be NP-complete for every $k \ge 9$, and solvable in polynomial time for $k=1,2$. In the…

计算复杂性 · 计算机科学 2023-04-10 Agnijo Banerjee , João Pedro Marciano , Adva Mond , Jan Petr , Julien Portier

We revisit the concepts of acyclic orderings and number of acyclic orderings of acyclic digraphs in terms of dispositions and counters for arbitrary multidigraphs. We prove that when we add a sequence of nested directed paths to a directed…

We study the problem of enumerating all rooted directed spanning trees (arborescences) of a directed graph (digraph) $G=(V,E)$ of $n$ vertices. An arborescence $A$ consisting of edges $e_1,\ldots,e_{n-1}$ can be represented as a monomial…

数据结构与算法 · 计算机科学 2024-08-06 Matúš Mihalák , Przemysław Uznański , Pencho Yordanov

In the Vertex Disjoint Paths with Congestion problem, the input consists of a digraph $D$, an integer $c$ and $k$ pairs of vertices $(s_i, t_i)$, and the task is to find a set of paths connecting each $s_i$ to its corresponding $t_i$,…

计算复杂性 · 计算机科学 2025-07-15 Ken-ichi Kawarabayashi , Nicola Lorenz , Marcelo Garlet Milani , Jacob Stegemann

We introduce a graph partitioning problem motivated by computational topology and propose two algorithms that produce approximate solutions. Specifically, given a weighted, undirected graph $G$ and a positive integer $k$, we desire to find…

组合数学 · 数学 2019-07-04 Abdel-Rahman Madkour , Phillip Nadolny , Matthew Wright

In the $k$-Disjoint Shortest Paths ($k$-DSP) problem, we are given a weighted graph $G$ on $n$ nodes and $m$ edges with specified source vertices $s_1, \dots, s_k$, and target vertices $t_1, \dots, t_k$, and are tasked with determining if…

数据结构与算法 · 计算机科学 2024-05-13 Shyan Akmal , Virginia Vassilevska Williams , Nicole Wein

We consider the following natural "above guarantee" parameterization of the classical Longest Path problem: For given vertices s and t of a graph G, and an integer k, the problem Longest Detour asks for an (s,t)-path in G that is at least k…

数据结构与算法 · 计算机科学 2018-04-24 Ivona Bezáková , Radu Curticapean , Holger Dell , Fedor V. Fomin

The modular decomposition of a graph is a canonical representation of its modules. Algorithms for computing the modular decomposition of directed and undirected graphs differ significantly, with the undirected case being simpler, and…

离散数学 · 计算机科学 2017-10-13 Henning Koehler

Given a finite directed graph, a coloring of its edges turns the graph into a finite-state automaton. A k-synchronizing word of a deterministic automaton is a word in the alphabet of colors at its edges that maps the state set of the…

形式语言与自动机理论 · 计算机科学 2022-06-16 A. N. Trahtman

The question of whether there is a logic that captures polynomial time is one of the main open problems in descriptive complexity theory and database theory. In 2010 Grohe showed that fixed point logic with counting captures polynomial time…

计算复杂性 · 计算机科学 2023-06-22 Berit Grußien

Carmesin and Gollin proved that every finite graph has a canonical tree-decomposition $(T, \mathcal{V})$ of adhesion less than $k$ that efficiently distinguishes every two distinct $k$-profiles, and which has the further property that every…

组合数学 · 数学 2024-03-29 Sandra Albrechtsen

Orienting the edges of an undirected graph such that the resulting digraph satisfies some given constraints is a classical problem in graph theory, with multiple algorithmic applications. In particular, an $st$-orientation orients each edge…

数据结构与算法 · 计算机科学 2023-07-11 Carla Binucci , Giuseppe Liotta , Fabrizio Montecchiani , Giacomo Ortali , Tommaso Piselli

We exhibit a new obstacle to the nascent algorithmic theory for classes excluding an induced minor. We indeed show that on the class of string graphs -- which avoids the 1-subdivision of, say, $K_5$ as an induced minor -- Induced 2-Disjoint…

计算复杂性 · 计算机科学 2025-02-11 Pierre Aboulker , Édouard Bonnet , Timothé Picavet , Nicolas Trotignon

Graph packing problem is one of the central problems in graph theory and combinatorial optimization. The famous Steiner tree packing problem in undirected graphs has become an well-established area. It is natural to extend this problem to…

组合数学 · 数学 2026-05-19 Yuefang Sun

Color-constrained subgraph problems are those where we are given an edge-colored (directed or undirected) graph and the task is to find a specific type of subgraph, like a spanning tree, an arborescence, a single-source shortest path tree,…

数据结构与算法 · 计算机科学 2024-07-24 P. S. Ardra , Jasine Babu , Kritika Kashyap , R. Krithika , Sreejith K. Pallathumadam , Deepak Rajendraprasad

Let $G$ be a graph of order $n$. A path decomposition $\mathcal{P}$ of $G$ is a collection of edge-disjoint paths that covers all the edges of $G$. Let $p(G)$ denote the minimum number of paths needed in a path decomposition of $G$. Gallai…

组合数学 · 数学 2023-10-18 Xiaohong Chen , Baoyindureng Wu

We prove that Graph Isomorphism and Canonization in graphs excluding a fixed graph $H$ as a minor can be solved by an algorithm working in time $f(H)\cdot n^{O(1)}$, where $f$ is some function. In other words, we show that these problems…

数据结构与算法 · 计算机科学 2022-10-27 Daniel Lokshtanov , Marcin Pilipczuk , Michał Pilipczuk , Saket Saurabh