English
Related papers

Related papers: New Bounds for the Snake-in-the-Box Problem

200 papers

This work concerns with proving space lower bounds for graph problems in the streaming model. It is known that computing the length of shortest path between two nodes in the streaming model requires $\Omega(n)$ space, where $n$ is the…

Computational Complexity · Computer Science 2020-11-23 Paritosh Verma

The longest common extension problem is to preprocess a given string of length $n$ into a data structure that uses $S(n)$ bits on top of the input and answers in $T(n)$ time the queries $\mathit{LCE}(i,j)$ computing the length of the…

Data Structures and Algorithms · Computer Science 2017-05-12 Dmitry Kosolobov

The theory of weak solutions for nonlinear conservation laws is now well developed in the case of scalar equations [3] and for one-dimensional hyperbolic systems [1, 2]. For systems in several space dimensions, however, even the global…

Analysis of PDEs · Mathematics 2007-05-23 Alberto Bressan

How many mutually non-attacking queens can be placed on a d-dimensional chessboard of size n? The n-queens problem in higher dimensions is a generalization of the well-known n-queens problem. We provide a comprehensive overview of…

Optimization and Control · Mathematics 2024-06-11 Tim Kunt

We prove a lower bound on the length of the longest $j$-tight cycle in a $k$-uniform binomial random hypergraph for any $2 \le j \le k-1$. We first prove the existence of a $j$-tight path of the required length. The standard "sprinkling"…

Combinatorics · Mathematics 2021-03-31 Oliver Cooley

Following a combinatorial observation made by one of us recently in relation to a problem in quantum information [Nakata et al., Phys. Rev. X 7:021006 (2017)], we study what are the possible intersection cardinalities of a $k$-dimensional…

Combinatorics · Mathematics 2019-01-03 Nolmar Melo , Andreas Winter

Given a dataset $S$ of points in $\mathbb{R}^2$, the range closest-pair (RCP) problem aims to preprocess $S$ into a data structure such that when a query range $X$ is specified, the closest-pair in $S \cap X$ can be reported efficiently.…

Computational Geometry · Computer Science 2018-04-03 Jie Xue , Yuan Li , Saladi Rahul , Ravi Janardan

The sphere packing problem asks for the greatest density of a packing of congruent balls in Euclidean space. The current best upper bound in all sufficiently high dimensions is due to Kabatiansky and Levenshtein in 1978. We revisit their…

Metric Geometry · Mathematics 2015-01-14 Henry Cohn , Yufei Zhao

Let $S$ be a set of $n$ points in $\mathbb{R}^d$, where $d \geq 2$ is a constant, and let $H_1,H_2,\ldots,H_{m+1}$ be a sequence of vertical hyperplanes that are sorted by their first coordinates, such that exactly $n/m$ points of $S$ are…

Finding the longest common subsequence in $k$-length substrings (LCS$k$) is a recently proposed problem motivated by computational biology. This is a generalization of the well-known LCS problem in which matching symbols from two sequences…

Data Structures and Algorithms · Computer Science 2013-11-20 Sebastian Deorowicz , Szymon Grabowski

We show that an improvement to the best known quantum lower bound for GRAPH-COLLISION problem implies an improvement to the best known lower bound for TRIANGLE problem in the quantum query complexity model. In GRAPH-COLLISION we are given…

Quantum Physics · Physics 2015-07-15 Kaspars Balodis , Jānis Iraids

Let $(E,\xi)={\rm ind}(E_n, \xi_n)$ be an inductive limit of a sequence $(E_n, \xi_n)_{n\in N}$ of locally convex spaces and let every step $(E_n, \xi_n)$ be endowed with a partial order by a pointed convex (solid) cone $S_n$. In the…

Functional Analysis · Mathematics 2013-12-11 Jing-Hui Qiu

The Chow-Robbins game is a classical still partly unsolved stopping problem introduced by Chow and Robbins in 1965. You repeatedly toss a fair coin. After each toss, you decide if you take the fraction of heads up to now as a payoff,…

Probability · Mathematics 2021-10-07 Sören Christensen , Simon Fischer

Consider N equally-spaced points on a circle of circumference N. Choose at random n points out of $N$ on this circle and append clockwise an arc of integral length k to each such point. The resulting random set is made of a random number of…

Statistical Mechanics · Physics 2015-05-28 Thierry Huillet

Let $Q_d$ be the hypercube of dimension $d$ and let $H$ and $K$ be subsets of the vertex set $V(Q_d)$, called configurations in $Q_d$. We say that $K$ is an \emph{exact copy} of $H$ if there is an automorphism of $Q_d$ which sends $H$ onto…

Combinatorics · Mathematics 2022-09-13 John Goldwasser , Ryan Hansen

Motivated by the rank-modulation scheme with applications to flash memory, we consider Gray codes capable of detecting a single error, also known as snake-in-the-box codes. We study two error metrics: Kendall's $\tau$-metric, which applies…

Information Theory · Computer Science 2020-07-01 Yonatan Yehezkeally , Moshe Schwartz

The problem of finding a local minimum of a black-box function is central for understanding local search as well as quantum adiabatic algorithms. For functions on the Boolean hypercube {0,1}^n, we show a lower bound of Omega(2^{n/4}/n) on…

Quantum Physics · Physics 2007-05-23 Scott Aaronson

Let $x'=S(t,x)$ be a differential equation in the cylinder, linear piecewise in $x$ and with trigonometric coefficients in $t$. In this paper, we provide an upper bound on the number of limit cycles in terms of the number of regions of the…

Classical Analysis and ODEs · Mathematics 2026-05-08 J. L. Bravo , R. Trinidad-Forte

We consider a model of computation motivated by possible limitations on quantum computers. We have a linear array of n wires, and we may perform operations only on pairs of adjacent wires. Our goal is to build a circuits that perform…

Quantum Physics · Physics 2007-05-23 Samuel A. Kutin , David Petrie Moulton , Lawren M. Smithline

The maximum labelled clique problem is a variant of the maximum clique problem where edges in the graph are given labels, and we are not allowed to use more than a certain number of distinct labels in a solution. We introduce a new…

Data Structures and Algorithms · Computer Science 2014-11-18 Ciaran McCreesh , Patrick Prosser