คำถามติดแท็ก space-bounded

คำถามทั่วไป ทฤษฎีบทลำดับชั้นของอวกาศได้สรุปการคำนวณที่ไม่สม่ำเสมอหรือไม่? ต่อไปนี้เป็นคำถามที่เจาะจงเพิ่มเติม: L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly สำหรับฟังก์ชั่น constructible ทุกพื้นที่เป็นDSpace (O (f (n))) / โพลี \ subsetneq DSpace (f (n)) / โพลี ?f(n)f(n)f(n)DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly สำหรับสิ่งที่ฟังก์ชั่นh(n)h(n)h(n)เป็นที่ทราบกันดีว่า: สำหรับทุกพื้นที่ที่สร้างได้f(n)f(n)f(n) , DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n) \subsetneq DSPACE(f(n))/h(n) ?

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

ฉันกำลังพยายามค้นหาปัญหาที่วิเคราะห์ความซับซ้อนของพื้นที่และขนาดโดยเฉลี่ย โดยเฉพาะอย่างยิ่งฉันสนใจที่จะทราบว่ามีปัญหาใด ๆ กับความซับซ้อนของพื้นที่ที่พิสูจน์แล้วว่ามีขอบเขตที่ต่ำมากซึ่งเป็นเส้นตรงสุด ๆ และโดยเฉพาะอย่างยิ่งถ้ามีการวิเคราะห์โดยเฉลี่ยในกรณีใด ๆ เพื่อทำผิดพลาดเป็นจำนวนน้อยครั้ง ฯลฯ ) ขอบคุณล่วงหน้า

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

แสดงฟังก์ชั่นซึ่งเป็นพื้นที่ที่สร้างขึ้นได้ แต่ไม่ใช่แบบเวลาฉ( n )f(n)f(n) ปัญหานี้เกี่ยวข้องกับการแยกความเป็นไปได้ระหว่างคลาสความซับซ้อน DTIME (f (n)) และ SPACE (f (n)) หรือไม่

10 cc.complexity-theory  space-bounded  separation 

ปรับปรุง: ดูเหมือนว่าปัญหานี้ได้รับการศึกษาและแก้ไขเมื่อเร็ว ๆ นี้ดูบทความวิกินี้: http://en.wikipedia.org/wiki/Tree_walking_automaton และการสำรวจครั้งนี้: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf สมมติว่าแทนที่จะเป็นชุดคำธรรมดา {0,1} * คำของเราไม่ใช่แบบเชิงเส้น แต่ให้อยู่ในโครงสร้างต้นไม้บางส่วน เพื่อป้องกันไม่ให้เครื่องของเรา "หลงทาง" ให้กำหนดคำของเราเป็นชุดของไบนารีอาร์เบอร์ (ดังนั้นทุกคำคือต้นไม้โดยที่ทุก ๆ ขอบถูกนำออกจากรากที่กำหนดที่มีองศาสองจุดยอดที่ไม่ใช่ใบทุกใบจะมีระดับสามและขอบทุกใบจะมีป้ายกำกับทางซ้ายหรือขวาซึ่งขอบทั้งสองเริ่มต้นจาก จุดสุดยอดเดียวกันมีป้ายกำกับที่แตกต่างกัน) ภาษาคือชุดของต้นไม้ดังกล่าว (โปรดทราบว่าไม่จำเป็นต้องเขียนเลขศูนย์และคนที่อยู่บนจุดยอดตามที่พวกเขาสามารถถูกจำลองโดยการปรับเปลี่ยนต้นไม้ในพื้นที่) เมื่อเครื่อง "อ่านต้นไม้" มันเริ่มต้นจากรูท จุดสุดยอดคือราก มันเป็นความจริงในแบบจำลองนี้หรือไม่ว่าภาษาใดก็ตามที่สามารถรู้จำได้โดยออโตเมติก จำกัด ที่ไม่สามารถกำหนดได้ โปรดทราบว่าเมื่อเทปเป็นเทปเชิงเส้นปกติสิ่งนี้เป็นจริงเนื่องจาก 2-NFA ใด ๆ สามารถจำลองด้วย 2-DFA (แม้จะเป็น DFA) ฉันถามแล้วอินสแตนซ์พิเศษของปัญหาที่นี่ที่ได้รับการแก้ไขโดยKristoffer แรงจูงใจที่จะแก้ปัญหานี้

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

การ จำกัด ขอบเขตการเข้าชมแบบไม่ จำกัด ขอบเขตของออโตมาตะแบบ จำกัด เฉพาะภาษาปกติหรือไม่? โดย nondeterministic linear bounded Automaton (nLBA) ฉันหมายถึงเครื่องทัวริง nondeterministic แบบเทปเดี่ยวที่อินพุตมา "padded" กับ endmarkers ที่ปลายทั้งสองซึ่งไม่สามารถเขียนทับได้และหัวไม่สามารถเคลื่อนออกจากบริเวณอินพุตได้ "นอก" endmarkers LBA ถูก จำกัด การเยี่ยมชมหากมีตัวเลข kkkเช่นว่าทั้งหมดทำงานบนอินพุตทั้งหมดยุติและเยี่ยมชมทุกเซลล์ของเทปมากที่สุดkkk ครั้ง เครื่องดังกล่าวรู้จักเฉพาะภาษาปกติหรือไม่? ผลลัพธ์ของ Hennieดูเหมือนจะพูดแบบนี้เฉพาะกับเครื่องจักรที่กำหนดขึ้นมาเท่านั้นหากฉันอ่านมันถูกต้อง ผลลัพธ์เก็บไว้สำหรับเครื่อง nondeterministic ด้วยหรือไม่ ถ้าใช่จะมีการอ้างอิง

9 automata-theory  turing-machines  regular-language  space-bounded 

เป็นที่ทราบกันดีว่าปัญหา NP-Complete เรียกว่า Sum Sum มี FPTAS ฉันสงสัยว่ามีปัญหาที่สมบูรณ์ของ PSPACE ซึ่งมี FPTAS หรือไม่ ขอบคุณล่วงหน้า.

9 ds.algorithms  space-bounded  big-picture