中文
相关论文

相关论文: Linear vertex-kernels for several dense ranking r-…

200 篇论文

In the Permutation Constraint Satisfaction Problem (Permutation CSP) we are given a set of variables $V$ and a set of constraints C, in which constraints are tuples of elements of V. The goal is to find a total ordering of the variables,…

计算复杂性 · 计算机科学 2012-03-14 Eun Jung Kim , Daniel Goncalves

Given a graph $G$, an integer $k\geq 0$, and a non-negative integral function $f:V(G) \rightarrow \mathcal{N}$, the Vector Domination problem asks whether a set $S$ of vertices, of cardinality $k$ or less, exists in $G$ so that every vertex…

组合数学 · 数学 2025-06-19 Mahabba El Sahili , Faisal N. Abu-Khzam

The CONNECTED VERTEX COVER problem asks for a vertex cover in a graph that induces a connected subgraph. The problem is known to be fixed-parameter tractable (FPT), and is unlikely to have a polynomial sized kernel (under complexity…

数据结构与算法 · 计算机科学 2018-10-08 R. Krithika , Diptapriyo Majumdar , Venkatesh Raman

Finding whether a linear-constraint loop has a linear ranking function is an important key to understanding the loop behavior, proving its termination and establishing iteration bounds. If no preconditions are provided, the decision problem…

计算机科学中的逻辑 · 计算机科学 2014-08-27 Amir M. Ben-Amram

In this paper we present the first dynamic algorithms for the problem of Feedback Arc Set in Tournaments (FAST) and the problem of Feedback Vertex Set in Tournaments (FVST). Our algorithms maintain a dynamic tournament on n vertices altered…

数据结构与算法 · 计算机科学 2024-04-22 Anna Zych-Pawlewicz , Marek Żochowski

The problem of modifying a given graph to satisfy certain properties has been one of the central topics in parameterized tractability study. In this paper, we study the cycle contraction problem, which makes a graph into a cycle by edge…

数据结构与算法 · 计算机科学 2017-06-20 Bin Sheng , Yuefang Sun

The goal of this paper is to open up a new research direction aimed at understanding the power of preprocessing in speeding up algorithms that solve NP-hard problems exactly. We explore this direction for the classic Feedback Vertex Set…

数据结构与算法 · 计算机科学 2024-04-12 Huib Donkers , Bart M. P. Jansen

We study the parameterized complexity of the connected version of the vertex cover problem, where the solution set has to induce a connected subgraph. Although this problem does not admit a polynomial kernel for general graphs (unless NP is…

数据结构与算法 · 计算机科学 2011-10-11 Lukasz Kowalik , Marcin Pilipczuk , Karol Suchan

We study combinatorial and algorithmic questions around minimal feedback vertex sets in tournament graphs. On the combinatorial side, we derive strong upper and lower bounds on the maximum number of minimal feedback vertex sets in an…

离散数学 · 计算机科学 2011-10-20 Serge Gaspers , Matthias Mnich

In the solution discovery problem for a search problem on graphs, we are given an initial placement of $k$ tokens on the vertices of a graph and asked whether this placement can be transformed into a feasible solution by applying a small…

数据结构与算法 · 计算机科学 2025-12-01 Rin Saito , Anouk Sommer , Tatsuhiro Suga , Takahiro Suzuki , Yuma Tamura

We prove a number of results around kernelization of problems parameterized by the size of a given vertex cover of the input graph. We provide three sets of simple general conditions characterizing problems admitting kernels of polynomial…

数据结构与算法 · 计算机科学 2013-09-27 Fedor V. Fomin , Bart M. P. Jansen , Michal Pilipczuk

A vertex ranking of a graph is an assignment of ranks (or colors) to the vertices of the graph, in such a way that any simple path connecting two vertices of equal rank, must contain a vertex of a higher rank. In this paper we study a…

组合数学 · 数学 2016-09-21 Ilan Karpas , Ofer Neiman , Shakhar Smorodinsky

An induced subgraph is called an induced matching if each vertex is a degree-1 vertex in the subgraph. The \textsc{Almost Induced Matching} problem asks whether we can delete at most $k$ vertices from the input graph such that the remaining…

数据结构与算法 · 计算机科学 2024-02-22 Yuxi Liu , Mingyu Xiao

The \emph{Sandwich Problem} (SP) for a graph class $\calC$ is the following computational problem. The input is a pair of graphs $(V,E_1)$ and $(V,E_2)$ where $E_1\subseteq E_2$, and the task is to decide whether there is an edge set $E$…

离散数学 · 计算机科学 2025-10-13 Manuel Bodirsky , Santiago Guzmán-Pro

An $\alpha$-approximate polynomial Turing kernelization is a polynomial-time algorithm that computes an $(\alpha c)$-approximate solution for a parameterized optimization problem when given access to an oracle that can compute…

数据结构与算法 · 计算机科学 2023-07-06 Stefan Kratsch , Pascal Kunz

We consider supervised learning problems within the positive-definite kernel framework, such as kernel ridge regression, kernel logistic regression or the support vector machine. With kernels leading to infinite-dimensional feature spaces,…

机器学习 · 计算机科学 2013-05-23 Francis Bach

In this work we study a classic generalization of the Vertex Cover (VC) problem, called the Component Order Connectivity (COC) problem. In COC, given an undirected graph $G$, integers $d \geq 1$ and $k$, the goal is to determine if there is…

数据结构与算法 · 计算机科学 2026-03-24 Jakob Greilhuber , Roohani Sharma

Random instances of Constraint Satisfaction Problems (CSP's) appear to be hard for all known algorithms, when the number of constraints per variable lies in a certain interval. Contributing to the general understanding of the structure of…

离散数学 · 计算机科学 2009-04-20 Andrea Montanari , Ricardo Restrepo , Prasad Tetali

In the \textsc{Geodetic Set} problem, the input consists of a graph $G$ and a positive integer $k$. The goal is to determine whether there exists a subset $S$ of vertices of size $k$ such that every vertex in the graph is included in a…

数据结构与算法 · 计算机科学 2025-04-28 Prafullkumar Tale

Vertex deletion and edge deletion problems play a central role in Parameterized Complexity. Examples include classical problems like Feedback Vertex Set, Odd Cycle Transversal, and Chordal Deletion. Interestingly, the study of edge…

数据结构与算法 · 计算机科学 2011-04-20 Pinar Heggernes , Pim van 't Hof , Benjamin Lévêque , Daniel Lokshtanov , Christophe Paul