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

ฉันสนใจในลักษณะทั่วไปของปริศนา 15 อันที่มีชื่อเสียงซึ่งคุณต้องเลื่อนบล็อกจนกว่าคุณจะเรียงลำดับตัวเลขที่ให้ไว้ทั้งหมด (โดยทั่วไปจะมีช่องว่าง 1 บล็อก) ตอนนี้การวางนัยทั่วไปจะเป็นการขยายขนาดของตัวต่อจาก 15 เป็นโดยที่หนึ่งฟิลด์ว่าง ฉันสร้างภาพประกอบเล็ก ๆ (ลูกศรประแสดงการเคลื่อนไหวที่อนุญาตและการกำหนดค่าที่ต่ำกว่าแสดงปริศนาที่แก้ไขแล้ว):p×qp×qp \times q ด้วยการกำหนดค่าเริ่มต้นของปริศนาฉันถามตัวเองคำถามต่อไปนี้: คำถามการตัดสินใจ : ให้เป็นปริศนาที่มีขนาดและจำนวนk ∈ N มีลำดับของkหรือน้อยกว่าที่อนุญาตให้ย้ายที่เปลี่ยนตัวไขปริศนาเป็นการกำหนดค่าที่แก้ไขแล้วหรือไม่?p×qp×qp \times qk∈Nk∈Nk \in \mathbb{N}kkk ฉันได้ทำการตรวจสอบแล้วและพบบทความ " The -puzzle และปัญหาการย้ายถิ่นฐานที่เกี่ยวข้อง(n2−1)(n2−1)(n^2−1) " จากปี 1990 ซึ่งแสดงให้เห็นว่าการตัดสินใจคำถามของฉันสำหรับคือ NP-Complete ดังนั้นการตัดสินใจคำถามของฉันคือ NP- เสร็จสมบูรณ์ (เนื่องจากอัลกอริทึมทั่วไปสามารถตัดสินใจคำถามสำหรับฟิลด์สมมาตรได้)p=qp=qp=q q>1q>1q>1q=2,3q=2,3q=2,3 บทความทั้งหมดที่ฉันสามารถหากรณีละเว้นอสมมาตรเศร้าดังนั้นฉันคิดว่าอาจไม่มีผลลัพธ์ที่รู้จักเกี่ยวกับเรื่องนี้ เนื่องจากข้อพิสูจน์ในบทความนั้นค่อนข้างซับซ้อนและไม่ได้แปลเลยสำหรับความสูงคงที่ฉันค่อนข้างหวังว่าบางคนอาจเกิดขึ้นกับการลด / บทความที่แตกต่างที่ตอบคำถามบางข้อ บทความที่เกี่ยวข้องอื่น ๆ (ที่จะขยาย): http://larc.unt.edu/ian/pubs/saml.pdf http://red.cs.nott.ac.uk/~gxk/papers/icga2008_preprint.pdf http://erikdemaine.org/papers/AlgGameTheory_GONC3/

35 cc.complexity-theory  np  np-complete 

มี (โดยปกติแล้วเป็นภาษาธรรมชาติ) - สมบูรณ์เช่นนี้สำหรับทุก ๆ หรือไม่ ในคำอื่น ๆมีอย่างแม่นยำครึ่งหนึ่งของทั้งหมดกรณีบิต n ≥ 1L ⊆ { 0 , 1 }* * * *L⊆{0,1}∗L\subseteq \{0,1\}^*n ≥ 1n≥1n\geq 1 L| L∩{0,1 }n| = 2n - 1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn

25 cc.complexity-theory  np  np-complete 

การเข้าถึง oracle จะช่วยเพิ่มความเร็วในพหุนามที่สำคัญสำหรับทุกสิ่งในN P - P (สมมติว่าเซตไม่ว่างเปล่า) มันมีความชัดเจนน้อยกว่าอย่างไรก็ตามPจะได้ประโยชน์อย่างไรจากการเข้าถึง oracle นี้ แน่นอนการเพิ่มความเร็วในPไม่สามารถเป็นซุปเปอร์พหุนามได้ แต่มันยังสามารถเป็นพหุนามได้ ตัวอย่างเช่นเราสามารถหาเส้นทางที่สั้นที่สุดได้เร็วขึ้นด้วยOracle S A Tมากกว่าที่ไม่มีหรือไม่? งานที่ซับซ้อนมากขึ้นเช่นการลดฟังก์ชั่น submodular หรือการโปรแกรมเชิงเส้น? พวกเขา (หรือปัญหาทางธรรมชาติอื่น ๆ ในP ) จะได้ประโยชน์จากS A T หรือไม่STSATSATN P - PNP−P{\bf NP}-{\bf P}PP\bf PPP\bf PSATSATSATPP\bf PSATSATSAT oracle? โดยทั่วไปถ้าเราสามารถเลือกปัญหาใด ๆ ในและใช้ oracle สำหรับมันแล้วปัญหาใดในP ที่สามารถเห็นความเร็วได้NP−PNP−P{\bf NP}-{\bf P}PP\bf P

23 cc.complexity-theory  np  np-complete 

ลาสซ์โลบาบเมื่อเร็ว ๆ นี้พิสูจน์ให้เห็นว่า ปัญหาที่เกิดขึ้นกราฟมอร์ฟอยู่ในเวลา quasipolynomial ดูเพิ่มเติมเขา พูดคุยที่มหาวิทยาลัยชิคาโก หมายเหตุจากการเจรจาโดยเจเรมีคุง GLL โพสต์ 1 , GLL โพสต์ 2 , GLL โพสต์ 3 ตามทฤษฏีของ Ladner ถ้าP≠ NPP≠NPP \neq NPดังนั้นยังไม่มีข้อความPผมNPINPIก็ไม่ได้ว่างเปล่านั่นคือยังไม่มีข้อความPNPNPมีปัญหาที่ไม่ได้อยู่ในPPPและยังไม่มีข้อความPNPNP - ที่ไม่สมบูรณ์ อย่างไรก็ตามภาษาที่ Ladner สร้างขึ้นนั้นเป็นสิ่งประดิษฐ์และไม่ใช่ปัญหาตามธรรมชาติ ไม่มีปัญหาธรรมชาติเป็นที่รู้จักกันในยังไม่มีข้อความPผมNPINPI แม้เงื่อนไขภายใต้P≠ NPP≠NPP \neq NP P แต่ปัญหาบางอย่างเชื่อว่าเป็นตัวเลือกที่ดีสำหรับยังไม่มีข้อความPผมNPINPIเช่น Factoring integers และ GI ยังไม่มีข้อความP⊈ Q P= D TผมME( np o l yเข้าสู่ระบบn)NP⊈QP=DTIME(npolylog⁡n)NP …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

ให้เราบอกว่าภาษาLLLคือP -density-close หากมีอัลกอริธึมเวลาพหุนามที่ตัดสินใจLLLบนอินพุตทั้งหมดอย่างถูกต้อง A∈A∈A\in LΔALΔAL\Delta AALLlimn→∞|(LΔA)∩{0,1}n|2n=0.limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap \{0,1\}^n|}{2^n}=0.AAALLLLLL โปรดทราบว่าไม่จำเป็นต้องกระจัดกระจาย ตัวอย่างเช่นหากมี บิตสตริงมันจะยังคงหายไป (ที่อัตราเอ็กซ์โปเนนเชียล) ตั้งแต่ .2 n / 2 n 2 n / 2 / 2 n = 2 - n / 2LΔALΔAL\Delta A2n/22n/22^{n/2} nnn2n/2/2n=2−n/22n/2/2n=2−n/22^{n/2}/2^n=2^{-n/2} ไม่ยากที่จะสร้างปัญหาที่ไม่สมบูรณ์(เทียม) ที่ P -density-close ตามคำนิยามข้างต้น ตัวอย่างเช่นสมมติใด ๆNPภาษาที่สมบูรณ์และกำหนด\} จากนั้นจะรักษาความสมบูรณ์ของNPแต่มีอย่างน้อย bit ใช่อินสแตนซ์ ดังนั้นอัลกอริธึมเล็กน้อยที่ตอบว่า "ไม่" สำหรับทุกอินพุตจะต้องตัดสินใจในอินพุตเกือบทั้งหมดอย่างถูกต้อง มันจะผิดพลาดในส่วนของอินพุต bitLLLL …

20 cc.complexity-theory  ds.algorithms  complexity-classes  np-complete 

จะมีปัญหาใด ๆ ที่สมบูรณ์ NP ไม่มีเซตอนันต์ของกรณีดังกล่าวว่าสมาชิกในสามารถตัดสินใจในเวลาพหุนามและสำหรับทุก ,จะสามารถแก้ไขได้ในเวลาพหุนาม? (สมมติว่า )ไวx ∈ ไวx P ≠ N PΦΦ\PhiΦΦ\Phix∈Φx∈Φx \in \PhixxxP≠NPP≠NPP \neq NP

18 cc.complexity-theory  np-complete  heuristics 

การคาดคะเน Isomorphism ที่มีชื่อเสียงของ Berman และ Hartmanisกล่าวว่าภาษาที่สมบูรณ์ของทั้งหมดคือพหุนามเวลา isomorphic (p-isomorphic) ซึ่งกันและกัน อย่างมีนัยสำคัญที่สำคัญของการคาดเดาก็คือว่ามันหมายถึงP ≠ N P มันถูกตีพิมพ์ในปี 1977 และชิ้นส่วนของหลักฐานสนับสนุนคือการที่ทุกN Pปัญหาที่สมบูรณ์เป็นที่รู้จักกันในขณะที่มีแน่นอน P-isomorphic ในความเป็นจริงพวกเขาทุกคนสามารถเติมเต็มได้ซึ่งเป็นคุณสมบัติที่ดีเป็นธรรมชาติและหมายถึง p-isomorphism ในทางที่ไม่สำคัญNPNPNPP≠NPP≠NPP\neq NPNPNPNP ตั้งแต่นั้นมาความเชื่อมั่นในการคาดเดาเสื่อมโทรมเนื่องจากผู้สมัคร - ภาษาที่สมบูรณ์ได้รับการค้นพบว่าไม่น่าจะเป็น p-isomorphic ถึงS A Tแม้ว่าปัญหาจะยังคงเปิดอยู่ อย่างไรก็ตามเท่าที่ฉันรู้ไม่มีผู้สมัครเหล่านี้เป็นตัวแทนของ ปัญหาธรรมชาติ พวกมันถูกสร้างขึ้นผ่านทางเส้นทแยงมุมเพื่อจุดประสงค์ในการพิสูจน์หักล้าง Isomorphism Conjectureยังไม่มีข้อความPยังไม่มีข้อความPNPSTSATSAT มันยังคงเป็นจริงหลังจากผ่านไปเกือบสี่สิบปีแล้วปัญหาธรรมชาติที่ สมบูรณ์ของรู้จักกันทั้งหมดคือ p-isomorphic ของS A Tหรือไม่? หรือมีผู้สมัครตามธรรมชาติคาดเดาไปในทางตรงกันข้าม?ยังไม่มีข้อความPยังไม่มีข้อความPNPSTSATSAT

18 cc.complexity-theory  complexity-classes  p-vs-np  np-complete 

เป็นไปได้ไหมที่จะทดสอบอัลกอริธึมว่าจำนวนที่คำนวณได้เป็นจำนวนตรรกยะหรือจำนวนเต็ม? ในคำอื่น ๆ ก็จะมีความเป็นไปได้สำหรับห้องสมุดที่ใช้คำนวณตัวเลขเพื่อให้ฟังก์ชั่นisIntegerหรือisRational? ฉันเดาว่ามันเป็นไปไม่ได้และนี่ก็เกี่ยวข้องกับความจริงที่ว่ามันเป็นไปไม่ได้ที่จะทดสอบว่าตัวเลขสองตัวนั้นเท่ากัน แต่ฉันไม่เห็นวิธีที่จะพิสูจน์มัน แก้ไข: จำนวนที่คำนวณได้ถูกกำหนดโดยฟังก์ชันที่สามารถส่งกลับค่าประมาณด้วยเหตุผลด้วยความแม่นยำ :สำหรับใด ๆ0 รับฟังก์ชั่นดังกล่าวเป็นไปได้หรือไม่ที่จะทดสอบว่าหรือ ?xxxfx(ϵ)fx(ϵ)f_x(\epsilon)xxxϵϵ\epsilon|x−fx(ϵ)|≤ϵ|x−fx(ϵ)|≤ϵ|x - f_x(\epsilon)| \leq \epsilonϵ>0ϵ>0\epsilon > 0x∈Qx∈Qx \in \mathrm{Q}x∈Zx∈Zx \in \mathrm{Z}

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

อัลกอริทึมการแฮ็นรหัสผ่านที่ใช้กันทั่วไปทำงานในลักษณะนี้วันนี้: ใส่รหัสผ่านและป้อนลงใน KDF ตัวอย่างเช่นการใช้ PBKDF2-HMAC-SHA1 กระบวนการแฮชรหัสผ่านคือDK = PBKDF2(HMAC, Password, Salt, ...)รหัสผ่าน เนื่องจาก HMAC เป็น hashing 2 รอบพร้อมกับแป้นที่มีเบาะรองและ SHA1 เป็นชุดของการเรียงสับเปลี่ยนการหมุนการหมุนและการดำเนินการระดับบิตโดยพื้นฐานกระบวนการทั้งหมดจึงมีการดำเนินการพื้นฐานบางอย่างที่จัดเรียงในลักษณะที่แน่นอน ไม่ชัดเจนว่าเป็นเรื่องยากที่จะคำนวณ นั่นอาจเป็นเหตุผลว่าทำไมฟังก์ชั่นทางเดียวยังคงเป็นความเชื่อและเราได้เห็นฟังก์ชั่นแฮชการเข้ารหัสลับที่มีความสำคัญในอดีตบางอย่างกลายเป็นไม่ปลอดภัยและเลิกใช้แล้ว ฉันสงสัยว่ามันเป็นไปได้ที่จะใช้ประโยชน์จากปัญหาที่สมบูรณ์ของ NP เพื่อแฮรหัสผ่านในรูปแบบใหม่โดยหวังว่าจะให้พื้นฐานทางทฤษฎีที่มั่นคงยิ่งขึ้น แนวคิดหลักคือสมมติว่า P! = NP (ถ้า P == NP แล้วไม่มี OWF ดังนั้นรูปแบบปัจจุบันจะแตกเช่นกัน) การเป็นปัญหา NPC หมายถึงคำตอบนั้นง่ายต่อการตรวจสอบ แต่ยากที่จะคำนวณ คุณสมบัตินี้เหมาะสมกับข้อกำหนดของการแฮ็กรหัสผ่าน หากเราดูรหัสผ่านเป็นคำตอบของปัญหา NPC เราสามารถเก็บปัญหา NPC ไว้เป็นแฮชของรหัสผ่านเพื่อตอบโต้การโจมตีออฟไลน์: มันง่ายต่อการตรวจสอบรหัสผ่าน แต่ยากที่จะถอดรหัส ข้อแม้คือรหัสผ่านเดียวกันอาจถูกแมปกับหลายอินสแตนซ์ของปัญหา NPC อาจไม่ใช่ทั้งหมดที่ยากต่อการแก้ไข …

16 np-hardness  cr.crypto-security  np-complete  security 

ความซับซ้อนของปัญหาต่อไปนี้คืออะไร? อินพุต : 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) ) ฉันได้คุยกับเพื่อนเกี่ยวกับปัญหานี้ เพื่อนของฉันคิดว่าปัญหาอยู่ในเวลาพหุนาม ฉันคิดว่ามันเป็นปัญหาที่สมบูรณ์

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

ฉันเพิ่งอ่านกระดาษที่ดีมากโดยValiant และ Vaziraniซึ่งแสดงให้เห็นว่าถ้าดังนั้นจึงไม่มีวิธีที่มีประสิทธิภาพในการแก้ SAT แม้ภายใต้คำสัญญาว่าไม่น่าพอใจหรือมีทางออกที่ไม่ซ้ำกัน ดังนั้นการแสดงว่า SAT ไม่ยอมรับอัลกอริธึมที่มีประสิทธิภาพแม้จะอยู่ภายใต้คำมั่นสัญญาว่าจะมีวิธีแก้ปัญหาเดียวN P ≠ R Pยังไม่มีข้อความP≠RP\mathbf{NP \neq RP} ผ่านการลดลงอย่างมาก (การลดที่รักษาจำนวนการแก้ปัญหา) มันเป็นเรื่องง่ายที่จะเห็นว่าปัญหา NP-complete ส่วนใหญ่ (ฉันคิดได้) ยังไม่ยอมรับอัลกอริธึมที่มีประสิทธิภาพแม้ภายใต้คำมั่นสัญญาว่า (ยกเว้น ) ตัวอย่างจะเป็น VERTEX-COVER, 3-SAT, MAX-CUT, 3D-MATCHINGN P = R Pยังไม่มีข้อความP=RP\mathbf{NP = RP} ดังนั้นฉันสงสัยว่ามีปัญหาที่เกิดขึ้นกับปัญหา NP ใดที่รู้กันว่ายอมรับโพลีอัลกอริธึมภายใต้สัญญาที่เป็นเอกลักษณ์

14 np-hardness  np-complete  unique-solution  promise-problems 

สำหรับภาษาที่สมบูรณ์แบบตามอำเภอใจใด ๆ ของโพลีไทม์จะมีการเติมเต็มของโพลิไทม์ซึ่งยังไม่มีที่สิ้นสุดหรือไม่? มีการถามรุ่นเรื่องย่อที่ไม่ได้ระบุชื่อชุดซูเปอร์เซ็ตเพื่อให้มีส่วนประกอบที่ไม่มีที่สิ้นสุดที่/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 …

14 cc.complexity-theory  np-complete  structural-complexity 

เมื่อเราต้องการที่จะพิสูจน์ว่าเป็นสมบูรณ์แล้ววิธีมาตรฐานคือการแสดงเวลาพหุนามคำนวณการลดลงหลายรายการหนึ่งที่รู้จักกันปัญหาที่สมบูรณ์เพื่อLในบริบทนี้เราไม่จำเป็นต้องมีข้อ จำกัด ในเวลาทำงานลดลง มันพอเพียงที่จะได้ใด ๆพหุนามผูกพันที่ช่วยให้ว่ามันอาจจะมีระดับสูงมากN P N P LL ∈ N PL∈NPL\in \bf NPN PNP\bf NPN PNP\bf NPLLL อย่างไรก็ตามสำหรับปัญหาทางธรรมชาติขอบเขตมักเป็นพหุนามระดับต่ำ (ขอให้เรานิยามต่ำเป็นบางสิ่งในหลักเดียว) ฉันไม่ได้อ้างว่าจะต้องเป็นเช่นนี้เสมอไป แต่ฉันไม่ได้รับการตอบโต้ตัวอย่าง คำถาม:มีตัวอย่างตัวอย่างหรือไม่? นั่นจะเป็นการคำนวณแบบหลายจุดที่คำนวณได้แบบหลายช่วงเวลาระหว่างธรรมชาติที่สมบูรณ์แบบสองปัญหาเช่นที่ไม่มีการลดลงอย่างรวดเร็วในกรณีเดียวกันและเวลาพหุนามที่รู้จักกันเป็นอย่างดีคือพหุนามระดับสูงยังไม่มีข้อความPNPNP หมายเหตุ:ขนาดใหญ่หรือขนาดใหญ่แม้กระทั่งเลขยกกำลังที่มีความจำเป็นในบางครั้งสำหรับปัญหาธรรมชาติดู ขั้นตอนวิธีการพหุนามเวลาที่มีขนาดใหญ่สัญลักษณ์ / คงที่ ฉันสงสัยว่าสิ่งเดียวกันนี้เกิดขึ้นในการลดปัญหาธรรมชาติหรือไม่?PPP

13 cc.complexity-theory  reductions  np-complete 

'ให้ , มีx , y ∈ N , a x 2 + b y = c ' คือN P-สมบูรณ์a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} คลาสความซับซ้อนใดที่ 'ให้ , มีx , y ∈ N , a 2 x + b y 2 = c ' อยู่หรือไม่a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by2=cax2+by2=cax^2+by^2=c

12 ds.algorithms  complexity-classes  reductions  nt.number-theory  np-complete 

พิจารณากราฟไม่มีทิศทางที่เชื่อมต่อกับน้ำหนักขอบที่ไม่ใช่เชิงลบและสองจุดที่โดดเด่นs,ts,ts,tเสื้อ ด้านล่างนี้เป็นปัญหาเกี่ยวกับเส้นทางที่เป็นรูปแบบต่อไปนี้ทั้งหมด: ค้นหาเส้นทางs−ts−ts-tเพื่อให้ฟังก์ชันของน้ำหนักขอบบนเส้นทางมีค่าน้อยที่สุด ในแง่นี้พวกเขาทั้งหมด "ญาติ" ของปัญหาเส้นทางที่สั้นที่สุด; ในตอนหลังฟังก์ชั่นเป็นเพียงผลรวม หมายเหตุ:เรากำลังมองหาเส้นทางง่ายๆนั่นคือไม่มีจุดยอดซ้ำ ๆ เนื่องจากฉันไม่พบชื่อมาตรฐานสำหรับปัญหาเหล่านี้ในวรรณคดีฉันจึงตั้งชื่อพวกเขาเอง เส้นทางที่มีช่องว่างน้ำหนักขั้นต่ำ:หาs−ts−ts-tเส้นทางดังกล่าวว่าความแตกต่างระหว่างที่ใหญ่ที่สุดและมีขนาดเล็กที่สุดน้ำหนักขอบบนเส้นทางที่เป็นขั้นต่ำ เส้นทางที่ลื่นที่สุด:ค้นหาเส้นทางs−ts−ts-tเช่นขนาดขั้นตอนที่ใหญ่ที่สุดบนเส้นทางคือขั้นต่ำโดยขนาดขั้นตอนคือค่าสัมบูรณ์ของความแตกต่างน้ำหนักระหว่างสองขอบต่อเนื่องกัน เส้นทางที่มีระดับความสูงต่ำสุด:ให้เรากำหนดระดับความสูงของเส้นทางด้วยผลรวมของขนาดขั้นตอนตามเส้นทาง (ดูคำจำกัดความของขนาดขั้นตอนข้างต้น) ค้นหาเส้นทางs−ts−ts-tมีระดับความสูงต่ำสุด เส้นทางที่มีน้ำหนักสูงสุดต่ำสุด:สมมติว่าน้ำหนักขอบทั้งหมดเป็นจำนวนเต็มบวกหาเส้นทางs−ts−ts-tเช่นนั้นน้ำหนักของมันจะเป็นจำนวนเฉพาะ หากมีเส้นทางดังกล่าวให้ค้นหาเส้นทางที่มีน้ำหนักเฉพาะขนาดเล็กที่สุดเท่าที่จะเป็นไปได้ คำถาม:สิ่งที่เป็นที่รู้จักเกี่ยวกับปัญหาเส้นทางเหล่านี้? (และคนอื่น ๆ ที่สามารถคิดในจิตวิญญาณที่คล้ายกันโดยใช้ฟังก์ชั่นที่แตกต่างของน้ำหนัก) โดยทั่วไปมีคำแนะนำใดที่หน้าที่ของน้ำหนักขอบสามารถลดลงในเวลาพหุนามและ NP- ยาก? หมายเหตุ:มันเป็นเรื่องที่น่าสนใจตัวอย่างเช่นในขณะที่ผลรวมของน้ำหนักนั้นง่ายต่อการย่อให้เล็กสุด (มันเป็นปัญหาเส้นทางที่สั้นที่สุดแบบคลาสสิก) แต่การลดน้ำหนักเฉลี่ยที่เกี่ยวข้องอย่างใกล้ชิดของน้ำหนักบนเส้นทางคือ NP-hard (กำหนดน้ำหนัก 2 ทุกขอบเหตุการณ์ที่เกิดขึ้นsssและtttและน้ำหนัก 1 ถึงคนอื่น ๆ ทั้งหมดจากนั้นเส้นทางนาทีน้ำหนักเฉลี่ยจะเป็นที่ยาวที่สุด. s−ts−ts-tเส้นทาง)

10 graph-theory  graph-algorithms  np-complete  polynomial-time