English
Related papers

Related papers: Concerning the bookshelf problem

200 papers

We offer some theorems, mainly of finiteness, for certain patterns in elliptical billiards, related to periodic trajectories. For instance, if two players hit a ball at a given position and with directions forming a fixed angle in…

Number Theory · Mathematics 2021-07-20 Pietro Corvaja , Umberto Zannier

Consider two random walks on $\mathbb{Z}$. The transition probabilities of each walk is dependent on trajectory of the other walker i.e. a drift $p>1/2$ is obtained in a position the other walker visited twice or more. This simple model has…

Probability · Mathematics 2012-10-30 Noam Berger , Eviatar B. Procaccia

In this paper, we study the number of moves in a multidimensional elephant random walk with stops. We establish several convergence results for the number of moves, including the law of large numbers and the law of iterated logarithm. Using…

Probability · Mathematics 2026-03-10 Shyan Ghosh , Manisha Dhillon , Kuldeep Kumar Kataria

Many interesting computational problems can be reformulated in terms of decision trees. A natural classical algorithm is to then run a random walk on the tree, starting at the root, to see if the tree contains a node n levels from the root.…

Quantum Physics · Physics 2009-10-30 Edward Farhi , Sam Gutmann

The 15 puzzle is a classic reconfiguration puzzle with fifteen uniquely labeled unit squares within a $4 \times 4$ board in which the goal is to slide the squares (without ever overlapping) into a target configuration. By generalizing the…

Computational Complexity · Computer Science 2018-04-30 Erik D. Demaine , Mikhail Rudoy

We consider the allocation problem in which $m \leq (1-\epsilon) dn $ items are to be allocated to $n$ bins with capacity $d$. The items $x_1,x_2,\ldots,x_m$ arrive sequentially and when item $x_i$ arrives it is given two possible bin…

Data Structures and Algorithms · Computer Science 2017-08-24 Alan Frieze , Samantha Petti

Consider a system of $K$ particles moving on the vertex set of a finite connected graph with at most one particle per vertex. If there is one, the particle at $x$ chooses one of the $\hbox{deg} (x)$ neighbors of its location uniformly at…

Probability · Mathematics 2019-06-06 Shiba Biswal , Nicolas Lanchier

We describe the behavior of solutions of switched systems with multiple globally exponentially stable equilibria. We introduce an ideal attractor and show that the solutions of the switched system stay in any given $\varepsilon$-inflation…

Dynamical Systems · Mathematics 2018-05-22 Oleg Makarenkov , Anthony Phung

How many moves does it take to solve Rubik's Cube? Positions are known that require 20 moves, and it has already been shown that there are no positions that require 27 or more moves; this is a surprisingly large gap. This paper describes a…

Symbolic Computation · Computer Science 2008-03-25 Tomas Rokicki

We consider equilibrium one-on-one conversations between neighbors on a circular table, with the goal of assessing the likelihood of a (perhaps) familiar situation: sitting at a table where both of your neighbors are talking to someone…

Probability · Mathematics 2024-11-18 Kenny Peng

We prove an analogue of the classical ballot theorem that holds for any random walk in the range of attraction of the normal distribution. Our result is best possible: we exhibit examples demonstrating that if any of our hypotheses are…

Probability · Mathematics 2008-02-28 L. Addario-Berry , B. A. Reed

The investigation of conditions guaranteeing the appearance of cycles of certain lengths is one of the most well-studied topics in graph theory. In this paper we consider a problem of this type which asks, for fixed integers ${\ell}$ and…

Combinatorics · Mathematics 2017-12-05 Lior Gishboliner , Asaf Shapira

The present paper is devoted to study the asymptotic behavior of a sequence of linear elliptic equations with a varying drift term, whose coefficients are just bounded in $L^N(\Omega)$, with $N$ the dimension of the space. It is known that…

Analysis of PDEs · Mathematics 2024-03-06 Juan Casado-Díaz

The Skolem Problem asks to determine whether a given integer linear recurrence sequence has a zero term. This problem arises across a wide range of topics in computer science, including loop termination, formal languages, automata theory,…

Discrete Mathematics · Computer Science 2024-02-21 Florian Luca , James Maynard , Armand Noubissie , Joël Ouaknine , James Worrell

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…

We present a loosely-stabilizing phase clock for population protocols. In the population model we are given a system of $n$ identical agents which interact in a sequence of randomly chosen pairs. Our phase clock is leaderless and it…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-03 Petra Berenbrink , Felix Biermeier , Christopher Hahn , Dominik Kaaser

Hofstadter's Q-sequence remains an enigma fifty years after its introduction. Initially, the terms of the sequence increase monotonically by 0 or 1 at a time. But, Q(12)=8 while Q(11)=6, and monotonicity fails shortly thereafter. In this…

Number Theory · Mathematics 2016-11-28 Nathan Fox

In this paper, we determine the bifurcation set of a real polynomial function of two variables for non-degenerate case in the sense of Newton polygons by using a toric compactification. We also count the number of singular phenomena at…

Geometric Topology · Mathematics 2016-08-10 Masaharu Ishikawa , Tat Thang Nguyen , Tien Son Pham

Gibbons and Korach studied a fundamental problem in 1997: given an observed sequence of reads and writes of a multi-threaded program, does there exist an interleaving which is sequentially consistent? Apart from applications in testing…

Programming Languages · Computer Science 2026-05-12 R. Govind , S. Krishna , Sanchari Sil , B. Srivathsan

In this article we present a class of formulas Fn, n in Nat, that need at least 2^n assumptions to be proved in a normal proof in Natural Deduction for purely implicational minimal propositional logic. In purely implicational classical…

Logic in Computer Science · Computer Science 2014-05-06 Edward Hermann Haeusler
‹ Prev 1 4 5 6 7 8 10 Next ›