‘Divergence via Abstraction' Practices for Inventing New Puzzles

To invent new puzzles, we take a systematic approach called divergence via abstraction. Existing popular puzzles called permutation puzzles and cyclic puzzles are abstracted and converted into other media such as graphs, blocks, sounds, and robots, while preserving their logic. We implement puzzle generators on different media and variations of generated puzzles are shown. Merits and demerits of new puzzles are evaluated comparing with the original puzzles. This systematic approach can flexibly parameterize and creatively extend the puzzles.リサーチレポート（北陸先端科学技術大学院大学知識科学研究科