中文
相关论文

相关论文: FPT Approximations for Packing and Covering Proble…

200 篇论文

Steiner Tree Packing (STP) is a notoriously hard problem in classical complexity theory, which is of practical relevance to VLSI circuit design. Previous research has approached this problem by providing heuristic or approximate algorithms.…

数据结构与算法 · 计算机科学 2025-05-15 Niko Hastrich , Kirill Simonov

We show for a broad class of counting problems, correlation decay (strong spatial mixing) implies FPTAS on planar graphs. The framework for the counting problems considered by us is the Holant problems with arbitrary constant-size domain…

数据结构与算法 · 计算机科学 2012-07-17 Yitong Yin , Chihao Zhang

Many hard graph problems, such as Hamiltonian Cycle, become FPT when parameterized by treewidth, a parameter that is bounded only on sparse graphs. When parameterized by the more general parameter clique-width, Hamiltonian Cycle becomes…

数据结构与算法 · 计算机科学 2014-11-24 Sigve Hortemo Sæther

We study a large family of graph covering problems, whose definitions rely on distances, for graphs of bounded cyclomatic number (that is, the minimum number of edges that need to be removed from the graph to destroy all cycles). These…

离散数学 · 计算机科学 2025-09-03 Dibyayan Chakraborty , Florent Foucaud , Anni Hakanen

(see paper for full abstract) Cut problems and connectivity problems on digraphs are two well-studied classes of problems from the viewpoint of parameterized complexity. After a series of papers over the last decade, we now have (almost)…

数据结构与算法 · 计算机科学 2019-10-07 Rajesh Chitnis , Andreas Emil Feldmann

A set-family ${\cal F}$ is disjointness-compliable if $A' \subseteq A \in {\cal F}$ implies $A' \in {\cal F}$ or $A \setminus A' \in {\cal F}$; if ${\cal F}$ is also symmetric then ${\cal F}$ is proper. A classic result of Goemans and…

数据结构与算法 · 计算机科学 2025-12-24 Zeev Nutov , Anael Vaknin

Treewidth is a useful tool in designing graph algorithms. Although many NP-hard graph problems can be solved in linear time when the input graphs have small treewidth, there are problems which remain hard on graphs of bounded treewidth. In…

数据结构与算法 · 计算机科学 2024-01-22 Huairui Chu , Bingkai Lin

We consider the Min-$r$-Lin$(Z_m)$ problem: given a system $S$ of length-$r$ linear equations modulo $m$, find $Z \subseteq S$ of minimum cardinality such that $S-Z$ is satisfiable. The problem is NP-hard and UGC-hard to approximate in…

数据结构与算法 · 计算机科学 2025-09-08 Konrad K. Dabrowski , Peter Jonsson , Sebastian Ordyniak , George Osipov , Magnus Wahlström

We introduce a novel multivariate approach for solving weighted parameterized problems. In our model, given an instance of size $n$ of a minimization (maximization) problem, and a parameter $W \geq 1$, we seek a solution of weight at most…

数据结构与算法 · 计算机科学 2015-02-24 Hadas Shachnai , Meirav Zehavi

Vertex Cover parameterized by the solution size k is the quintessential fixed-parameter tractable problem. FPT algorithms are most interesting when the parameter is small. Several lower bounds on k are well-known, such as the maximum size…

数据结构与算法 · 计算机科学 2022-08-22 Leon Kellerhals , Tomohiro Koana , Pascal Kunz

We study the \textsc{$\alpha$-Fixed Cardinality Graph Partitioning ($\alpha$-FCGP)} problem, the generic local graph partitioning problem introduced by Bonnet et al. [Algorithmica 2015]. In this problem, we are given a graph $G$, two…

数据结构与算法 · 计算机科学 2023-08-31 Fedor V. Fomin , Petr A. Golovach , Tanmay Inamdar , Tomohiro Koana

For a graph $G$, a subset $S\subseteq V(G)$ is called a resolving set of $G$ if, for any two vertices $u,v\in V(G)$, there exists a vertex $w\in S$ such that $d(w,u)\neq d(w,v)$. The Metric Dimension problem takes as input a graph $G$ on…

数据结构与算法 · 计算机科学 2025-03-18 Florent Foucaud , Esther Galby , Liana Khazaliya , Shaohua Li , Fionn Mc Inerney , Roohani Sharma , Prafullkumar Tale

In this paper we introduce Sampling with a Black Box, a generic technique for the design of parameterized approximation algorithms for vertex deletion problems (e.g., Vertex Cover, Feedback Vertex Set, etc.). The technique relies on two…

数据结构与算法 · 计算机科学 2024-07-18 Barış Can Esmer , Ariel Kulik

Many graph problems were first shown to be fixed-parameter tractable using the results of Robertson and Seymour on graph minors. We show that the combination of finite, computable, obstruction sets and efficient order tests is not just one…

计算复杂性 · 计算机科学 2013-05-15 Michael R. Fellows , Bart M. P. Jansen

We study computational complexity of the class of distance-constrained graph labeling problems from the fixed parameter tractability point of view. The parameters studied are neighborhood diversity and clique width. We rephrase the distance…

离散数学 · 计算机科学 2015-12-04 Jiří Fiala , Tomáš Gavenčiak , Dušan Knop , Martin Koutecký , Jan Kratochvíl

We consider the problem of finding the set of architectural parameters for a chosen deep neural network which is optimal under three metrics: parameter size, inference speed, and error rate. In this paper we state the problem formally, and…

机器学习 · 计算机科学 2020-10-19 Adrian de Wynter

The Metric Embedding problem takes as input two metric spaces $(X,D_X)$ and $(Y,D_Y)$, and a positive integer $d$. The objective is to determine whether there is an embedding $F:X \rightarrow Y$ such that $d_{F} \leq d$, where $d_{F}$…

计算几何 · 计算机科学 2018-06-27 Arijit Ghosh , Sudeshna Kolay , Gopinath Mishra

Node similarity measures quantify how similar a pair of nodes are in a network. These similarity measures turn out to be an important fundamental tool for many real world applications such as link prediction in networks, recommender systems…

社会与信息网络 · 计算机科学 2020-02-26 Palash Dey , Sourav Medya

The focus of this paper is two fold. Firstly, we present a logical approach to graph modification problems such as minimum node deletion, edge deletion, edge augmentation problems by expressing them as an expression in first order (FO)…

计算机科学中的逻辑 · 计算机科学 2017-11-09 Kona Harshita , Sounaka Mishra , Renjith. P , N. Sadagopan

We study the classic {\sc Dominating Set} problem with respect to several prominent parameters. Specifically, we present algorithmic results that sidestep time complexity barriers by the incorporation of either approximation or larger…

数据结构与算法 · 计算机科学 2023-09-28 Ioannis Koutis , Michał Włodarczyk , Meirav Zehavi