Nishio คือ “ถ้าหาก…” อย่างระมัดระวัง คุณลองให้ตัวเลือกหนึ่งเป็นจริง แล้วตามผลที่ ถูกบังคับ (ไม่ใช่การเดามั่ว) ถ้าโลกนั้นทำผิดกติกา ตัวเลือกที่ทดลองก็เป็นเท็จ
นี่คือการพิสูจน์ด้วยข้อขัดแย้ง — ยังเป็นตรรกะ ไม่ใช่การเดาสุ่ม
ทำไมถึงได้ผล
ซูโดกุไม่ยอมให้มีข้อขัดแย้ง ถ้าการสมมติเลข D ในช่องหนึ่งบังคับให้มีตัวเลขเดียวกันสองตัวในหน่วยเดียว หรือทำให้ช่องหนึ่งไม่เหลือตัวเลือกเลย D ก็อยู่ตรงนั้นไม่ได้
ในการทดลอง คุณยอมรับเฉพาะการเดินที่ถูกบังคับเท่านั้น โค้ชแยกการตรวจสอบด้วยโซ่บังคับ (การพิสูจน์รูปแบบ) ออกจากการเดามั่ว — Nishio คือแบบที่ระมัดระวัง
วิธีสังเกต
ในโลกทดลอง ให้ตามเฉพาะการเดินที่ถูกบังคับ — ห้ามเดามั่ว ถ้าโลกพัง ตัวเลือกที่ทดลองก็เป็นเท็จ
การสาธิต
เมื่อรูปแบบที่ง่ายกว่าไปต่อไม่ได้ เลือกตัวเลือกที่น่าสนใจแล้วถามว่า: ถ้าตัวนี้เป็นจริงล่ะ
ตามเฉพาะการวางและการตัดที่ถูกบังคับ ในที่นี้การลองรูปแบบบน 1 นำไปสู่ข้อขัดแย้ง — Nishio
ซูโดกุที่ถูกต้องไปถึงโลกที่พังแบบนั้นไม่ได้ ดังนั้นตัวเลือกที่ทดลองเป็นจริงไม่ได้
ตัดตัวเลือกที่เป็นไปไม่ได้ (สีแดง) (ในที่นี้คือ 1)
ตัวอย่างที่ 1
ทดลองตัวเลือกหนึ่งแล้วตามโซ่บังคับ (เฉพาะการเดินที่ถูกบังคับ)
Nishio แสดงว่า 6 เป็นจริงตรงนี้ไม่ได้ — มันระเบิดเป็นข้อขัดแย้ง
ลบตัวเลือกที่ขัดแย้ง (สีแดง) (ในที่นี้คือ 6) โลกที่ทดลองนั้นผิดกติกา
ตัวอย่างที่ 2
ทดลองตัวเลือกหนึ่งแล้วตามโซ่บังคับ (เฉพาะการเดินที่ถูกบังคับ)
Nishio แสดงว่า 7 เป็นจริงตรงนี้ไม่ได้ — มันระเบิดเป็นข้อขัดแย้ง
ลบตัวเลือกที่ขัดแย้ง (สีแดง) (ในที่นี้คือ 7) โลกที่ทดลองนั้นผิดกติกา