REVIEW 2 major objections 2 minor
Non-orientable Nurikabe
T0 review · 2 major / 2 minor · reviewed 2026-05-22 · grok-4.3
Pith's one-line read Two adaptations of Nurikabe to non-orientable surfaces connect puzzle counts to the Jacobsthal sequence on 1xn boards.
desk verdict This paper counts two non-orientable Nurikabe variants on 1xn Möbius, Klein, and projective-plane boards and matches the results to four OEIS sequences. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Two rule adaptations for non-orientable Nurikabe that preserve the connectivity and separation constraints of the original puzzle when the underlying surface is non-orientable.
What would settle it
Direct enumeration of the valid non-orientable Nurikabe fillings for n=4 on a 1×n Möbius strip that yields a number not equal to the corresponding Jacobsthal sequence term would disprove the claimed match.
Extended reading notes
Core claim
We propose two versions of non-orientable Nurikabe and investigate their combinatorics on Möbius strips, Klein bottles, and projective planes of size 1×n. Our results establish new connections among the OEIS sequences A101946, A213387, A123203, and A001045 (the Jacobsthal sequence).
Load-bearing premise
The two proposed rule adaptations for non-orientable Nurikabe preserve the essential connectivity and separation constraints of the original puzzle when the underlying surface is non-orientable.
Editorial extensions
If this is right
- The number of valid puzzles on 1×n Möbius strips equals terms of the Jacobsthal sequence.
- The same enumerations on Klein bottles and projective planes also match the listed OEIS sequences.
- The puzzle model supplies combinatorial interpretations for sequences A101946, A213387, A123203, and A001045.
- Recursive counting methods based on the sequences become available for these surface puzzles.
Reading between the lines
- The same rule adaptations could be applied to other grid puzzles to generate new counts on non-orientable surfaces.
- The Jacobsthal connection may yield closed-form expressions or generating functions for the number of valid puzzles.
- Similar topological extensions might connect other recreational puzzles to classical sequences in combinatorics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes two rule adaptations for Nurikabe on non-orientable surfaces and enumerates valid configurations on 1×n Möbius strips, Klein bottles, and projective planes, claiming that the resulting counts match OEIS sequences A101946, A213387, A123203, and A001045 (Jacobsthal).
Significance. If the adaptations correctly preserve connectivity and separation constraints after quotient identifications, the work supplies explicit combinatorial interpretations for these sequences on non-orientable topologies and extends puzzle enumeration beyond the orientable case. The OEIS matches, once verified, constitute a concrete strength by linking the enumerations to independently tabulated objects.
major comments (2)
- [§2] §2 (Definitions of the two non-orientable variants): the connectivity rule for black cells is stated via local adjacency on the grid before quotienting; it is not shown that this coincides with path-connectedness in the quotient topology when a path closes only after crossing the twist or cross-cap. Without an explicit check (e.g., via fundamental group or covering-space lift), configurations counted as connected may become disconnected or merged on the surface, undermining the claim that the enumerations solve well-defined non-orientable Nurikabe instances.
- [§4] §4 (Enumeration results for 1×n projective planes): the reported counts are asserted to equal A123203, yet the manuscript supplies neither a recurrence relation nor a bijective proof; the match is presented only as numerical agreement up to the computed range. This leaves open whether the equality holds for all n or is an artifact of the chosen rule adaptation.
minor comments (2)
- [Table 1] Table 1 caption: the column headers for the two variants are not repeated on subsequent pages, making cross-reference to the Möbius-strip versus Klein-bottle rows difficult.
- [Abstract] The abstract states that results were obtained but gives no indication of the computational method or verification procedure; a brief sentence on the enumeration algorithm would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the constructive major comments on our manuscript. The observations regarding the topological justification of connectivity and the nature of the OEIS matches are well taken. We address each point below and describe the revisions we intend to make.
read point-by-point responses
-
Referee: §2 (Definitions of the two non-orientable variants): the connectivity rule for black cells is stated via local adjacency on the grid before quotienting; it is not shown that this coincides with path-connectedness in the quotient topology when a path closes only after crossing the twist or cross-cap. Without an explicit check (e.g., via fundamental group or covering-space lift), configurations counted as connected may become disconnected or merged on the surface, undermining the claim that the enumerations solve well-defined non-orientable Nurikabe instances.
Authors: We agree that the manuscript would benefit from an explicit argument confirming that local adjacency on the pre-quotient grid induces the correct path-connectedness after the identifications. For the 1×n boards the possible wrapping paths are highly constrained. In the revised version we will insert a short paragraph in §2 that lifts candidate black-cell paths to the universal cover (an infinite strip) and verifies that no additional mergers or disconnections arise from the quotient maps for the Möbius, Klein, and projective-plane cases. This addition clarifies the definitions without changing any of the enumerated counts. revision: yes
-
Referee: §4 (Enumeration results for 1×n projective planes): the reported counts are asserted to equal A123203, yet the manuscript supplies neither a recurrence relation nor a bijective proof; the match is presented only as numerical agreement up to the computed range. This leaves open whether the equality holds for all n or is an artifact of the chosen rule adaptation.
Authors: The referee is correct that the equality with A123203 is supported only by direct enumeration up to moderate n. We will extend the tables in §4 to larger values (n ≤ 25) and will explicitly label the observed equality as a conjecture rather than an asserted identity. While we do not currently possess a recurrence or bijection, the consistency of the match across both rule variants and all three surfaces makes an artifact of the adaptation unlikely. The revision will therefore present the link as a numerically supported conjecture and invite combinatorial follow-up work. revision: partial
Circularity Check
No significant circularity; enumerations are independent computations matched to external sequences
full rationale
The paper proposes explicit rule adaptations for Nurikabe on non-orientable surfaces and performs direct enumerations of valid configurations on 1×n Möbius strips, Klein bottles, and projective planes. The resulting counts are identified with independently curated OEIS sequences (A101946, A213387, A123203, A001045). No self-definitional steps, fitted parameters renamed as predictions, or load-bearing self-citations appear in the derivation; the combinatorial objects are generated from the stated rules and topology without reducing to the target sequences by construction. The chain is self-contained.
Assumptions & free parameters
assumptions (1)
- domain assumption The two proposed adaptations of Nurikabe rules remain consistent when the underlying surface is non-orientable.
Cite this review
Pith. "Pith review of Non-orientable Nurikabe." pith.science (2026). https://pith.science/paper/RBPWTRWA
@misc{pith2026250612612,
author = {Pith},
title = {Pith review of: Non-orientable Nurikabe},
year = {2026},
howpublished = {\url{https://pith.science/paper/RBPWTRWA}},
note = {Machine review of arXiv:2506.12612}
}
abstract
We study Nurikabe puzzles on non-orientable surfaces. Specifically, we propose two versions of non-orientable Nurikabe and investigate their combinatorics on M\"obius strips, Klein bottles, and projective planes of size $1\times n$. Our results establish new connections among the OEIS sequences A101946, A213387, A123203, and A001045 (the Jacobsthal sequence).
Reviewed May 22, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.