Related papers: Complexity of 2D Snake Cube Puzzles

We study $n$-dimensional matrices with $\{0,1\}$-entries ($n$-cubes) such that all their $2$-dimensional slices are incidence matrices of symmetric designs. A known construction of these objects obtained from difference sets is generalized…

The enhanced hypercube $Q_{n,k}$ is a variant of the hypercube $Q_n$. We investigate all the lengths of cycles that an edge of the enhanced hypercube lies on. It is proved that every edge of $Q_{n,k}$ lies on a cycle of every even length…

The hypercube is one of the most popular interconnection networks since it has simple structure and is easy to implement. The $n$-dimensional twisted cube, denoted by $TQ_n$, an important variation of the hypercube, possesses some…

How hard is it to program $n$ robots to move about a long narrow aisle such that only $w$ of them can fit across the width of the aisle? In this paper, we answer that question by calculating the topological complexity of $\text{conf}(n,w)$,…

We study an algebraic cycle of the form $Z_0= r {\mathbb P}^{\frac{n}{2}}+\check r \check{\mathbb P}^{\frac{n}{2}}$, $r \in{\mathbb N},\check r \in{\mathbb Z},\ \ 1\leq r , |\check r |\leq 10,\ \ \gcd ( r ,\check r )=1$, inside the cubic…

We prove Wise's $W$-cycles conjecture. Consider a compact graph $\Gamma'$ immering into another graph $\Gamma$. For any immersed cycle $\Lambda:S^1\to \Gamma$, we consider the map $\Lambda'$ from the circular components $\mathbb{S}$ of the…

A version of the Hardy-Littlewood circle method is developed for number fields K/Q and is used to show that non-singular projective cubic hypersurfaces over K always have a K-rational point when they have dimension at least 8.

The objective of this work is to study weak infeasibility in second order cone programming. For this purpose, we consider a relaxation sequence of feasibility problems that mostly preserve the feasibility status of the original problem.…

In this paper; we prove that all sequences can be broken up in cycles. Each cycle follows the same pattern: 1) Upward trajectory. Odd and even numbers alternate until the cycle reaches an upper bound 2) Downward trajectory. Two or more…

We give a new proof of the following interesting fact recently proved by Bower and Michael: if a d-dimensional rectangular box can be tiled using translates of two types of rectangular bricks, then it can also be tiled in the following way.…

In this study, we investigate the computational complexity of some variants of generalized puzzles. We are provided with two sets S_1 and S_2 of polyominoes. The first puzzle asks us to form the same shape using polyominoes in S_1 and S_2.…

In this paper, we consider spin systems in three spatial dimensions, and prove that the local Hamiltonian problem for 3D lattices with face-centered cubic unit cells, 4-local translationally-invariant interactions between spin-3/2 particles…

Motivated by the applications of routing in PCB buses, the Rectangle Escape Problem was recently introduced and studied. In this problem, we are given a set of rectangles $\mathcal{S}$ in a rectangular region $R$, and we would like to…

The question of which manifolds are spin or spin^c has a simple and complete answer. In this paper we address the same question for spin^h manifolds, which are less studied but have appeared in geometry and physics in recent decades. We…

The aim of this paper is to endow the well-known family of hypercubic quantization hashing methods with theoretical guarantees. In hypercubic quantization, applying a suitable (random or learned) rotation after dimensionality reduction has…

This paper introduces a new variant of hypercubes, which we call Z-cubes. The n-dimensional Z-cube $H_n$ is obtained from two copies of the (n-1)-dimensional Z-cube $H_{n-1}$ by adding a special perfect matching between the vertices of…

We study the problem of deciding whether some PSPACE-complete problems have models of bounded size. Contrary to problems in NP, models of PSPACE-complete problems may be exponentially large. However, such models may take polynomial space in…

In an Euclidean $d$-space, the container problem asks to pack $n$ equally sized spheres into a minimal dilate of a fixed container. If the container is a smooth convex body and $d\geq 2$ we show that solutions to the container problem can…

A polyomino is called a development if it can make a box by folding edges of unit squares forming the polyomino. It is known that there are developments that can fold into a box (or boxes) in multiple ways. In this work, we conducted a…

We study harmonic maps from a 3-manifold with boundary to $\mathbb{S}^1$ and prove a special case of dihedral rigidity of three dimensional cubes whose dihedral angles are $\pi / 2$. Furthermore we give some applications to mapping torus…