3
ปัญหานอก P ที่ไม่ใช่ P-hard
ในขณะที่อ่านคำตอบของ Peter Shorและคำถามก่อนหน้านี้โดย Adam Crumeฉันรู้ว่าฉันมีความเข้าใจผิดเกี่ยวกับความหมายของยากPP\mathsf{P} ปัญหาคือยากถ้าปัญหาใด ๆ ในสามารถลดได้ด้วย (หรือถ้าคุณต้องการลดการ ) ปัญหาอยู่นอกหากไม่มีอัลกอริธึมเวลาพหุนามเพื่อแก้ปัญหา ซึ่งหมายความว่าควรมีปัญหาที่อยู่นอกแต่ไม่ใช่ยาก ถ้าเราเข้าใจว่าปัจจัยอยู่นอกคำตอบของ Peter Shor แสดงให้เห็นว่าปัจจัยที่อาจเป็นปัญหาดังกล่าวPP\mathsf{P}PP\mathsf{P}LL\mathsf{L}NCยังไม่มีข้อความC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}PP\mathsf{P}PP\mathsf{P} มีปัญหาใด ๆ ที่ทราบ (ธรรมชาติหรือของเทียม) ที่รู้กันว่าอยู่นอกแต่ไม่ใช่ -hard? ภายใต้สมมติฐานที่อ่อนแอกว่าสมมติฐานแฟคตอริ่งคืออะไร มีชื่อสำหรับคลาสความซับซ้อนนี้หรือไม่?PP\mathsf{P}PP\mathsf{P}