中文
相关论文

相关论文: Tight Algorithm for Connected Odd Cycle Transversa…

200 篇论文

The quest for colorful components (connected components where each color is associated with at most one vertex) inside a vertex-colored graph has been widely considered in the last ten years. Here we consider two variants, Minimum Colorful…

数据结构与算法 · 计算机科学 2018-06-20 Riccardo Dondi , Florian Sikora

We study optimization problems that are neither approximable in polynomial time (at least with a constant factor) nor fixed parameter tractable, under widely believed complexity assumptions. Specifically, we focus on Maximum Independent…

数据结构与算法 · 计算机科学 2008-10-29 Marek Cygan , Lukasz Kowalik , Marcin Pilipczuk , Mateusz Wykurz

Cutwidth of a digraph is a width measure introduced by Chudnovsky, Fradkin, and Seymour [4] in connection with development of a structural theory for tournaments, or more generally, for semi-complete digraphs. In this paper we provide an…

数据结构与算法 · 计算机科学 2013-01-31 Fedor V. Fomin , Michał Pilipczuk

An on-line chain partitioning algorithm receives a poset, one element at a time, and irrevocably assigns the element to one of the chains in the partition. The on-line chain partitioning problem involves finding the minimal number of chains…

组合数学 · 数学 2022-05-31 Csaba Biró , Israel R. Curbelo

In 2020, we initiated a systematic study of graph classes in which the treewidth can only be large due to the presence of a large clique, which we call $(\mathrm{tw},\omega)$-bounded. While $(\mathrm{tw},\omega)$-bounded graph classes are…

组合数学 · 数学 2023-10-18 Clément Dallard , Martin Milanič , Kenny Štorgel

We show that the eccentricities, diameter, radius, and Wiener index of an undirected $n$-vertex graph with nonnegative edge lengths can be computed in time $O(n\cdot \binom{k+\lceil\log n\rceil}{k} \cdot 2^k k^2 \log n)$, where $k$ is the…

数据结构与算法 · 计算机科学 2018-05-21 Karl Bringmann , Thore Husfeldt , Måns Magnusson

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

Multi-clique-width is obtained by a simple modification in the definition of clique-width. It has the advantage of providing a natural extension of tree-width. Unlike clique-width, it does not explode exponentially compared to tree-width.…

离散数学 · 计算机科学 2015-11-17 Martin Fürer

We present a new approximation algorithm for the treewidth problem which finds an upper bound on the treewidth and constructs a corresponding tree decomposition as well. Our algorithm is a faster variation of Reed's classical algorithm. For…

数据结构与算法 · 计算机科学 2022-06-24 Mahdi Belbasi , Martin Fürer

In this paper, we consider tree decompositions, branch decompositions, and clique decompositions. We improve the running time of dynamic programming algorithms on these graph decompositions for a large number of problems as a function of…

数据结构与算法 · 计算机科学 2018-06-06 Johan M. M. van Rooij , Hans L. Bodlaender , Erik Jan van Leeuwen , Peter Rossmanith , Martin Vatshelle

(see paper for full abstract) We show that the Edge-Disjoint Paths problem is W[1]-hard parameterized by the number $k$ of terminal pairs, even when the input graph is a planar directed acyclic graph (DAG). This answers a question of…

数据结构与算法 · 计算机科学 2021-01-27 Rajesh Chitnis

The Longest Common Weakly Increasing Subsequence problem (LCWIS) is a variant of the classic Longest Common Subsequence problem (LCS). Both problems can be solved with simple quadratic time algorithms. A recent line of research led to a…

计算复杂性 · 计算机科学 2020-04-10 Adam Polak

Many application areas collect unstructured trajectory data. In subtrajectory clustering, one is interested to find patterns in this data using a hybrid combination of segmentation and clustering. We analyze two variants of this problem…

计算几何 · 计算机科学 2025-04-25 Jacobus Conradi , Anne Driemel

Treewidth and hypertree width have proven to be highly successful structural parameters in the context of the Constraint Satisfaction Problem (CSP). When either of these parameters is bounded by a constant, then CSP becomes solvable in…

数据结构与算法 · 计算机科学 2022-10-14 Andre Schidler , Robert Ganian , Manuel Sorge , Stefan Szeider

In the Colored Clustering problem, one is asked to cluster edge-colored (hyper-)graphs whose colors represent interaction types. More specifically, the goal is to select as many edges as possible without choosing two edges that share an…

数据结构与算法 · 计算机科学 2023-02-02 Leon Kellerhals , Tomohiro Koana , Pascal Kunz , Rolf Niedermeier

In the book Boolean Function Complexity by Stasys Jukna, two lower bound techniques for Tree-like Cutting Plane proofs (henceforth, "Tree-CP proofs") using Karchmer-Widgerson type communication games (henceforth, "KW games") are presented:…

计算复杂性 · 计算机科学 2013-01-08 Daniel Apon

We consider \textsc{Cliques or Trees Vertex Deletion}, which is a hybrid of two fundamental parameterized problems: \textsc{Cluster Vertex Deletion} and \textsc{Feedback Vertex Set}. In this problem, we are given an undirected graph $G$ and…

数据结构与算法 · 计算机科学 2025-09-23 Soh Kumabe

The problem of whether and how one can compute the twin-width of a graph -- along with an accompanying contraction sequence -- lies at the forefront of the area of algorithmic model theory. While significant effort has been aimed at…

数据结构与算法 · 计算机科学 2023-10-13 Jakub Balabán , Robert Ganian , Mathis Rocton

We revisit the problem of performing conformal block decomposition of exchange Witten diagrams in the crossed channel. Using properties of conformal blocks and Witten diagrams, we discover infinitely many linear relations among the crossed…

高能物理 - 理论 · 物理学 2019-05-22 Xinan Zhou

We study cyclic binary strings with bounds on the lengths of the intervals of consecutive ones and zeros. This is motivated by scheduling problems where such binary strings can be used to represent the state (on/off) of a machine. In this…

最优化与控制 · 数学 2018-09-07 Thomas Kalinowski , Tomas Lidén , Hamish Waterer