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 generic card-based protocol called printing protocol, which can be used to physically verify solutions of decompositon puzzles. We apply the printing protocol to develop card-based zero-knowledge proof protocols for two such puzzles: Five Cells and Meadows. These protocols allow a prover to physically show that he/she knows solutions of the puzzles without revealing them.

翻译：分解谜题是一种铅笔和纸的逻辑谜题，涉及将矩形网格分割成若干区域以满足特定规则。在本文中，我们构建了一种通用的基于卡片的协议，称为打印协议，可用于物理验证分解谜题的解决方案。我们将打印协议应用于开发两种此类谜题——五细胞和草地——的基于卡片的零知识证明协议。这些协议允许证明者物理上展示其知晓谜题的解决方案，同时不泄露这些解决方案。