คำถามติดแท็ก np-complete

การคาดคะเน Berman - Hartmanis: ภาษา NP สมบูรณ์ทั้งหมดมีลักษณะเหมือนกันในแง่ที่ว่าพวกเขาสามารถเชื่อมโยงซึ่งกันและกันโดยพหุนามเวลา isomorphisms [1] ฉันสนใจรุ่น "พหุนามเวลา" ที่ละเอียดยิ่งขึ้นนั่นคือถ้าเราใช้การลดพารามิเตอร์ ปัญหาที่แปรตามพารามิเตอร์คือเซตย่อยของโดยที่Σเป็นตัวอักษร จำกัด และZ ≥ 0เป็นชุดของตัวเลขที่ไม่ติดลบ อินสแตนซ์ของปัญหาที่ทำให้เป็นพารามิเตอร์จึงเป็นคู่( I , k )โดยที่kคือพารามิเตอร์Σ* * * *× Z≥ 0Σ∗×Z≥0Σ^∗ × Z \geq 0ΣΣΣZ≥ 0Z≥0Z\geq 0( ฉัน, k )(I,k)(I, k)kkk ปัญหาที่แปรตามพารามิเตอร์ได้รับการแก้ไขพารามิเตอร์ที่ลดลงให้กับปัญหาที่แปรตามพารามิเตอร์π 2หากมีฟังก์ชันf , g : Z ≥ 0 → Z ≥ 0 , …

10 complexity-classes  np-complete  fixed-parameter-tractable 

มันเป็นที่รู้จักกันมาตั้งแต่ต้นยุค 70 ว่า N PNP{\bf NP} และ E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) ไม่เท่ากัน (เพราะ EE{\bf E} ไม่ได้ปิดภายใต้พหุนามเวลาลดลงหลายคนในทางตรงกันข้าม NPNP{\bf NP}) เท่าที่ฉันรู้อย่างไรก็ตามมันยังเปิดอยู่ว่าชั้นหนึ่งเป็นส่วนย่อยของอีกชั้นหนึ่งหรือพวกเขาไม่มีที่เปรียบซึ่งหมายความว่าNP−ENP−E{\bf NP}-{\bf E} และ E−NPE−NP{\bf E}-{\bf NP} มีทั้งที่ไม่ว่างเปล่า คำถาม: มีปัญหาใดบ้าง (เป็นธรรมชาติกว่า) ที่ผู้สมัครเข้ามา NP−ENP−E{\bf NP}-{\bf E} หรือ E−NPE−NP{\bf E}-{\bf NP}สมมติว่าชุดนั้นไม่ว่างเปล่า? ฉันเป็นคนที่สนใจเฉพาะปัญหาธรรมชาติภายในNPNP{\bf NP}ที่อาจต้องใช้เวลาเอ็กซ์โพเนนเชียลพร้อมด้วยเลขชี้กำลังแบบsuperlinearนั่นคือพวกมันอยู่ในNP−ENP−E{\bf NP}-{\bf E}.

10 cc.complexity-theory  complexity-classes  np-complete 

ฉันเจอบทความที่ตีพิมพ์ในวิทยาศาสตร์"การจดจำปัญหา NP-complete ในเวลาพหุนามโดยใช้แหล่งข้อมูลพหุนามและสถานะส่วนรวม"ซึ่งทำให้มีการเรียกร้องที่น่าอัศจรรย์ Memcomputing เป็นกระบวนทัศน์ใหม่ที่ไม่ใช่ทัวริงของการคำนวณที่ใช้เซลล์หน่วยความจำแบบโต้ตอบ (memprocessors สำหรับช่วงสั้น ๆ ) เพื่อจัดเก็บและประมวลผลข้อมูลบนแพลตฟอร์มทางกายภาพเดียวกัน มันได้รับเมื่อเร็ว ๆ นี้ได้รับการพิสูจน์ทางคณิตศาสตร์ว่าเครื่อง memcomputing มีอำนาจการคำนวณเดียวกันของเครื่องทัวริง ดังนั้นพวกเขาสามารถแก้ปัญหา NP-complete ในเวลาพหุนามและโดยใช้สถาปัตยกรรมที่เหมาะสมโดยมีทรัพยากรที่เติบโตขึ้นเฉพาะกับพหุนามด้วยขนาดอินพุต (ของฉันเป็นตัวเอียง) ฉันจะยกเลิกนี้ปิดค้างคาวที่ไม่ร้ายแรงกำหนดลักษณะที่แข็งแกร่งของการเรียกร้องถ้ามันไม่ได้สำหรับความจริงที่ว่านี้ได้รับการตีพิมพ์ในวิทยาศาสตร์และวัสดุที่เกี่ยวข้องโดยบางส่วนของผู้เขียนได้รับการตีพิมพ์ในธรรมชาติฟิสิกส์ , ในวารสาร IEEEและใน Physics Review Eซึ่งทั้งหมดเป็นสิ่งพิมพ์ที่ผ่านการตรวจสอบโดยผู้มีชื่อเสียงซึ่งไม่ยอมให้การเรียกร้องดังกล่าวได้รับการเผยแพร่โดยที่พวกเขาไม่จริงจัง จริงหรือ คนเหล่านี้สามารถแก้ปัญหา NP-complete ใน P-time โดยใช้โมเดลของพวกเขาได้หรือไม่?

9 np-complete  open-problem