English
Related papers

Related papers: An ETH-Tight Exact Algorithm for Euclidean TSP

200 papers

The approximation of fixed points by numerical fixed points was presented in the elegant monograph of Krasnosel'skii et al. (1972). The theory, both in its formulation and implementation, requires a differential operator calculus, so that…

Analysis of PDEs · Mathematics 2017-09-27 Joseph W. Jerome

Integer Linear Programming with $n$ binary variables and $m$ many $0/1$-constraints can be solved in time $2^{\tilde O(m^2)} \text{poly}(n)$ and it is open whether the dependence on $m$ is optimal. Several seemingly unrelated problems,…

Data Structures and Algorithms · Computer Science 2024-09-06 Lars Rohwedder , Karol Węgrzycki

We present an exact quantum algorithm for solving the Exact Satisfiability (XSAT) problem, which belongs to the important NP-complete complexity class. The algorithm is based on an intuitive approach that can be divided into two parts:…

Quantum Physics · Physics 2016-08-30 Salvatore Mandrà , Gian Giacomo Guerreschi , Alán Aspuru-Guzik

In the present article we study strong approximation of solutions of scalar stochastic differential equations (SDEs) with bounded and $\alpha$-H\"older continuous drift coefficient and constant diffusion coefficient at time point $1$.…

Probability · Mathematics 2025-04-30 Simon Ellinger , Thomas Müller-Gronbach , Larisa Yaroslavtseva

We study the traveling salesman problem in the hyperbolic plane of Gaussian curvature $-1$. Let $\alpha$ denote the minimum distance between any two input points. Using a new separator theorem and a new rerouting argument, we give an…

Computational Geometry · Computer Science 2020-02-14 Sándor Kisfaludi-Bak

We study the complexity of geometric problems on spaces of low fractal dimension. It was recently shown by [Sidiropoulos & Sridhar, SoCG 2017] that several problems admit improved solutions when the input is a pointset in Euclidean space…

Computational Complexity · Computer Science 2017-12-14 Anastasios Sidiropoulos , Kritika Singhal , Vijay Sridhar

We show new applications of the nearest-neighbor chain algorithm, a technique that originated in agglomerative hierarchical clustering. We apply it to a diverse class of geometric problems: we construct the greedy multi-fragment tour for…

Computational Geometry · Computer Science 2019-12-04 Nil Mamano , Alon Efrat , David Eppstein , Daniel Frishberg , Michael Goodrich , Stephen Kobourov , Pedro Matias , Valentin Polishchuk

Given a pattern string $P$ of length $n$ and a query string $T$ of length $m$, where the characters of $P$ and $T$ are drawn from an alphabet of size $\Delta$, the {\em exact string matching} problem consists of finding all occurrences of…

Data Structures and Algorithms · Computer Science 2015-10-01 Srikrishnan Divakaran

The Exact Satisfiability problem, XSAT, is defined as the problem of finding a satisfying assignment to a formula $\varphi$ in CNF such that exactly one literal in each clause is assigned to be "1" and the other literals in the same clause…

Data Structures and Algorithms · Computer Science 2020-12-15 Gordon Hoi

How efficiently can a closed curve of unit length in $\mathbb{R}^d$ be covered by $k$ closed curves so as to minimize the maximum length of the $k$ curves? We show that the maximum length is at most $2k^{-1} - \frac{1}{4} k^{-4}$ for all…

Metric Geometry · Mathematics 2025-09-16 Travis Dillon , Adrian Dumitrescu

We describe the first strongly subquadratic time algorithm with subexponential approximation ratio for approximately computing the Fr\'echet distance between two polygonal chains. Specifically, let $P$ and $Q$ be two polygonal chains with…

Computational Geometry · Computer Science 2021-03-30 Connor Colombe , Kyle Fox

Single Source Shortest Paths ($\textrm{SSSP}$) is among the most well-studied problems in computer science. In the incremental (resp. decremental) setting, the goal is to maintain distances from a fixed source in a graph undergoing edge…

Data Structures and Algorithms · Computer Science 2024-07-16 Barna Saha , Virginia Vassilevska Williams , Yinzhan Xu , Christopher Ye

We give a quantum algorithm to exactly solve certain problems in combinatorial optimization, including weighted MAX-2-SAT as well as problems where the objective function is a weighted sum of products of Ising variables, all terms of the…

Quantum Physics · Physics 2018-07-20 M. B. Hastings

Developing a contemporary optimal transport (OT) solver requires navigating trade-offs among several critical requirements: GPU parallelization, scalability to high-dimensional problems, theoretical convergence guarantees, empirical…

Machine Learning · Computer Science 2025-04-04 Mete Kemertas , Amir-massoud Farahmand , Allan D. Jepson

A Fixed-Parameter Tractable (\FPT) $\rho$-approximation algorithm for a minimization (resp. maximization) parameterized problem $P$ is an FPT algorithm that, given an instance $(x, k)\in P$ computes a solution of cost at most $k \cdot…

Data Structures and Algorithms · Computer Science 2013-08-19 Rajesh Chitnis , MohammadTaghi Hajiaghayi , Guy Kortsarz

Significance testing -- especially the paired-permutation test -- has played a vital role in developing NLP systems to provide confidence that the difference in performance between two systems (i.e., the test statistic) is not due to luck.…

Computation and Language · Computer Science 2022-05-05 Ran Zmigrod , Tim Vieira , Ryan Cotterell

We show that the max entropy algorithm can be derandomized (with respect to a particular objective function) to give a deterministic $3/2-\epsilon$ approximation algorithm for metric TSP for some $\epsilon > 10^{-36}$. To obtain our result,…

Data Structures and Algorithms · Computer Science 2022-12-14 Anna R. Karlin , Nathan Klein , Shayan Oveis Gharan

The equidistant subsequence pattern matching problem is considered. Given a pattern string $P$ and a text string $T$, we say that $P$ is an \emph{equidistant subsequence} of $T$ if $P$ is a subsequence of the text such that consecutive…

Data Structures and Algorithms · Computer Science 2020-02-18 Mitsuru Funakoshi , Yuto Nakashima , Shunsuke Inenaga , Hideo Bannai , Masayuki Takeda , Ayumi Shinohara

We consider the long-time behavior of an explicit tamed exponential Euler scheme applied to a class of parabolic semilinear stochastic partial differential equations driven by additive noise, under a one-sided Lipschitz continuity…

Numerical Analysis · Mathematics 2020-10-02 Charles-Edouard Bréhier

Traveling salesman problem is a NP-hard problem. Until now, researchers have not found a polynomial time algorithm for traveling salesman problem. Among the existing algorithms, dynamic programming algorithm can solve the problem in time…

Data Structures and Algorithms · Computer Science 2015-10-16 Yunpeng Li
‹ Prev 1 8 9 10 Next ›