English
Related papers

Related papers: Complexity of 2D Snake Cube Puzzles

200 papers

We study when an arrangement of axis-aligned rectangles can be transformed into an arrangement of axis-aligned squares in $\mathbb{R}^2$ while preserving its structure. We found a counterexample to the conjecture of J. Klawitter, M.…

Computational Geometry · Computer Science 2016-11-24 Matěj Konečný , Stanislav Kučera , Michal Opler , Jakub Sosnovec , Štěpán Šimsa , Martin Töpfer

Edge-matching problems, also called edge matching puzzles, are abstractions of placement problems with neighborhood conditions. Pieces with colored edges have to be placed on a board such that adjacent edges have the same color. The problem…

Data Structures and Algorithms · Computer Science 2017-03-29 Martin Ebbesen , Paul Fischer , Carsten Witt

If $n$ is even, the $n$-dimensional hypercube can be decomposed into edge-disjoint cycles of length $2^i$ for every value of $i$ from $2$ to $n$.

Combinatorics · Mathematics 2024-05-22 Samuel Gibson , David Offner

A Hilbert cube of dimension $d$ is the set of integers \[ H(a_{0}; a_{1}, \ldots, a_{d})=a_{0}+\{0, a_{1}\}+\cdots+\{0, a_{d}\}=\left\{a_{0}+\sum_{i=1}^{d}\varepsilon_{i}a_{i}:\;\varepsilon_{i}\in\{0,1\}\right\}. \] Brown, Erd\H{o}s and…

Number Theory · Mathematics 2026-04-08 Andrew Bremner , Christian Elsholtz , Maciej Ulas

Hypertree decompositions (HDs), as well as the more powerful generalized hypertree decompositions (GHDs), and the yet more general fractional hypertree decompositions (FHDs) are hypergraph decomposition methods successfully used for…

Computational Complexity · Computer Science 2021-11-22 Georg Gottlob , Matthias Lanzinger , Reinhard Pichler , Igor Razgon

Twisted hypercubes are generalizations of the Boolean hypercube, obtained by iteratively connecting two instances of a graph by a uniformly random perfect matching. Dudek et al. showed that when the two instances are independent, these…

Combinatorics · Mathematics 2023-05-08 Itai Benjamini , Yotam Dikstein , Renan Gross , Maksim Zhukovskii

In this paper, we study the following knapsack problem: Given a list of squares with profits, we are requested to pack a sublist of them into a rectangular bin (not a unit square bin) to make profits in the bin as large as possible. We…

Data Structures and Algorithms · Computer Science 2008-12-18 Xin Han , Kazuo Iwama , Guochuan Zhang

Many conjectures and open problems in graph theory can either be reduced to cubic graphs or are directly stated for cubic graphs. Furthermore, it is known that for a lot of problems, a counterexample must be a snark, i.e. a bridgeless cubic…

Combinatorics · Mathematics 2023-09-27 Edita Máčajová , Giuseppe Mazzuoccolo , Vahan Mkrtchyan , Jean Paul Zerafa

We prove that it is NP-hard to decide whether two points in a polygonal domain with holes can be connected by a wire. This implies that finding any approximation to the shortest path for a long snake amidst polygonal obstacles is NP-hard.…

Computational Geometry · Computer Science 2015-05-19 Irina Kostitsyna , Valentin Polishchuk

A finite set $X$ in a complex sphere is called a complex spherical $2$-code if the number of inner products between two distinct vectors in $X$ is equal to $2$. In this paper, we characterize the tight complex spherical $2$-codes by doubly…

Combinatorics · Mathematics 2015-07-23 Hiroshi Nozaki , Sho Suda

We examine a computational geometric problem concerning the structure of polymers. We model a polymer as a polygonal chain in three dimensions. Each edge splits the polymer into two subchains, and a dihedral rotation rotates one of these…

Computational Geometry · Computer Science 2007-05-23 Michael Soss , Jeff Erickson , Mark Overmars

An example of reversible (or hinge inside-out transformable) figures is the Dudeney's Haberdasher's puzzle in which an equilateral triangle is dissected into four pieces, then hinged like a chain, and then is transformed into a square by…

Computational Geometry · Computer Science 2016-07-05 Jin Akiyama , Stefan Langerman , Kiyoko Matsunaga

We consider 3D consistent systems of six independent quad-equations assigned to the faces of a cube. The well-known classification of 3D consistent quad-equations, the so-called ABS-list, is included in this situation. The extension of…

Exactly Solvable and Integrable Systems · Physics 2015-05-20 Raphael Boll

We investigate the problem of the maximum number of cubic subwords (of the form $www$) in a given word. We also consider square subwords (of the form $ww$). The problem of the maximum number of squares in a word is not well understood.…

Formal Languages and Automata Theory · Computer Science 2015-05-14 Marcin Kubica , Jakub Radoszewski , Wojciech Rytter , Tomasz Walen

Given an $\mathcal{H}$-polytope $P$ and a $\mathcal{V}$-polytope $Q$, the decision problem whether $P$ is contained in $Q$ is co-NP-complete. This hardness remains if $P$ is restricted to be a standard cube and $Q$ is restricted to be the…

Combinatorics · Mathematics 2016-02-19 Kai Kellner , Thorsten Theobald

We consider the online problem of packing circles into a square container. A sequence of circles has to be packed one at a time, without knowledge of the following incoming circles and without moving previously packed circles. We present an…

Data Structures and Algorithms · Computer Science 2019-05-03 Sándor P. Fekete , Sven von Höveling , Christian Scheffer

Suppose that a finite-dimensional cube is orthogonally projected onto a central section of itself by a subspace of one dimension less. Up to dimension $9$, at least one vertex is projected onto the section, but for dimension $10$ or larger,…

Functional Analysis · Mathematics 2020-10-13 Yossi Lonke

A collection of unit cubes with integer coordinates in $\mathbb R^3$ is an animal if its union is homeomorphic to the 3-ball. Pach's animal problem asks whether any animal can be transformed to a single cube by adding or removing cubes one…

Combinatorics · Mathematics 2024-02-29 Martin Tancer

Given a random $n \times n$ symmetric matrix $\boldsymbol W$ drawn from the Gaussian orthogonal ensemble (GOE), we consider the problem of certifying an upper bound on the maximum value of the quadratic form $\boldsymbol x^\top \boldsymbol…

Data Structures and Algorithms · Computer Science 2019-04-09 Afonso S. Bandeira , Dmitriy Kunisky , Alexander S. Wein

Partial cubes are graphs that can be isometrically embedded into hypercubes. Convex cycles play an important role in the study of partial cubes. In this paper, we prove that a regular partial cube is a hypercube (resp., a Doubled Odd graph,…

Combinatorics · Mathematics 2024-10-15 Yan-Ting Xie , Yong-De Feng , Shou-Jun Xu