1
ความสัมพันธ์ที่คาดเดาระหว่างภาษา P (PTime) และประเภท 1 (คำนึงถึงบริบท) คืออะไร
ไม่ทราบว่า P⊆CSLP⊆CSLP\subseteq CSL หรือ P⊈CSLP⊈CSLP\not\subseteq CSLที่ไหน PPPคือชุดของทุกภาษาที่สามารถตัดสินใจได้ในเวลาพหุนามบนเครื่องทัวริงที่กำหนดไว้และ CSLCSLCSLเป็นคลาสของภาษาที่คำนึงถึงบริบทซึ่งเทียบเท่ากับซึ่งเป็นภาษาที่ตัดสินใจโดยออโตเมต้าแบบ จำกัด ขอบเขตNSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) สำหรับคำถามเปิดจำนวนมากมีแนวโน้มต่อหนึ่งคำตอบ ( a "ผู้เชี่ยวชาญส่วนใหญ่เชื่อว่า ") มีคำถามเช่นนี้หรือไม่?P≠NPP≠NPP\neq NP โดยเฉพาะอย่างยิ่งคำตอบจะมีผลที่ไม่คาดคิดหรือไม่ ฉันเห็นได้เฉพาะผลที่คาดหวัง (แต่ไม่ได้รับการพิสูจน์): ถ้าแล้ว (ลำดับชั้นพื้นที่ทฤษฎีบท) จึงPSpaceP⊆CSLP⊆CSLP\subseteq CSLP⊆NSPACE(O(n))⊊NSPACE(O(n2))P⊆NSPACE(O(n))⊊NSPACE(O(n2))P\subseteq NSPACE(O(n))\subsetneq NSPACE(O(n^2))P⊊PSpaceP⊊PSpaceP\subsetneq PSpace ถ้าแล้วมีภาษาและดังนั้นจึงจึงPP⊈CSLP⊈CSLP\not\subseteq CSLl∈P∖NSPACE(O(n))l∈P∖NSPACE(O(n))l\in P\setminus NSPACE(O(n))l∈P∖NLl∈P∖NLl\in P\setminus NLNL⊊PNL⊊PNL\subsetneq P (รับทราบ: ผลลัพธ์ที่สองของทั้งสองนี้ชี้โดย Yuval Filmus ที่/cs/69614/ )