คำถามติดแท็ก cc.complexity-theory

P เทียบกับ NP และการคำนวณที่ จำกัด ขอบเขตทรัพยากรอื่น ๆ

1
ผลของ
ภาษาอยู่ในL/polyL/polyL/polyหากมีเครื่องทัวริง logspace ที่ตัดสินใจภาษาด้วยคำแนะนำจำนวนพหุนาม ดูที่นี่สำหรับข้อมูลเพิ่มเติม: https://en.wikipedia.org/wiki/L/poly คำถาม ผลของP⊆L/polyP⊆L/polyP \subseteq L/polyคืออะไร

1
การตัดสินใจว่าช่วงเวลามีจำนวนเฉพาะหรือไม่
ความซับซ้อนของการตัดสินใจว่าช่วงเวลาของจำนวนธรรมชาติประกอบด้วยนายกหรือไม่? ตัวแปรของ Sieve of Eratosthenes ให้อัลกอริธึมโดยที่Lคือความยาวของช่วงเวลาและ∼ซ่อนโพลี - ลอการิทึมปัจจัยในจุดเริ่มต้นของช่วงเวลา; เราสามารถทำได้ดีกว่า (ในแง่ของLคนเดียว)?O~(L)O~(L)\tilde O(L)LLL∼∼\simLLL

2
การใช้ผู้ช่วยพิสูจน์ในการวิจัยทฤษฎีความซับซ้อน?
พิจารณาหัวข้อที่กล่าวถึงในการประชุมอย่าง STOC มีอัลกอริทึมหรือความซับซ้อนของนักวิจัยที่ใช้ COQ หรือ Isabelle หรือไม่? ถ้าเป็นเช่นนั้นพวกเขาใช้มันอย่างไรในการวิจัย? ฉันคิดว่าคนส่วนใหญ่จะไม่ใช้เครื่องมือเช่นนี้เพราะหลักฐานจะอยู่ในระดับต่ำเกินไป มีใครใช้ผู้ช่วยพิสูจน์เหล่านี้ในลักษณะที่มีความสำคัญต่อการวิจัยของพวกเขาหรือไม่เมื่อเทียบกับอาหารเสริมที่ดี? ฉันสนใจเพราะฉันอาจเริ่มเรียนรู้หนึ่งในเครื่องมือเหล่านั้นและมันจะสนุกที่ได้เรียนรู้เกี่ยวกับพวกเขาในบริบทของการพิสูจน์การลดความถูกต้องหรือเวลาทำงาน

1
วงจรขนาดเล็กสำหรับปัญหาการประเมินวงจร
Letเป็นฟังก์ชั่นที่แผนที่ -gate วงจรบนบิตและบิตสตริงเพื่อ(x) สมมติว่าวงจรถูกเข้ารหัสเป็นลำดับแบบวนรอบของการมอบหมายโดยที่เป็นป้ายกำกับสายไฟ sCnnxC(x)k:=กรัม(ฉัน,J)ฉัน,J,KC ฉันR คยูฉันทีอีวีลิตรs , nคผมRคยูผมเสื้อEโวลต์aล.s,n\mathsf{CircuitEval}_{s, n}sssคคCnnnnnnxxxค( x )ค(x)C(x)k : = g( i , j )k=ก.(ผม,J)k := g(i, j)ฉัน, j , kผม,J,ki, j, k ฉันรู้ว่านี่เป็นคำถามที่ตลกนิดหน่อย แต่อะไรคือขอบเขตที่รู้จักกันดีที่สุดของความซับซ้อนของวงจรของปัญหานี้ มี TM เทปเดี่ยวฟังก์ชั่นนี้และจากการจำลอง Fischer-Pippenger ขนาดควรเพียงพอ . กำลังสองมาจากการที่ต้องค้นหาไปมา เป็นไปได้ไหมที่จะทำได้ดีกว่า เป็นไปได้ไหมที่จะทำในขนาด ?O ( ( s + n ) 2เข้าสู่ระบบ( s + n ) …

2
เพิ่มการจับคู่ให้กับเส้นทาง Hamiltonian เพื่อลดระยะห่างสูงสุดระหว่างคู่ยอดที่กำหนด
ความซับซ้อนของปัญหาต่อไปนี้คืออะไร? อินพุต : K nHHHเส้นทางแฮมิลตันในKnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2เซตย่อยของคู่ยอด จำนวนเต็มบวกkkk คำค้นหา : มีการจับคู่ MMMเช่นนั้นสำหรับทุก ๆ(v,u)∈R(v,u)∈R(v,u) \in R , dG(v,u)≤kdG(v,u)≤kd_G(v,u) \leq k ? (โดยที่G=([n],M∪H)G=([n],M∪H)G = ([n], M\cup H) ) ฉันได้คุยกับเพื่อนเกี่ยวกับปัญหานี้ เพื่อนของฉันคิดว่าปัญหาอยู่ในเวลาพหุนาม ฉันคิดว่ามันเป็นปัญหาที่สมบูรณ์

1
จำนวนการดำเนินการทางคณิตศาสตร์ขั้นต่ำที่จะคำนวณดีเทอร์มิแนนต์
มีงานใดบ้างในการค้นหาจำนวนการดำเนินการทางคณิตศาสตร์ขั้นต่ำที่จำเป็นในการคำนวณดีเทอร์มีแนนต์ของโดยnเมทริกซ์สำหรับขนาดเล็กและคงที่n ? ยกตัวอย่างเช่นn = 5nnnnnnnnnn=5n=5n=5

3
การเพิ่มความเร็วในการคำนวณแบบไม่กำหนดค่า
nondeterminism สามารถเร่งความเร็วในการคำนวณได้หรือไม่? ถ้าใช่เท่าไหร่ โดยการเร่งการคำนวณที่กำหนดขึ้นโดย nondeterminism ฉันหมายถึงผลลัพธ์ของรูปแบบ: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) เช่นสิ่งที่ชอบ DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) อะไรคือผลของการเร่งความเร็วที่รู้จักกันดีที่สุดของการคำนวณแบบกำหนดค่าโดย nondeterminism? แล้วหรือแทนที่ ?ΣPkTime(n)ΣkPTime(n)\mathsf{\Sigma^P_kTime}(n)ATime(n)ATime(n)\mathsf{ATime}(n)NTime(n)NTime(n)\mathsf{NTime}(n) สมมติว่าคลาสความซับซ้อนถูกกำหนดโดยใช้เครื่องทัวริงเทปหลายเทปเพื่อหลีกเลี่ยงลักษณะเฉพาะที่ดีของเครื่องทัวริงเทปเดี่ยวแบบสองช่วงเวลา

1
ความซับซ้อนของวงจรเลขคณิตแบบโมโนโทนของพหุนามสมมาตรระดับประถม?
kkk -th ประถมศึกษาพหุนามสมมาตรSnk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n)คือผลรวมของทั้งหมดผลิตภัณฑ์ของตัวแปรที่แตกต่างกัน ฉันสนใจในความซับซ้อนของวงจรเลขคณิตของพหุนามนี้ อัลกอริธึมการเขียนโปรแกรมแบบไดนามิกอย่างง่าย (เช่นเดียวกับรูปที่ 1 ด้านล่าง) ให้วงจรพร้อมประตู k(+,×)(+,×)O(kn)(nk)(nk)\binom{n}{k}kkk(+,×)(+,×)(+,\times)(+,×)(+,×)(+,\times)O(kn)O(kn)O(kn) คำถาม: รู้จักขอบเขตต่ำกว่า หรือไม่? Ω(kn)Ω(kn)\Omega(kn) วงจรAจะเอียงหากอย่างน้อยหนึ่งในสองอินพุตของแต่ละเกทผลิตภัณฑ์เป็นตัวแปร วงจรดังกล่าวเป็นจริงเหมือนกับเครือข่ายการสลับและการแก้ไข (กราฟ acyclic กำกับด้วยขอบบางอย่างที่มีป้ายกำกับโดยตัวแปร; แต่ละเส้นทางเซนต์ให้ผลิตภัณฑ์ของฉลากของมันและเอาท์พุทเป็นผลรวมของทุกเส้นทางเซนต์) แล้ว 40 ปีที่ผ่านมามาร์คอฟได้รับการพิสูจน์ผลแน่นน่าแปลกใจที่: เสียงเดียวน้อยที่สุดวงจรเอียงทางคณิตศาสตร์สำหรับได้ว่าประตูสินค้า บนที่ถูกผูกไว้ดังนี้จากรูปที่ 1. (+,×)(+,×)(+,\times)SnkSknS_k^n k(n−k+1)k(n−k+1)k(n-k+1) แต่ฉันไม่เคยเห็นความพยายามใด ๆ ที่จะพิสูจน์ว่าขอบเขตที่ต่ำกว่าสำหรับวงจรที่ไม่เอียง นี่เป็นเพียง "ความเย่อหยิ่ง" ของเราหรือมีปัญหาบางอย่างที่เกิดขึ้นระหว่างทางหรือไม่? PS ฉันรู้ว่าประตูเป็นสิ่งที่จำเป็นไปพร้อม ๆ กันการคำนวณทั้งหมด n สิ่งนี้ตามมาจากขอบเขตล่างของขนาดของวงจรบูลีนโมโนโทนซึ่งเรียงลำดับอินพุต 0-1; ดูที่หน้า 158 ของหนังสือ Ingo Wegener ของ เครือข่าย AKS เรียงลำดับนอกจากนี้ยังแสดงให้เห็นว่าประตูมีเพียงพอในเรื่องนี้ …

2
ปกติกับ TC0
Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}R E G ⊆ T C 0 N C 1 ⊈ T C 0 R E g ⊈ T C 0TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} มีผู้สมัครสำหรับปัญหาในที่ไม่ได้อยู่ในหรือไม่T C 0RegReg\mathsf{Reg}TC0TC0\mathsf{TC^0} มีผลลัพธ์ตามเงื่อนไขที่อ้างถึง , เช่นถ้าแล้ว ? N C 1 ⊈ T C 0 R e g ⊈ T C 0Reg⊈TC0Reg⊈TC0\mathsf{Reg} …

2
Poly time superset ของภาษาที่สมบูรณ์แบบ NP มีสตริงจำนวนมากที่ไม่รวมอยู่ในชุด
สำหรับภาษาที่สมบูรณ์แบบตามอำเภอใจใด ๆ ของโพลีไทม์จะมีการเติมเต็มของโพลิไทม์ซึ่งยังไม่มีที่สิ้นสุดหรือไม่? มีการถามรุ่นเรื่องย่อที่ไม่ได้ระบุชื่อชุดซูเปอร์เซ็ตเพื่อให้มีส่วนประกอบที่ไม่มีที่สิ้นสุดที่/cs//q/50123/42961 สำหรับวัตถุประสงค์ของคำถามนี้คุณสามารถสรุปได้ว่าP≠NPP≠NPP \ne NP P ตามที่ Vor ได้อธิบายไว้ถ้าคำตอบคือ "ไม่" (ถ้าดังนั้นคือ NP-complete เห็นได้ชัดว่าไม่มี superset ของซึ่งไม่มีที่สิ้นสุดและมีอนันต์ เสริมเป็นส่วนประกอบของมีเพียงองค์ประกอบเดียว.) ดังนั้นเราสามารถมุ่งเน้นไปที่กรณีNPP = N P X = { x ∣ x ∈ N + ∧ x > 1 } X X P ≠ N PP=NPP=NPP = NPP=NPP=NPP = NPX={x∣x∈N+∧x>1}X={x∣x∈N+∧x>1}X = \{x \mid x …

3
ปัญหาที่ไม่เกี่ยวกับการแก้ไขในเวลาคงที่?
เวลาคงที่คือความซับซ้อนต่ำสุดของเวลา บางคนอาจสงสัยว่า: มีเรื่องแปลกใหม่ที่สามารถคำนวณได้ในเวลาที่แน่นอนหรือไม่? หากเรายึดติดกับโมเดลของทัวริงเครื่องก็ไม่สามารถทำได้มากนักเนื่องจากคำตอบนั้นขึ้นอยู่กับส่วนเริ่มต้นความยาวคงที่ของอินพุตเนื่องจากส่วนที่อยู่ไกลกว่าของอินพุตไม่สามารถเข้าถึงได้ในเวลาคงที่ ในทางกลับกันถ้าเราใช้รูปแบบ RAM ราคาต้นทุนต่อหน่วยที่ค่อนข้างมีประสิทธิภาพมากขึ้นซึ่งในการดำเนินการเบื้องต้นในบิตตัวเลขจะถูกนับเป็นขั้นตอนเดียวจากนั้นเราอาจจะสามารถแก้ไข งานที่ไม่สำคัญแม้ในเวลาที่คงที่ นี่คือตัวอย่าง:O(logn)O(log⁡n)O(\log n) อินสแตนซ์:จำนวนเต็ม , แต่ละอันกำหนดในรูปแบบไบนารีโดยบิตn,k,l,dn,k,l,dn, k, l, dO(logn)O(log⁡n)O(\log n) คำถาม:มีกราฟ -vertex อยู่หรือไม่เช่นการเชื่อมต่อจุดยอดคือ , การเชื่อมต่อขอบของมันคือและระดับต่ำสุดของมันคือ ?nnnkkklllddd โปรดทราบว่าจากความหมายมันไม่ได้เป็นที่เห็นได้ชัดแม้กระทั่งว่าปัญหาอยู่ในNP เหตุผลก็คือพยานธรรมชาติ (กราฟ) อาจต้องการคำอธิบายแบบยาวบิตในขณะที่อินพุตจะได้รับจากบิตเท่านั้น ในทางตรงกันข้ามทฤษฎีต่อไปนี้ (ดูทฤษฎีกราฟ Extremalโดย B. Bollobas) มาช่วยΩ(n2)Ω(n2)\Omega(n^2)O(logn)O(log⁡n)O(\log n) ทฤษฎีบท:ปล่อยเป็นจำนวนเต็ม มีกราฟ -vertex พร้อมจุดเชื่อมต่อ , การเชื่อมต่อขอบ , และระดับต่ำสุด , ถ้าหากเพียงหนึ่งในเงื่อนไขต่อไปนี้:n,k,l,dn,k,l,dn, k, l, dnnnkkklllddd 0≤k≤l≤d<⌊n/2⌋0≤k≤l≤d<⌊n/2⌋0\leq k\leq l …

2
เราต้องใช้การปฏิเสธหลายวิธีในการคำนวณฟังก์ชันโมโนโทน
Razborov พิสูจน์ให้เห็นว่าฟังก์ชั่นจับคู่เดียวไม่ได้อยู่ในMP แต่เราสามารถคำนวณการจับคู่โดยใช้วงจรขนาดพหุนามกับการปฏิเสธได้หรือไม่? มีวงจร P / poly ที่มีการปฏิเสธที่คำนวณการจับคู่หรือไม่? การแลกเปลี่ยนระหว่างจำนวนของการปฏิเสธและขนาดของการจับคู่คืออะไรO(nϵ)O(nϵ)O(n^\epsilon)

2
การตรวจสอบความเท่าเทียมกันของ polytopes สองรายการ
พิจารณาเวกเตอร์ของตัวแปรและชุดของเส้นตรงข้อ จำกัด ที่ระบุโดย→ x ≤ขx⃗ x→\vec{x}Ax⃗ ≤bAx→≤bA\vec{x}\leq b นอกจากนี้ให้พิจารณา polytopes สองรายการ P1P2={(f1(x⃗ ),⋯,fm(x⃗ ))∣Ax⃗ ≤b}={(g1(x⃗ ),⋯,gm(x⃗ ))∣Ax⃗ ≤b}P1={(f1(x→),⋯,fm(x→))∣Ax→≤b}P2={(g1(x→),⋯,gm(x→))∣Ax→≤b}\begin{align*} P_1&=\{(f_1(\vec{x}), \cdots, f_m(\vec{x}))\mid A\vec{x}\leq b\}\\ P_2&=\{(g_1(\vec{x}), \cdots, g_m(\vec{x}))\mid A\vec{x}\leq b\} \end{align*} ที่ 's และg ' s เป็นเลียนแบบแมป กล่าวคือพวกเขามีรูปแบบ→ ค ⋅ → x + d (เราทราบว่าP 1และP 2เป็น polytopes เพราะเป็น "affine mappings" ของ …

1
มันแพงแค่ไหนที่จะทำลายเส้นทางยาวทั้งหมดใน DAG?
เราพิจารณา DABs ความ (กำกับกราฟวัฏจักร) กับหนึ่งโหนดแหล่งsssและเป้าหมายหนึ่งโหนดทีtt ; อนุญาตให้ใช้ขอบขนานที่มีจุดยอดคู่เดียวกัน kkk - ตัดเป็นชุดของขอบที่มีการกำจัดทำลายทั้งหมดsss - เสื้อttเส้นทางนานกว่าkkk ; เส้นทางsss - t ที่สั้นกว่าttรวมถึงเส้นทาง "ภายใน" ที่ยาว (ซึ่งไม่ใช่ระหว่างsssและttt ) อาจอยู่รอดได้! คำถาม: มันพอที่จะลบที่มากที่สุดประมาณ1 / k1/k1/kส่วนหนึ่งของขอบจาก DAG เพื่อที่จะทำลายทุกsss - เสื้อttเส้นทางนานกว่าkkk ? นั่นคือถ้าe ( G )e(G)e(G)แสดงถึงจำนวนทั้งหมดของขอบในGGGดังนั้น DAG GทุกตัวGGจะมีkkk -cut ที่มีขอบe ( G ) / kมากที่สุดe(G)/ke(G)/kหรือไม่? สองตัวอย่าง: หากทั้งหมด sss - เสื้อttเส้นทางที่มีความยาว> k>k> …

2
เหนือ #P และนับปัญหาการค้นหา
ฉันอ่านบทความวิกิพีเดียเกี่ยวกับปัญหาแปดราชินี มันระบุว่าไม่มีสูตรที่รู้จักกันสำหรับจำนวนที่แน่นอนของการแก้ปัญหา หลังจากการค้นหาบางอย่างฉันพบกระดาษชื่อว่า "ความแข็งของการนับปัญหาของการแมปทั้งหมด" ในบทความนี้มีปัญหาแสดงให้เห็นว่าเป็นอย่างมากที่สุดเท่าที่ #queens ซึ่งเกิน #P รับเหลือบตัวเลข #queens นับละเอียดในบทความ wikipedia พวกเขาดูเหมือน exponential สุดสวยมาก ฉันต้องการถามถ้ามีชื่อสำหรับชั้นนี้หรือโดยทั่วไปมีการนับปัญหาที่เป็นของชั้นเรียนด้านบน #P (ด้วยการตัดสินใจที่ไม่ได้อยู่ใน PSPACE แน่นอนเพราะมันจะเห็นได้ชัด) ในที่สุดฉันต้องการถามว่ามีผลลัพธ์ที่รู้จักอื่น ๆ สำหรับปัญหาการค้นหาอื่น ๆ เช่นการหาจุดสามสีใน Lemma ของ Sperner หรือไม่ (PPAD สมบูรณ์)

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