ฉันพยายามที่จะอยู่ภายใต้การยืนกระดาษบน P-Optimal หลักฐานระบบและ Logic สำหรับ PTIME มีแนวคิดที่เรียกว่าระบบพิสูจน์ในกระดาษและฉันไม่ได้รับความตั้งใจ:
... เราแจ้งปัญหาเกี่ยวกับการย่อยของใน *
ฉันคิดว่าความตั้งใจคือเราเข้ารหัสโครงสร้างบางอย่างใน (เช่นกราฟที่ไม่ได้บอกทิศทาง) และส่วนย่อยของโครงสร้างเหล่านี้เป็นปัญหา (เช่นกราฟระนาบ)
ระบบป้องกัน สำหรับปัญหาเป็นฟังก์ชัน surjectiveคำนวณในเวลาพหุนาม
ตอนนี้สิ่งหนึ่งที่เป็นไปได้คือการพูดเป็นชุดของโมเดลที่เป็นไปได้ทั้งหมดในโครงสร้างที่แน่นอน (เช่นกราฟที่ไม่ได้บอกทิศทางทั้งหมด) แต่นั่นไม่สมเหตุสมผลเพราะเหตุใดจึงควรแมปกราฟที่ไม่ได้บอกทิศทางไว้ในชุดย่อย มันอาจเป็นเครื่องทัวริงที่เข้ารหัส แต่นี่ก็ไม่สมเหตุสมผล ...
ความคิดใด ๆ