English
Related papers

Related papers: Tighter Hard Instances for PPSZ

200 papers

We study variants of the classic $s$-$t$ cut problem and prove the following improved hardness results assuming the Unique Games Conjecture (UGC). - For any constant $k \geq 2$ and $\epsilon > 0$, we show that Directed Multicut with $k$…

Computational Complexity · Computer Science 2016-07-19 Euiwoong Lee

The Planar Steiner Tree problem is one of the most fundamental NP-complete problems as it models many network design problems. Recall that an instance of this problem consists of a graph with edge weights, and a subset of vertices (often…

Data Structures and Algorithms · Computer Science 2018-11-19 Sándor Kisfaludi-Bak , Jesper Nederlof , Erik Jan van Leeuwen

In contrast to the advances in characterizing the sample complexity for solving Markov decision processes (MDPs), the optimal statistical complexity for solving constrained MDPs (CMDPs) remains unknown. We resolve this question by providing…

Machine Learning · Computer Science 2022-11-22 Sharan Vaswani , Lin F. Yang , Csaba Szepesvári

Proving formula depth lower bounds is a fundamental challenge in complexity theory, with the strongest known bound of $(3 - o(1))\log n$ established by Hastad over 25 years ago. The Karchmer-Raz-Wigderson (KRW) conjecture offers a promising…

Computational Complexity · Computer Science 2025-01-30 Nikolai Chukhin , Alexander S. Kulikov , Ivan Mihajlin

Grothendieck constants $K_G(d)$ bound the advantage of $d$-dimensional strategies over $1$-dimensional ones in a specific optimisation task. They have applications ranging from approximation algorithms to quantum nonlocality. However, apart…

Optimization and Control · Mathematics 2026-02-03 Sébastien Designolle , Tamás Vértesi , Sebastian Pokutta

This paper investigates the computational complexity of reinforcement learning in a novel linear function approximation regime, termed partial $q^{\pi}$-realizability. In this framework, the objective is to learn an $\epsilon$-optimal…

Artificial Intelligence · Computer Science 2025-10-31 Shayan Karimi , Xiaoqi Tan

We are interested in the design of survivable capacitated rooted Steiner networks. Given a graph G = (V, E), capacity and cost functions on E, a root r, a subset T of V of terminals and an integer k, we search for a minimum cost subset E…

Data Structures and Algorithms · Computer Science 2018-06-19 Cédric Bentz , Marie-Christine Costa , Pierre-Louis Poirion , Thomas Ridremont

We provide new high-accuracy randomized algorithms for solving linear systems and regression problems that are well-conditioned except for $k$ large singular values. For solving such $d \times d$ positive definite system our algorithms…

Data Structures and Algorithms · Computer Science 2025-07-17 Michał Dereziński , Aaron Sidford

The cyclability of a graph is the maximum integer $k$ for which every $k$ vertices lie on a cycle. The algorithmic version of the problem, given a graph $G$ and a non-negative integer $k,$ decide whether the cyclability of $G$ is at least…

Combinatorics · Mathematics 2016-01-26 Petr A. Golovach , Marcin Kamiński , Spyridon Maniatis , Dimitrios M. Thilikos

We consider the $k$-Center problem and some generalizations. For $k$-Center a set of $k$ center vertices needs to be found in a graph $G$ with edge lengths, such that the distance from any vertex of $G$ to its nearest center is minimized.…

Data Structures and Algorithms · Computer Science 2019-04-29 Andreas Emil Feldmann

In the $k$-cut problem, we are given an edge-weighted graph and want to find the least-weight set of edges whose deletion breaks the graph into $k$ connected components. Algorithms due to Karger-Stein and Thorup showed how to find such a…

Data Structures and Algorithms · Computer Science 2019-11-22 Anupam Gupta , Euiwoong Lee , Jason Li

We are interested in the problem of finding $k$ nearest neighbours in the plane and in the presence of polygonal obstacles ($\textit{OkNN}$). Widely used algorithms for OkNN are based on incremental visibility graphs, which means they…

Artificial Intelligence · Computer Science 2018-08-14 Shizhe Zhao , Daniel D. Harabor , David Taniar

(see paper for full abstract) Given a vertex-weighted directed graph $G=(V,E)$ and a set $T=\{t_1, t_2, \ldots t_k\}$ of $k$ terminals, the objective of the SCSS problem is to find a vertex set $H\subseteq V$ of minimum weight such that…

Data Structures and Algorithms · Computer Science 2019-12-02 Rajesh Chitnis , Andreas Emil Feldmann , MohammadTaghi Hajiaghayi , Dániel Marx

In the Max-2Lin(2) problem you are given a system of equations on the form $x_i + x_j \equiv b \pmod{2}$, and your objective is to find an assignment that satisfies as many equations as possible. Let $c \in [0.5, 1]$ denote the maximum…

Computational Complexity · Computer Science 2024-08-13 Björn Martinsson

In this paper we describe a new algorithm called Fast Adaptive Sequencing Technique (FAST) for maximizing a monotone submodular function under a cardinality constraint $k$ whose approximation ratio is arbitrarily close to $1-1/e$, is…

Machine Learning · Computer Science 2019-07-16 Adam Breuer , Eric Balkanski , Yaron Singer

Following recent advances in combining approximation algorithms with fixed-parameter tractability (FPT), we study FPT-time approximation algorithms for minimum-norm $k$-clustering problems, parameterized by the number $k$ of open…

Data Structures and Algorithms · Computer Science 2026-05-07 Han Dai , Shi Li , Sijin Peng

Inspired by regularization techniques in statistics and machine learning, we study complementary composite minimization in the stochastic setting. This problem corresponds to the minimization of the sum of a (weakly) smooth function endowed…

Machine Learning · Computer Science 2024-01-24 Alexandre d'Aspremont , Cristóbal Guzmán , Clément Lezane

Given n=p*q with p and q prim and y in Z_{p*q}^*. Shor's Algorithm computes the order r of y, i.e. y^r=1 (mod n). If r=2k is even and y^k \ne -1 (mod n) we can easily compute a non trivial factor of n: gcd(y^k-1,n). In the original paper it…

Quantum Physics · Physics 2007-05-23 Gregor Leander

Computing shortest paths is one of the most fundamental algorithmic graph problems. It is known since decades that this problem can be solved in near-linear time if all weights are nonnegative. A recent break-through by [Bernstein,…

Data Structures and Algorithms · Computer Science 2025-02-18 Alejandro Cassis , Andreas Karrenbauer , André Nusser , Paolo Luigi Rinaldi

We propose and study algorithms to compute minimal models, stable models and answer sets of t-CNF theories, and normal and disjunctive t-programs. We are especially interested in algorithms with non-trivial worst-case performance bounds.…

Logic in Computer Science · Computer Science 2007-05-23 Z. Lonc , M. Truszczynski