中文
相关论文

相关论文: Hardness of the Binary Covering Radius Problem in …

200 篇论文

$ \newcommand{\Z}{\mathbb{Z}} \newcommand{\eps}{\varepsilon} \newcommand{\cc}[1]{\mathsf{#1}} \newcommand{\NP}{\cc{NP}} \newcommand{\problem}[1]{\mathrm{#1}} \newcommand{\BDD}{\problem{BDD}} $Bounded Distance Decoding $\BDD_{p,\alpha}$ is…

计算复杂性 · 计算机科学 2020-03-19 Huck Bennett , Chris Peikert

$\newcommand{\NP}{\mathsf{NP}}\newcommand{\GapSVP}{\textrm{GapSVP}}$We give a simple proof that the (approximate, decisional) Shortest Vector Problem is $\NP$-hard under a randomized reduction. Specifically, we show that for any $p \geq 1$…

计算复杂性 · 计算机科学 2022-02-17 Huck Bennett , Chris Peikert

Let $\gamma$-$\mathsf{GapSVP}_p$ be the decision version of the shortest vector problem in the $\ell_p$-norm with approximation factor $\gamma$, let $n$ be the lattice rank and $0<\varepsilon\leq 1$. We prove that there is no algorithm that…

数论 · 数学 2026-03-24 Markus Hittmeir

We show improved fine-grained hardness of two key lattice problems in the $\ell_p$ norm: Bounded Distance Decoding to within an $\alpha$ factor of the minimum distance ($\mathrm{BDD}_{p, \alpha}$) and the (decisional) $\gamma$-approximate…

计算复杂性 · 计算机科学 2025-07-30 Huck Bennett , Chris Peikert , Yi Tang

Bl\"omer and Seifert showed that $\mathsf{SIVP}_2$ is NP-hard to approximate by giving a reduction from $\mathsf{CVP}_2$ to $\mathsf{SIVP}_2$ for constant approximation factors as long as the $\mathsf{CVP}$ instance has a certain property.…

计算复杂性 · 计算机科学 2020-11-03 Divesh Aggarwal , Eldon Chung

The problem of maximizing the $p$-th power of a $p$-norm over a halfspace-presented polytope in $\R^d$ is a convex maximization problem which plays a fundamental role in computational convexity. It has been shown in 1986 that this problem…

计算复杂性 · 计算机科学 2013-07-25 Christian Knauer , Stefan König , Daniel Werner

We study regularity issues and the limiting behavior as $p\to\infty$ of nonnegative solutions for elliptic equations of $p-$Laplacian type ($2 \leq p< \infty$) with a strong absorption: $$ -\Delta_p u(x) + \lambda_0(x) u_{+}^q(x) = 0 \quad…

偏微分方程分析 · 数学 2025-01-23 João Vítor da Silva , Julio Rossi , Ariel Salort

In large scale machine learning, random sampling is a popular way to approximate datasets by a small representative subset of examples. In particular, sensitivity sampling is an intensely studied technique which provides provable guarantees…

数据结构与算法 · 计算机科学 2024-01-04 David P. Woodruff , Taisuke Yasuda

$ \newcommand{\eps}{\varepsilon} \newcommand{\problem}[1]{\ensuremath{\mathrm{#1}} } \newcommand{\CVP}{\problem{CVP}} \newcommand{\SVP}{\problem{SVP}} \newcommand{\CVPP}{\problem{CVPP}} \newcommand{\ensuremath}[1]{#1} $For odd integers $p…

计算复杂性 · 计算机科学 2019-01-28 Huck Bennett , Alexander Golovnev , Noah Stephens-Davidowitz

We prove that SVP$_p$ is NP-hard to approximate within a factor of $2^{\log^{1 - \varepsilon} n}$, for all constants $\varepsilon > 0$ and $p > 2$, under standard deterministic Karp reductions. This result is also the first proof that…

计算复杂性 · 计算机科学 2026-03-31 Isaac M. Hair , Amit Sahai

We establish deterministic hardness of approximation results for the Shortest Vector Problem in $\ell_p$ norm ($\mathsf{SVP}_p$) and for Unique-SVP ($\mathsf{uSVP}_p$) for all $p > 2$. Previously, no deterministic hardness results were…

计算复杂性 · 计算机科学 2025-10-21 Yahli Hecht , Muli Safra

$ \newcommand{\problem}[1]{\ensuremath{\mathrm{#1}} } \newcommand{\SVP}{\problem{SVP}} \newcommand{\ensuremath}[1]{#1} $We prove the following quantitative hardness results for the Shortest Vector Problem in the $\ell_p$ norm ($\SVP_p$),…

计算复杂性 · 计算机科学 2019-01-23 Divesh Aggarwal , Noah Stephens-Davidowitz

In this note, we prove that the problem of computing the linear discrepancy of a given matrix is $\Pi_2$-hard, even to approximate within $9/8 - \epsilon$ factor for any $\epsilon > 0$. This strengthens the NP-hardness result of Li and…

计算复杂性 · 计算机科学 2021-07-06 Pasin Manurangsi

In the paper arXiv:1708.02289 we have introduced new solvability methods for strongly elliptic second order systems in divergence form on a domains above a Lipschitz graph, satisfying $L^p$-boundary data for $p$ near $2$. The main novel…

偏微分方程分析 · 数学 2020-06-24 Martin Dindoš

Given a domain above a Lipschitz graph, we establish solvability results for strongly elliptic second-order systems in divergence-form, allowed to have lower-order (drift) terms, with $L^p$-boundary data for $p$ near $2$ (more precisely, in…

偏微分方程分析 · 数学 2020-06-25 Martin Dindoš , Marius Mitrea , Sukjung Hwang

We obtain new linear programming (LP) and constructive bounds for the covering radius of binary orthogonal arrays of strength $2k$. Our LP bounds develop in two alternative scenarios. First, if a point $y \in F_2^n$, where the covering…

信息论 · 计算机科学 2026-05-06 Peter Boyvalenkov , Ferruh Ozbudak , Maya Stoyanova

In this paper, for general plane curves $\gamma$ satisfying some suitable smoothness and curvature conditions, we obtain the single annulus $L^p(\mathbb{R}^2)$-boundedness of the Hilbert transforms $H^\infty_{U,\gamma}$ along the variable…

经典分析与常微分方程 · 数学 2020-07-13 Naijia Liu , Liang Song , Haixia Yu

We study the well-known Label Cover problem under the additional requirement that problem instances have large girth. We show that if the girth is some $k$, the problem is roughly $2^{\log^{1-\epsilon} n/k}$ hard to approximate for all…

数据结构与算法 · 计算机科学 2012-03-06 Michael Dinitz , Guy Kortsarz , Ran Raz

We prove the #P-hardness of the counting problems associated with various satisfiability, graph and combinatorial problems, when restricted to planar instances. These problems include \begin{romannum} \item[{}] {\sc 3Sat, 1-3Sat, 1-Ex3Sat,…

计算复杂性 · 计算机科学 2007-05-23 Harry B. Hunt , Madhav V. Marathe , Venkatesh Radhakrishnan , Richard E. Stearns

Data subsampling is one of the most natural methods to approximate a massively large data set by a small representative proxy. In particular, sensitivity sampling received a lot of attention, which samples points proportional to an…

数据结构与算法 · 计算机科学 2024-06-04 Alexander Munteanu , Simon Omlor
‹ 上一页 1 2 3 10 下一页 ›