00 · The Knot and the Path
00 · ปมและเส้นทาง
THE SHORTEST PATH — A History of the Art and Science of Problem-Solving
เส้นทางที่สั้นที่สุด — ประวัติศาสตร์ของศิลปะและศาสตร์แห่งการแก้ปัญหา
Gordium, 333 BC
กอร์เดียม 333 ปีก่อนคริสตกาล
In the old capital of Phrygia, in what is now central Turkey, an ox-cart stood in the citadel with its yoke lashed to a pole by a knot of cornel bark. The bark had hardened over generations until the knot was a single woody mass with no visible ends. An oracle had attached a promise to it: whoever undid the knot would rule Asia.
เกวียนเทียมวัวคันหนึ่งตั้งอยู่ในป้อมปราการของเมืองหลวงเก่าแห่งฟรีเจีย ดินแดนที่ปัจจุบันคือตอนกลางของตุรกี แอกของมันมัดติดกับคานด้วยปมเปลือกไม้คอร์เนล เปลือกไม้แข็งตัวข้ามหลายชั่วอายุคน จนปมกลายเป็นก้อนไม้ก้อนเดียว มองไม่เห็นปลายเชือกสักปลาย คำพยากรณ์ผูกคำสัญญาไว้กับมัน: ใครแก้ปมนี้ออกได้ จะได้ปกครองเอเชีย
Alexander of Macedon arrived that year, twenty-three years old and mid-conquest, and could not afford to walk away from a public prophecy. The ancient sources preserve two versions of what happened next, and the disagreement between them is worth more than either story alone.
Alexander แห่งมาซิโดเนียมาถึงในปีนั้น อายุยี่สิบสามปี อยู่กลางศึกพิชิตดินแดน และเดินหนีคำพยากรณ์ที่คนทั้งเมืองรู้กันไม่ได้ แหล่งข้อมูลโบราณเก็บเรื่องที่เกิดขึ้นต่อจากนั้นไว้สองสำนวน ความไม่ลงรอยระหว่างสองสำนวนนั้นมีค่ามากกว่าเรื่องเล่าอันใดอันหนึ่งเพียงลำพัง
In the version most people know — the one Plutarch says most writers reported — Alexander studied the knot, found no ends to work with, drew his sword, and cut it through (Plutarch, Life of Alexander 18). In the second version, which Arrian attributes to Aristobulus — an engineer who was actually on the campaign — Alexander did something quieter: he pulled out the wooden pin that ran through the pole and held the whole assembly together. The yoke slid free. The knot, still tied, no longer fastened anything (Arrian, Anabasis 2.3).
Alexander ฟันปมขาดด้วยดาบ — นั่นคือสำนวนที่คนส่วนใหญ่รู้จัก และเป็นสำนวนที่ Plutarch บอกว่านักเขียนส่วนใหญ่รายงานตรงกัน: เขาพิเคราะห์ปม ไม่พบปลายเชือกให้จับ จึงชักดาบออกมาฟัน (Plutarch, Life of Alexander 18) สำนวนที่สองเงียบกว่านั้น Arrian อ้างว่ามาจาก Aristobulus วิศวกรที่ร่วมทัพอยู่จริง: Alexander ดึงสลักไม้ที่เสียบทะลุคานและยึดทั้งชุดไว้ด้วยกันออกมา แอกหลุดเป็นอิสระ ปมยังผูกอยู่อย่างนั้น แต่ไม่ได้ยึดอะไรไว้อีกแล้ว (Arrian, Anabasis 2.3)
Notice what neither version contains: Alexander untying the knot. Both accounts agree that he refused the problem as offered. The oracle said undo the knot; everyone before him had heard untie it by hand and failed. Alexander — by blade or by pin — heard only make the knot irrelevant, and succeeded in seconds at a task that had defeated petitioners for generations.
ไม่มีสำนวนไหนเลยที่ Alexander แก้ปมออก ทั้งสองบันทึกตรงกันว่าเขาปฏิเสธปัญหาในรูปที่ถูกยื่นมาให้ คำพยากรณ์บอกว่า ทำให้ปมคลาย ทุกคนก่อนหน้าเขาได้ยินเป็น แก้ด้วยมือ แล้วล้มเหลว Alexander — ด้วยคมดาบหรือด้วยสลักไม้ก็ตาม — ได้ยินแค่ ทำให้ปมไม่สำคัญ และทำสำเร็จในไม่กี่วินาที กับงานที่เอาชนะผู้มาลองมาแล้วหลายชั่วอายุคน
The sword version celebrates force. The pin version celebrates insight. But the decisive move in both is the same, and it happened before anyone touched the rope: a decision about what the problem actually was. That move — made deliberately, named, studied, taught, and eventually mechanized — is what this book is about.
ท่าชี้ขาดในทั้งสองสำนวนคือท่าเดียวกัน และเกิดขึ้นก่อนใครจะแตะเชือก: การตัดสินใจว่า ปัญหานี้คืออะไรกันแน่ สำนวนดาบยกย่องกำลัง สำนวนสลักไม้ยกย่องการหยั่งเห็น (insight) แต่ทั้งคู่เริ่มจากการตัดสินใจข้อนั้น ท่านั้น — ทำอย่างตั้งใจ ตั้งชื่อ ศึกษา สอน และในที่สุดทำให้เป็นกลไก — คือเรื่องของหนังสือเล่มนี้
What a problem is
ปัญหาคืออะไร
We use the word "problem" loosely, for everything from a flat tire to a failing marriage to Fermat's Last Theorem. The scientific study of solving begins by tightening it. The Gestalt psychologist Karl Duncker, writing in 1945, gave the definition the field still leans on: a problem exists when a living creature has a goal but does not know how the goal is to be reached (Duncker, On Problem-Solving, 1945). The key word is know. A flat tire is not a problem for a mechanic — it is a task, a known procedure executed with known tools. It becomes a problem the moment the jack is missing and nothing in memory supplies the next step.
ปัญหาเกิดขึ้นเมื่อสิ่งมีชีวิตหนึ่งมีเป้าหมาย แต่ไม่รู้ว่าจะไปถึงเป้าหมายนั้นอย่างไร — นิยามนี้ Karl Duncker นักจิตวิทยาสำนักเกสตัลท์ (Gestalt) เขียนไว้ในปี 1945 และวงการยังพิงอยู่จนทุกวันนี้ (Duncker, On Problem-Solving, 1945) ก่อนถึงนิยามนั้น เราใช้คำว่า "ปัญหา" อย่างหลวมๆ ตั้งแต่ยางแบน ชีวิตคู่ที่กำลังพัง ไปจนถึงทฤษฎีบทสุดท้ายของ Fermat การศึกษาการแก้ปัญหาอย่างเป็นวิทยาศาสตร์เริ่มจากรัดคำนี้ให้แน่น คำสำคัญคือ รู้ ยางแบนไม่ใช่ปัญหาสำหรับช่าง มันคืองาน คือขั้นตอนที่รู้อยู่แล้ว ทำด้วยเครื่องมือที่รู้อยู่แล้ว มันกลายเป็นปัญหาในวินาทีที่แม่แรงหายไป และไม่มีอะไรในความจำบอกขั้นต่อไปได้
A problem, then, is a gap with no visible bridge: a present state, a desired state, and no ready-made route between them. This definition does something useful — it makes "problem" a relationship between a situation and a solver, not a property of the situation alone. The same knot is a wall to one mind and a doorway to another. The entire discipline lives in that difference.
ปัญหาคือ ช่องว่างที่ยังมองไม่เห็นสะพาน: สถานะ (state) ปัจจุบัน สถานะที่อยากไปถึง และไม่มีเส้นทางสำเร็จรูประหว่างสองสถานะนั้น นิยามนี้มีประโยชน์ตรงที่ทำให้ "ปัญหา" เป็นความสัมพันธ์ระหว่างสถานการณ์กับนักแก้ปัญหา ไม่ใช่คุณสมบัติของสถานการณ์เพียงลำพัง ปมเดียวกันเป็นกำแพงสำหรับสมองหนึ่ง เป็นประตูสำหรับอีกสมองหนึ่ง ศาสตร์ทั้งศาสตร์อยู่ในความต่างตรงนั้น
In 1972, after fifteen years of watching people solve puzzles while thinking aloud, Allen Newell and Herbert Simon gave the definition its formal skeleton in Human Problem Solving, one of the foundational works of cognitive science (Newell & Simon, 1972). A problem, they proposed, can be described as a problem space: a set of states (every configuration the situation could be in), a set of operators (every legal move that transforms one state into another), an initial state, and a goal state. Solving is search: finding a sequence of operators — a path — from where you are to where you want to be.
ปี 1972 Allen Newell กับ Herbert Simon ให้โครงกระดูกรูปนัยแก่นิยามนั้นใน Human Problem Solving หนึ่งในงานรากฐานของวิทยาศาสตร์การรู้คิด (cognitive science) หลังจากเฝ้าดูคนแก้ปริศนาพร้อมพูดความคิดออกมาดังๆ มาสิบห้าปี (Newell & Simon, 1972) ทั้งสองเสนอว่าปัญหาอธิบายได้ในรูป พื้นที่ปัญหา (problem space): เซตของ สถานะ (ทุกรูปแบบที่สถานการณ์เป็นได้) เซตของ ตัวดำเนินการ (operator) (ทุกการเคลื่อนที่ถูกกติกาที่เปลี่ยนสถานะหนึ่งเป็นอีกสถานะหนึ่ง) สถานะตั้งต้น และ สถานะเป้าหมาย การแก้ปัญหาคือ การค้นหา (search): หาลำดับของ operator — เส้นทางเส้นหนึ่ง — จากจุดที่ยืนอยู่ไปยังจุดที่อยากไปถึง
This sounds like an analogy. It is not. It is a formalism, and it turned out to be astonishingly general. A chess position, a half-finished proof, a molecule to synthesize, a route through a city, a debugging session, a legal argument — each fits the frame: states, moves, start, goal. When Newell and Simon built the first artificial-intelligence programs on this idea in the late 1950s, the programs worked, which is the hardest kind of evidence that a definition has caught something real. The same skeleton now runs inside route planners, theorem provers, and the game engines that beat world champions. Chapter 05 tells that story in full.
นี่ไม่ใช่การเทียบเคียง มันคือระบบรูปนัย และมันทั่วไปกว่าที่ใครคาด ตำแหน่งบนกระดานหมากรุก บทพิสูจน์ที่ค้างครึ่งทาง โมเลกุลที่ต้องสังเคราะห์ เส้นทางผ่านเมืองหนึ่ง การนั่งไล่บั๊ก ข้อโต้แย้งทางกฎหมาย — ทุกอย่างเข้ากรอบนี้ได้: สถานะ การเคลื่อนที่ จุดเริ่ม จุดหมาย Newell กับ Simon สร้างโปรแกรมปัญญาประดิษฐ์ชุดแรกบนไอเดียนี้ในปลายทศวรรษ 1950 และโปรแกรมทำงานได้จริง นั่นคือหลักฐานชนิดที่แข็งที่สุดว่านิยามหนึ่งจับของจริงได้ โครงกระดูกเดียวกันนี้วันนี้ทำงานอยู่ในตัววางแผนเส้นทาง ตัวพิสูจน์ทฤษฎีบท และเอนจินเกมที่เอาชนะแชมป์โลก บทที่ 05 เล่าเรื่องนั้นเต็มๆ
The problem-space view also explains, in one stroke, why problems are hard. The spaces are unimaginably large. Chess has more possible games than there are atoms in the observable universe. The space of possible proofs, or possible protein folds, or possible business strategies, is worse. No solver — human or machine — searches these spaces exhaustively. Anyone who solves anything nontrivial is doing something cleverer than looking everywhere.
ปัญหายากเพราะพื้นที่ใหญ่เกินจินตนาการ — มุมมองแบบพื้นที่ปัญหาอธิบายข้อนี้ได้ในทีเดียว หมากรุกมีเกมที่เป็นไปได้มากกว่าจำนวนอะตอมในเอกภพที่สังเกตได้ พื้นที่ของบทพิสูจน์ที่เป็นไปได้ รูปการพับโปรตีนที่เป็นไปได้ หรือกลยุทธ์ธุรกิจที่เป็นไปได้ หนักกว่านั้นอีก ไม่มีนักแก้ปัญหารายไหน — คนหรือเครื่อง — ค้นพื้นที่พวกนี้ได้ครบทุกจุด ใครแก้อะไรที่ไม่ธรรมดาได้ กำลังทำอะไรที่ฉลาดกว่าการมองให้ทั่วทุกที่
The thesis of this book
ข้อเสนอของหนังสือเล่มนี้
What is the cleverer thing? A century and a half of mathematics, psychology, wartime engineering, and now machine intelligence converges on an answer that can be said in one sentence:
คำถามคือสิ่งที่ฉลาดกว่านั้นคืออะไร คณิตศาสตร์ จิตวิทยา วิศวกรรมยามสงคราม และปัญญาของเครื่องจักรในวันนี้ ใช้เวลารวมกันหนึ่งศตวรรษครึ่งจึงบรรจบที่คำตอบเดียว และคำตอบนั้นพูดได้ในประโยคเดียว:
Great solvers do not search harder; they change the space until the path is short.
นักแก้ปัญหาที่ยิ่งใหญ่ไม่ค้นหาหนักขึ้น — เขาเปลี่ยนพื้นที่จนเส้นทางสั้นลง
Difficulty is not a fixed property of a problem. Difficulty lives in the representation — in which states you bother to distinguish, which operators you allow yourself, and what you take the goal to be. Change any of those, and a maze can collapse into a corridor.
ความยากไม่ใช่คุณสมบัติตายตัวของปัญหา มันอยู่ใน รูปแบบการแทนปัญหา (representation) — อยู่ที่ว่าเลือกแยกแยะสถานะไหน อนุญาตให้ตัวเองใช้ operator ไหน และถือว่าเป้าหมายคืออะไร เปลี่ยนอย่างใดอย่างหนึ่งในนั้น เขาวงกตก็ยุบเหลือทางตรงเส้นเดียว
The book in your hands is a history of that collapse, performed again and again by the best minds of every era:
หนังสือเล่มนี้คือประวัติศาสตร์ของการยุบตัวนั้น หัวคิดดีที่สุดของทุกยุคทำมันซ้ำแล้วซ้ำอีก:
- Leonhard Euler, asked whether a stroller could cross each of Königsberg's seven bridges exactly once, threw away the city — the streets, the water, the geography — until only dots and lines remained, and in that stripped space the answer became a two-line argument. Graph theory was the residue of his reframing (chapter 02).
- John Snow, facing a cholera epidemic that the best minds of 1854 attributed to bad air, changed what a state was: not a patient, but an address. Plotted on a map, the deaths encircled a single water pump on Broad Street (chapter 07).
- The physicists and economists of the 1940s discovered that thousands of apparently different questions — feeding an army cheaply, routing convoys, scheduling factories — were one question wearing different clothes, and built a single mathematical engine to answer all of them (chapter 04).
- A team at DeepMind, facing the fifty-year-old problem of predicting how a protein folds, stopped trying to simulate the physics and recast folding as a pattern-completion problem over evolutionary history — and effectively closed the problem in a single year (chapter 08).
- Leonhard Euler ถูกถามว่าคนเดินเล่นจะข้ามสะพานทั้งเจ็ดของ Königsberg ให้ครบสะพานละครั้งพอดีได้ไหม เขาโยนเมืองทิ้ง — ถนน สายน้ำ ภูมิศาสตร์ — จนเหลือแต่จุดกับเส้น และในพื้นที่ที่ถูกถลกจนเปลือยนั้น คำตอบกลายเป็นข้อโต้แย้งสองบรรทัด ทฤษฎีกราฟคือตะกอนที่เหลือจากการเปลี่ยนกรอบ (reframe) ของเขา (บทที่ 02)
- John Snow เผชิญการระบาดของอหิวาตกโรคที่หัวคิดดีที่สุดของปี 1854 โยนความผิดให้อากาศเสีย เขาเปลี่ยนว่าอะไรคือ สถานะ: ไม่ใช่ผู้ป่วยหนึ่งคน แต่คือที่อยู่หนึ่งแห่ง พอลงจุดบนแผนที่ ผู้เสียชีวิตล้อมรอบเครื่องสูบน้ำเพียงตัวเดียวบนถนน Broad Street (บทที่ 07)
- นักฟิสิกส์และนักเศรษฐศาสตร์ในทศวรรษ 1940 ค้นพบว่าคำถามนับพันที่ดูต่างกัน — เลี้ยงกองทัพให้ถูกที่สุด จัดเส้นทางกองเรือคุ้มกัน จัดตารางโรงงาน — คือคำถามเดียวที่เปลี่ยนเสื้อผ้า แล้วสร้างเอนจินคณิตศาสตร์ตัวเดียวขึ้นมาตอบมันทั้งหมด (บทที่ 04)
- ทีมหนึ่งที่ DeepMind เผชิญปัญหาอายุห้าสิบปีเรื่องการทำนายว่าโปรตีนพับตัวอย่างไร เลิกพยายามจำลองฟิสิกส์ แล้วหล่อการพับโปรตีนใหม่ให้เป็นปัญหาการเติมรูปแบบให้ครบบนประวัติศาสตร์วิวัฒนาการ — และปิดปัญหานั้นลงได้จริงภายในปีเดียว (บทที่ 08)
Different centuries, different fields, one silhouette: the space changes, then the walk is short.
ต่างศตวรรษ ต่างสาขา เงาร่างเดียวกัน: พื้นที่เปลี่ยน แล้วทางเดินก็สั้น
There is a hard version of this claim and a soft version. The soft version says reframing is one useful trick among many. The hard version — the one this book defends — says reframing is the central act, and that most of what we call genius in solving is skill at choosing spaces, with the searching itself almost an afterthought. The evidence for the hard version fills the chapters ahead; the honest limits of it (some spaces resist all compression — that is chapter 06, on the mathematics of genuine hardness) are part of the story too.
หนังสือเล่มนี้ปกป้องเวอร์ชันแข็งของข้ออ้างนี้ ไม่ใช่เวอร์ชันอ่อน เวอร์ชันอ่อนบอกว่าการเปลี่ยนกรอบเป็น ลูกเล่นที่มีประโยชน์อันหนึ่งในหลายอัน เวอร์ชันแข็งบอกว่าการเปลี่ยนกรอบคือการกระทำหลัก อันเดียว และสิ่งที่เราเรียกว่าอัจฉริยภาพในการแก้ปัญหาส่วนใหญ่คือทักษะเลือกพื้นที่ ตัวการค้นหาเองแทบเป็นเรื่องรอง หลักฐานของเวอร์ชันแข็งอยู่ในบทข้างหน้า ขีดจำกัดของมันก็อยู่ในเล่มด้วย และต้องพูดกันตรงๆ: บางพื้นที่ต้านการบีบอัด (compression) ทุกรูปแบบ นั่นคือบทที่ 06 ว่าด้วยคณิตศาสตร์ของความยากที่แท้จริง
Why "shortest"
ทำไมต้อง "สั้นที่สุด"
The title needs defending. Why prize the shortest path? Isn't any path to the goal a solution?
ชื่อหนังสือต้องการการปกป้อง เพราะคำถามมีเหตุ: ทำไมต้องให้ค่ากับเส้นทาง ที่สั้นที่สุด ในเมื่อเส้นทางไหนที่ไปถึงเป้าหมายก็เป็นคำตอบ
Three reasons, in ascending order of depth.
เหตุผลมีสามข้อ เรียงจากตื้นไปลึก
First, economy is survival. Every real solver — a person, a company, an algorithm on a deadline — pays for search in time, money, or attention. The history of operations research (chapter 04) is the history of shaving paths because the shavings were worth fortunes and, in wartime, lives.
หนึ่ง ความประหยัดคือการอยู่รอด นักแก้ปัญหาจริงทุกราย — คน บริษัท อัลกอริทึมที่มีเส้นตาย — จ่ายค่าการค้นหาเป็นเวลา เงิน หรือความสนใจ ประวัติศาสตร์ของวิจัยดำเนินงาน (operational research, OR) ในบทที่ 04 คือประวัติศาสตร์ของการเฉือนเส้นทางให้สั้นลง เศษที่เฉือนออกมาเป็นเงินก้อนใหญ่ และในยามสงคราม เป็นชีวิตคน
Second, the short path is a certificate of understanding. A thousand-step solution can be stumbled into; a three-step solution to the same problem means the solver saw structure the stumbler missed. When Gauss, as a schoolboy, summed the numbers 1 to 100 in seconds by pairing them into fifty 101s, the answer was worth nothing — any drudge could reach it — but the route proved he had seen what addition actually is. Teachers, examiners, and referees have always graded the path, not the destination, and they are right to.
สอง เส้นทางสั้นคือ ใบรับรองว่าเข้าใจจริง คำตอบพันขั้นตอนอาจได้มาด้วยการคลำสะดุดไปเรื่อยๆ คำตอบสามขั้นตอนของปัญหาเดียวกันแปลว่านักแก้ปัญหาเห็นโครงสร้างที่คนคลำมองไม่เห็น Gauss ตอนเป็นเด็กนักเรียนบวกเลข 1 ถึง 100 ได้ในไม่กี่วินาที ด้วยการจับคู่เป็นเลข 101 ห้าสิบคู่ ตัวคำตอบไม่มีค่าอะไรเลย — คนขยันคนไหนก็ไปถึงได้ — แต่ เส้นทาง พิสูจน์ว่าเขาเห็นแล้วว่าการบวกคืออะไรกันแน่ ครู กรรมการสอบ และผู้ตรวจบทความให้คะแนนเส้นทางเสมอ ไม่ใช่ปลายทาง และเขาถูกแล้ว
Third — and this is the strangest fact the book has to offer — the short path is how truth feels. Mathematicians speak of elegant proofs with the vocabulary of aesthetics, and Paul Erdős spoke of "The Book" in which God keeps the perfect proof of each theorem. This is not decoration. Chapter 09 argues, with support from information theory and from the neuroscience of insight, that the experience of beauty in a solution is the felt signal of compression — of a representation snapping into a form where the answer is nearly free. The shortest path is not just cheap. It is what understanding is, seen from inside.
สาม — และนี่คือข้อเท็จจริงที่แปลกที่สุดที่หนังสือเล่มนี้มีให้ — เส้นทางสั้นคือ ความรู้สึก ของความจริง นักคณิตศาสตร์พูดถึงบทพิสูจน์ที่สง่างามด้วยคำศัพท์ของสุนทรียศาสตร์ Paul Erdős พูดถึง "คัมภีร์ (The Book)" ที่พระเจ้าเก็บบทพิสูจน์อันสมบูรณ์แบบของทุกทฤษฎีบทไว้ นี่ไม่ใช่เครื่องประดับ บทที่ 09 เสนอว่าประสบการณ์ของความงามในคำตอบหนึ่งคือสัญญาณที่รู้สึกได้ของ การบีบอัด — ของ representation ที่ดีดเข้ารูปจนคำตอบแทบได้มาฟรี — โดยมีทฤษฎีสารสนเทศและประสาทวิทยาศาสตร์ของ insight หนุนหลัง เส้นทางที่สั้นที่สุดไม่ได้แค่ถูก มันคือตัวความเข้าใจ เอง เมื่อมองจากข้างใน
One warning, before the warm feeling settles: the shortest path is almost never the first one found. It is usually cut after someone has hacked through the long way — Euler's two-liner came after the strollers of Königsberg had worn out their shoes. Elegance is typically a second draft. That, too, is a law of this science, and the galleries of chapters 07 and 08 will show it operating in every century.
เส้นทางที่สั้นที่สุดแทบไม่เคยเป็นเส้นทางแรกที่หาเจอ — คำเตือนข้อนี้มาก่อนความรู้สึกอุ่นๆ จะลงตัว ปกติมันถูกเฉือนขึ้นมา หลังจาก มีคนบุกฝ่าทางยาวไปแล้ว ข้อโต้แย้งสองบรรทัดของ Euler มาหลังจากคนเดินเล่นแห่ง Königsberg เดินจนรองเท้าสึก ความสง่างามมักเป็นร่างที่สอง นั่นเป็นกฎข้อหนึ่งของศาสตร์นี้ด้วย และหอเรื่องเล่าในบทที่ 07 กับ 08 จะแสดงให้เห็นว่ามันทำงานอยู่ในทุกศตวรรษ
Four traditions, one science
สี่สาย หนึ่งศาสตร์
Is there really a science here — or just a shelf of anecdotes about clever people? The skeptic's question deserves a straight answer, and the answer is the structure of this book.
คนขี้สงสัยถามว่าตรงนี้มี ศาสตร์ อยู่จริงหรือ หรือมีแค่ชั้นหนังสือที่เต็มไปด้วยเกร็ดเรื่องคนฉลาด คำถามนี้ควรได้คำตอบตรงๆ และคำตอบคือโครงสร้างของหนังสือเล่มนี้
The study of solving grew up four times, in four communities that barely read each other:
การศึกษาการแก้ปัญหาเติบโตขึ้นสี่ครั้ง ในสี่ชุมชนที่แทบไม่อ่านงานของกันและกันเลย:
- The mathematicians' tradition asked: can the making of discoveries be taught? It runs from the compiled methods of Egyptian and Greek antiquity, through Descartes' dream of a universal method, to George Pólya's How to Solve It — the 1945 handbook that gave heuristics their modern names and became, decades later, required reading for the builders of artificial intelligence. Chapters 01–03.
- The psychologists' tradition asked: what actually happens in a head when the answer arrives? From the Gestalt school's experiments on insight, through Newell and Simon's problem spaces, to the modern neuroscience that can watch the "aha" moment on an EEG trace. Chapters 03 and 09.
- The engineers' tradition asked: can solving be made industrial — systematic, optimal, provable? Born in the operational research cells of the Second World War, it produced linear programming, dynamic programming, the shortest-path algorithms that run inside every navigation app, and, at its philosophical peak, the theory of computational complexity: a mathematics of hardness itself, which proved that some spaces cannot be compressed by anyone, ever. Chapters 04–06.
- The machines' tradition is the youngest: solvers that are not us. It began the moment Newell and Simon's programs first worked, and it has now produced systems that find paths no human has ever walked — move 37, novel proofs, folded proteins. What those systems still cannot do, and what that means for anyone who solves for a living, is the business of chapter 10.
- สายนักคณิตศาสตร์ ถามว่า สอนให้คนค้นพบสิ่งใหม่ได้ไหม สายนี้ทอดจากวิธีที่ถูกรวบรวมไว้ในอียิปต์และกรีกโบราณ ผ่านความฝันของ 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
Four traditions, four vocabularies, one subject. The claim that they form a single science rests on how well their central ideas translate into one another — heuristic search, insight as restructuring, optimization, representation change — and the book is, among other things, a running demonstration of that translation.
สี่สาย สี่ชุดคำศัพท์ หนึ่งหัวข้อ ข้ออ้างว่าทั้งสี่รวมเป็นศาสตร์เดียวขึ้นอยู่กับว่าไอเดียหลักของแต่ละสายแปลข้ามกันได้ดีแค่ไหน — การค้นหาแบบ heuristic การหยั่งเห็นในฐานะการจัดโครงสร้างใหม่ การหาค่าเหมาะที่สุด (optimisation) การเปลี่ยน representation — และหนังสือเล่มนี้ ในบรรดาสิ่งอื่นที่มันเป็น คือการสาธิตการแปลนั้นไปตลอดทั้งเล่ม
How to read this book
วิธีอ่านหนังสือเล่มนี้
The chapters are arranged in four movements, and a coda:
บททั้งหมดจัดเป็นสี่ท่อน กับท่อนปิดอีกหนึ่ง:
- I · Origins (01–03): how humanity noticed that method itself could be an object — made, named, improved, and taught. From the scribes of the Rhind papyrus to Pólya's heuristics.
- II · The Formal Sciences (04–06): how solving became engineering — optimization, algorithms, and the wall of provable hardness where engineering ends.
- III · The Gallery (07–08): ten great solves across four centuries, each told around the single move that cracked it. The theory made flesh.
- IV · Beauty and the Future (09–10): why the short path feels the way it does, and what happens to human solvers now that machines search better than we do.
- Coda (99): the whole book folded into a practice — a vocabulary of moves and a thirty-day route for making them reflexes.
- I · จุดกำเนิด (01–03): มนุษย์สังเกตได้อย่างไรว่าตัววิธีเองเป็นวัตถุชิ้นหนึ่งได้ — สร้างได้ ตั้งชื่อได้ ปรับปรุงได้ และสอนได้ จากอาลักษณ์ของกระดาษปาปิรุส Rhind ถึง heuristic ของ Pólya
- II · ศาสตร์รูปนัย (04–06): การแก้ปัญหากลายเป็นวิศวกรรมได้อย่างไร — การหาค่าเหมาะที่สุด อัลกอริทึม และกำแพงของความยากที่พิสูจน์ได้ ซึ่งเป็นจุดที่วิศวกรรมสิ้นสุดลง
- III · หอเรื่องเล่า (07–08): การแก้ครั้งใหญ่สิบครั้งข้ามสี่ศตวรรษ แต่ละเรื่องเล่ารอบท่าเดียวที่งัดมันแตก ทฤษฎีที่กลายเป็นเนื้อหนัง
- IV · ความงามกับอนาคต (09–10): ทำไมเส้นทางสั้นถึงให้ความรู้สึกแบบที่มันให้ และอะไรจะเกิดขึ้นกับนักแก้ปัญหาที่เป็นมนุษย์ เมื่อเครื่องจักรค้นหาเก่งกว่าเราแล้ว
- ท่อนปิด (99): หนังสือทั้งเล่มพับลงเป็นการฝึก — ชุดคำศัพท์ของท่า และเส้นทางฝึกสามสิบวันที่ทำให้ท่าเหล่านั้นกลายเป็นปฏิกิริยาอัตโนมัติ
One structural device runs through everything, and you should know it now. Every chapter ends by naming its Move — the single transferable act that its history teaches, stated in a form you can actually use on Monday morning. The moves accumulate. By the coda you will hold the complete kit, and the closing chapter exists to turn the kit from vocabulary into reflex. Read for the stories if you like; the moves are the cargo.
กลไกเชิงโครงสร้างหนึ่งอย่างวิ่งผ่านทั้งเล่ม และควรรู้ไว้ตั้งแต่ตอนนี้ ทุกบทจบด้วยการตั้งชื่อท่าประจำบท — การกระทำเดียวที่ถ่ายทอดข้ามงานได้ ที่ประวัติศาสตร์ในบทนั้นสอนไว้ เขียนในรูปที่หยิบไปใช้เช้าวันจันทร์ได้จริง ท่าสะสมกันไปเรื่อยๆ พอถึงท่อนปิด ในมือจะมีชุดเครื่องมือครบชุด และบทปิดมีอยู่เพื่อเปลี่ยนชุดเครื่องมือนั้นจากคำศัพท์ให้เป็นปฏิกิริยาอัตโนมัติ จะอ่านเอาเรื่องเล่าก็ได้ แต่ของที่บรรทุกมาจริงๆ คือท่า
A note on evidence, because this library has standards: every dated claim, quotation, and case in this book carries a source, checked at the time of writing. Where the historical record is genuinely uncertain — as with the sword and the pin at Gordium — the uncertainty is stated rather than smoothed over. A history of clear thinking should not itself cheat.
ทุกข้ออ้างที่มีวันที่ ทุกคำอ้างอิง และทุกกรณีในหนังสือเล่มนี้มีแหล่งที่มากำกับ ตรวจแล้ว ณ เวลาที่เขียน — หมายเหตุเรื่องหลักฐานข้อนี้จำเป็น เพราะห้องสมุดนี้มีมาตรฐาน ตรงไหนที่บันทึกทางประวัติศาสตร์ไม่แน่นอนจริง อย่างเรื่องดาบกับสลักไม้ที่กอร์เดียม ความไม่แน่นอนนั้นถูกพูดออกมาตรงๆ ไม่ใช่กลบให้เรียบ ประวัติศาสตร์ของการคิดให้กระจ่างไม่ควรโกงเสียเอง
The Move
ท่าประจำบท
Every chapter of this book closes the same way. Here is the first entry in the kit.
นี่คือรายการแรกในชุดเครื่องมือ ทุกบทของหนังสือเล่มนี้ปิดท้ายแบบเดียวกัน
Move 00 — Question the frame before touching the rope.
Move 00 — ตั้งคำถามกับกรอบ ก่อนแตะเชือก
When a problem arrives, it arrives pre-framed: someone — a customer, a boss, a textbook, your own habit — has already decided what the states are, what moves are legal, and what counts as solved. The frame reaches you disguised as reality. Generations failed at Gordium because they accepted a rule no oracle had actually spoken: by hand, ends found, rope intact.
ปัญหามาถึงพร้อม กรอบที่ถูกตั้งไว้ล่วงหน้า เสมอ: ใครบางคน — ลูกค้า เจ้านาย ตำราเรียน หรือความเคยชินของตัวเอง — ตัดสินไปแล้วว่าสถานะมีอะไรบ้าง การเคลื่อนที่แบบไหนถูกกติกา และอะไรนับว่าแก้ได้แล้ว กรอบมาถึงในคราบของความจริง คนหลายชั่วอายุล้มเหลวที่กอร์เดียมเพราะยอมรับกฎที่ไม่มีคำพยากรณ์ข้อไหนพูดไว้เลย: ใช้มือ หาปลายให้เจอ เชือกต้องไม่ขาด
So, before searching — before any cleverness at all — interrogate the frame:
ก่อนจะค้นหา — ก่อนจะฉลาดอะไรทั้งสิ้น — ให้ซักกรอบก่อน:
- What would count as solved? Say it precisely. The oracle graded outcomes ("the knot is undone"), not procedures.
- Which constraints are real, and which are habit wearing a uniform? For each rule you are obeying, ask: who set this, and does it bind me?
- Am I solving the problem, or the problem's packaging?
- อะไรจึง นับว่า แก้ได้แล้ว พูดออกมาให้ชัด คำพยากรณ์ให้คะแนนที่ผลลัพธ์ ("ปมคลายแล้ว") ไม่ใช่ที่ขั้นตอน
- ข้อจำกัดข้อไหนจริง และข้อไหนคือความเคยชินที่ใส่เครื่องแบบมา สำหรับกฎทุกข้อที่กำลังทำตามอยู่ ให้ถามว่า ใครตั้งกฎนี้ และมันผูกมัดเราจริงหรือ
- กำลังแก้ปัญหา หรือกำลังแก้ กล่องห่อ ของปัญหา
Alexander's blade and Aristobulus' pin are the same move in different costumes: both attack the frame, not the knot. Everything else in this book — Euler's dots, Snow's map, Bellman's recursions, move 37 — is this move, deepened, varied, formalized, and finally taught to machines.
คมดาบของ Alexander กับสลักไม้ของ Aristobulus คือท่าเดียวกันในเครื่องแต่งกายคนละชุด: ทั้งคู่โจมตีกรอบ ไม่ใช่ปม ทุกอย่างที่เหลือในหนังสือเล่มนี้ — จุดของ Euler แผนที่ของ Snow การเรียกซ้ำของ Bellman, Move 37 — คือท่านี้ ทำให้ลึกขึ้น แตกแขนงออกไป ทำให้เป็นรูปนัย และในที่สุดสอนให้เครื่องจักร
The knot is the problem as handed to you. The path is yours to choose.
ปมคือปัญหาในรูปที่ถูกยื่นมาให้ ส่วนเส้นทาง เลือกเอง
Next — Chapter 01 · The First Methods: four thousand years ago, someone first wrote a solution down not to record the answer, but to teach the route. Method became an object. Everything else followed.
ต่อไป — บทที่ 01 · วิธีชุดแรก: สี่พันปีก่อน มีคนเขียนทางแก้ลงไปเป็นครั้งแรก ไม่ใช่เพื่อบันทึกคำตอบ แต่เพื่อสอนเส้นทาง วิธีกลายเป็นวัตถุ ทุกอย่างที่เหลือตามมาจากตรงนั้น