00 · ปมและเส้นทาง
เส้นทางที่สั้นที่สุด — ประวัติศาสตร์ของศิลปะและศาสตร์แห่งการแก้ปัญหา
กอร์เดียม 333 ปีก่อนคริสตกาล
เกวียนเทียมวัวคันหนึ่งตั้งอยู่ในป้อมปราการของเมืองหลวงเก่าแห่งฟรีเจีย ดินแดนที่ปัจจุบันคือตอนกลางของตุรกี แอกของมันมัดติดกับคานด้วยปมเปลือกไม้คอร์เนล เปลือกไม้แข็งตัวข้ามหลายชั่วอายุคน จนปมกลายเป็นก้อนไม้ก้อนเดียว มองไม่เห็นปลายเชือกสักปลาย คำพยากรณ์ผูกคำสัญญาไว้กับมัน: ใครแก้ปมนี้ออกได้ จะได้ปกครองเอเชีย
Alexander แห่งมาซิโดเนียมาถึงในปีนั้น อายุยี่สิบสามปี อยู่กลางศึกพิชิตดินแดน และเดินหนีคำพยากรณ์ที่คนทั้งเมืองรู้กันไม่ได้ แหล่งข้อมูลโบราณเก็บเรื่องที่เกิดขึ้นต่อจากนั้นไว้สองสำนวน ความไม่ลงรอยระหว่างสองสำนวนนั้นมีค่ามากกว่าเรื่องเล่าอันใดอันหนึ่งเพียงลำพัง
Alexander ฟันปมขาดด้วยดาบ — นั่นคือสำนวนที่คนส่วนใหญ่รู้จัก และเป็นสำนวนที่ Plutarch บอกว่านักเขียนส่วนใหญ่รายงานตรงกัน: เขาพิเคราะห์ปม ไม่พบปลายเชือกให้จับ จึงชักดาบออกมาฟัน (Plutarch, Life of Alexander 18) สำนวนที่สองเงียบกว่านั้น Arrian อ้างว่ามาจาก Aristobulus วิศวกรที่ร่วมทัพอยู่จริง: Alexander ดึงสลักไม้ที่เสียบทะลุคานและยึดทั้งชุดไว้ด้วยกันออกมา แอกหลุดเป็นอิสระ ปมยังผูกอยู่อย่างนั้น แต่ไม่ได้ยึดอะไรไว้อีกแล้ว (Arrian, Anabasis 2.3)
ไม่มีสำนวนไหนเลยที่ Alexander แก้ปมออก ทั้งสองบันทึกตรงกันว่าเขาปฏิเสธปัญหาในรูปที่ถูกยื่นมาให้ คำพยากรณ์บอกว่า ทำให้ปมคลาย ทุกคนก่อนหน้าเขาได้ยินเป็น แก้ด้วยมือ แล้วล้มเหลว Alexander — ด้วยคมดาบหรือด้วยสลักไม้ก็ตาม — ได้ยินแค่ ทำให้ปมไม่สำคัญ และทำสำเร็จในไม่กี่วินาที กับงานที่เอาชนะผู้มาลองมาแล้วหลายชั่วอายุคน
ท่าชี้ขาดในทั้งสองสำนวนคือท่าเดียวกัน และเกิดขึ้นก่อนใครจะแตะเชือก: การตัดสินใจว่า ปัญหานี้คืออะไรกันแน่ สำนวนดาบยกย่องกำลัง สำนวนสลักไม้ยกย่องการหยั่งเห็น (insight) แต่ทั้งคู่เริ่มจากการตัดสินใจข้อนั้น ท่านั้น — ทำอย่างตั้งใจ ตั้งชื่อ ศึกษา สอน และในที่สุดทำให้เป็นกลไก — คือเรื่องของหนังสือเล่มนี้
ปัญหาคืออะไร
ปัญหาเกิดขึ้นเมื่อสิ่งมีชีวิตหนึ่งมีเป้าหมาย แต่ไม่รู้ว่าจะไปถึงเป้าหมายนั้นอย่างไร — นิยามนี้ Karl Duncker นักจิตวิทยาสำนักเกสตัลท์ (Gestalt) เขียนไว้ในปี 1945 และวงการยังพิงอยู่จนทุกวันนี้ (Duncker, On Problem-Solving, 1945) ก่อนถึงนิยามนั้น เราใช้คำว่า "ปัญหา" อย่างหลวมๆ ตั้งแต่ยางแบน ชีวิตคู่ที่กำลังพัง ไปจนถึงทฤษฎีบทสุดท้ายของ Fermat การศึกษาการแก้ปัญหาอย่างเป็นวิทยาศาสตร์เริ่มจากรัดคำนี้ให้แน่น คำสำคัญคือ รู้ ยางแบนไม่ใช่ปัญหาสำหรับช่าง มันคืองาน คือขั้นตอนที่รู้อยู่แล้ว ทำด้วยเครื่องมือที่รู้อยู่แล้ว มันกลายเป็นปัญหาในวินาทีที่แม่แรงหายไป และไม่มีอะไรในความจำบอกขั้นต่อไปได้
ปัญหาคือ ช่องว่างที่ยังมองไม่เห็นสะพาน: สถานะ (state) ปัจจุบัน สถานะที่อยากไปถึง และไม่มีเส้นทางสำเร็จรูประหว่างสองสถานะนั้น นิยามนี้มีประโยชน์ตรงที่ทำให้ "ปัญหา" เป็นความสัมพันธ์ระหว่างสถานการณ์กับนักแก้ปัญหา ไม่ใช่คุณสมบัติของสถานการณ์เพียงลำพัง ปมเดียวกันเป็นกำแพงสำหรับสมองหนึ่ง เป็นประตูสำหรับอีกสมองหนึ่ง ศาสตร์ทั้งศาสตร์อยู่ในความต่างตรงนั้น
ปี 1972 Allen Newell กับ Herbert Simon ให้โครงกระดูกรูปนัยแก่นิยามนั้นใน Human Problem Solving หนึ่งในงานรากฐานของวิทยาศาสตร์การรู้คิด (cognitive science) หลังจากเฝ้าดูคนแก้ปริศนาพร้อมพูดความคิดออกมาดังๆ มาสิบห้าปี (Newell & Simon, 1972) ทั้งสองเสนอว่าปัญหาอธิบายได้ในรูป พื้นที่ปัญหา (problem space): เซตของ สถานะ (ทุกรูปแบบที่สถานการณ์เป็นได้) เซตของ ตัวดำเนินการ (operator) (ทุกการเคลื่อนที่ถูกกติกาที่เปลี่ยนสถานะหนึ่งเป็นอีกสถานะหนึ่ง) สถานะตั้งต้น และ สถานะเป้าหมาย การแก้ปัญหาคือ การค้นหา (search): หาลำดับของ operator — เส้นทางเส้นหนึ่ง — จากจุดที่ยืนอยู่ไปยังจุดที่อยากไปถึง
นี่ไม่ใช่การเทียบเคียง มันคือระบบรูปนัย และมันทั่วไปกว่าที่ใครคาด ตำแหน่งบนกระดานหมากรุก บทพิสูจน์ที่ค้างครึ่งทาง โมเลกุลที่ต้องสังเคราะห์ เส้นทางผ่านเมืองหนึ่ง การนั่งไล่บั๊ก ข้อโต้แย้งทางกฎหมาย — ทุกอย่างเข้ากรอบนี้ได้: สถานะ การเคลื่อนที่ จุดเริ่ม จุดหมาย Newell กับ Simon สร้างโปรแกรมปัญญาประดิษฐ์ชุดแรกบนไอเดียนี้ในปลายทศวรรษ 1950 และโปรแกรมทำงานได้จริง นั่นคือหลักฐานชนิดที่แข็งที่สุดว่านิยามหนึ่งจับของจริงได้ โครงกระดูกเดียวกันนี้วันนี้ทำงานอยู่ในตัววางแผนเส้นทาง ตัวพิสูจน์ทฤษฎีบท และเอนจินเกมที่เอาชนะแชมป์โลก บทที่ 05 เล่าเรื่องนั้นเต็มๆ
ปัญหายากเพราะพื้นที่ใหญ่เกินจินตนาการ — มุมมองแบบพื้นที่ปัญหาอธิบายข้อนี้ได้ในทีเดียว หมากรุกมีเกมที่เป็นไปได้มากกว่าจำนวนอะตอมในเอกภพที่สังเกตได้ พื้นที่ของบทพิสูจน์ที่เป็นไปได้ รูปการพับโปรตีนที่เป็นไปได้ หรือกลยุทธ์ธุรกิจที่เป็นไปได้ หนักกว่านั้นอีก ไม่มีนักแก้ปัญหารายไหน — คนหรือเครื่อง — ค้นพื้นที่พวกนี้ได้ครบทุกจุด ใครแก้อะไรที่ไม่ธรรมดาได้ กำลังทำอะไรที่ฉลาดกว่าการมองให้ทั่วทุกที่
ข้อเสนอของหนังสือเล่มนี้
คำถามคือสิ่งที่ฉลาดกว่านั้นคืออะไร คณิตศาสตร์ จิตวิทยา วิศวกรรมยามสงคราม และปัญญาของเครื่องจักรในวันนี้ ใช้เวลารวมกันหนึ่งศตวรรษครึ่งจึงบรรจบที่คำตอบเดียว และคำตอบนั้นพูดได้ในประโยคเดียว:
นักแก้ปัญหาที่ยิ่งใหญ่ไม่ค้นหาหนักขึ้น — เขาเปลี่ยนพื้นที่จนเส้นทางสั้นลง
ความยากไม่ใช่คุณสมบัติตายตัวของปัญหา มันอยู่ใน รูปแบบการแทนปัญหา (representation) — อยู่ที่ว่าเลือกแยกแยะสถานะไหน อนุญาตให้ตัวเองใช้ operator ไหน และถือว่าเป้าหมายคืออะไร เปลี่ยนอย่างใดอย่างหนึ่งในนั้น เขาวงกตก็ยุบเหลือทางตรงเส้นเดียว
หนังสือเล่มนี้คือประวัติศาสตร์ของการยุบตัวนั้น หัวคิดดีที่สุดของทุกยุคทำมันซ้ำแล้วซ้ำอีก:
- Leonhard Euler ถูกถามว่าคนเดินเล่นจะข้ามสะพานทั้งเจ็ดของ Königsberg ให้ครบสะพานละครั้งพอดีได้ไหม เขาโยนเมืองทิ้ง — ถนน สายน้ำ ภูมิศาสตร์ — จนเหลือแต่จุดกับเส้น และในพื้นที่ที่ถูกถลกจนเปลือยนั้น คำตอบกลายเป็นข้อโต้แย้งสองบรรทัด ทฤษฎีกราฟคือตะกอนที่เหลือจากการเปลี่ยนกรอบ (reframe) ของเขา (บทที่ 02)
- John Snow เผชิญการระบาดของอหิวาตกโรคที่หัวคิดดีที่สุดของปี 1854 โยนความผิดให้อากาศเสีย เขาเปลี่ยนว่าอะไรคือ สถานะ: ไม่ใช่ผู้ป่วยหนึ่งคน แต่คือที่อยู่หนึ่งแห่ง พอลงจุดบนแผนที่ ผู้เสียชีวิตล้อมรอบเครื่องสูบน้ำเพียงตัวเดียวบนถนน Broad Street (บทที่ 07)
- นักฟิสิกส์และนักเศรษฐศาสตร์ในทศวรรษ 1940 ค้นพบว่าคำถามนับพันที่ดูต่างกัน — เลี้ยงกองทัพให้ถูกที่สุด จัดเส้นทางกองเรือคุ้มกัน จัดตารางโรงงาน — คือคำถามเดียวที่เปลี่ยนเสื้อผ้า แล้วสร้างเอนจินคณิตศาสตร์ตัวเดียวขึ้นมาตอบมันทั้งหมด (บทที่ 04)
- ทีมหนึ่งที่ DeepMind เผชิญปัญหาอายุห้าสิบปีเรื่องการทำนายว่าโปรตีนพับตัวอย่างไร เลิกพยายามจำลองฟิสิกส์ แล้วหล่อการพับโปรตีนใหม่ให้เป็นปัญหาการเติมรูปแบบให้ครบบนประวัติศาสตร์วิวัฒนาการ — และปิดปัญหานั้นลงได้จริงภายในปีเดียว (บทที่ 08)
ต่างศตวรรษ ต่างสาขา เงาร่างเดียวกัน: พื้นที่เปลี่ยน แล้วทางเดินก็สั้น
หนังสือเล่มนี้ปกป้องเวอร์ชันแข็งของข้ออ้างนี้ ไม่ใช่เวอร์ชันอ่อน เวอร์ชันอ่อนบอกว่าการเปลี่ยนกรอบเป็น ลูกเล่นที่มีประโยชน์อันหนึ่งในหลายอัน เวอร์ชันแข็งบอกว่าการเปลี่ยนกรอบคือการกระทำหลัก อันเดียว และสิ่งที่เราเรียกว่าอัจฉริยภาพในการแก้ปัญหาส่วนใหญ่คือทักษะเลือกพื้นที่ ตัวการค้นหาเองแทบเป็นเรื่องรอง หลักฐานของเวอร์ชันแข็งอยู่ในบทข้างหน้า ขีดจำกัดของมันก็อยู่ในเล่มด้วย และต้องพูดกันตรงๆ: บางพื้นที่ต้านการบีบอัด (compression) ทุกรูปแบบ นั่นคือบทที่ 06 ว่าด้วยคณิตศาสตร์ของความยากที่แท้จริง
ทำไมต้อง "สั้นที่สุด"
ชื่อหนังสือต้องการการปกป้อง เพราะคำถามมีเหตุ: ทำไมต้องให้ค่ากับเส้นทาง ที่สั้นที่สุด ในเมื่อเส้นทางไหนที่ไปถึงเป้าหมายก็เป็นคำตอบ
เหตุผลมีสามข้อ เรียงจากตื้นไปลึก
หนึ่ง ความประหยัดคือการอยู่รอด นักแก้ปัญหาจริงทุกราย — คน บริษัท อัลกอริทึมที่มีเส้นตาย — จ่ายค่าการค้นหาเป็นเวลา เงิน หรือความสนใจ ประวัติศาสตร์ของวิจัยดำเนินงาน (operational research, OR) ในบทที่ 04 คือประวัติศาสตร์ของการเฉือนเส้นทางให้สั้นลง เศษที่เฉือนออกมาเป็นเงินก้อนใหญ่ และในยามสงคราม เป็นชีวิตคน
สอง เส้นทางสั้นคือ ใบรับรองว่าเข้าใจจริง คำตอบพันขั้นตอนอาจได้มาด้วยการคลำสะดุดไปเรื่อยๆ คำตอบสามขั้นตอนของปัญหาเดียวกันแปลว่านักแก้ปัญหาเห็นโครงสร้างที่คนคลำมองไม่เห็น Gauss ตอนเป็นเด็กนักเรียนบวกเลข 1 ถึง 100 ได้ในไม่กี่วินาที ด้วยการจับคู่เป็นเลข 101 ห้าสิบคู่ ตัวคำตอบไม่มีค่าอะไรเลย — คนขยันคนไหนก็ไปถึงได้ — แต่ เส้นทาง พิสูจน์ว่าเขาเห็นแล้วว่าการบวกคืออะไรกันแน่ ครู กรรมการสอบ และผู้ตรวจบทความให้คะแนนเส้นทางเสมอ ไม่ใช่ปลายทาง และเขาถูกแล้ว
สาม — และนี่คือข้อเท็จจริงที่แปลกที่สุดที่หนังสือเล่มนี้มีให้ — เส้นทางสั้นคือ ความรู้สึก ของความจริง นักคณิตศาสตร์พูดถึงบทพิสูจน์ที่สง่างามด้วยคำศัพท์ของสุนทรียศาสตร์ Paul Erdős พูดถึง "คัมภีร์ (The Book)" ที่พระเจ้าเก็บบทพิสูจน์อันสมบูรณ์แบบของทุกทฤษฎีบทไว้ นี่ไม่ใช่เครื่องประดับ บทที่ 09 เสนอว่าประสบการณ์ของความงามในคำตอบหนึ่งคือสัญญาณที่รู้สึกได้ของ การบีบอัด — ของ representation ที่ดีดเข้ารูปจนคำตอบแทบได้มาฟรี — โดยมีทฤษฎีสารสนเทศและประสาทวิทยาศาสตร์ของ insight หนุนหลัง เส้นทางที่สั้นที่สุดไม่ได้แค่ถูก มันคือตัวความเข้าใจ เอง เมื่อมองจากข้างใน
เส้นทางที่สั้นที่สุดแทบไม่เคยเป็นเส้นทางแรกที่หาเจอ — คำเตือนข้อนี้มาก่อนความรู้สึกอุ่นๆ จะลงตัว ปกติมันถูกเฉือนขึ้นมา หลังจาก มีคนบุกฝ่าทางยาวไปแล้ว ข้อโต้แย้งสองบรรทัดของ Euler มาหลังจากคนเดินเล่นแห่ง Königsberg เดินจนรองเท้าสึก ความสง่างามมักเป็นร่างที่สอง นั่นเป็นกฎข้อหนึ่งของศาสตร์นี้ด้วย และหอเรื่องเล่าในบทที่ 07 กับ 08 จะแสดงให้เห็นว่ามันทำงานอยู่ในทุกศตวรรษ
สี่สาย หนึ่งศาสตร์
คนขี้สงสัยถามว่าตรงนี้มี ศาสตร์ อยู่จริงหรือ หรือมีแค่ชั้นหนังสือที่เต็มไปด้วยเกร็ดเรื่องคนฉลาด คำถามนี้ควรได้คำตอบตรงๆ และคำตอบคือโครงสร้างของหนังสือเล่มนี้
การศึกษาการแก้ปัญหาเติบโตขึ้นสี่ครั้ง ในสี่ชุมชนที่แทบไม่อ่านงานของกันและกันเลย:
- สายนักคณิตศาสตร์ ถามว่า สอนให้คนค้นพบสิ่งใหม่ได้ไหม สายนี้ทอดจากวิธีที่ถูกรวบรวมไว้ในอียิปต์และกรีกโบราณ ผ่านความฝันของ Descartes เรื่องวิธีสากล มาจนถึง How to Solve It ของ George Pólya — คู่มือปี 1945 ที่ตั้งชื่อสมัยใหม่ให้วิธีเดาอย่างมีหลัก (heuristic) และกลายเป็นหนังสือที่ผู้สร้างปัญญาประดิษฐ์ต้องอ่านในอีกหลายทศวรรษต่อมา บทที่ 01–03
- สายนักจิตวิทยา ถามว่า ในหัวคนเกิดอะไรขึ้นจริงๆ ตอนคำตอบมาถึง จากการทดลองเรื่อง insight ของสำนัก Gestalt ผ่านพื้นที่ปัญหาของ Newell กับ Simon มาถึงประสาทวิทยาศาสตร์สมัยใหม่ที่เฝ้าดูจังหวะ "อ๋อ" บนกราฟ EEG ได้ บทที่ 03 และ 09
- สายวิศวกร ถามว่า ทำให้การแก้ปัญหาเป็น อุตสาหกรรม ได้ไหม — เป็นระบบ เหมาะที่สุด พิสูจน์ได้ สายนี้เกิดในหน่วยวิจัยดำเนินงานของสงครามโลกครั้งที่สอง มันให้กำเนิดกำหนดการเชิงเส้น (linear programming) กำหนดการพลวัต (dynamic programming) อัลกอริทึมหาเส้นทางสั้นที่สุดที่ทำงานอยู่ในแอปนำทางทุกตัว และในจุดสูงสุดเชิงปรัชญาของมัน คือทฤษฎีความซับซ้อนเชิงคำนวณ: คณิตศาสตร์ของ ตัวความยากเอง ซึ่งพิสูจน์ว่าบางพื้นที่ไม่มีใครบีบอัดได้ ไม่ว่าเมื่อไหร่ก็ตาม บทที่ 04–06
- สายเครื่องจักร อายุน้อยที่สุด: นักแก้ปัญหาที่ไม่ใช่เรา มันเริ่มในวินาทีที่โปรแกรมของ Newell กับ Simon ทำงานได้ครั้งแรก และตอนนี้มันผลิตระบบที่หาเส้นทางซึ่งไม่เคยมีมนุษย์คนไหนเดินมาก่อนได้ — Move 37 บทพิสูจน์ใหม่ โปรตีนที่พับแล้ว สิ่งที่ระบบเหล่านั้นยังทำไม่ได้ และความหมายของมันต่อคนที่แก้ปัญหาเป็นอาชีพ คือธุระของบทที่ 10
สี่สาย สี่ชุดคำศัพท์ หนึ่งหัวข้อ ข้ออ้างว่าทั้งสี่รวมเป็นศาสตร์เดียวขึ้นอยู่กับว่าไอเดียหลักของแต่ละสายแปลข้ามกันได้ดีแค่ไหน — การค้นหาแบบ heuristic การหยั่งเห็นในฐานะการจัดโครงสร้างใหม่ การหาค่าเหมาะที่สุด (optimisation) การเปลี่ยน representation — และหนังสือเล่มนี้ ในบรรดาสิ่งอื่นที่มันเป็น คือการสาธิตการแปลนั้นไปตลอดทั้งเล่ม
วิธีอ่านหนังสือเล่มนี้
บททั้งหมดจัดเป็นสี่ท่อน กับท่อนปิดอีกหนึ่ง:
- I · จุดกำเนิด (01–03): มนุษย์สังเกตได้อย่างไรว่าตัววิธีเองเป็นวัตถุชิ้นหนึ่งได้ — สร้างได้ ตั้งชื่อได้ ปรับปรุงได้ และสอนได้ จากอาลักษณ์ของกระดาษปาปิรุส Rhind ถึง heuristic ของ Pólya
- II · ศาสตร์รูปนัย (04–06): การแก้ปัญหากลายเป็นวิศวกรรมได้อย่างไร — การหาค่าเหมาะที่สุด อัลกอริทึม และกำแพงของความยากที่พิสูจน์ได้ ซึ่งเป็นจุดที่วิศวกรรมสิ้นสุดลง
- III · หอเรื่องเล่า (07–08): การแก้ครั้งใหญ่สิบครั้งข้ามสี่ศตวรรษ แต่ละเรื่องเล่ารอบท่าเดียวที่งัดมันแตก ทฤษฎีที่กลายเป็นเนื้อหนัง
- IV · ความงามกับอนาคต (09–10): ทำไมเส้นทางสั้นถึงให้ความรู้สึกแบบที่มันให้ และอะไรจะเกิดขึ้นกับนักแก้ปัญหาที่เป็นมนุษย์ เมื่อเครื่องจักรค้นหาเก่งกว่าเราแล้ว
- ท่อนปิด (99): หนังสือทั้งเล่มพับลงเป็นการฝึก — ชุดคำศัพท์ของท่า และเส้นทางฝึกสามสิบวันที่ทำให้ท่าเหล่านั้นกลายเป็นปฏิกิริยาอัตโนมัติ
กลไกเชิงโครงสร้างหนึ่งอย่างวิ่งผ่านทั้งเล่ม และควรรู้ไว้ตั้งแต่ตอนนี้ ทุกบทจบด้วยการตั้งชื่อท่าประจำบท — การกระทำเดียวที่ถ่ายทอดข้ามงานได้ ที่ประวัติศาสตร์ในบทนั้นสอนไว้ เขียนในรูปที่หยิบไปใช้เช้าวันจันทร์ได้จริง ท่าสะสมกันไปเรื่อยๆ พอถึงท่อนปิด ในมือจะมีชุดเครื่องมือครบชุด และบทปิดมีอยู่เพื่อเปลี่ยนชุดเครื่องมือนั้นจากคำศัพท์ให้เป็นปฏิกิริยาอัตโนมัติ จะอ่านเอาเรื่องเล่าก็ได้ แต่ของที่บรรทุกมาจริงๆ คือท่า
ทุกข้ออ้างที่มีวันที่ ทุกคำอ้างอิง และทุกกรณีในหนังสือเล่มนี้มีแหล่งที่มากำกับ ตรวจแล้ว ณ เวลาที่เขียน — หมายเหตุเรื่องหลักฐานข้อนี้จำเป็น เพราะห้องสมุดนี้มีมาตรฐาน ตรงไหนที่บันทึกทางประวัติศาสตร์ไม่แน่นอนจริง อย่างเรื่องดาบกับสลักไม้ที่กอร์เดียม ความไม่แน่นอนนั้นถูกพูดออกมาตรงๆ ไม่ใช่กลบให้เรียบ ประวัติศาสตร์ของการคิดให้กระจ่างไม่ควรโกงเสียเอง
ท่าประจำบท
นี่คือรายการแรกในชุดเครื่องมือ ทุกบทของหนังสือเล่มนี้ปิดท้ายแบบเดียวกัน
Move 00 — ตั้งคำถามกับกรอบ ก่อนแตะเชือก
ปัญหามาถึงพร้อม กรอบที่ถูกตั้งไว้ล่วงหน้า เสมอ: ใครบางคน — ลูกค้า เจ้านาย ตำราเรียน หรือความเคยชินของตัวเอง — ตัดสินไปแล้วว่าสถานะมีอะไรบ้าง การเคลื่อนที่แบบไหนถูกกติกา และอะไรนับว่าแก้ได้แล้ว กรอบมาถึงในคราบของความจริง คนหลายชั่วอายุล้มเหลวที่กอร์เดียมเพราะยอมรับกฎที่ไม่มีคำพยากรณ์ข้อไหนพูดไว้เลย: ใช้มือ หาปลายให้เจอ เชือกต้องไม่ขาด
ก่อนจะค้นหา — ก่อนจะฉลาดอะไรทั้งสิ้น — ให้ซักกรอบก่อน:
- อะไรจึง นับว่า แก้ได้แล้ว พูดออกมาให้ชัด คำพยากรณ์ให้คะแนนที่ผลลัพธ์ ("ปมคลายแล้ว") ไม่ใช่ที่ขั้นตอน
- ข้อจำกัดข้อไหนจริง และข้อไหนคือความเคยชินที่ใส่เครื่องแบบมา สำหรับกฎทุกข้อที่กำลังทำตามอยู่ ให้ถามว่า ใครตั้งกฎนี้ และมันผูกมัดเราจริงหรือ
- กำลังแก้ปัญหา หรือกำลังแก้ กล่องห่อ ของปัญหา
คมดาบของ Alexander กับสลักไม้ของ Aristobulus คือท่าเดียวกันในเครื่องแต่งกายคนละชุด: ทั้งคู่โจมตีกรอบ ไม่ใช่ปม ทุกอย่างที่เหลือในหนังสือเล่มนี้ — จุดของ Euler แผนที่ของ Snow การเรียกซ้ำของ Bellman, Move 37 — คือท่านี้ ทำให้ลึกขึ้น แตกแขนงออกไป ทำให้เป็นรูปนัย และในที่สุดสอนให้เครื่องจักร
ปมคือปัญหาในรูปที่ถูกยื่นมาให้ ส่วนเส้นทาง เลือกเอง
ต่อไป — บทที่ 01 · วิธีชุดแรก: สี่พันปีก่อน มีคนเขียนทางแก้ลงไปเป็นครั้งแรก ไม่ใช่เพื่อบันทึกคำตอบ แต่เพื่อสอนเส้นทาง วิธีกลายเป็นวัตถุ ทุกอย่างที่เหลือตามมาจากตรงนั้น
บทถัดไป · 2 / 1201 · วิธีชุดแรก