中文
相关论文

相关论文: Wagner's Algorithm Provably Runs in Subexponential…

200 篇论文

The Helmholtz equation with variable wavenumbers is challenging to solve numerically due to the pollution effect, which often results in a huge ill-conditioned linear system. In this paper, we present a high-order wavelet Galerkin method to…

数值分析 · 数学 2025-03-25 Bin Han , Michelle Michelle

We present a randomized algorithm that computes single-source shortest paths (SSSP) in $O(m\log^8(n)\log W)$ time when edge weights are integral and can be negative. This essentially resolves the classic negative-weight SSSP problem. The…

数据结构与算法 · 计算机科学 2025-05-21 Aaron Bernstein , Danupon Nanongkai , Christian Wulff-Nilsen

To accelerate the algorithms for the dihedral hidden subgroup problem, we present a new algorithm based on algorithm SV(shortest vector). A subroutine is given to get a transition quantum state by constructing a phase filter function, then…

量子物理 · 物理学 2013-05-30 Fada Li , Wansu Bao , Xiangqun Fu

The smoothed analysis of algorithms is concerned with the expected running time of an algorithm under slight random perturbations of arbitrary inputs. Spielman and Teng proved that the shadow-vertex simplex method has polynomial smoothed…

数据结构与算法 · 计算机科学 2016-12-23 Roman Vershynin

We study sublinear-time algorithms for solving linear systems $Sz = b$, where $S$ is a diagonally dominant matrix, i.e., $|S_{ii}| \geq \delta + \sum_{j \ne i} |S_{ij}|$ for all $i \in [n]$, for some $\delta \geq 0$. We present randomized…

数据结构与算法 · 计算机科学 2025-09-17 Weiming Feng , Zelin Li , Pan Peng

Cryptographic problems can often be reduced to solving Boolean polynomial systems, whose equivalent logical formulas can be treated using SAT solvers. Given the algebraic nature of the problem, the use of the logical XOR operator is common…

密码学与安全 · 计算机科学 2020-12-21 Monika Trimoska , Sorina Ionica , Gilles Dequen

This work proposes a windowed least-squares (WLS) approach for model-reduction of dynamical systems. The proposed approach sequentially minimizes the time-continuous full-order-model residual within a low-dimensional space-time trial…

数值分析 · 数学 2019-10-28 Eric J. Parish , Kevin T. Carlberg

Lattice cryptography schemes based on the learning with errors (LWE) hardness assumption have been standardized by NIST for use as post-quantum cryptosystems, and by HomomorphicEncryption.org for encrypted compute on sensitive data. Thus,…

密码学与安全 · 计算机科学 2024-10-11 Emily Wenger , Eshika Saxena , Mohamed Malhou , Ellie Thieu , Kristin Lauter

We give a nontrivial algorithm for the satisfiability problem for cn-wire threshold circuits of depth two which is better than exhaustive search by a factor 2^{sn} where s= 1/c^{O(c^2)}. We believe that this is the first nontrivial…

计算复杂性 · 计算机科学 2013-04-19 Russell Impagliazzo , Ramamohan Paturi , Stefan Schneider

The weak Galerkin (WG) finite element method is an effective and flexible general numerical technique for solving partial differential equations. It is a natural extension of the classic conforming finite element method for discontinuous…

数值分析 · 数学 2020-04-29 Xiu Ye , Shangyou Zhang

A weighted string, also known as a position weight matrix, is a sequence of probability distributions over some alphabet. We revisit the Weighted Shortest Common Supersequence (WSCS) problem, introduced by Amir et al. [SPIRE 2011], that is,…

We investigate pseudo-polynomial time algorithms for Subset Sum. Given a multi-set $X$ of $n$ positive integers and a target $t$, Subset Sum asks whether some subset of $X$ sums to $t$. Bringmann proposes an $\tilde{O}(n + t)$-time…

数据结构与算法 · 计算机科学 2026-04-29 Lin Chen , Jiayi Lian , Yuchen Mao , Guochuan Zhang

The Polynomial Learning With Errors problem (PLWE) serves as the background of two of the three cryptosystems standardized in August 2024 by the National Institute of Standards and Technology to replace non-quantum resistant current…

密码学与安全 · 计算机科学 2025-07-01 Iván Blanco Chacón , Raúl Durán Díaz , Rodrigo Martín Sánchez-Ledesma

We present a novel lackadaisical alternating quantum walk (LAQW) algorithm whose circuit depth scales as $\mathcal{O}(n^2+nt)$ for a $n\times n$ lattice over $t$ time steps. We show that this is a significant depth reduction compared to the…

量子物理 · 物理学 2026-04-17 Natalie Gibson , Niklas Keckman , Andrea Marchesin , Matti Raasakka , Ilkka Tittonen

Motivated by the problem of fast processing of attention matrices, we study fast algorithms for computing matrix-vector products for asymmetric Gaussian Kernel matrices $K\in \mathbb{R}^{n\times n}$. $K$'s columns are indexed by a set of…

机器学习 · 计算机科学 2025-08-01 Piotr Indyk , Michael Kapralov , Kshiteej Sheth , Tal Wagner

In this work, we revisit the dual attack and GPV trapdoor sampling, focusing on the lattice Gaussian sampling term, which can be a significant bottleneck in the overall complexity. We show that this sampling step can be quantumly…

量子物理 · 物理学 2026-05-26 Cong Ling , Hao Yan , Nicholas Zhao

Despite much research, hard weighted problems still resist super-polynomial improvements over their textbook solution. On the other hand, the unweighted versions of these problems have recently witnessed the sought-after speedups.…

数据结构与算法 · 计算机科学 2026-02-13 Mihail Stoian

In 2021, Chen, Liu, and Zhandry presented an efficient quantum algorithm for the average-case $\ell_\infty$-Short Integer Solution ($\mathrm{SIS}^\infty$) problem, in a parameter range outside the normal range of cryptographic interest, but…

量子物理 · 物理学 2026-03-06 Robin Kothari , Ryan O'Donnell , Kewen Wu

Lattice-based cryptography is one of the leading proposals for post-quantum cryptography. The Shortest Vector Problem (SVP) is arguably the most important problem for the cryptanalysis of lattice-based cryptography, and many lattice-based…

量子物理 · 物理学 2021-05-13 André Chailloux , Johanna Loyer

We consider a high dimensional linear regression problem where the goal is to efficiently recover an unknown vector $\beta^*$ from $n$ noisy linear observations $Y=X\beta^*+W \in \mathbb{R}^n$, for known $X \in \mathbb{R}^{n \times p}$ and…

统计理论 · 数学 2018-11-12 David Gamarnik , Ilias Zadik