51 citations · 330 across the 30 of their papers we have counts for
6 papers · 1 filter
Nondango is NP-Complete
Suthee Ruangwises
Nondango is a pencil puzzle consisting of a rectangular grid partitioned into regions, with some cells containing a white circle. The player has to color some circles black such th…
Sumplete is Hard, Even with Two Different Numbers
Suthee Ruangwises
Sumplete is a logic puzzle famous for being developed by ChatGPT. The puzzle consists of a rectangular grid, with each cell containing a number. The player has to cross out some nu…
The Landscape of Computing Symmetric -Variable Functions with Cards
Suthee Ruangwises
Secure multi-party computation using a physical deck of cards, often called card-based cryptography, has been extensively studied during the past decade. Card-based protocols to co…
Verifying the First Nonzero Term: Physical ZKPs for ABC End View, Goishi Hiroi, and Toichika
Suthee Ruangwises
In this paper, we propose a physical protocol to verify the first nonzero term of a sequence using a deck of cards. The protocol lets a prover show the value of the first nonzero t…
Physical Zero-Knowledge Proof for Ball Sort Puzzle
Suthee Ruangwises
Ball sort puzzle is a popular logic puzzle consisting of several bins containing balls of multiple colors. Each bin works like a stack; a ball has to follow the last-in first-out o…
Printing Protocol: Physical ZKPs for Decomposition Puzzles
Suthee Ruangwises, Mitsugu Iwamoto
Decomposition puzzles are pencil-and-paper logic puzzles that involve partitioning a rectangular grid into several regions to satisfy certain rules. In this paper, we construct a g…