หลักฐานปัญหาและอุปสรรคและ P vs NP
เป็นที่ทราบกันดีว่าหลักฐานใด ๆ แก้ไขP VS NPคำถามจะต้องเอาชนะrelativization , พิสูจน์ธรรมชาติและalgebrizationอุปสรรค แผนภาพต่อไปนี้แบ่งพาร์ติชัน "พื้นที่พิสูจน์" ในภูมิภาคต่าง ๆ ตัวอย่างเช่นRNRNRNสอดคล้องกับชุดของบทพิสูจน์ที่สัมพันธ์และเป็นธรรมชาติ GCTGCTGCT (ทฤษฎีความซับซ้อนเชิงเรขาคณิต) เป็นหลักสูตรที่อยู่นอกภูมิภาคอย่างเคร่งครัด ตั้งชื่อบทพิสูจน์บางส่วนพร้อมกับภูมิภาคที่เป็นที่รู้จักกันดี วางพวกเขาในทางที่ดีที่สุดคือถ้ามีหลักฐานเป็นที่รู้จักกัน relativize, สัญชาติและ algebrize แล้วมันควรจะอยู่ในไม่เพียง แต่ในR N ถ้าหลักฐานพิสูจน์ความสัมพันธ์ แต่ไม่เปลี่ยนสัญชาติมันเป็นของR ∖ Nและอื่น ๆRNARNARNARNRNRNRRR ∖∖{\setminus} NNN