Kakuro · خوراک اندیشه

جدول متقاطعی از مجموع‌ها

Kakuro پازلی منطقی است که اغلب آن را برگردان ریاضیِ جدول کلمات متقاطع می‌نامند؛ در آن ارقام 1 تا 9 باید در ورودی‌های افقی و عمودی به سرنخ‌ها برسند، بی‌آنکه هرگز رقمی در یک خط تکرار شود.

به انگلیسی نوشته و ویرایش شده است. این نسخهٔ فارسی با ترجمهٔ ماشینی تهیه شده است؛ هر جا دقت اهمیت دارد، متن اصلی انگلیسی معتبر است. خواندن متن اصلی به انگلیسی ←

شبکه‌ای از سیاه و سفید

وقتی یک پازل تازهٔ Kakuro را باز می‌کنید، با شبکه‌ای روبه‌رو می‌شوید که به‌طرزی فریبنده ساده به نظر می‌رسد: صفحه‌ای شطرنجی از خانه‌های سیاه و سفید. خانه‌های سیاه اسکلت پازل‌اند و هر یک ممکن است یک یا دو سرنخ عددی را حمل کند. سرنخی در گوشهٔ بالای راست یک خانهٔ سیاه، مجموع خط افقی‌ای را به شما می‌گوید که بلافاصله از سمت راست آن آغاز می‌شود. سرنخی در گوشهٔ پایین چپ یک خانهٔ سیاه، مجموع خط عمودی‌ای را می‌گوید که بلافاصله از زیر آن آغاز می‌شود. خانه‌های سفید جایی است که کار در آن انجام می‌شود؛ باید در هر یک از آن‌ها یک رقم از 1 تا 9 بگذارید، به‌گونه‌ای که هر خط افقی (به اصطلاح «across») و هر خط عمودی («down») سرنخ خود را برآورده کند. ظرافت پازل در همین قید دوگانه نهفته است: هر خانهٔ سفید در محل تقاطع دقیقاً یک خط افقی و یک خط عمودی قرار دارد، پس رقمی که در آن می‌گذارید باید هم‌زمان هر دو سرنخ را برآورده کند. ¹

خانه‌های سیاه صرفاً جداکننده نیستند؛ آن‌ها سرچشمهٔ همهٔ اطلاعات‌اند. هر خانهٔ سیاه یک سرنخ افقی و/یا یک سرنخ عمودی دارد و صفر نشان می‌دهد که در آن جهت سرنخی وجود ندارد. ³ یک خانهٔ سیاه ممکن است تنها سرنخ افقی داشته باشد، تنها سرنخ عمودی، هر دو، یا هیچ‌کدام. هندسهٔ پازل تعیین می‌کند که کدام خانه‌های سفید در سمت راست یک خانهٔ سیاه خطی پیوسته می‌سازند و کدام‌ها در زیر آن. این خط‌ها قیدهای واقعی پازل‌اند. موتور بازی همهٔ خط‌ها را به‌صراحت ذخیره می‌کند و برای هر خانهٔ سفید پیگیری می‌کند که آن خانه به کدام خط افقی و کدام خط عمودی تعلق دارد. هر خانهٔ سفید دقیقاً به یک خط افقی و دقیقاً به یک خط عمودی تعلق دارد و این، شبکه‌ای از قیدهای متقاطع پدید می‌آورد که حل‌کننده باید در آن راه خود را بیابد.

قاعده‌ای که همه‌چیز را تعریف می‌کند

قاعدهٔ Kakuro به‌زیبایی ساده و در عین حال به‌طرزی فریبنده قدرتمند است. باید در هر خانهٔ سفید رقمی از 1 تا 9 (شامل هر دو) بگذارید، به‌گونه‌ای که مجموع اعداد هر ورودی با سرنخ مربوط به آن برابر شود و هیچ رقمی در هیچ ورودی‌ای تکرار نشود. همین شرط دوم، یعنی الزام به متمایز بودن، است که Kakuro را از یک تمرین حسابی صرف جدا می‌کند. اگر تنها لازم بود مجموع به سرنخ برسد، برای یک خط ممکن بود راه‌حل‌های بسیاری وجود داشته باشد. اما قید متمایز بودن یعنی خطی به طول سه با سرنخ شش را تنها می‌توان با ارقام 1، 2 و 3 به ترتیبی دلخواه پر کرد. خطی به طول هشت با سرنخ 36 باید همهٔ ارقام به‌جز 9 را به کار گیرد، زیرا مجموع نه رقم برابر 45 است. تعامل میان مجموع و طول یک خط، بی‌درنگ احتمالات را محدود می‌کند؛ اغلب به یک مجموعهٔ واحد از ارقام و گاه، وقتی خط‌های متقاطع را نیز در نظر می‌گیرید، به یک چیدمان واحد. ¹

خانهٔ سفیدی را در محل تقاطع یک خط افقی و یک خط عمودی در نظر بگیرید. خط افقی از پیش ارقام ممکن برای آن خانه را به زیرمجموعه‌ای محدود کرده است. خط عمودی نیز به‌طور مستقل احتمالات را به زیرمجموعه‌ای دیگر محدود کرده است. اشتراک این دو زیرمجموعه همان چیزی است که می‌توانید در خانه بگذارید. این سازوکار اصلی حل Kakuro است: خواندن سرنخ‌ها، تعیین این‌که برای هر خط کدام مجموعه‌های ارقام ممکن است، و سپس اجازه دادن به تقاطع‌ها تا آشکار کنند کدام رقم باید کجا برود. خطی که به‌تنهایی مبهم به نظر می‌رسد، اغلب همین که همسایگانش را در نظر بگیرید کاملاً روشن می‌شود. این پازل به صبر و پیگیری دقیق پاداش می‌دهد، چرا که رقمی که در یک خانه گذاشته می‌شود می‌تواند در سراسر خط افقی و خط عمودی‌اش زنجیره‌وار اثر بگذارد، احتمالات را در جاهای دیگر حذف کند و اغلب جای‌گذاری‌های تازه‌ای را الزام‌آور سازد. ¹

برگردانی ریاضی

Kakuro را اغلب برگردان ریاضیِ جدول کلمات متقاطع توصیف می‌کنند. این توصیف چیزی اساسی دربارهٔ ساختار پازل را بازمی‌تاباند. در یک جدول کلمات متقاطع، خانه‌های سفید را با حروف پر می‌کنید تا هر ورودی افقی و عمودی، مطابق سرنخ‌ها، واژه‌ای معتبر بسازد. در Kakuro، خانه‌های سفید را با ارقام پر می‌کنید تا هر ورودی افقی و عمودی، مطابق سرنخ‌ها، مجموعی معتبر بسازد. خانه‌های سیاه در Kakuro همان نقشی را دارند که خانه‌های سیاه در جدول کلمات متقاطع: مرز میان ورودی‌ها را مشخص می‌کنند و سرنخ‌ها را حمل می‌کنند. تفاوت در این است که Kakuro به‌جای واژگان و املا، بر حساب و قید متمایز بودن تکیه دارد. این پازل همان نوع تفکر جانبی، همان نوع تشخیص الگو و همان نوع رضایتی را می‌طلبد که وقتی بخشی دشوار سر جایش می‌نشیند به دست می‌آید. ¹

خود نام Kakuro ژاپنی است. ¹ این نام کوتاه‌شدهٔ عبارت ژاپنی kasan kurosu است که به معنای «تقاطع جمع» است. این توصیفی مستقیم از چیستی پازل است: شبکه‌ای به سبک جدول کلمات متقاطع که ورودی‌هایش عمل‌های جمع‌اند. این پازل نخست در ایالات متحده با نام «Cross Sums» پدیدار شد؛ نامی که در سال 1966 جیکوب ای. فانک از مجلات Dell وضع کرد. این نام قدیمی‌تر شاید حتی از نام ژاپنی هم گویاتر باشد، زیرا بی‌درنگ به شما می‌گوید چه باید بکنید: مجموع‌ها را در جهت افقی و عمودی بیابید. با این حال Kakuro در سطح بین‌المللی به نام رایج‌تر بدل شده است، شاید از آن رو که کوتاه‌تر و آسان‌تر به خاطر می‌ماند. هویت پازل محکم در همین مفهوم تقاطع‌های جمع ریشه دارد و هر پازل خوش‌طراحی Kakuro به این توصیف وفادار می‌ماند.

قید تمایز همان چیزی است که Kakuro را از یک تمرین صرفاً حسابی جدا می‌کند.

پازل چگونه ساخته می‌شود

ساختن پازل Kakuro که هم قابل حل و هم جالب باشد، ساخت‌وسازی دقیق می‌طلبد. یک پازل خوب باید راه‌حلی یکتا داشته باشد که تنها با استنتاج منطقی و بدون هیچ حدسی بتوان به آن رسید. اینجاست که حل‌کنندهٔ پس‌گرد (backtracking) وارد می‌شود. بازی از الگوریتم پس‌گردی استفاده می‌کند که نه‌تنها راه‌حلی معتبر را پر می‌کند، بلکه می‌شمارد چند راه‌حل، تا سقفی معین، وجود دارد. اگر حل‌کننده بیش از یک راه‌حل بیابد، پازل رد می‌شود و پازل تازه‌ای تولید می‌شود. حل‌کننده جست‌وجوی خود را با بررسی متمایز بودن در هر خط و امکان‌پذیری مجموع جزئی در هر گام هرس می‌کند و خانه‌ها را گروه‌بندی‌شده بر اساس خط، با اولویت کوتاه‌ترین خط‌ها، پیمایش می‌کند. این ترتیب مهم است، زیرا خط‌های کوتاه‌تر مجموعه‌های ارقام ممکن کمتری دارند و بنابراین در مراحل ابتدایی‌تر جست‌وجو قیدهای بیشتری فراهم می‌کنند. ³

تولیدکننده همچنین چیدمان‌های تباهیده‌ای را که پازل را غیرقابل برد یا پیش‌پاافتاده می‌کنند رد می‌کند. برای مثال، خانهٔ سفیدی که تنها به یک خط تعلق دارد، به‌گونه‌ای که جهت دیگرش خطی به طول یک است، تباهیده است: با تنها یک مجموع که آن را مقید می‌کند، خانه تقریباً آزاد است که چند رقم مختلف بگیرد و این یکتایی را نابود می‌کند. تولیدکننده آن‌قدر دوباره تلاش می‌کند تا چیدمانی تولید کند که به‌طور یکتا قابل حل باشد. این فرایند تضمین می‌کند که هر پازلی که بازی می‌کنید، تأیید شده است که دقیقاً یک راه‌حل دارد. قطعی بودن تولیدکننده یعنی یک بذر (seed) یکسان همیشه همان پازل را تولید می‌کند و این، پازل‌ها را آزمون‌پذیر و بازتولیدپذیر می‌سازد. این برای قالب پازل روزانه اهمیت دارد، جایی که می‌خواهید همه دقیقاً روی یک پازل کار کنند. ³

خواندن سرنخ‌ها

مهارت بازی Kakuro در درست خواندن سرنخ‌ها و فهم این است که آن‌ها دربارهٔ مجموعه‌های ارقام ممکن چه می‌گویند. سرنخ 3 برای خطی به طول 2 را تنها می‌توان با 1 و 2 پر کرد. سرنخ 17 برای خطی به طول 2 را تنها می‌توان با 8 و 9 پر کرد. این‌ها حالت‌های حدی‌اند، جایی که سرنخ و طول با هم تنها یک مجموعهٔ ممکن از ارقام به شما می‌دهند. هرچه از این حالت‌های حدی دور می‌شوید، شمار مجموعه‌های ارقام ممکن افزایش می‌یابد. سرنخ 10 برای خطی به طول 3 می‌تواند 1-2-7، 1-3-6، 1-4-5 یا 2-3-5 باشد و نه هیچ‌چیز دیگر. هنر Kakuro تشخیص این است که چه زمانی یک خط به یک مجموعهٔ ارقام واحد محدود شده و سپس استفاده از آن اطلاعات برای حل خط‌های متقاطع. ¹

فن سودمند دیگر، نگاه کردن به مجموع همهٔ ارقام ممکن است. مجموع ارقام 1 تا 9 برابر 45 است. پس خطی به طول 9 باید همهٔ نه رقم را به کار گیرد و مجموعش 45 شود. خطی به طول 8 باید دقیقاً یک رقم را کنار بگذارد و سرنخ به شما می‌گوید کدام رقم. خطی به طول 7 باید دو رقم را کنار بگذارد و مجموع آن دو رقم کنارگذاشته‌شده برابر 45 منهای سرنخ خواهد بود. این روابط ریاضی می‌توانند به شما کمک کنند مجموعه‌های ارقام ناممکن را به‌سرعت حذف کنید و روی آن‌هایی تمرکز کنید که اهمیت دارند. هرچه بیشتر تمرین کنید، این الگوها بیشتر به طبیعت دوم شما بدل می‌شوند و پازل‌ها را سریع‌تر حل می‌کنید. ¹

هر خانهٔ سفید در محل تقاطع دقیقاً یک خط افقی و یک خط عمودی قرار دارد.

رضایت منطق

آنچه بازی Kakuro را چنین رضایت‌بخش می‌کند این است که هر حرکت را می‌توان با منطق توجیه کرد. نه حدسی در کار است، نه آزمون و خطا، نه «شاید این رقم اینجا برود». اگر پازلی خوب طراحی شده باشد، هر رقمی که می‌گذارید به‌واسطهٔ سرنخ‌ها و قیدهایی که پیش‌تر استنتاج کرده‌اید الزام‌آور است. این نشانهٔ بارز سنت Nikoli است، ناشر ژاپنی‌ای که Kakuro و بسیاری از پازل‌های منطقی دیگر را رواج داد. Nikoli به پازل‌های دست‌ساز و ارسالی از سوی خوانندگان شهرت دارد که راه‌حلی یگانه و منطقاً استنتاج‌پذیر دارند. پازلی که به حدس زدن نیاز داشته باشد، پازل Nikoli درست‌وحسابی به شمار نمی‌آید. همین پایبندی به خلوص منطقی است که به Kakuro جذابیت فکری‌اش را می‌بخشد. ²

رضایت حل کردن یک پازل Kakuro از تماشای پر شدن شبکه در حین به‌کارگیری استنتاج‌های منطقی به دست می‌آید. رقمی که در یک خانه گذاشته می‌شود، احتمالات را در سراسر خط افقی و خط عمودی‌اش حذف می‌کند. آن حذف‌ها ممکن است خانه‌های دیگر را وادار کنند ارقام مشخصی بگیرند، که این نیز به نوبهٔ خود احتمالات بیشتری را حذف می‌کند، و همین‌طور تا آخر. همین اثر زنجیره‌ای است که باعث می‌شود Kakuro به‌جای صرفاً مجموعه‌ای از مسئله‌های حسابی، همچون یک پازل حس شود. پازل خودبازبین نیز هست: اگر زمانی به خانه‌ای رسیدید که هیچ رقم معتبری برایش نداشتید، می‌دانید که جایی خطا کرده‌اید. این حلقهٔ بازخورد بی‌درنگ شما را درگیر و برای یافتن راه‌حل باانگیزه نگه می‌دارد. ¹

پازلی برای همه

یکی از نقاط قوت بزرگ Kakuro دسترس‌پذیری آن است. برای بازی کردن لازم نیست هیچ واژگان خاص یا ارجاع فرهنگی‌ای بدانید. تنها باید بدانید چگونه اعداد یک‌رقمی را جمع بزنید و مفهوم متمایز بودن را درک کنید. این، Kakuro را به پازلی بدل می‌کند که افراد با هر سن و پیشینه‌ای می‌توانند از آن لذت ببرند. در عین حال، این پازل عمقی دارد که بازیکنان باتجربه را درگیر نگه می‌دارد. هرچه بیشتر بازی کنید، الگوهای بیشتری را تشخیص می‌دهید، سرنخ‌ها را سریع‌تر می‌خوانید و راهبردهایتان پیچیده‌تر می‌شود. پازل می‌تواند هر قدر که بخواهید ساده یا پیچیده باشد. ³

این پازل در ژاپن سال‌ها محبوب‌ترین پازل منطقی چاپی بود و این جایگاه را تا سال 1992 نگه داشت، که Sudoku از آن پیشی گرفت؛ از آن زمان در میان محصولات Nikoli تنها پس از Sudoku قرار داشته است. این محبوبیت گویای جذابیت پازل است. چالش‌برانگیز اما منصفانه، پیچیده اما فهم‌پذیر، و حل کردنش رضایت‌بخش است. این‌که برای دهه‌ها محبوب مانده، گواه کیفیت طراحی آن و رضایتی است که به بازیکنان می‌بخشد. ¹

Kakuro به شکیبایی و پیگیری دقیق پاداش می‌دهد، چون یک رقم می‌تواند در سراسر خط‌هایش زنجیره‌وار اثر بگذارد.

چالش روزانه

آنچه این پیاده‌سازی خاص از Kakuro را ویژه می‌کند، قطعی بودن آن است. پازل با یک مولد اعداد تصادفی بذردار (seeded) تولید می‌شود، یعنی یک بذر یکسان همیشه همان پازل را تولید می‌کند. این امکان قالب پازل روزانه را فراهم می‌کند که در آن همه در یک روز دقیقاً یک پازل را بازی می‌کنند. همچنین یعنی پازل‌ها کاملاً آزمون‌پذیرند، چرا که می‌توانید هر پازلی را با استفاده از بذرش بازتولید کنید. قطعی بودن ویژگی کلیدی طراحی بازی است، زیرا سازگاری و انصاف را برای همهٔ بازیکنان تضمین می‌کند. ³

قالب روزانه عنصری از اجتماع را نیز به پازل می‌افزاید. همه روی یک پازل کار می‌کنند، یعنی می‌توانید بدون لو دادن پاسخ، دربارهٔ راهبردها و راه‌حل‌ها با بازیکنان دیگر گفت‌وگو کنید. می‌توانید از «آن سرنخ دردسرساز در گوشهٔ پایین راست» حرف بزنید و همه دقیقاً می‌دانند به چه اشاره می‌کنید. این تجربهٔ مشترک بخشی از چیزی است که Kakuro را چنین لذت‌بخش می‌کند، چرا که شما عضوی از اجتماع بزرگ‌تری از حل‌کنندگان پازل هستید. ¹

Sources & notes

"Kakuro," Wikipedia, a logic puzzle often called a mathematical transliteration of the crossword ("cross sums"); fill each white cell with a digit 1–9 so that each horizontal or vertical entry sums to its clue and no digit is duplicated within an entry; the name abbreviates the Japanese "kasan kurosu" ("addition cross"); earlier called "Cross Sums," coined in 1966 by Jacob E. Funk of Dell Magazines; popularised by Nikoli, second only to Sudoku, and Japan's most popular logic puzzle in print until 1992. en.wikipedia.org/wiki/Kakuro.
"Nikoli," Wikipedia, a Japanese publisher specialising in logic puzzles, founded in 1980, known for hand-made reader-submitted puzzles and for giving Sudoku its name and popularising it, and for publishing other grid logic puzzles such as Slitherlink and Hashiwokakero; a hallmark is a single logically-deducible solution. en.wikipedia.org/wiki/Nikoli.
This game's engine: the black/white cells, the across/down clues held on black cells, the across/down runs as the constraints with per-cell acrossRunOf/downRunOf, the distinct-digits-1–9-summing-to-the-clue rule, the backtracking solver that fills and verifies uniqueness by pruning on per-run distinctness and partial-sum feasibility (shortest runs first), the generate retry loop that guarantees a unique solution and rejects degenerate layouts, the seeded daily puzzle, and full determinism.
Further reading on Kakuro, [1304.1628] Pattern-Based Constraint Satisfaction and Logic Puzzles. arxiv.org.