คำถามติดแท็ก decision-problem

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

64 complexity-theory  np-complete  decision-problem 

Wikipedia ตลอดจนแหล่งข้อมูลอื่น ๆ ที่ฉันได้พบรายการvoidประเภทC เป็นหน่วยประเภทซึ่งตรงข้ามกับประเภทที่ว่างเปล่า ฉันพบว่ามันสับสนเพราะฉันคิดว่าvoidเหมาะกับนิยามของประเภทที่ว่าง / ล่าง ไม่มีค่านิยมใด ๆ อยู่voidเท่าที่ฉันจะบอกได้ ฟังก์ชั่นที่มีประเภทคืนค่าเป็นโมฆะระบุว่าฟังก์ชั่นจะไม่ส่งคืนสิ่งใดดังนั้นจึงสามารถทำงานได้เพียงผลข้างเคียงเท่านั้น ตัวชี้ชนิดvoid*เป็นชนิดย่อยของชนิดตัวชี้อื่นทั้งหมด นอกจากนี้การแปลงไปยังและจากvoid*ใน C นั้นเป็นนัย ผมไม่แน่ใจว่าถ้าจุดสุดท้ายมีบุญใด ๆ ที่เป็นข้อโต้แย้งสำหรับvoidการเป็นประเภทที่ว่างเปล่าเป็นมากหรือน้อยเป็นกรณีพิเศษที่มีความสัมพันธ์ไม่มากที่จะvoid*void ในทางกลับกันvoidตัวมันเองไม่ใช่ประเภทย่อยของประเภทอื่นทั้งหมดซึ่งเท่าที่ฉันสามารถบอกได้ว่าเป็นข้อกำหนดสำหรับประเภทที่จะเป็นประเภทด้านล่าง

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

ฉันมีชุดของคู่ แต่ละคู่เป็นรูปแบบ (x, y) เช่นว่า x, y [0,n)เป็นจำนวนเต็มจากช่วง ดังนั้นถ้า n คือ 4 ดังนั้นฉันมีคู่ต่อไปนี้: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) ฉันมีคู่แล้ว ตอนนี้ฉันต้องสร้างชุดค่าผสมโดยใช้n/2คู่ที่ไม่มีจำนวนเต็มซ้ำ (กล่าวอีกอย่างหนึ่งว่าจำนวนเต็มแต่ละค่าปรากฏอย่างน้อยหนึ่งครั้งในชุดค่าผสมสุดท้าย) ต่อไปนี้เป็นตัวอย่างของชุดค่าผสมที่ถูกต้องและไม่ถูกต้องเพื่อความเข้าใจที่ดีขึ้น 1. (0,1)(1,2) [Invalid as 3 does not occur anywhere] 2. (0,2)(1,3) [Correct] 3. (1,3)(0,2) [Same as 2] มีคนแนะนำฉันถึงวิธีในการสร้างชุดค่าผสมที่เป็นไปได้ทั้งหมดเมื่อฉันมีคู่

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

คำถามนี้ถูกย้ายจาก Theoretical Computer Science Exchange Exchange เพราะสามารถตอบได้ใน Computer Science Stack Exchange อพยพ 7 ปีที่ผ่านมา เป็นที่ทราบกันว่าปัญหาการเพิ่มประสิทธิภาพ / การค้นหาแต่ละรายการมีปัญหาในการตัดสินใจเทียบเท่า ตัวอย่างเช่นปัญหาเส้นทางที่สั้นที่สุด การเพิ่มประสิทธิภาพ / รุ่นค้นหา: สมมติว่าไม่มีทิศทางกราฟไม่ได้ชั่งและสองจุดหาเส้นทางที่สั้นที่สุดระหว่างและยูG=(V,E)G=(V,E)G = (V, E)v,u∈Vv,u∈Vv,u\in Vvvvuuu เวอร์ชันการตัดสินใจ: เนื่องจากกราฟถ่วงน้ำหนักที่ไม่ได้บอกทิศทาง , สองจุดยอด , และเลขจำนวนเต็มที่ไม่เป็นลบ , มีเส้นทางในระหว่างและที่มีความยาวสูงสุดหรือไม่?G=(V,E)G=(V,E)G = (V, E)v,u∈Vv,u∈Vv,u\in VkkkGGGuuuvvvkkk โดยทั่วไป "ค้นหา st !" กลายเป็น "มีx \ in X st f (x) …

26 complexity-theory  optimization  search-problem  decision-problem 

เห็นได้ชัดว่าไม่มีปัญหาที่ไม่สามารถตัดสินใจได้ใน NP อย่างไรก็ตามตามWikipedia : NP คือชุดของปัญหาการตัดสินใจทั้งหมดซึ่งอินสแตนซ์ที่คำตอบคือ "ใช่" มี [.. หลักฐานที่] ตรวจสอบได้ในเวลาพหุนามโดยเครื่องทัวริงกำหนด [ ... ] ปัญหาได้รับการกล่าวถึงว่าอยู่ใน NP ถ้าหากว่ามีตัวตรวจสอบสำหรับปัญหาที่ดำเนินการในเวลาพหุนาม พิจารณาปัญหาต่อไปนี้: ได้สมการไดโอแฟนไทน์มันมีเลขจำนวนเต็มไหม? ได้รับการแก้ไขมันง่ายต่อการตรวจสอบในเวลาพหุนามว่าจริง ๆ แล้วมันเป็นทางออก: เพียงแค่เสียบตัวเลขเข้ากับสมการ ดังนั้นปัญหาอยู่ใน NP อย่างไรก็ตามการแก้ปัญหานี้เป็นที่รู้จักกันว่า undecidable ! (ในทำนองเดียวกันดูเหมือนว่าปัญหาการหยุดชะงักควรอยู่ใน NP เนื่องจาก "ใช่" - การแก้ไข "โปรแกรมนี้หยุดที่ขั้นตอน N-th" สามารถตรวจสอบได้ในขั้นตอน N) เห็นได้ชัดว่ามีบางอย่างผิดปกติกับความเข้าใจของฉัน แต่มันคืออะไร

25 complexity-theory  computability  undecidability  decision-problem 

คำศัพท์เหล่านั้นทำให้ฉันสับสน ตามที่ฉันเข้าใจ เครื่องมือแก้ปัญหา SAT: ตัดสินความพึงพอใจของตรรกะเชิงประพจน์ (ใช้ DPLL หรือ Local Search) ขั้นตอนการตัดสินใจเป็นกระบวนการในการตัดสินใจความพึงพอใจของทฤษฎีอันดับหนึ่งที่สามารถตัดสินใจได้ SMT solver เป็นขั้นตอนการตัดสินใจ + ตัวแก้ SAT ทฤษฎีบทพิสูจน์ว่าบางสิ่งเช่น Dynamic Logic เช่นเครื่องมือ KeY ข้อ จำกัด การแก้ปัญหา: ฉันไม่รู้ แต่ฉันเห็นผู้คนเรียก Z3 ว่าเป็นผู้พิสูจน์ทฤษฎีบท ดังนั้นฉันไม่รู้วิธีที่จะทำให้ชัดเจนคำเหล่านั้น และคำทั่วไปมากที่สุดสำหรับพวกเขาทั้งหมดคืออะไร? ขอขอบคุณ.

23 algorithms  terminology  reference-request  decision-problem 

ดังนั้นฉันจึงเข้าใจแนวคิดที่ว่าปัญหาการตัดสินใจถูกกำหนดเป็น มีเส้นทาง P เช่นนั้นราคาต่ำกว่า C หรือไม่? และคุณสามารถตรวจสอบสิ่งนี้ได้อย่างง่ายดายโดยตรวจสอบเส้นทางที่คุณได้รับ อย่างไรก็ตามจะเกิดอะไรขึ้นถ้าไม่มีเส้นทางที่ตรงกับเกณฑ์นี้ คุณจะยืนยันคำตอบของ "ไม่" โดยไม่แก้ปัญหาเส้นทาง TSP ที่ดีที่สุดอย่างไรและการค้นหาคำตอบที่ดีที่สุดมีราคาแย่กว่า C

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman 

ฉันมีปัญหาในการตัดสินใจ NP-complete จากตัวอย่างของปัญหาฉันต้องการออกแบบอัลกอริทึมที่ให้ผลลัพธ์ YES ถ้าปัญหาเป็นไปได้และไม่เช่นนั้น (แน่นอนว่าหากอัลกอริทึมไม่เหมาะสมจะทำให้เกิดข้อผิดพลาด) ฉันไม่พบอัลกอริทึมการประมาณค่าใด ๆ สำหรับปัญหาดังกล่าว ฉันกำลังมองหา SAT โดยเฉพาะและฉันพบในหน้า Wikipedia เกี่ยวกับอัลกอริทึมการประมาณค่าต่อไปนี้: ข้อ จำกัด อีกประการของวิธีการคือใช้กับปัญหาการปรับให้เหมาะสมเท่านั้นและไม่ใช่ปัญหาการตัดสินใจที่ "บริสุทธิ์" อย่างพอใจ . ยกตัวอย่างเช่นทำไมเราไม่กำหนดอัตราส่วนการประมาณให้เป็นสัดส่วนกับจำนวนข้อผิดพลาดที่อัลกอริทึมทำ เราจะแก้ปัญหาการตัดสินใจอย่างแท้จริงได้อย่างไรด้วยความโลภและวิธีย่อยที่เหมาะสมที่สุด?

18 algorithms  satisfiability  approximation  decision-problem 

มีอัลกอริทึม / กระบวนงานที่เป็นระบบเพื่อทดสอบว่าภาษานั้นไม่มีบริบทหรือไม่? กล่าวอีกนัยหนึ่งระบุภาษาที่ระบุในรูปแบบพีชคณิต (คิดว่าบางอย่างเช่นL = { anขnan: n ∈ N }L={anขnan:n∈ยังไม่มีข้อความ}L=\{a^n b^n a^n : n \in \mathbb{N}\} ) ทดสอบว่าภาษานั้นไม่มีบริบทหรือไม่ ลองนึกภาพเรากำลังเขียนบริการเว็บเพื่อช่วยนักเรียนทำการบ้านทั้งหมด คุณระบุภาษาและบริการเว็บเอาท์พุท "ไม่มีบริบท" หรือ "ไม่ใช่บริบท" มีวิธีการที่ดีในการทำสิ่งนี้โดยอัตโนมัติหรือไม่? มีเทคนิคการเรียนการสอนสำหรับการพิสูจน์ด้วยตนเองเช่นแทรกสูบน้ำแทรกอ็อกเดน, Parikh แทรกการแลกเปลี่ยนแทรกและเพิ่มเติมได้ที่นี่ อย่างไรก็ตามพวกเขาแต่ละคนต้องการข้อมูลเชิงลึกด้วยตนเองในบางจุดดังนั้นจึงไม่ชัดเจนว่าจะทำให้พวกเขากลายเป็นสิ่งที่เป็นอัลกอริทึมได้อย่างไร ฉันเห็นKaveh เขียนที่อื่นว่าชุดของภาษาที่ไม่มีบริบทไม่นับซ้ำได้ดังนั้นจึงไม่มีความหวังสำหรับอัลกอริธึมที่จะทำงานกับภาษาที่เป็นไปได้ทั้งหมด ดังนั้นฉันคิดว่าบริการเว็บจะต้องสามารถส่งออก "บริบทฟรี", "ไม่ใช่บริบทฟรี" หรือ "ฉันไม่สามารถบอกได้" มีอัลกอริทึมใดบ้างที่มักจะสามารถให้คำตอบนอกเหนือจาก "ฉันบอกไม่ได้" ในหลาย ๆ ภาษาที่มีแนวโน้มที่จะเห็นในตำราเรียน? คุณจะสร้างบริการเว็บดังกล่าวได้อย่างไร ในการทำให้คำถามนี้ถูกต้องเราจำเป็นต้องตัดสินใจว่าผู้ใช้จะระบุภาษาอย่างไร ฉันเปิดรับข้อเสนอแนะ แต่ฉันกำลังคิดแบบนี้: L = { E: …

18 algorithms  formal-languages  context-free  decision-problem 

ในทฤษฎีการคำนวณของ Michael Sipser's ในหน้า 270 เขาเขียน: P = คลาสของภาษาที่สมาชิกสามารถตัดสินใจได้อย่างรวดเร็ว NP = คลาสของภาษาที่สามารถตรวจสอบความเป็นสมาชิกได้อย่างรวดเร็ว อะไรคือความแตกต่างระหว่าง "ตัดสินใจ" และ "ยืนยัน"?

16 complexity-theory  terminology  decision-problem 

เช่น ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) นิพจน์นั้นมาจากพีชคณิตระดับมัธยมธรรมดา แต่ จำกัด เฉพาะการเพิ่มและการคำนวณทางคณิตศาสตร์ (เช่น ) โดยไม่มีการลบการลบหรือการหาร ตัวอักษรเป็นตัวแปร2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 หากเป็นไปได้เราสามารถห้ามการแสดงออกใด ๆ ที่แสดงด้วยค่าตัวเลขอื่นที่ไม่ใช่ ; เช่นไม่ใช่หรือหรือ :111x2x2x^23x3x3x444 หลายเส้นไม่มีพลังอื่นใดนอกจาก :ก็โอเค แต่ไม่ใช่และไม่ใช่ทุกอย่างที่สามารถแทนได้เช่นเดียวกับใน การขยายเต็มไปสู่ผลรวมของผลิตภัณฑ์เช่นไม่ใช่ ; 111x+xy≡x1+x1y1x+xy≡x1+x1y1x+xy \equiv x^1+x^1y^1x2+x3y4x2+x3y4x^2+x^3y^4x(x+y)≡x2+yx(x+y)≡x2+yx(x+y) \equiv x^2+y ทั้งหมดไม่มีสัมประสิทธิ์นอกเหนือจาก :ก็โอเค แต่ไม่ใช่และไม่ใช่ทุกอย่างที่สามารถแทนได้เช่นเดียวกับที่ขยายเต็มไปจนถึงผลรวมของ - ผลิตภัณฑ์เช่นไม่ใช่ ; และ 111x+xy≡1.x+1.xyx+xy≡1.x+1.xyx+xy \equiv 1.x+1.xy2x+3xy2x+3xy2x+3xya(x+y)+x(a+b)≡2ax+ay+bxa(x+y)+x(a+b)≡2ax+ay+bxa(x+y)+x(a+b) \equiv 2ax+ay+bx ไม่มีค่าคงที่อื่นที่ไม่ใช่ : อีกครั้งในผลรวมของผลิตภัณฑ์ที่ขยายตัวอย่างเต็มที่ไม่ใช่111(a+1)+(b+1)≡a+b+2(a+1)+(b+1)≡a+b+2(a+1)+(b+1) \equiv a+b+2 Q.Q.Q.มีอัลกอริธึมที่มีประสิทธิภาพในการพิจารณาว่าสองนิพจน์นั้นเทียบเท่ากันหรือไม่? เพื่อแสดงให้เห็นต่อไปนี้เป็นอัลกอริทึมแรงเดรัจฉานที่ไม่มีประสิทธิภาพพร้อมเวลาอธิบาย: ขยายทั้งสองนิพจน์ให้เป็นผลรวมของผลิตภัณฑ์ซึ่งสามารถตรวจสอบได้อย่างง่ายดายสำหรับการเทียบเท่า (เพียงแค่ไม่สนใจคำสั่งซื้อเนื่องจากการเดินทาง / เชื่อมโยงสามารถเรียงลำดับใหม่) …

14 complexity-theory  time-complexity  decision-problem 

ฉันสงสัยว่าการตัดสินใจเลือกปัญหาเป็นปัญหาที่ตัดสินใจได้หรือไม่ ฉันคาดเดาไม่ได้ แต่หลังจากการค้นหาครั้งแรกฉันไม่สามารถหาวรรณกรรมเกี่ยวกับปัญหานี้ได้

13 computability  undecidability  decision-problem 

ฉันเพิ่งอ่านบางหน้าในหนังสือของ Sipser รู้เบื้องต้นเกี่ยวกับทฤษฎีการคำนวณเกี่ยวกับปัญหาการติดต่อทางไปรษณีย์และฉันคิดว่า PCP เป็นจริงใน NP ผู้รับรองคือ: สำหรับการกำหนดค่าอินพุตของเสาเข็ม ต่อเชื่อมเป็นสตริงและเชื่อมเป็นสตริงจากนั้นเปรียบเทียบและเพื่อดูว่าทั้งสองมีค่าเท่ากันหรือไม่และสรุปได้ว่าอินพุตเป็นทางออกของ PCP(t1/b1,t2/b2,...tn/bn)(t1/b1,t2/b2,...tn/bn)(t_1/b_1, t_2/b_2,...t_n/b_n)t1,t2,...,tnt1,t2,...,tnt_1, t_2,...,t_ntttb1,b2,...,bnb1,b2,...,bnb_1, b_2, ..., b_nbbbtttbbb

12 complexity-theory  decision-problem  np 

ดังนั้นฉันรู้ว่าการทดสอบว่าภาษาปกติเป็นชุดย่อยของภาษาปกติสามารถถอดรหัสได้เนื่องจากเราสามารถแปลงทั้งสองเป็น DFA ได้คำนวณแล้วทดสอบว่าภาษานี้ว่างเปล่าหรือไม่RRRSSSR∩S¯R∩S¯R \cap \bar{S} อย่างไรก็ตามเนื่องจากสิ่งนี้ต้องการการแปลงเป็น DFA จึงเป็นไปได้ที่ DFAs และดังนั้นขั้นตอนวิธีการทดสอบจะเป็นแบบเอ็กซ์โปเนนเชียลในแง่ของจำนวนรัฐในอินพุต NFA มีวิธีที่รู้จักกันในการทำสิ่งนี้ในเวลาพหุนามหรือไม่? โดยทั่วไปปัญหานี้ได้รับการพิสูจน์แล้วว่า Co-NP เสร็จสมบูรณ์หรือไม่ โปรดทราบว่าปัญหาอยู่ใน Co-NP ตั้งแต่คำรับการยอมรับจากแต่ไม่ได้โดยจะเป็นผู้รับรองว่าพหุนามSRRRSSSR⊈SR⊈SR \not \subseteq S แก้ไข: สิ่งนี้ไม่ถูกต้องเนื่องจากไม่มีการรับประกันว่าคำดังกล่าวจะเป็นพหุนามในจำนวนสถานะ

12 algorithms  regular-languages  automata  np-complete  decision-problem 

หากกำหนด DFA สองตัวปัญหาในการค้นหาว่าพวกเขาสร้างภาษาเดียวกันเป็นปัญหาที่ตัดสินใจได้หรือไม่ ฉันรู้แล้วว่าความเท่าเทียมกันของสอง CFL นั้นไม่สามารถตัดสินใจได้ แต่สิ่งที่เกี่ยวกับความเท่าเทียมกันของสอง DFAs? การพิจารณาปัญหาส่วนใหญ่ของ DFA นั้นสามารถตัดสินใจได้ซึ่งเป็นการตัดสินใจเช่นนี้หรือไม่

11 computability  automata  finite-automata  decision-problem