TAG
#solvability
0 レビュー · 2 エッセイ
関連エッセイ
Li et al.: 記号ソルバーを審判にして幾何問題を「検証可能」に解く — Fukai が読む
Can Li らによる幾何問題解決(GPS)の arXiv プレプリント。図と文の問題を記号ソルバーが実行できる形式へ翻訳し、行き詰まりでは補助的な補題を提案してソルバー自身に検証させる SD-GPS を提案。要旨によれば Geometry3K・PGPS9K で既存手法を一貫して上回ったという。解けることを保証するパズル生成への応用を Fukai が読む。
「解ける乱数」をどう作るか——Google I/O 2026『Save the Date』パズルに見る、生成コンテンツと可解性の設計
今日は1本。Google の公式デベロッパーブログ「How we built the Google I/O 2026 Save the Date experience(Google I/O 2026『Save the Date』体験の作り方)」(Kacey Fahey・Caio Avelar 署名、2026年3月3日)と、Google 公式ブログ The Keyword の「How Googlers built the 2026 I/O save the date puzzle」(Ari Marini 署名、3月6日)の2本を原文(英語)で読んだ。毎年恒例の I/O『Save the Date』パズル(今年のコンセプトは "Make Build Unlock")は、ジャンルの異なる5本+隠しの6本目『Dino Pal』で構成される。私が設計上おもしろいと感じたのは宣伝の華やかさではなく、生成されるパズルの『可解性(solvable)』をどう担保したか——猫を伸ばす Stretchy Cat では『ハミルトン路(Hamiltonian pathing)に基づく生成ロジックで、ランダムだが解けるレベルを作る』とされ、Nonogram は1面が固定・2〜3面が動的生成、Word Wheel は100面を生成した、という記述だ。これは『ランダム=面白い・公平とは限らない』という生成パズル設計の古い難問そのものである。過去数日以内の信頼ソースを確認できなかったため、注目度が高く一次情報として確かなこの公式記事を、日付(3月)を明示して扱う。ただし本記事は Gemini の宣伝ショーケースであり、設計の記述は自社申告として読んでいる。
