ปริศนานี้อายุน้อยกว่า iPhone เสียอีก แต่แนวคิดที่มันหยิบมาเล่น คือการที่เครื่องหมายเพียงสองตัวสามารถบรรจุทุกสิ่งได้หากกำหนดเงื่อนไขให้ดี มีรากลึกถึงสามศตวรรษ และยังคงทำงานอยู่ภายในเครื่องที่คุณใช้อ่านบทความนี้
เขียนและเรียบเรียงเป็นภาษาอังกฤษ ฉบับภาษาไทยนี้จัดทำขึ้นด้วยการแปลด้วยเครื่อง ในจุดที่ความแม่นยำมีความสำคัญ ให้ถือต้นฉบับภาษาอังกฤษเป็นหลัก อ่านต้นฉบับภาษาอังกฤษ →
Binairo เป็นปริศนาที่ยังใหม่ สร้างขึ้นโดยชาวเบลเยียม ปีเตอร์ เดอ สเคปเปอร์ (Peter De Schepper) และฟรังก์ คูสมองต์ (Frank Coussement) ในปี 2009 ซึ่งแทบจะเป็นช่วงเวลาเดียวกับที่ชาวอิตาลี อดอลโฟ ซาเนลลาตี (Adolfo Zanellati) คิดค้นเกมที่แทบเหมือนกันทุกประการซึ่งเขาเรียกว่า Tohu wa Vohu 1 เห็นได้ชัดว่าแนวคิดนี้สุกงอมแล้ว ได้แก่ ตาราง สัญลักษณ์สองตัว และกติกาชุดเล็ก ๆ ว่าด้วยความสมดุลและการอยู่ติดกัน มันถือกำเนิดขึ้นอย่างเป็นอิสระในสองประเทศพร้อมกัน
ผลที่ตามมาคือปริศนาที่มีชื่อเรียกอยู่หลายชื่อ ขึ้นอยู่กับว่าคุณพบมันในหนังสือพิมพ์หรือแอปใด เกมเดียวกันนี้อาจถูกเรียกว่า Takuzu, Binero, Binoxxo, Tic-Tac-Logic, Binary Puzzles หรือ Sudoku Binary รวมถึงชื่ออื่น ๆ อีก โดย "Binairo" และ "Takuzu" เป็นเครื่องหมายการค้าจดทะเบียนในสหภาพยุโรป 1 ไม่ว่าจะใช้ชื่อใด กติกาก็คือกติกาเดียวกับที่เอนจินนี้บังคับใช้ ได้แก่ แต่ละแถวและคอลัมน์ต้องสมดุล ห้ามมีสัญลักษณ์เดียวกันเรียงติดกันสามตัว และห้ามมีสองแถวหรือสองคอลัมน์ที่เหมือนกัน 2
บรรพบุรุษที่แท้จริงของปริศนานี้คือระบบเลขฐานสองนั่นเอง ในปี 1703 กอทท์ฟรีด วิลเฮล์ม ไลบ์นิซ (Gottfried Wilhelm Leibniz) เขียน Explication de l'Arithmétique Binaire ("คำอธิบายเลขคณิตฐานสอง ซึ่งใช้เพียงอักขระ 1 และ 0") ซึ่งวางแนวคิดอย่างเป็นระบบว่าปริมาณใด ๆ และในที่สุดก็รวมถึงข้อความใด ๆ สามารถเขียนได้ด้วยเครื่องหมายเพียงสองตัว 3 ไลบ์นิซหลงใหลเรื่องนี้ถึงขั้นเขียนต้นฉบับลายมือเกี่ยวกับหัวข้อนี้ไว้มากกว่าร้อยฉบับ ซึ่งส่วนใหญ่ไม่เคยได้รับการตีพิมพ์ 3
สามศตวรรษต่อมา ชุดอักษรสองสัญลักษณ์นั้นกลายเป็นรากฐานของทุกสิ่งที่เป็นดิจิทัล และตาราง Binairo ก็คือส่วนเล็ก ๆ ของมันที่โผล่ขึ้นมาให้แก้ได้ด้วยมือ แต่ละช่องคือบิตหนึ่งบิตอย่างแท้จริง กระดานขนาด 10×10 ที่เติมเสร็จแล้วคือรูปแบบร้อยบิตที่บังเอิญสอดคล้องกับเงื่อนไขอันเฉพาะเจาะจงมากชุดหนึ่ง เกมนี้จึงเป็นปริศนาว่าด้วยเลขคณิตของสัญลักษณ์สองตัวอย่างเงียบ ๆ ซึ่งเป็นเลขคณิตเดียวกับที่ไลบ์นิซได้วางไว้
ลองมองกระดาน Binairo ที่แก้เสร็จแล้ว มันจะดูเหมือนสัญญาณรบกวนที่กระจัดกระจาย แต่มันไม่ใช่เลย กติกาสองข้อในบรรดากติกาของมัน คือทำให้แต่ละแถวและคอลัมน์สมดุล และห้ามสัญลักษณ์ใดปรากฏเรียงติดกันสามครั้ง ตรงกับคุณสมบัติที่ผู้คนเชื่อ อย่างผิด ๆ ว่าความสุ่มที่แท้จริงต้องมีพอดี เมื่อถูกขอให้แต่งลำดับผลการโยนเหรียญขึ้นมาเอง พวกเราส่วนใหญ่มักทำให้หัวกับก้อยมีจำนวนใกล้เคียงกันในทุกช่วงสั้น ๆ โดยสัญชาตญาณ และหลีกเลี่ยงการออกซ้ำติดกันยาว ๆ เพราะการออกซ้ำติดกันให้ความรู้สึกว่า "ไม่สุ่ม" 4
แต่เหรียญจริงไม่ได้เป็นอย่างนั้น ความสุ่มที่แท้จริงสร้างการออกซ้ำติดกันและความไม่สมดุลเฉพาะช่วงอยู่ตลอดเวลา ความเชื่อที่ว่ามันต้องปรับแก้ตัวเองคือความเข้าใจผิดของนักพนัน (gambler's fallacy) ที่มีการบันทึกไว้อย่างกว้างขวาง ซึ่งมีรากมาจากนิสัยของเราที่คาดหวังให้ตัวอย่างขนาดเล็กสะท้อนค่าเฉลี่ยในระยะยาว 4 Binairo หยิบเอาสัญชาตญาณที่ผิดพลาดนั้นมาตั้งเป็นกฎ กระดานของมันไม่ได้สุ่มเลย แต่เป็น การเลียนแบบ ความไร้ระเบียบที่เราจินตนาการไว้ ซึ่งถูกออกแบบมาอย่างพิถีพิถัน และเป็นระเบียบกว่าที่ความบังเอิญจะเป็นได้
ตาราง Binairo คือความไร้ระเบียบที่มีคู่มือกติกา เป็นความสุ่มแบบเรียบร้อย ไม่มีการออกซ้ำติดกัน และสมดุลอย่างสมบูรณ์แบบที่สัญชาตญาณของมนุษย์ต้องการ แต่ความบังเอิญจริง ๆ ไม่เคยมอบให้
และนี่คือจุดพลิกผันที่ปิดวงจรลง ข้อจำกัด "ความสุ่มจอมปลอม" ทั้งสองข้อนั้นไม่ได้เป็นเพียงความแปลกประหลาดทางความคิด วิศวกรจงใจกำหนดมันให้กับกระแสบิตจริง ๆ ด้วยเหตุผลทางกายภาพที่หนักแน่น เมื่อส่งข้อมูลไปตามสายหรือเขียนลงดิสก์ บิตที่เหมือนกันเรียงติดกันยาว ๆ เป็นอันตราย เพราะฝั่งรับอาจคลาดสัญญาณนาฬิกา และแรงดันไฟฟ้าเฉลี่ยของสัญญาณอาจเลื่อนไหล รหัสสำหรับการส่งข้อมูลจึงถูกสร้างขึ้นให้ห้ามสิ่งเดียวกับที่ Binairo ห้ามไว้พอดี
ตัวอย่างคลาสสิกคือการเข้ารหัส 8b/10b ซึ่งอัล วิดเมอร์ (Al Widmer) และปีเตอร์ ฟรานาสเซก (Peter Franaszek) แห่ง IBM อธิบายไว้ในปี 1983 และถูกใช้ในอินเทอร์เฟซอย่าง Gigabit Ethernet, USB 3.0 และ PCI Express รุ่นแรก ๆ มันรับประกันว่า "จะไม่มีเลขหนึ่งหรือเลขศูนย์เรียงติดกันเกินห้าตัว" ซึ่งเป็นขีดจำกัดความยาวของการเรียงซ้ำ และผ่านการนับสะสมที่เรียกว่า disparity (ความต่างดุล) มันยังรักษาจำนวนเลขหนึ่งกับเลขศูนย์ให้ใกล้เคียงกัน จนกระทั่ง "ผลต่างระหว่างจำนวนเลขหนึ่งกับเลขศูนย์ในสายบิตที่ยาวอย่างน้อย 20 บิต ไม่เกินสอง" 5 ขีดจำกัดความยาวของการเรียงซ้ำและกฎความสมดุล ข้อจำกัดสองข้อที่วิศวกรกำหนดให้กับกระแสบิตที่ดี โดยเนื้อแท้แล้วก็คือข้อจำกัดสองข้อที่กระดาน Binairo กำหนดให้กับแถวและคอลัมน์ของมัน
ดังนั้น ปริศนาตรรกะเล็ก ๆ นี้จึงตั้งอยู่บนทางแยกที่น่าประหลาดใจ ชุดอักษรของมันเป็นของไลบ์นิซ เนื้อสัมผัสของมันคือความสุ่มเทียมที่เป็นระเบียบซึ่งจิตใจเราโหยหา และกติกาของมันก็คือกติกาเดียวกับที่ทำให้ข้อมูลจริงยังอ่านออกได้ขณะพุ่งผ่านใยแก้วนำแสงและหน่วยความจำแฟลช เมื่อคุณเติมตาราง Binairo โดยทำให้แต่ละแถวและคอลัมน์สมดุลและปฏิเสธการเรียงซ้ำตัวที่สามทุกครั้ง คุณกำลังทำงานแบบเดียวกับที่ชิปเข้ารหัสสายสัญญาณทำได้มากถึงหลายร้อยล้านครั้งต่อวินาทีในขนาดย่อส่วน นั่นคือการจัดรูปบิตดิบให้เป็นกระแสที่สมดุล ไม่มีการเรียงซ้ำยาว และไม่กำกวม 2
นั่นอาจเป็นเหตุผลเงียบ ๆ ที่ทำให้ปริศนานี้น่าพึงพอใจ กระดานที่เสร็จสมบูรณ์ไม่ได้แค่ถูกต้อง แต่ยัง มีรูปแบบที่ดี ในแบบเดียวกับที่สัญญาณที่สะอาดมีรูปแบบที่ดี สัญลักษณ์สองตัว ข้อจำกัดไม่กี่ข้อ คำตอบเดียวเท่านั้น แนวคิดที่เก่าแก่ที่สุดในการคำนวณ ถูกทำให้เป็นสิ่งที่คุณแก้ได้ด้วยมือระหว่างจิบกาแฟสักถ้วย