ผลของ


14

ภาษาอยู่ในL/polyหากมีเครื่องทัวริง logspace ที่ตัดสินใจภาษาด้วยคำแนะนำจำนวนพหุนาม

ดูที่นี่สำหรับข้อมูลเพิ่มเติม: https://en.wikipedia.org/wiki/L/poly

คำถาม

ผลของPL/polyคืออะไร


หมายเหตุ: L / poly มีลักษณะเป็นคลาสของภาษาที่มีโปรแกรมการแยกย่อยขนาดแบบพหุนาม
Michael Wehar

1
ผลที่น่าสนใจของ L = P เป็นที่รู้จักกันหรือไม่? (ความหมายที่น่าสนใจว่า (a) จำเป็นต้องมีการพิสูจน์ที่ไม่น่าสนใจและ (b) ผลที่ตามมาไม่ใช่แค่ว่า P จะมีคุณสมบัติเช่นนั้นและที่ L ไม่มีเงื่อนไข)
William Hoza

ในคำถามของฉันฉันเปิดรับผลกระทบใด ๆ ที่ผู้ใช้พบว่ามีความหมายต่อพวกเขาแม้ว่าพวกเขาจะเล็กน้อย ผลที่คาดหวังบางอย่างที่ฉันสงสัยคือถ้าหมายถึงP = LหรือP / p o l y = L / p o l yหรืออย่างอื่นที่อ่อนแอลงเกี่ยวกับเรื่องนี้ :)PL/polyP=LP/poly=L/poly
Michael Wehar

1
ยุติธรรมพอ! เป็นผลที่ตามมาแน่นอน ดูคำตอบของฉันสำหรับการพิสูจน์ P/poly=L/poly
วิลเลียม Hoza

1
@WilliamHoza นอกจากนี้ผมคิดว่าหมายถึงD T ฉันM E ( T ( n ) ) N T ฉันM E ( T ( n ) )สำหรับฟังก์ชั่นบางอย่างT ( n ) ดู "บนตัวแยกเซกเกอเรเตอร์และเวลาเทียบกับช่องว่าง" สำหรับข้อมูลเพิ่มเติม P=LDTIME(t(n))NTIME(t(n))t(n)
Michael Wehar

คำตอบ:


9

หนึ่งผลง่ายๆคือโพลี ข้อพิสูจน์: สำหรับภาษาใด ๆA P / polyมีภาษาB Pและลำดับของสตริงคำแนะนำความยาวพหุนามy 1 , y 2 , y 3 , เช่นนั้นx AP/poly=L/polyAP/polyBPy1,y2,y3, B โดยสันนิษฐานว่ามีภาษา C Lและลำดับของสตริงคำแนะนำพหุนามความยาว z 1 , z 2 , z 3 , เช่นนั้น ( x , y ) BxA(x,y|x|)BCLz1,z2,z3, C นี่หมายถึง A L /โพลี ; สตริงคำแนะนำสำหรับ xคือ ( Y | x | , Z | ( x , y ที่| x | ) | )(x,y)B(x,y,z|(x,y)|)CAL/polyx(y|x|,z|(x,y|x|)|)

(รุ่นย่อของการพิสูจน์: PL/polyP/poly(L/poly)/poly=L/poly


! น่ากลัว ขอบคุณมาก. ฉันซาบซึ้งจริงๆ :)
Michael Wehar
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.