Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2501.12282

Complexity of Jelly-No and Hanano games with various constraints

Owen Crabtree·Valia Mitsou
View original source ↗Read source document ↗Export metadata ↓

Abstract

This work shows new results on the complexity of games Jelly-No and Hanano with various constraints on the size of the board and number of colours. Hanano and Jelly-No are one-player, 2D side-view puzzle games with a dynamic board consisting of coloured, movable blocks disposed on platforms. These blocks can be moved by the player and are subject to gravity. Both games, created by Qrostar and available online, somehow vary in their gameplay, but the goal is always to move the coloured blocks in order to reach a specific configuration and make them interact with each other or with other elements of the game. In Jelly-No the goal is to merge all blocks of the same colour, which happens when they make contact. In Hanano the goal is to make all the coloured blocks bloom by making contact with flowers that have the same colour. Jelly-No was proven by Chao Yang to be NP-complete under the restriction that all movable blocks have the same colour and NP-hard for more colours. Hanano was proven by Michael C. Chavrimootoo to be PSPACE-complete under the restriction that all movable blocks have the same colour. However, the question of PSPACE-completeness for Jelly-No with more than one colours was left open. In this paper, we settle this question, proving that Jelly-No is PSPACE-complete with an unbounded number of colours. We further show that, if we allow black jellies (that is, jellies that cannot and do not need to merge), the game is PSPACE-complete even for one colour. We further show that one-colour Jelly-No and Hanano remain NP-hard even if the width or the height of the board are constants.

Explore related subjects

cs.CC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Owen Crabtree, Valia Mitsou. 2025-01-21. Complexity of Jelly-No and Hanano games with various constraints. https://arxiv.org/abs/2501.12282

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Computational Complexity of Holant Problems on 4-regular Graphs from the Stable Subgroup Sequence of $SL(2,\mathbb{C})$

The Holant framework provides a general setting for studying counting problems and includes graph homomorphisms (\#GH) and counting constraint satisfaction problems (\#CSP) as special cases. Over the past twenty years, a series of computational complexity dichotomies have been established for Holant problems, but the classification for complex-valued signatures is still open. The main obstacle is the case in which all signatures have even arity. In this paper, we establish a dichotomy for Holant problems with a complex-valued 4-ary signature, which is a key base case for the full classification of Holant problems. We present a new strategy by introducing Schur's theorem, the classification of finite subgroups of $\mathrm{SL}(2,\mathbb{C})$ and stable subgroup sequences into the proof. These new techniques are of independent interest.

cs.CC↗
arXiv2026

Topology inside NC$^1$

We show that ACC$^0$ is precisely what can be computed with constant-width circuits of polynomial size and polylogarithmic genus. This extends a characterization given by Hansen, showing that planar constant-width circuits also characterize ACC$^0$. Thus polylogarithmic genus provides no additional computational power in this model. We consider other generalizations of planarity, including crossing number and thickness. We show that constant-width circuits of polynomial size and thickness two already suffice to capture all of NC$^1$.

cs.CC↗