English
Related papers

Related papers: On the grasshopper problem with signed jumps

200 papers

Suppose that we are given two independent sets I_b and I_r of a graph such that |I_b|=|I_r|, and imagine that a token is placed on each vertex in |I_b|. Then, the sliding token problem is to determine whether there exists a sequence of…

Data Structures and Algorithms · Computer Science 2015-11-03 Takeshi Yamada , Ryuhei Uehara

Solving zero-dimensional polynomial systems using Gr\"obner bases is usually done by, first, computing a Gr\"obner basis for the degree reverse lexicographic order, and next computing the lexicographic Gr\"obner basis with a change of order…

Symbolic Computation · Computer Science 2022-05-17 Jérémy Berthomieu , Vincent Neiger , Mohab Safey El Din

The purpose of this paper is to study well-posedness of the initial value problem (IVP) for the inhomogeneous nonlinear Schr\"odinger equation (INLS) $$ i u_t +\Delta u+\lambda|x|^{-b}|u|^\alpha u = 0, $$ where $\lambda=\pm 1$ and $\alpha$,…

Analysis of PDEs · Mathematics 2016-06-10 Carlos M. Guzmán

Let $x_1 < \dots < x_n$ and $y_1 < \dots < y_n$, $n \in \mathbb N$, be real numbers. We show by an example that the assignment problem $$ \max_{\sigma \in S_n} F_\sigma(x,y) := \frac12 \sum_{i,k=1}^n |x_i - x_k|^\alpha \, |y_{\sigma(i)} -…

Numerical Analysis · Mathematics 2022-05-19 Robert Beinert , Cosmas Heiss , Gabriele Steidl

Algorithmic solutions for the motion planning problem have been investigated for five decades. Since the development of A* in 1969 many approaches have been investigated, traditionally classified as either grid decomposition, potential…

Robotics · Computer Science 2020-07-27 Jim Mainprice , Nathan Ratliff , Marc Toussaint , Stefan Schaal

We show that the Skolem Problem is decidable in finitely generated commutative rings of positive characteristic. More precisely, we show that there exists an algorithm which, given a finite presentation of a (unitary) commutative ring…

Logic in Computer Science · Computer Science 2026-03-12 Ruiwen Dong , Doron Shafrir

Problems and their solutions of the Fifth International Students' Olympiad in cryptography NSUCRYPTO'2018 are presented. We consider problems related to attacks on ciphers and hash functions, Boolean functions, quantum circuits, Enigma,…

Jacobi said "man muss immer umkehren". And indeed it takes a genius like Michael Somos to take a specific non-linear recurrence, like a(n)=(a(n-1)a(n-3)+a(n-2)^2)/a(n-4), subject to a(1)=1, a(2)=1, a(3)=1, a(4)=1, and observe that surprise,…

Combinatorics · Mathematics 2013-03-22 Shalosh B. Ekhad , Doron Zeilberger

The goal in {\em reconfiguration problems} is to compute a {\em gradual transformation} between two feasible solutions of a problem such that all intermediate solutions are also feasible. In the {\em Matching Reconfiguration Problem} (MRP),…

Data Structures and Algorithms · Computer Science 2020-05-07 Noam Solomon , Shay Solomon

In many integer factoring algorithms, one produces a sequence of integers (created in a pseudo-random way), and wishes to rapidly determine a subsequence whose product is a square (which we call a square product). In his lecture at the 1994…

Number Theory · Mathematics 2008-11-04 Ernie Croot , Andrew Granville , Robin Pemantle , Prasad Tetali

It is a notorious open question whether integer programs (IPs), with an integer coefficient matrix $M$ whose subdeterminants are all bounded by a constant $\Delta$ in absolute value, can be solved in polynomial time. We answer this question…

A nonnegative integer $p$ is realizable by a graph-theoretical invariant $I$ if there exist a graph $G$ such that $I(G) = p$. The inverse problem for $I$ consists of finding all nonnegative integers $p$ realizable by $I$. In this paper, we…

In this paper we consider $m$ ($m \geq 1$)conjunctions of Max-atoms that is atoms of the form $\max(z,y) + r \geq x$, where the offset $r$ is a real constant and $x,y,z$ are variables. We show that the Max-atom problem (MAP) belongs to…

Combinatorics · Mathematics 2024-08-28 Chams Lahlou , Laurent Truffet

Consider a graph with n nodes and m edges, independent edge weights and lengths, and arbitrary distance demands for node pairs. The spanner problem asks for a minimum-weight subgraph that satisfies these demands via sufficiently short paths…

Data Structures and Algorithms · Computer Science 2025-07-02 Fritz Bökler , Markus Chimani , Henning Jasper

In the Online List Labeling problem, a set of $n \leq N$ elements from a totally ordered universe must be stored in sorted order in an array with $m=N+\lceil\varepsilon N \rceil$ slots, where $\varepsilon \in (0,1]$ is constant, while an…

Data Structures and Algorithms · Computer Science 2024-05-08 Martin P. Seybold

Everybody has certainly heard about palindromes: words that stay the same when read backwards. For instance kayak, radar, or rotor. Mathematicians are interested in palindromic numbers: positive integers whose expansion in a certain integer…

Combinatorics · Mathematics 2020-08-18 Lubomira Dvorakova , Stanislav Kruml , David Ryzak

In the $(k,m)$-mappability problem, for a given sequence $T$ of length $n$, the goal is to compute a table whose $i$th entry is the number of indices $j \ne i$ such that the length-$m$ substrings of $T$ starting at positions $i$ and $j$…

Data Structures and Algorithms · Computer Science 2021-06-18 Panagiotis Charalampopoulos , Costas S. Iliopoulos , Tomasz Kociumaka , Solon P. Pissis , Jakub Radoszewski , Juliusz Straszyński

Consider the spatial Newtonian three body problem at fixed negative energy and fixed angular momentum. The moment of inertia $I$ provides a measure of the overall size of a three-body system. We will prove that there is a positive number…

Dynamical Systems · Mathematics 2016-10-25 Connor Jackman

We deal with the problem to find the number $P(b)$ of integer non-negative solutions of an equation $\sum_{i=1}^{n} a_i x_i=b$, where $a_1,a_2,...,a_n$ are natural numbers and $b$ is a non-negative integer. As different from the traditional…

Number Theory · Mathematics 2021-08-11 Eteri Samsonadze

We prove a criterion on the possible locations of zeros of type I and type II multiple orthogonal polynomials in terms of normality of degree $1$ Christoffel transforms. We provide another criterion in terms of degree $2$ Christoffel…

Classical Analysis and ODEs · Mathematics 2026-01-22 Rostyslav Kozhan , Marcus Vaktnäs