Star Battle · خوراک اندیشه

سنت Nikoli

Star Battle به سنتی ژاپنی از معما تعلق دارد که استدلال ناب را بر زبان ترجیح می‌دهد؛ سنتی که در آن یک شبکهٔ بخش‌شده به ناحیه‌ها و شمار ستاره در هر خط، تمام چالش را تعریف می‌کند.

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

ناشری از منطق ناب

در توکیو، خانهٔ نشری دهه‌هاست خود را وقف یک مأموریت کرده است: آفرینش و انتشار بازی‌هایی که با استدلال ناب حل می‌شوند. Nikoli به سال 1980 بازمی‌گردد، سالی که Maki Kaji و دو دوست دوران کودکی‌اش مجله‌ای فصلی از معما راه انداختند و نامش را از اسب مسابقه‌ای گرفتند که در آن فصل Irish 2,000 Guineas را برده بود؛ سه سال بعد شرکتی با همین نام پدید آمد. ² آن مجله، Puzzle Communication Nikoli، همچنان محصول اصلی این خانهٔ نشر است، و این ناشر با محبوبیت Sudoku در سراسر جهان سرشناس شد و فهرستی ساخت که به ده‌ها گونهٔ متمایز معما می‌رسد. فلسفهٔ این ناشر بر استقلال از فرهنگ استوار است؛ یعنی معماها نباید به دانستن زبان یا پیشینهٔ فرهنگی خاصی نیاز داشته باشند. این اصل، گونه‌هایی مانند جدول کلمات متقاطع را که یکسره به واژگان و دانش فرهنگی وابسته‌اند، از عرضه‌های عددی و منطقی‌ای که Nikoli به آن‌ها شناخته می‌شود جدا می‌کند. آنچه می‌ماند خانواده‌ای از معماهاست که هر کسی، در هر جایی، بی‌آنکه نیاز به تسلط بر زبان یا سنتی منطقه‌ای داشته باشد، می‌تواند با آن‌ها روبه‌رو شود. ¹

رویکرد مستقل از فرهنگ به معماهای Nikoli اجازه داده است با کامیابی چشمگیری از مرزهای ژاپن فراتر روند. مشهورترین نمونه Sudoku است؛ صورتی که Nikoli به آن داد در سال 2005 در جهان انگلیسی‌زبان همه‌گیر شد. خودِ این معما در ژاپن آغاز نشد: صورت امروزی‌اش به احتمال زیاد کار Howard Garns، معمار بازنشستهٔ آمریکایی، بوده و نخستین بار در 1979 از سوی Dell Magazines با نام Number Place منتشر شده است. Kaji آن را در آوریل 1984 در نشریه‌ای از Nikoli به خوانندگان ژاپنی شناساند، و عنوان بلند ژاپنی‌ای که بر آن نهاد بعدها به Sudoku کوتاه شد. ⁴ آنچه آن را به بیرون برد فلسفهٔ طراحی Nikoli بود که استنتاج منطقی را بر آزمون و خطا یا دانش زبانی مقدم می‌دارد. این گسترهٔ بین‌المللی توان معماهای خوش‌ساخت مبتنی بر قید را نشان می‌دهد: وقتی قواعد روشن‌اند و مسیر استدلال یکسره منطقی است، سدهای زبانی بی‌اثر می‌شوند. کامیابی Sudoku نشان داد که طرح‌های معمایی ریشه‌دار در ارضای ناب قیدها می‌توانند به شهرتی جهانی برسند، و توجه تازه‌ای را به فهرست گسترده‌تر بازی‌های Nikoli جلب کرد. ¹

Star Battle در همین سنت جای می‌گیرد، همچون معمایی منطقی از گونهٔ چیدن ستاره به سبک Nikoli: خودش یکی از گونه‌هایی نیست که فهرست Nikoli برمی‌شمارد، اما بر همان مشخصات ساخته شده است. این بازی از همان اصول طراحی پیروی می‌کند که بیش از چهار دهه رویکرد Nikoli را تعریف کرده‌اند: مجموعه‌ای تمیز از قواعد، بی‌وابستگی به زبان، و مسیر حلی که بر استنتاج منطقی تکیه دارد نه بر حدس. شبکهٔ N در N که به N ناحیهٔ پیوسته بخش شده است، الزام قراردادن دقیقاً K ستاره در هر سطر، ستون و ناحیه، و قاعدهٔ عدم تماس که ستاره‌ها را از لمس یکدیگر حتی به‌صورت قطری بازمی‌دارد — این‌ها نظامی کامل می‌سازند که بدون هیچ پیشینهٔ فرهنگی یا زبانی فهمیدنی است. هویت این معما از منطق درونی خودش می‌آید، نه از دانش بیرونی‌ای که بازیکن شاید داشته باشد. ³

مرزهای این معما یکسره با قواعد خودش تعریف می‌شوند.

مجلهٔ فصلی و زیست‌بوم معما

Puzzle Communication Nikoli، مجلهٔ فصلی‌ای که از توکیو منتشر می‌شود، وسیلهٔ اصلی معرفی گونه‌های تازهٔ معما و نگه‌داشتن پیوند ناشر با جامعهٔ حل‌کنندگانش است. قالب مجله امکان انتشار منظم محتوای تازه را فراهم می‌کند و در عین حال مجالی برای ابداع گونه‌های نو است. این مجله چندین گونهٔ تازهٔ معما ابداع کرده و چندین بازی نو را به ژاپن شناسانده است، و هر یک بر پایهٔ طراحی مستقل از فرهنگ بنا شده است. فهرستی که در گذر سال‌ها گرد آمده ده‌ها گونهٔ معما را دربر می‌گیرد، از جمله Sudoku، Kakuro، Slitherlink، Nurikabe، Masyu و Hitori. هر یک از این‌ها شیوه‌ای متفاوت برای چیدن قیدها روی یک شبکه است و گونه‌گونی‌ای از چالش‌های منطقی را پیش روی حل‌کننده می‌گذارد، بی‌آنکه از همان فلسفهٔ بنیادین استدلال ناب دور شود. ¹

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

Star Battle درست بیرون آن فهرست می‌نشیند، اما با همان دستور زبان کار می‌کند. سازوکار اصلی‌اش — قراردادن دقیقاً K ستاره در هر سطر، ستون و ناحیه بدون آنکه دو ستاره یکدیگر را لمس کنند — یکی دیگر از گونه‌های همان درون‌مایهٔ ارضای قید است که گونه‌های خودِ Nikoli می‌کاوند. قواعد این معما آن‌قدر ساده‌اند که در چند لحظه آموخته شوند، اما ژرفای منطقی‌ای که از ترکیب قیدهای سطر، ستون، ناحیه و قاعدهٔ مجاورتِ عدم تماس پدید می‌آید تجربه‌ای پربار می‌سازد. این توازن سادگی و ژرفا نشان طراحی Nikoli است، و Star Battle بر همان الگو ساخته شده است. ³

مجموعه‌ای ساده از قواعد می‌تواند ژرفای منطقی شگرفی بزاید.

از شبکه تا ناحیه تا قید

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

در این ساختار، بازیکن باید دقیقاً K ستاره در هر سطر، هر ستون و هر ناحیه بگذارد. مقدار K را دشواری معما تعیین می‌کند. بازی سه دشواری دارد و هر یک هر دو عدد را با هم تثبیت می‌کند: آسان 6 در 6 با یک ستاره در هر خط، متوسط 8 در 8 با یک ستاره در هر خط، و دشوار 10 در 10 با دو ستاره در هر خط. شمار ستارهٔ K، در کنار اندازهٔ شبکهٔ N، چگالی ستاره‌ها روی تخته و تنگی قیدها را تعیین می‌کند. یک شبکهٔ 6 در 6 با K برابر یک پراکندگی تُنُکی می‌سازد که در آن ستاره‌ها تنها یک‌ششم خانه‌ها را اشغال می‌کنند، حال آنکه یک شبکهٔ 10 در 10 با K برابر دو بیست ستاره را روی صد خانه می‌نشاند، یعنی یک در پنج، چیدمانی چگال‌تر و مقیدتر. ³

قاعدهٔ عدم تماس لایه‌ای دیگر از قید می‌افزاید که رابطهٔ فضایی ستاره‌ها را اداره می‌کند. هیچ دو ستاره‌ای نباید یکدیگر را لمس کنند، حتی به‌صورت قطری. این یعنی هیچ‌یک از خانه‌های پیرامون یک ستاره — تا هشت خانه، و در لبه یا گوشه کمتر — نمی‌تواند ستارهٔ دیگری داشته باشد. بررسی مجاورت از مجاورت حرکت شاه بهره می‌گیرد، که هر خانهٔ همسایه‌ای را که شبکه به‌راستی فراهم می‌کند به حساب می‌آورد. این قاعده چیزی را که شاید مسئله‌ای سادهٔ شمارشی می‌بود به چالشی در استدلال فضایی بدل می‌کند. بازیکن باید نه‌تنها به این بیندیشد که آیا خانه‌ای شمارش‌های سطر، ستون و ناحیه را برآورده می‌کند، بلکه به این هم که آیا گذاشتن ستاره در آنجا قید عدم تماس را با ستارهٔ دیگری نقض می‌کند یا نه. همین بُعد فضایی است که Star Battle را از معماهای صرفاً شمارشی جدا می‌کند و ویژگی متمایزش را به آن می‌بخشد. ³

هر ستاره‌ای که می‌گذارید در سطرها، ستون‌ها، ناحیه‌ها و مجاورت‌ها بازتاب می‌یابد.

فرایند استنتاج و شبکهٔ نشانه‌گذاری‌شده

حل یک معمای Star Battle چرخه‌ای پیوسته از پویش، نشانه‌گذاری و استنتاج است. بازیکن شبکه را وارسی می‌کند تا دریابد کجا ستاره باید یا نباید گذاشته شود، و خانه‌های حذف‌شده را با یک X نشانه می‌زند تا رد استنتاج‌هایش را نگه دارد. هر ستاره‌ای که گذاشته می‌شود یا هر نشانهٔ حذفی که زده می‌شود قیدهای خانه‌های باقی‌مانده را دگرگون می‌کند و آبشاری از پیامدهای منطقی پدید می‌آورد. این فرایند تکرارشونده است: استنتاجی در یک ناحیه ممکن است قراردادنی را در جایی دیگر ناگزیر کند، که خود حذف‌های تازه‌ای می‌زاید، که شاید قراردادن‌های بیشتری را ناگزیر کند. همین زنجیرهٔ استدلال، مغزِ تجربهٔ این معماست، و یکسره بر دلالت‌های منطقی قیدها تکیه دارد، نه بر حدس یا آزمون و خطا. ³

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

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

پاسخ یافته نمی‌شود؛ با ضرورت منطقی آشکار می‌شود.

سنتی از طراحی مستقل از فرهنگ

فلسفهٔ مستقل از فرهنگ که طراحی Nikoli را راه می‌برد، پیامدهایی ژرف برای چگونگی ساخته‌شدن و تجربه‌شدن معماها دارد. برخلاف معماهای وابسته به زبان مانند جدول کلمات متقاطع که به دانش واژگان، املا و ارجاع‌های فرهنگی نیاز دارند، معماهای Nikoli مستقل از زبان‌اند: بر جای‌گذاری و استنتاج می‌چرخند، و بسیاری از آن‌ها هیچ عددی به کار نمی‌برند. آن‌ها را می‌توان با استدلال حل کرد، نه با دانستن زبانی خاص. این اصل به Star Battle هم کشیده می‌شود، جایی که قواعد تنها به هندسهٔ شبکه، شمارش و مجاورت مربوط‌اند؛ مفاهیمی جهان‌شمول که به هیچ دانش زبانی یا فرهنگی ویژه‌ای وابسته نیستند. بازیکنی در توکیو، نیویورک یا سائوپائولو با همان معما روبه‌رو می‌شود و همان چالش منطقی را پیش رو دارد. ¹

کتابخانهٔ پهناور معماهای مستقل از فرهنگ که Nikoli گرد آورده است، غنای این رویکرد طراحی را نشان می‌دهد. این ناشر با تمرکز بر ساختار منطقی به‌جای محتوای زبانی، پیکره‌ای از کار پدید آورده که هر کسی، فارغ از زبان مادری یا پیشینهٔ فرهنگی‌اش، می‌تواند آن را تجربه کند. همین دسترس‌پذیری عاملی کلیدی در کامیابی بین‌المللی معماهای Nikoli بوده است، به‌ویژه Sudoku که پس از همه‌گیرشدنش در جهان انگلیسی‌زبان در سال 2005 به پدیده‌ای جهانی بدل شد. همان اصولی که Sudoku را دسترس‌پذیر کرد دربارهٔ Star Battle هم صادق است، جایی که قواعد را می‌توان در چند لحظه فهمید و بی‌درنگ با معما درگیر شد. ¹

درون موتوری که Star Battle را پیاده می‌کند، این اصول طراحی در قالب نظامی ناب و قطعی محقق می‌شوند. شبکهٔ N در N، N ناحیهٔ پیوسته، K ستاره در هر خط، و قاعدهٔ مجاورتِ عدم تماس نظامی منطقی و کامل می‌سازند که می‌توان آن را به‌صورت الگوریتمی تولید، حل و راستی‌آزمایی کرد. یک مولد شبه‌تصادفی بذرمند تضمین می‌کند که هر معما از روی بذر و دشواری‌اش با هم بازتولیدپذیر باشد، و حل‌کنندهٔ پس‌گرد کاری بیش از وارسی نتیجه می‌کند: موتور مرزهای ناحیه‌ها را بازشکل می‌دهد تا آنکه حل‌کننده، که پاسخ‌ها را تنها تا دو می‌شمارد، تأیید کند دقیقاً یکی بر جای مانده است. این تحقق‌پذیری محاسباتی امتدادی امروزی از فلسفهٔ سنتی طراحی معماست: همان خلوص منطقی که معما را مستقل از فرهنگ می‌کند، آن را برای تولید و راستی‌آزمایی الگوریتمی نیز رام می‌سازد. ³

Sources & notes

“Nikoli (publisher),” Wikipedia: a Japanese publisher specialising in games and, especially, logic puzzles. Nikoli is also the nickname of a quarterly magazine, Puzzle Communication Nikoli, issued by the company in Tokyo; the company was established in 1980 and takes its name from the racehorse that won the Irish 2,000 Guineas that year. It became prominent worldwide with the popularity of Sudoku, whose Nikoli form was popularised in the English-speaking world in 2005. Nikoli is notable for a vast library of culture-independent puzzles: unlike a language-dependent genre such as the crossword, which relies on a specific language and alphabet, its puzzles turn on logic alone, and a reader in any language can attempt them. The magazine has invented several new genres of puzzle and introduced several new games to Japan, and the article’s list of Nikoli puzzles runs to dozens of types, among them Sudoku, Kakuro, Slitherlink, Nurikabe, Masyu, and Hitori. en.wikipedia.org/wiki/Nikoli_(publisher).
“Maki Kaji,” Wikipedia: Kaji (1951–2021), later president of the puzzle publisher Nikoli, launched a quarterly puzzle magazine called Nikoli in 1980 together with two friends from his childhood, naming it after a racehorse that had won the 1980 2000 Guineas Stakes in Ireland; he founded a company of the same name three years later. Sudoku appeared in early issues, and he formulated its name by shortening a longer Japanese phrase. He is widely known as the father of Sudoku for his role in popularising the game. en.wikipedia.org/wiki/Maki_Kaji.
Star Battle game engine: a pure, deterministic implementation of the puzzle, with no browser code in it. The board is an N by N grid divided into N contiguous regions; the regions are grown by a seeded random walk, so they are irregular and uneven in size, and each holds exactly K of the stars. The player places exactly K stars in every row, every column, and every region, with no two stars touching, not even diagonally, adjacency being tested over every neighbouring cell including the diagonals. Three difficulties set the size and the star count: easy is 6 by 6 with one star per line, medium 8 by 8 with one, and hard 10 by 10 with two. A cell is empty, holds a star, or holds an X elimination note, and clicking cycles it through those three states. Generation is deterministic from the seed and difficulty: the engine lays a valid star solution, grows the regions around it, then reshapes region boundaries until a backtracking solver, counting solutions only as far as two, confirms that exactly one remains; the same solver drives the hint. Further checks test a finished board, flag stars that touch, and flag rows, columns or regions holding more stars than the rules allow. Read from the game’s own source.
“Sudoku,” Wikipedia: the modern puzzle was most likely designed anonymously by Howard Garns, a retired architect from Connersville, Indiana, and first published in 1979 by Dell Magazines as Number Place. It was introduced in Japan by Maki Kaji, president of the Nikoli puzzle company, in April 1984 under a title later abbreviated to Sudoku. en.wikipedia.org/wiki/Sudoku#History.