TAG

การตรวจสอบการพิสูจน์

บทความที่เกี่ยวข้องกับ “การตรวจสอบการพิสูจน์” ทั้งหมด 1 บทความ

01วิทยาการคอมพิวเตอร์

การตรวจสอบการพิสูจน์

การพิสูจน์แบบตรวจสอบได้ด้วยความน่าจะเป็น

การพิสูจน์แบบตรวจสอบได้ด้วยความน่าจะเป็น ในทฤษฎีความซับซ้อนในการคำนวณ (Computational Complexity Theory) การพิสูจน์แบบตรวจสอบได้ด้วยความน่าจะเป็น หรือ Probabilistically Checkable Proof (PCP) คือรูปแบบหนึ่งของการพิสูจน์ที่อ่านต่อ →