ตัวเลข โอกาส และรูปทรง
อุปกรณ์ที่เราใช้อยู่นั้นเก่าแก่ สัมผัสเชิงจำนวนของมนุษย์นับวัตถุได้สี่ชิ้นในพริบตา รู้สึกถึงช่องว่างระหว่างยี่สิบกับสี่สิบ แต่ไม่รู้สึกถึงช่องว่างระหว่างยี่สิบล้านกับสี่สิบล้าน และจัดเก็บความน่าจะเป็นทุกค่าไว้ใต้หัวข้อเพียงสามหัวข้อ: ไม่เกิดหรอก อาจจะ เกิดแน่ ชุดเครื่องมือนี้รับใช้นักหาของป่ามาอย่างดี และมันยังทำงานอยู่ตลอดเวลา — เร็ว ลื่น และผิดในแบบที่ไม่มีความรู้สึกว่ากำลังผิดติดมาด้วยเลย คำตอบที่ผิดของปริศนาทุกข้อในบทนี้มาถึงในทันที พร้อมความมั่นใจเต็มร้อย
กล้ามเนื้อที่ฝึกในบทนี้คือการส่งไม้ต่อ: รู้สึกให้ทันจังหวะที่คำถามหลุดออกนอกเขตอำนาจของสัญชาตญาณ แล้วส่งมันให้เครื่องมือที่แข็งแรงกว่า — สัญกรณ์ การคำนวณ การพิสูจน์ เครื่องมือเหล่านี้ไม่ใช่อุปกรณ์ตามธรรมชาติ เลขคณิตแบบประจำหลักต้องถูกลักลอบเข้ายุโรปในหนังสือปริศนา (บทที่ 1); ทฤษฎีความน่าจะเป็นยังอายุไม่ถึงสี่ศตวรรษ ไม่มีใครรับรู้ความน่าจะเป็นแบบมีเงื่อนไขได้โดยตรง คนที่จัดการมันได้ถูกต้องคือคนที่เลิกเชื่อความรู้สึก แล้วหัดตรวจสอบ
สี่กระบวน: ตัวเลข โอกาส การประมาณ รูปทรง — รู้อย่างแม่นยำ รู้แต้มต่อ รู้อย่างหยาบๆ และท้ายที่สุด รู้ว่าสิ่งหนึ่งเป็นไปไม่ได้ ระหว่างทาง สัญชาตญาณในท้องจะคอยยื่นคำตอบให้: 183 คน, ห้าสิบ-ห้าสิบ, "วันในสัปดาห์ไม่มีทางสำคัญอยู่แล้ว", "วิธีรักษาไหนชนะภาพรวมก็ต้องดีกว่า" ทุกข้อผิดหมด จงสังเกตว่าความแน่ใจนั้นให้ความรู้สึกอย่างไร ณ วินาทีก่อนการแก้ไขแต่ละครั้ง; ความรู้สึกนั้นแหละคือหลักสูตร ที่ใดที่ลางสังหรณ์กับผลที่ไล่คำนวณมาขัดแย้งกัน ผลที่ไล่คำนวณชนะ ทุกครั้ง
ตัวเลข
เริ่มด้วยเลขคณิต: ปริศนาสามข้อว่าด้วยการให้สัญลักษณ์แบกสิ่งที่ความใส่ใจทำหล่น
★ 26 · อูฐสิบเจ็ดตัว
พ่อคนหนึ่งเสียชีวิต ทิ้งอูฐไว้สิบเจ็ดตัว: ครึ่งหนึ่งให้ลูกคนโต หนึ่งในสามให้ลูกคนกลาง หนึ่งในเก้าให้ลูกคนเล็ก อูฐผ่าแบ่งไม่ได้ ระหว่างที่ทายาทเถียงกัน คนแปลกหน้าขี่อูฐผ่านมาและให้ยืมอูฐของเธอหนึ่งตัว สิบแปดตัว: คนโตรับเก้า คนกลางหก คนเล็กสอง — รวมสิบเจ็ด — แล้วคนแปลกหน้าก็รับอูฐของตัวเองคืนและขี่จากไป ทายาททุกคนได้รับอย่างน้อยเท่าส่วนแบ่งที่สัญญาไว้ เกิดอะไรขึ้น?
หยุดตรงนี้ก่อน กลเม็ดซ่อนอยู่ตรงไหน?
เฉลย. บวกเศษส่วนในพินัยกรรม: 1/2 + 1/3 + 1/9 = 9/18 + 6/18 + 2/18 = 17/18 พินัยกรรมไม่เคยเป็นการแบ่งมรดกทั้งก้อนตั้งแต่แรก มันจัดสรรขาดไปหนึ่งในสิบแปดพอดี และช่องว่างนั้นคือกลไกทั้งหมด อูฐที่ยืมมาเติมฝูงให้ครบจำนวนที่เศษส่วนกัดลงได้พอดีคำ และเพราะพินัยกรรมสัญญาไว้แค่ 17/18 ของฝูง ส่วนแบ่งจำนวนเต็ม 9 + 6 + 2 = 17 จึงบรรจุลงในอูฐสิบแปดตัวโดยเหลือหนึ่ง — ตัวของคนแปลกหน้าเอง ทายาทแต่ละคนได้ดีกว่าลายลักษณ์อักษรของพินัยกรรม: เก้าตัวเทียบกับ 8.5 ที่สัญญา, หกเทียบกับ 5.67, สองเทียบกับ 1.89 กลนี้ซื่อตรงก็เพราะคำสั่งเดิมนั้นขัดแย้งในตัวเองพอดิบพอดี คนแปลกหน้าไม่ได้แบ่งมรดก เธอซ่อมเลขคณิตของมัน โดยไม่คิดค่าจ้าง นิทานเรื่องนี้เป็นคติชนที่พบทั้งในสายอาหรับ อินเดีย และยุโรป — บ่อยครั้งเล่าเป็นเรื่องของ Birbal ปราชญ์เจ้าปัญญาประจำราชสำนัก — และ Tartaglia ก็อภิปรายฉบับม้าสิบเจ็ดตัวไว้แล้วตั้งแต่ศตวรรษที่สิบหก
ท่า — ยืมหนึ่งหน่วย แล้วคืน. ขยายระบบชั่วคราวเพื่อให้โครงสร้างของมันปรากฏ แล้วถอนส่วนขยายออก คณิตศาสตร์ทำแบบนี้ตลอดเวลา: บวกและลบพจน์เดียวกัน คูณด้วยเลข 1 ที่เขียนอย่างแยบยล เติมจุดที่อนันต์ ใส่ตัวแปรหย่อน (slack variable) อูฐก็คือตัวแปรหย่อนที่มีขา
★★★ 41 · SEND + MORE = MONEY
ตัวอักษรแต่ละตัวแทนเลขโดดที่ต่างกัน; ตัวอักษรนำหน้าไม่เป็นศูนย์ จงแก้:
SEND + MORE = MONEY
หยิบดินสอ ตัวทดคือเกมทั้งเกม
เฉลย. ตั้งชื่อตัวทดว่า c₁ (หลักหน่วยเข้าหลักสิบ) ไล่ขึ้นไปถึง c₄ (หลักพันเข้าหลักหมื่น) แล้วเดินไล่ทีละหลักจากจุดที่โครงสร้างแข็งที่สุด
MONEY มีห้าหลัก การบวกจึงล้น: c₄ = 1 และเพราะตัวทดไม่มีวันเกิน 1, M = 1
หลักพัน: S + M + c₃ = O + 10·c₄ ดังนั้น S + 1 + c₃ = O + 10 ถ้า c₃ = 0 แล้ว S = O + 9 บังคับ O = 0, S = 9 ถ้า c₃ = 1 แล้ว S = O + 8 ดังนั้น O เป็น 0 หรือ 1 — และ 1 ถูกจองแล้ว ไม่ว่าทางไหน O = 0 โดย S = 9 หรือ 8 ยังค้างตัดสิน
หลักร้อย: E + O + c₂ = N + 10·c₃ ซึ่งก็คือ E + c₂ = N + 10·c₃ ถ้า c₃ = 1 ฝั่งซ้ายต้องไต่ให้ถึง 10 + N; ทางรอดเดียวคือ E = 9, c₂ = 1, N = 0 — แต่ 0 เป็นของ O ตัน ดังนั้น c₃ = 0 ซึ่งปิดคดี S = 9 และเหลือ N = E + c₂ ตัวอักษรแทนเลขที่ต่างกัน N ≠ E จึงบังคับ c₂ = 1 และ N = E + 1
หลักสิบ: N + R + c₁ = E + 10·c₂ = E + 10 แทน N = E + 1 ลงไป มันยุบเหลือ R + c₁ = 9 R = 9 ถูกจองแล้ว ดังนั้น R = 8 และ c₁ = 1
หลักหน่วย: D + E = Y + 10 เลขโดดที่เหลือคือ {2, 3, 4, 5, 6, 7}; E กับ N = E + 1 ต้องเป็นคู่เรียงติดกันที่หยิบจากชุดนี้ และ D + E ต้องถึงอย่างน้อย 12 ลองไล่ผู้สมัคร: E = 5 (N = 6) เรียกร้อง D = Y + 5 และจากที่เหลือ {2, 3, 4, 7} ได้ D = 7, Y = 2 — ทุกอย่างลงตัว ตัวเลือก E อื่นทุกตัวทิ้ง D ให้ลอยเกินเลขที่ยังเหลืออยู่ คำตอบหนึ่งเดียว ยืนยันด้วยการค้นแบบถ้วนทั่ว: 9567 + 1085 = 10652 Dudeney ตีพิมพ์ปริศนานี้ใน Strand Magazine กรกฎาคม 1924; แนวปริศนานี้ได้ชื่อประจำตระกูล — cryptarithm — ในปี 1931
ท่า — บีบเงื่อนไขที่ตึงที่สุด. อย่าเริ่มตรงที่เติมง่าย; จงเริ่มตรงที่โครงสร้างแข็งเกร็งที่สุด — ในที่นี้คือการล้นเข้าหลักที่ห้า — แล้วปล่อยให้แรงบังคับไหลเป็นทอดๆ ในปัญหาเงื่อนไขบังคับใดๆ "ตัวแปรที่ถูกบีบมากที่สุดก่อน" คือค่าตั้งต้นของมืออาชีพ มือสมัครเล่นเริ่มตรงมุมที่เป็นมิตร
★★★ 48 · จำนวนที่บรรยายตัวเอง
จงหาจำนวน 10 หลักซึ่งหลักแรกบอกว่าจำนวนนั้นมีเลข 0 กี่ตัว หลักที่สองบอกว่ามีเลข 1 กี่ตัว ไล่อย่างนี้ไปเรื่อย จนหลักที่สิบนับจำนวนเลข 9
สร้างมันทีละหลัก จำนวนนี้เป็นตำรวจคุมความประพฤติของตัวเอง
เฉลย. เรียกหลักทั้งหลายว่า d₀ ถึง d₉ โดย dᵢ นับจำนวนครั้งที่เลขโดด i ปรากฏ ข้อเท็จจริงสองข้อคุมวินัยการค้นหา ข้อแรก หลักทั้งหมดรวมกันได้ 10: สำมะโนนี้นับตำแหน่งทั้งสิบ ตำแหน่งละหนึ่งครั้งพอดี ข้อสอง — นับอีกทางหนึ่ง — ผลรวมของค่าเลขโดดในจำนวนนี้เท่ากับ Σ i·dᵢ และนั่นคือผลรวมเดิมอีกครั้ง: 10 สองยอดรวม เป็น 10 ทั้งคู่ ดังนั้นจำนวนนี้ส่วนใหญ่เป็นศูนย์: d₀ ก้อนใหญ่ กับหางที่เบา
ลอง d₀ = 7 เลข 7 จึงปรากฏ ดังนั้น d₇ = 1 และหางถัดจาก d₀ ต้องรวมได้ 3 เจ้าเลข 1 ที่นั่งอยู่ตำแหน่ง 7 แปลว่าจำนวนนี้มีเลข 1 ดังนั้น d₁ ≥ 1 แต่ d₁ = 1 หักล้างตัวเอง — เขียนมันลงไปก็สร้างเลข 1 ตัวที่สองขึ้นมา — และ d₁ = 2 ก็เสกเลข 2 ให้อุบัติ ต้องมี d₂ = 1 แล้วยอดรวมพุ่งชน 7 + 2 + 1 + 1 = 11 ตัน
ลอง d₀ = 6 แล้ว d₆ = 1 หางรวม 4 เลข 1 ที่ตำแหน่ง 6 บังคับ d₁ ≥ 1; ตั้ง d₁ = 2 ซึ่งใส่เลข 2 เข้าไปในจำนวน ดังนั้น d₂ = 1 — และสำมะโนก็ปิดงบ: 6 + 2 + 1 + 1 = 10 อ่านออกมา: 6210001000 ตรวจมันเทียบกับตัวมันเอง: ศูนย์หกตัว หนึ่งสองตัว สองหนึ่งตัว หกหนึ่งตัว ไม่มีอย่างอื่น ลงตัว และการค้นด้วยเครื่องยืนยันว่ามันคือจำนวนแบบนี้เพียงหนึ่งเดียวในฐาน 10 ตระกูลนี้เรียกว่า autobiographical numbers — คติชนสายคณิตบันเทิงแห่งยุค Gardner
ท่า — หาจุดตรึง. เมื่อคำบรรยายเป็นส่วนหนึ่งของสิ่งที่ถูกบรรยาย จงเรียกร้อง x = f(x) แล้วปล่อยให้ความคงเส้นคงวาทำหน้าที่คัดออก จุดตรึงคือจุดที่การอ้างถึงตัวเองเลิกเป็นกลเล่นในงานเลี้ยงและกลายเป็นคณิตศาสตร์: การกำหนดหมายเลขของ Gödel, ควิน (quine), ดุลยภาพ Nash, และทุกประโยค "ประโยคนี้…" ที่ทำงานได้จริง
โอกาส
ความน่าจะเป็นคือสถานที่ที่คนมั่นอกมั่นใจพากันไปผิด สัญชาตญาณมีปุ่มสามระดับ — ไม่เกิด อาจจะ เกิดแน่ — แล้วค่อยแต่งเรื่องย้อนหลังมารองรับ คณิตศาสตร์ที่มาแก้มันอายุเพิ่งราว 370 ปี และไม่เคยกลายเป็นสัญชาตญาณในตัวใครเลย สำหรับปริศนาสี่ข้อถัดไป ทำสิ่งพิเศษเพิ่มหนึ่งอย่าง: ก่อนลงมือแก้ ให้พูดคำตอบที่ผุดขึ้นทันทีออกมาดังๆ แล้วจดมันลงไป ประเด็นของหมวดนี้ไม่ใช่คำตอบที่ถูก แต่คือประสบการณ์ที่บันทึกเป็นลายลักษณ์ของคำตอบที่ผิด
★★ 32 · พาราด็อกซ์วันเกิด
ต้องมีคนอยู่ในห้องกี่คน จึงจะมีโอกาสมากกว่าครึ่งที่สองคนในนั้นจะมีวันเกิดตรงกัน?
ปักหมุดตัวเลขก่อนอ่านต่อ
เฉลย. สัญชาตญาณว่าราวๆ 183 — ครึ่งหนึ่งของ 365 คำตอบคือ 23 จงคำนวณส่วนเติมเต็ม คือความน่าจะเป็นที่วันเกิดทุกคนต่างกันหมด: คนที่สองหลบคนแรกด้วยความน่าจะเป็น 364/365 คนที่สามหลบทั้งสองด้วย 363/365 ไล่ไปเรื่อยๆ สำหรับ 23 คน, 1 − (365/365)(364/365)⋯(343/365) = 0.5073; ที่ 22 คนได้ 0.476 ดังนั้น 23 คือจุดข้ามเส้น สัญชาตญาณพังเพราะมันนับคู่จับของ*คุณ*เอง — 22 โอกาส ซึ่งรู้สึกว่าน้อยก็ถูกแล้ว แต่เหตุการณ์นี้อาศัยอยู่บนคู่ และคน 23 คนแบกคู่มา C(23,2) = 253 คู่ แต่ละคู่คือสลากลอตเตอรีที่ไม่มีใครเฝ้ามอง อัตราเติบโตนั้นโหดร้าย: ถึง 50 คน ความน่าจะเป็นคือ 97 เปอร์เซ็นต์; ถึง 70 คือ 99.9 ผลลัพธ์นี้มักยกเครดิตให้ Richard von Mises (1939) และถูกพาเข้าสู่คติชนโดยตำราความน่าจะเป็นของ Feller กับคอลัมน์ของ Gardner
ท่า — นับส่วนเติมเต็ม และนับคู่. "อย่างน้อยหนึ่ง" เกือบทุกครั้งแปลว่า: คำนวณ ไม่มีเลย แล้วลบออกจาก 1 และเมื่อสิ่งของมีปฏิสัมพันธ์กัน สเกลของปัญหาคือ n² ไม่ใช่ n — เลขคณิตเบื้องหลัง hash collision, เรื่องบังเอิญในฐานข้อมูล DNA และเหตุผลที่เรื่องเล่า "โลกกลมจัง" นั้นราคาถูก
★★★ 33 · Monty Hall
ประตูสามบาน หลังบานหนึ่งคือรถยนต์; หลังอีกสองบานคือแพะ คุณเลือกหนึ่งบาน พิธีกร — ผู้รู้ว่ารถอยู่ไหน ต้องเปิดประตูบานหนึ่งที่คุณไม่ได้เลือก และต้องโชว์แพะ — เปิดหนึ่งบาน: แพะ เขาเสนอให้คุณสลับไปยังบานปิดบานสุดท้าย คุณรับข้อเสนอไหม?
ตัดสินใจเดี๋ยวนี้ — สลับหรือยืนเดิม — แล้วให้คะแนนความมั่นใจตัวเอง
เฉลย. ยืนเดิมชนะ 1/3 ของครั้งทั้งหมด; สลับชนะ 2/3 สัญชาตญาณของเกือบทุกคนบอกว่า ประตูปิดสองบาน ห้าสิบ-ห้าสิบ — กองจดหมายข้างล่างนี้พิสูจน์ว่าแรงดูดนั้นแรงแค่ไหน จงแจกแจง สมมุติว่าเลือกบาน 1 ไปแล้ว รถอยู่บาน 1 (ความน่าจะเป็น 1/3): พิธีกรเปิด 2 หรือ 3; สลับแล้วแพ้ รถอยู่บาน 2 (1/3): เขา*ถูกบังคับ*ให้เปิด 3; สลับแล้วชนะ รถอยู่บาน 3 (1/3): ถูกบังคับให้เปิด 2; สลับแล้วชนะ สองโลกจากสาม การสลับคว้ารถ
ความรู้สึกห้าสิบ-ห้าสิบปฏิบัติต่อการเปิดของพิธีกรราวกับเป็นฉากประกอบ มันไม่ใช่ การเลือกครั้งแรกของคุณผิด 2/3 ของครั้งทั้งหมด และในทุกโลกเหล่านั้นมือของพิธีกรถูกบังคับ — ทางเลือกของเขาอัดความน่าจะเป็น 2/3 ที่เหลือทั้งหมดลงบนประตูบานที่เขาไม่ได้รับอนุญาตให้เปิด ขยายเสียงจนสัญญาณดังแสบแก้วหู: ประตูร้อยบาน คุณเลือกหนึ่ง แล้วพิธีกรผู้รู้เหวี่ยงเปิดแพะเก้าสิบแปดตัว เหลือประตูปิดไว้หนึ่งบาน ประตูของคุณเก็บ 1/100 ของมันไว้ตามเดิม ผู้รอดชีวิตแบก 99/100 ไม่มีใครรู้สึกห้าสิบ-ห้าสิบที่ประตูร้อยบาน; สามบานคือเครื่องจักรเดียวกันที่ถูกหรี่เสียงลง
เงื่อนไขบังคับคือทุกสิ่ง ลองเทียบกับ "Monty Fall": พิธีกรที่ลื่นล้ม เปิดประตูบานอื่น*แบบสุ่ม* แล้วบังเอิญเผยแพะ ฉากดูเหมือนเดิมทุกกระเบียด — และคราวนี้คำตอบเป็น 1/2 จริงๆ ภาพเดียวกัน ขั้นตอนต่างกัน ความน่าจะเป็นต่างกัน
ประวัติศาสตร์ ไว้ปลอบใจ Steve Selvin ตั้งปัญหานี้ใน The American Statistician, 1975 (ปู่ของมันคือพาราด็อกซ์กล่องของ Bertrand, 1889) เมื่อ Marilyn vos Savant ตีพิมพ์คำตอบที่ถูกต้องใน Parade เดือนกันยายน 1990 จดหมายราวหนึ่งหมื่นฉบับหลั่งไหลมาบอกว่าเธอผิด — ราวหนึ่งพันฉบับมาจากคนจบปริญญาเอก เธอไม่ได้ผิด ว่ากันว่า Paul Erdős ยังไม่ยอมเชื่อจนกระทั่งได้เห็นซิมูเลชันคอมพิวเตอร์ ถ้าปริศนานี้เอาชนะสัญชาตญาณของ Erdős ได้ มันก็มีสิทธิ์เอาชนะของคุณ สิ่งที่สำคัญคือคราวหน้าจะเชื่อเครื่องมือชิ้นไหน
ท่า — วางเงื่อนไขบนกระบวนการ ไม่ใช่บนภาพ. หลักฐานไม่ใช่สิ่งที่ตาเห็น; มันคือความน่าจะเป็นที่จะได้เห็นสิ่งนั้นภายใต้สมมุติฐานแต่ละข้อ เมื่อคำนึงถึงกระบวนการที่ผลิตมันขึ้นมา การสังเกตที่เหมือนกันจากโพรโทคอลต่างกันแบกสารสนเทศต่างกัน จงถามว่าเครื่องจักรแบบไหนสร้างการเปิดเผยนั้น — ในห้องประชุมบอร์ดและผลตรวจชิ้นเนื้อ ไม่แพ้ในเกมโชว์ นี่อาจเป็นนิสัยเชิงความน่าจะเป็นที่มีค่าใช้งานจริงที่สุดในเล่มนี้
★★★ 35 · พาราด็อกซ์ของ Simpson
การรักษานิ่วในไตสองวิธี ข้อมูลคลินิกจริง การผ่าตัดเปิดชนะการผ่าตัดส่องกล้องทั้งในนิ่วก้อนเล็ก*และ*นิ่วก้อนใหญ่ แต่ภาพรวม ส่องกล้องชนะ ตัวเลขทั้งหกถูกต้องหมด:
| อัตราสำเร็จ | นิ่วก้อนเล็ก | นิ่วก้อนใหญ่ | ผู้ป่วยทั้งหมด |
|---|---|---|---|
| ผ่าตัดเปิด | 93% (81/87) | 73% (192/263) | 78% (273/350) |
| ส่องกล้อง (PCNL) | 87% (234/270) | 69% (55/80) | 83% (289/350) |
วิธีไหนดีกว่ากัน — และตัวเลขทำแบบนี้ได้อย่างไร?
ลองตรวจเลขด้วยตัวเอง มันลงตัวหมดจริงๆ
เฉลย. เลขคณิตไม่มีอะไรผิด; สิ่งที่ผิดคือคำถาม "แถวไหนชนะ?" ที่ถูกยิงใส่คอลัมน์สุดท้าย การกลับทิศมาจากส่วนผสมของเคส การผ่าตัดเปิดถูกมอบหมายเคสยากเป็นหลัก — ผู้ป่วย 263 จาก 350 ของมันมีนิ่วก้อนใหญ่ — ขณะที่ส่องกล้องได้เคสง่ายเป็นหลัก 270 จาก 350 เป็นก้อนเล็ก คอลัมน์ "ผู้ป่วยทั้งหมด" จึงเอาผ่าตัดเปิด-บนเคสยาก ไปเทียบกับส่องกล้อง-บนเคสง่าย และความรุนแรงของโรค ไม่ใช่วิธีรักษา คือตัวขับเคลื่อนยอดรวม ความรุนแรงเป็นตัวแปรกวน (confounder): มันชี้นำการเลือกวิธีรักษา และมันก็ทำให้ผลลัพธ์แย่ลงด้วย เมื่อเป็นเช่นนั้น คอลัมน์ที่แยกชั้นแล้วคือการเปรียบเทียบที่ซื่อสัตย์ — ผ่าตัดเปิดชนะ — ส่วนภาพรวมตอบคำถามอีกข้อหนึ่ง ซึ่งมักเป็นข้อที่ผิด ข้อมูลจาก Charig et al., BMJ, 1986; ปรากฏการณ์นี้แบกชื่อของ Simpson (1951) โดยสิทธิ์ค้นพบก่อนเป็นของ Yule (1903) และมันเดินอยู่บนโลกจริง: คดีการรับเข้าเรียนของ Berkeley ปี 1973 ที่ผู้หญิงสมัครเข้าภาควิชาที่แข่งขันสูงกว่า (Bickel et al., Science, 1975), ค่าเฉลี่ยการตีเบสบอล, และ A/B test ทุกอันที่ถูกแบ่งกลุ่มย้อนหลัง
ท่า — แยกชั้นก่อนเปรียบเทียบ. ตรวจตัวส่วน; ออกล่าตัวแปรที่สามที่คอยต้อนเคสเข้ากลุ่ม และเคารพวินัยด้านกลับด้วย: การรวบยอดไม่เคยเป็นกลาง — *มีใครบางคนเลือก*ระดับที่ความจริงจะถูกอ่าน เมื่อบทสรุปกับส่วนย่อยขัดกัน จงถามว่าอันไหนตอบคำถามที่กำลังถูกถามอยู่จริง
★★★★ 34 · เด็กชายวันอังคาร
พ่อแม่คนหนึ่งพูดว่า: "ฉันมีลูกสองคน หนึ่งในนั้นเป็นเด็กชายที่เกิดวันอังคาร" ความน่าจะเป็นที่ลูกทั้งสองเป็นชายคือเท่าไร? และ — เอาจริงๆ นะ — วันอังคารสำคัญด้วยหรือ?
คำตอบแรกของคุณผิด คำตอบที่สองก็คงผิดเช่นกัน
เฉลย. สัญชาตญาณว่าวันในสัปดาห์เป็นแค่ของประดับ: คนหนึ่งเป็นชาย ดังนั้นอีกคนเป็นชายด้วยความน่าจะเป็น 1/2 สัญชาตญาณที่ฝึกมาดีกว่าหน่อยนึกถึงปริศนาลูกสองคนฉบับคลาสสิกแล้วตอบ 1/3 คำตอบจากการแจกแจงจริงคือ 13/27 ≈ 0.481 — และวันอังคารกำลังทำงานจริงๆ
จงเอาปริภูมิตัวอย่างมาพิจารณาอย่างจริงจัง: เด็กแต่ละคนคือคู่เพศ-กับ-วันในสัปดาห์ 14 แบบที่น่าจะเป็นเท่ากัน ดังนั้นคู่อันดับของเด็กสองคนมี 196 แบบ ครอบครัวที่มีเด็กชายวันอังคารอย่างน้อยหนึ่งคน: 14 + 14 − 1 = 27 (ลูกคนแรกเป็นเด็กชายวันอังคาร หรือคนที่สองเป็น ลบหนึ่งครอบครัวที่ถูกนับซ้ำ — ครอบครัวที่เป็นทั้งคู่) ในบรรดา 27 นั้น ครอบครัวลูกชายทั้งคู่มี 7 + 7 − 1 = 13 จึงได้ 13/27: อยู่ระหว่าง 1/3 กับ 1/2 อย่างเคร่งครัด กลไกทั้งหมดคือเลข 1 ที่ถูกลบตัวนั้น ยิ่งรายละเอียดที่เอ่ยถึงเจาะจงมากเท่าไร คำตอบยิ่งคืบเข้าใกล้ 1/2 เพราะรายละเอียดที่เจาะจงพอจะเท่ากับ*ระบุชื่อว่าเด็กคนไหน*กำลังถูกพูดถึง — และเมื่อเด็กคนหนึ่งถูกปักหมุดแล้ว อีกคนก็เป็นเหรียญโยนธรรมดาๆ "คนหนึ่งเป็นชาย" ทิ้งความกำกวมไว้สูงสุด (1/3); "คนหนึ่งเป็นชายเกิดเวลา 6:52 เช้าวันอังคาร" แทบเป็นชื่อเฉพาะ (≈1/2); วันอังคารเดี่ยวๆ นั่งอยู่ตรงกลาง
ทีนี้ถึงความซื่อสัตย์ที่จำเป็น 13/27 ตอบคำถามเชิง*สำมะโน*: ในบรรดาครอบครัวลูกสองคนทั้งหมดที่มีเด็กชายเกิดวันอังคารอย่างน้อยหนึ่งคน สัดส่วนที่มีลูกชายสองคนคือเท่าไร แต่ถ้าพ่อแม่แค่เอ่ยข้อเท็จจริงเกี่ยวกับลูกคนหนึ่งขึ้นมาเอง กระบวนการคัดเลือกก็ต่างออกไป และตัวเลขก็ต่างตาม — โดยทั่วไปวิ่งกลับไปที่ 1/2 ตรงๆ ปริศนานี้ไม่มีคำตอบหนึ่งเดียวจนกว่ากระบวนการสุ่มตัวอย่างจะถูกระบุ ⚠ Gardner ผู้แนะนำพาราด็อกซ์เด็กชาย-เด็กหญิงต้นทางในปี 1959 ภายหลังถอนคำตอบ 1/3 ของตัวเองว่ากำกวม ด้วยเหตุผลนี้เป๊ะ Gary Foshee จุดระเบิดฉบับวันอังคารจากเวที Gathering 4 Gardner ในปี 2010 และการถกเถียงระดับโลกที่มันจุดขึ้นก็คือบทเรียนในตัวมันเอง
ท่า — การสุ่มตัวอย่างกำหนดแต้มต่อ. ก่อนคำนวณความน่าจะเป็นแบบมีเงื่อนไขใดๆ จงเขียนกระบวนการที่ผลิตข้อความนั้นลงกระดาษก่อน ข้อมูลไม่เคยพูดด้วยตัวมันเอง; มันพูดผ่านกลไกการคัดเลือกของมัน — บทเรียนเดียวกันที่หวนกลับมาเป็น survivorship bias, พาราด็อกซ์ Berkson และครึ่งหนึ่งของสถิติที่ถูกอ่านผิดทั้งมวล
การประมาณ
พ้นขอบของข้อมูลที่มีอยู่ออกไปคือชีวิตจริงส่วนใหญ่ สิ่งที่มาแทนความแม่นยำตรงนั้นไม่ใช่การเดา; มันคือความหยาบที่ถูกควบคุม
★★ 46 · ช่างจูนเปียโนของ Fermi
มีช่างจูนเปียโนทำงานอยู่ในชิคาโกกี่คน? ห้ามเปิดหาอะไรทั้งนั้น — ข้อห้ามนั้นแหละคือแบบฝึกหัดทั้งหมด
กระดาษหนึ่งหน้า ดินสอหนึ่งแท่ง ไม่มีช่องค้นหา
เฉลย. สร้างลูกโซ่ของตัวประกอบ แต่ละตัวปกป้องได้ภายในตัวคูณสองหรือสาม ชิคาโก: ราว 3 ล้านคน ที่ราว 3 คนต่อครัวเรือน ตีเป็น 1 ล้านครัวเรือน อาจมีสัก 1 ใน 20 ที่มีเปียโน: 50,000 หลัง โดยโรงเรียน โบสถ์ และหอแสดงคอนเสิร์ตเติมอีกไม่กี่พัน เปียโนหนึ่งหลังอยากถูกจูนราวปีละครั้ง ดังนั้น ~50,000 งานจูนต่อปี ช่างหนึ่งคนรับได้ราว 4 งานต่อวัน ตลอด 250 วันทำงาน: 1,000 งานต่อปี อุปสงค์หารกำลังผลิต: 50,000 ÷ 1,000 ≈ 50 คน คำตอบที่ซื่อสัตย์เป็นแถบ ไม่ใช่จุด — 30 ถึง 150 อันดับขนาด 10² — และสมุดโทรศัพท์ชิคาโกยุคเก่าก็เห็นด้วย โดยลงรายชื่อไว้หลายสิบถึงร้อยเศษๆ Enrico Fermi ใช้คำถามแบบนี้ขับเคลื่อนห้องเรียนชิคาโกของเขาในทศวรรษ 1940; รีเฟล็กซ์เดียวกันทำให้เขาประมาณแรงระเบิดของ Trinity ได้ในวันที่ 16 กรกฎาคม 1945 จากระยะที่คลื่นกระแทกพัดเศษกระดาษที่ปล่อยให้ร่วงลงมา
ทำไมมันได้ผล: ตัวประกอบแต่ละตัวหลวมราวตัวคูณ ~2 แต่ความคลาดเคลื่อนเป็นอิสระต่อกัน — บ้างสูง บ้างต่ำ — และหักล้างกันเองบางส่วนในผลคูณ อันดับขนาดจึงรอดชีวิต แม้อินพุตทุกตัวจะเป็นการเดา และวินัยนี้จ่ายผลตอบแทนสองต่อ: การประมาณที่ทำ*ก่อน*การคำนวณจริงจังคือสัญญาณเตือนภัยที่ภายหลังจะจับจุดทศนิยมที่เลื่อนหลุดของการคำนวณนั้นได้
ท่า — แยกส่วน ประมาณ คูณ. แปลง "รู้ไม่ได้" ให้เป็นลูกโซ่ของตัวประกอบที่เดาได้ทีละตัว; คิดเป็นกำลังของสิบ; ประกาศเป็นแถบและปฏิเสธจุดจอมปลอม มั่นใจภายในสามเท่า ชนะ แม่นยำแต่ผิดไปเป็นล้านเท่า
รูปทรง
ดวงตาเป็นพยานที่มั่นใจและเชื่อถือไม่ได้ สองข้อปิดท้าย: ปริศนาที่รูปภาพโกหก และปริศนาที่อาร์กิวเมนต์สองบรรทัดมองไกลกว่าทุกรูปภาพที่จะมีวันถูกวาดขึ้น
★★★ 22 · สี่เหลี่ยมที่หายไป
ชิ้นส่วนแบนสี่ชิ้น: สามเหลี่ยมมุมฉากยาว 8 หน่วย สูง 3; สามเหลี่ยมมุมฉากยาว 5 สูง 2; และชิ้นรูปตัว L สองชิ้นขนาด 7 และ 8 ช่องหน่วย จัดวางแบบหนึ่ง พวกมันเติมเต็มสิ่งที่ดูเป็นสามเหลี่ยมมุมฉากยาว 13 หน่วย สูง 5 จัดวางใหม่ ชิ้นเดิมทั้งสี่ประกอบเป็น "สามเหลี่ยม" 13 คูณ 5 เดิม — แต่มีช่องหน่วยภายในว่างอยู่หนึ่งช่อง ตัดจากกระดาษกราฟดู: ทั้งสองแบบดูไร้ที่ติ สี่เหลี่ยมช่องนั้นหายไปไหน?
สี่เหลี่ยมทั้งช่องจะซ่อนตัวได้ที่ไหนกัน?
เฉลย. ในด้านตรงข้ามมุมฉาก รูปทั้งสองไม่ใช่สามเหลี่ยมสักรูป ขอบเอียงของชิ้น 8×3 ไต่ด้วยความชัน 3/8 = 0.375; ของชิ้น 5×2 ด้วย 2/5 = 0.4 วางต่อกันปลายชนปลาย พวกมันประกอบเป็นเส้นที่หักงอ — เพียงเกินหนึ่งองศานิดเดียว ต่ำกว่าที่ตาจะแยกออกที่ความหนาของเส้นดินสอมาก ในการจัดวางแบบหนึ่ง ด้านตรงข้ามมุมฉากจอมปลอมแอ่นเว้าเข้า รูปถือพื้นที่ 32; อีกแบบโป่งนูนออก พื้นที่ 33 สามเหลี่ยม 13×5 ของแท้จะถือ 13 × 5 ÷ 2 = 32.5: เจ้าตัวปลอมทั้งสองนั่งห่างคนละครึ่งหน่วยสองฟากของมัน สี่เหลี่ยมที่หายไปไม่เคยไปไหน มันถูกละเลงไปตามแนวตะเข็บ เป็นสี่เหลี่ยมด้านขนานบางเฉียบพื้นที่ 1 พอดีเป๊ะ Paul Curry นักมายากลสมัครเล่นชาวนิวยอร์ก สร้างเอฟเฟกต์นี้ในปี 1953; Gardner ให้คำอธิบายฉบับคลาสสิกไว้ใน Mathematics, Magic and Mystery (1956); ปู่ของมันคือการ์ดนักรบสาบสูญ Get Off the Earth ของ Sam Loyd (1896)
ท่า — ตรวจสอบแผนภาพ. รูปภาพคือคำกล่าวอ้าง ไม่ใช่บทพิสูจน์ จงบวกพื้นที่; ตรวจความชัน; ลงมือวัด ฉบับของนักมายากลเล่นอย่างแฟร์ — มันประกาศตัวเองว่าเป็นกล แต่กราฟในสไลด์นำเสนอที่แสดงสิ่งที่ทุกคนหวังจะเห็นเป๊ะๆ ไม่ประกาศอะไรแบบนั้นเลย
★★ 20 · กระดานหมากรุกแหว่ง
หยิบกระดานหมากรุกแล้วตัดช่องมุมที่อยู่ตรงข้ามกันตามแนวทแยงออกสองช่อง เหลือ 62 ช่อง คุณมีโดมิโน 31 ตัว แต่ละตัวคลุมสองช่องที่ขอบติดกันพอดี โดมิโน 31 ตัวจะปูเต็มกระดานแหว่งนี้ได้ไหม?
ลองปูในหัวสักสองสามแบบก่อนตอบ
เฉลย. ไม่ได้ — และบทพิสูจน์ไม่ลองปูแม้แต่แบบเดียว มุมสองมุมที่ถูกตัดออกมีสีเดียวกัน; มุมตรงข้ามของกระดานหมากรุกเป็นเช่นนั้นเสมอ สิ่งที่เหลือคือ 32 ช่องสีหนึ่งกับ 30 ช่องอีกสี โดมิโนทุกตัว ไม่ว่าวางตรงไหน คลุมช่องเข้มหนึ่งช่องกับช่องอ่อนหนึ่งช่องพอดี — ความติดกันของช่องการันตีให้ ดังนั้นโดมิโน 31 ตัวคลุม 31 เข้มกับ 31 อ่อน แต่กระดานมีให้ 32 กับ 30 จบ
จงรู้สึกกับสิ่งที่เพิ่งเกิดขึ้น หากลองด้วยมือ ความพยายามครั้งแล้วครั้งเล่าจะล้มเหลวโดยไม่มีวันเผยว่าความล้มเหลวนั้นเป็นของกระดานหรือของความพยายาม การพิสูจน์ด้วยการระบายสีหักล้างการจัดวาง*ทั้งหมด*ในคราวเดียว — โดยตรวจสอบมันเป็นจำนวนศูนย์แบบ — ด้วยการชูปริมาณหนึ่งที่ไม่มีการวางถูกกติกาใดเปลี่ยนแปลงได้ นี่คือเหตุผลที่ John McCarthy เสนอปริศนานี้เป็นเบนช์มาร์ก (benchmark) สำหรับเครื่องพิสูจน์ทฤษฎีบทอัตโนมัติ: เครื่องจักรที่ทำได้แค่ค้นการจัดวางย่อมมองไม่เห็นการระบายสี ปริศนานี้ตั้งโดยนักปรัชญา Max Black (Critical Thinking, 1946) แพร่ต่อโดย Gamow & Stern และคอลัมน์ปี 1957 ของ Gardner และมันยังคงเป็นวินาที "อ๋อ!" สองประโยคที่สะอาดที่สุดในคณิตศาสตร์
ท่า — หาปริมาณไม่แปรเปลี่ยน (invariant). จะพิสูจน์ว่าสิ่งหนึ่งเป็นไปไม่ได้ จงหาปริมาณที่ทุกการเดินถูกกติกาอนุรักษ์ไว้ แล้วแสดงว่าจุดเริ่มกับเป้าหมายขัดแย้งกันบนปริมาณนั้น บทที่ 9 จะตีเปลวปิ๊งวาบเดียวนี้ขึ้นรูปเป็นคลังแสง — การระบายสี ภาวะคู่คี่ (parity) และผลรวมอนุรักษ์ ที่ประหารงานเป็นไปไม่ได้ทั้งตระกูลได้ภายในย่อหน้าเดียว
ท่าที่ตอนนี้เป็นของคุณแล้ว
- ยืมหนึ่งหน่วย แล้วคืน (★ 26, อูฐ) — ขยายระบบ อ่านโครงสร้างของมัน แล้วถอนเงินยืมคืน
- บีบเงื่อนไขที่ตึงที่สุด (★★★ 41, SEND+MORE) — เริ่มตรงที่โครงสร้างแข็งเกร็ง แล้วปล่อยให้แรงบังคับไหลเป็นทอด
- หาจุดตรึง (★★★ 48, จำนวนที่บรรยายตัวเอง) — เมื่อคำบรรยายบรรยายตัวมันเอง จงเรียกร้องความคงเส้นคงวา: x = f(x)
- นับส่วนเติมเต็ม และนับคู่ (★★ 32, วันเกิด) — "อย่างน้อยหนึ่ง" แปลว่าคำนวณ "ไม่มีเลย"; ปฏิสัมพันธ์สเกลเป็น n²
- วางเงื่อนไขบนกระบวนการ ไม่ใช่บนภาพ (★★★ 33, Monty Hall) — หลักฐานคือความน่าจะเป็นที่จะได้เห็นภาพนั้นภายใต้สมมุติฐานแต่ละข้อ
- แยกชั้นก่อนเปรียบเทียบ (★★★ 35, Simpson) — หาตัวแปรที่ต้อนเคสเข้ากลุ่ม; อย่าไว้ใจภาพรวมที่ประจบประแจง
- การสุ่มตัวอย่างกำหนดแต้มต่อ (★★★★ 34, เด็กชายวันอังคาร) — ไม่มีความน่าจะเป็นแบบมีเงื่อนไขโดยปราศจากกระบวนการกำเนิดข้อมูล
- แยกส่วน ประมาณ คูณ (★★ 46, ช่างจูนเปียโน) — กำลังของสิบ; แถบ ไม่ใช่จุด
- ตรวจสอบแผนภาพ (★★★ 22, สี่เหลี่ยมที่หายไป) — รูปภาพคือคำกล่าวอ้าง
- หาปริมาณไม่แปรเปลี่ยน (★★ 20, กระดานหมากรุก) — ความเป็นไปไม่ได้โดยการอนุรักษ์
มีท่าเหนือท่าหนึ่งท่าติดสอยห้อยตามมากับทั้งสิบ ทุกความล้มเหลวของสัญชาตญาณในบทนี้ประกาศตัวเองมาในคราบความแน่ใจ — คำตอบที่รู้สึกชัดเจนที่สุดคือกับดัก ทุกครั้งไป ยิ่งเสียงคลิกของความชัดเจนรอบตัวเลขใดดังเท่าไร มันยิ่งสมควรได้รับการตรวจสอบสองบรรทัดมากขึ้นเท่านั้น
บทถัดไป · 12 / 21ห้องบอส