คำถามติดแท็ก nondeterminism

Greibach กำหนดชื่อเสียงภาษา , ที่เรียกว่ารุ่น nondeterministicของD 2เช่นว่า CFL ใด ๆ ที่เป็นภาพ Morphic ผกผันของH มีคำสั่งที่คล้ายกันกับ DCFL หรืออาจมีข้อ จำกัด บางประการเกี่ยวกับสัณฐานที่ได้รับอนุญาต?HHHD2D2D_2HHH (ดูเช่น M. Autebert, J. Berstel, และ L. Boasson ภาษาที่ไม่มีบริบทและออโตมาดาวน์ในบริบทของ R. Rozenberg และ A. Salomaa, บรรณาธิการ, คู่มือของภาษาทางการ, เล่ม I, ตอนที่ 3 Springer Verlag พ.ศ. 2540)

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

บทความนี้แสดงให้เห็นว่าในเกมที่มีประตูและแผ่นความดันมันเป็นเรื่องยากที่ PSPACE จะตรวจสอบว่าอวตาร (ผู้เล่น) สามารถเข้าถึงตำแหน่งที่กำหนดหรือไม่ สิ่งนี้พิสูจน์ได้จากการลดลงของTQBFและความยาวของผลลัพธ์ที่ได้นั้นขึ้นอยู่กับจำนวนของตัวนับสากลในสูตร มีการลดลงจากเครื่อง NPSPACE ไปยังเกมดังกล่าวซึ่งความยาวของการแก้ปัญหาของเกมเกี่ยวข้องกับพหุนามกับความยาวของเส้นทางการยอมรับของเครื่องหรือไม่

12 reductions  nondeterminism  pspace 

หากเราสามารถพิสูจน์ได้ว่า แสดงว่าหรือไม่N L = N PL=PL=P\mathsf{L}=\mathsf{P}NL=NPNL=NP\mathsf{NL}=\mathsf{NP} ฉันคิดว่าเป็นกรณี แต่ฉันไม่สามารถพิสูจน์ได้ (สำหรับการสนทนาด้วย)

10 cc.complexity-theory  complexity-classes  nondeterminism 

การคำนวณของเครื่องทัวริสเทอโรนิก Turing (NTM) เป็นที่รู้กันดีว่าสามารถนำเสนอได้ในรูปแบบของการกำหนดค่า การเปลี่ยนแปลงใด ๆ ในโปรแกรมแสดงโดยลิงค์พ่อ - ลูกในแผนภูมินี้ ต้นไม้ที่คล้ายกันนี้ยังสามารถสร้างขึ้นเพื่อแสดงภาพการคำนวณของความน่าจะเป็นและเครื่องควอนตัมได้เช่นกัน (โปรดทราบว่ามันจะดีกว่าสำหรับวัตถุประสงค์บางอย่างที่จะไม่ดูกราฟที่เกี่ยวข้องสำหรับการคำนวณควอนตัมเป็นต้นไม้เนื่องจากสองโหนดแสดงการกำหนดค่าเหมือนกันในระดับเดียวกันของต้นไม้สามารถ "ยกเลิก" ซึ่งกันและกันเนื่องจากการรบกวนควอนตัม ไม่มีอะไรเกี่ยวข้องกับคำถามปัจจุบัน) แน่นอนการคำนวณที่กำหนดไม่ได้เป็นเช่นนั้น มี "สาขา" เดียวใน "ต้นไม้" ที่เกี่ยวข้องสำหรับการทำงานของเครื่องกำหนด ในทั้งสามกรณีที่กล่าวถึงข้างต้นสิ่งที่ทำให้การคำนวณเหล่านี้ "ยาก" สำหรับคอมพิวเตอร์ที่กำหนดขึ้นจริง ๆ แล้วไม่ใช่ว่ามีการแตกแขนงออกไป แต่เป็นเรื่องของการแตกแขนงออกเป็นจำนวนมากในต้นไม้ ยกตัวอย่างเช่นพหุนาม - เวลา nondeterministic ทัวริงเครื่องจักรซึ่งรับประกันว่าจะสร้างต้นไม้ที่ "กว้าง" (เช่นจำนวนโหนดในระดับที่แออัดมากที่สุด) ก็ถูก จำกัด ด้วยฟังก์ชันพหุนามของพหุนามขนาดสามารถป้อนโดยพหุนาม กำหนดเวลา TM (โปรดสังเกตว่าเงื่อนไข "ความกว้างพหุนาม" นี้เทียบเท่ากับการ จำกัด NTM ให้มากที่สุดโดยมีการ จำกัด จำนวนแบบลอการิทึมขอบเขตลอการิทึมโดยทั่วไป) สิ่งเดียวกันนี้เป็นจริงเมื่อเราใส่ขอบเขตความกว้างที่คล้ายกันในการคำนวณความน่าจะเป็นและควอนตัม ฉันรู้ว่าปัญหานี้ได้รับการตรวจสอบในรายละเอียดสำหรับการคำนวณแบบ nondeterministic ดูตัวอย่างเช่นการสำรวจ …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

Letเป็นตัวอักษรขนาดและพิจารณา DFAs น้อยที่สุดที่มีขนาดเป็นที่สิ้นสุดโดยที่มากที่สุดเมตรให้แทนจำนวน DFA ขั้นต่ำที่แตกต่างกันดังกล่าวΣΣ\Sigma222mmmf(m)f(m)f(m) เราสามารถหาสูตรปิดสำหรับหรือไม่?f(m)f(m)f(m) พิจารณาว่าสำหรับฟังก์ชั่นการเปลี่ยนแปลงของ DFA ที่มีขนาดมากที่สุดคือกราฟ เนื่องจากระดับโหนดมีขอบเขตโดยสำหรับแต่ละโหนดมีความเป็นไปได้ของของคู่ของส่วนโค้ง (ตามที่แนะนำในความคิดเห็น) ในกราฟนี้มีที่มากที่สุดทางเลือกที่เป็นไปได้ของรัฐเริ่มต้นและที่มากที่สุดทางเลือกที่เป็นไปได้ของชุดสุดท้ายรัฐ ดังนั้นจำนวนสูงสุดของ DFAs ขนาดที่มากที่สุดเป็น1}|Σ|=2|Σ|=2|\Sigma|=2mmm222m2m2m^2mmm2m2m2^mmmmf(m)≤m2m⋅m⋅2m=2m⋅m2m+1ฉ(ม.)≤ม.2ม.⋅ม.⋅2ม.=2ม.⋅ม.2ม.+1f(m) \leq m^{2m}\cdot m\cdot2^m = 2^m\cdot m^{2m+1} เราสามารถพูดคุยกับตัวอักษรโดยพลการ ΣΣ\Sigma: ขอบเขตกลายเป็น f(m)≤2m⋅m|Σ|m+1ฉ(ม.)≤2ม.⋅ม.|Σ|ม.+1f(m) \le 2^m\cdot m^{|\Sigma|m+1}. แต่เรา จำกัด ขอบเขต DFA โดยพลการที่นี่และฉันสนใจที่จะ จำกัด จำนวน DFA ขั้นต่ำ ดังนั้นดูเหมือนว่าข้อ จำกัด นี้จะเข้มงวดขึ้น ... มีใครประมาณที่ดีกว่านี้ไหม ฉันจะขอขอบคุณถ้าเป็นไปได้เอกสารบางอย่างที่เกี่ยวข้องกับปัญหานี้หรือหลักฐาน / ตัวอย่างเคาน์เตอร์

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

นี่คือการติดตามถึง ความเร็วสูงขึ้นของการคำนวณที่กำหนด nondeterministic มันเป็นไปได้ไหมที่ nondeterminism (หรือการสลับกันโดยทั่วไป) จะช่วยให้การคำนวณแบบกำหนดค่ากำลังสองทั่วไปเป็นไปอย่างรวดเร็วหรือไม่? หรือมีผลที่ไม่น่าเชื่อที่ทราบได้สำหรับบางอย่างเช่น ?DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)

9 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

มีบางปัญหา NP-ที่สมบูรณ์แบบ (มี ,ฯลฯ ) ที่รู้จักใน(n)} สิ่งที่เกี่ยวกับช่องว่างย่อยเชิงเส้น?SATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} มีปัญหา NP-Complete (หรือ NP-Intermediate) ใด ๆ ที่เป็นที่รู้จักในพื้นที่sublinear nondeterministicหรือไม่?

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate