ฉันเชื่อว่าฉันพบการลดลงของเส้นทางมิลโตเนียนดังนั้นจึงพิสูจน์ปัญหา NP-hard
เรียกคำว่าพยานถ้าเป็นไปตามเงื่อนไขจากคำถาม (สำหรับอันมีเช่นนั้น ) L ∈ เมตร≥ 1 { W เมตร+ ฉัน | 0 ≤ ฉัน< | L | } = Lw∈Σ∗AL∈Am≥1{wm+i∣0≤i<|L|}=L
พิจารณารุ่นที่การตัดสินใจของปัญหาเดิมคือการตัดสินใจว่าสำหรับบางและมีพยานสำหรับของความยาวที่มากที่สุดkปัญหานี้สามารถแก้ไขได้โดยใช้ปัญหาดั้งเดิมเป็นคำพยากรณ์ในเวลาพหุนาม (หาพยานที่สั้นที่สุดแล้วเปรียบเทียบความยาวกับ )k ≥ 0 A k kAk≥0Akk
ตอนนี้เป็นแกนหลักของการลด ให้เป็นกราฟที่เชื่อมต่อง่ายและไม่มีทิศทาง สำหรับแต่ละให้เป็นเซตที่บรรจุจุดยอดและขอบที่อยู่ติดกันทั้งหมด ชุดและ\} จากนั้นมีเส้นทางที่แฮมิลตันและถ้าหากมีพยานของความยาวที่มากที่สุด2v ∈ V L v = { v } ∪ { e ∈ E ∣ v ∈ e } v Σ = E A = { L v ∣ v ∈ V } G A 2 | E | + 1G=(V,E)v∈VLv={v}∪{e∈E∣v∈e}vΣ=EA={Lv∣v∈V}GA2|E|+1
พิสูจน์ ให้เป็นเส้นทางมิลโตเนียนในและชุดของขอบทั้งหมดบนเส้นทาง สำหรับแต่ละจุดสุดยอดกำหนดชุดH เลือกโดยพลการสั่งซื้อสำหรับแต่ละU_vคำว่าเป็นพยานสำหรับเนื่องจากเป็นตัวแทนของสตริงย่อย ,โดยและสำหรับแต่ละ , , G H = { e 1 , e 2 , … , e n - 1 } v U v = L v ∖ H α v U v w = α v 1 e 1 α v 2 e 2 … e n - 1 α vv1e1v2…en−1vnGH={e1,e2,…,en−1}vUv=Lv∖HαvUv AL v 1 α1e1L v n e n - 1 αnvii∉{1,n}L v i e i - 1 u v i eiew| V| -1HV| w| =2| E| +1w=αv1e1αv2e2…en−1αvnALv1α1e1Lvnen−1αnvii∉{1,n}Lviเป็นตัวแทนจากe_นอกจากนี้ขอบในแต่ละเกิดขึ้นสองครั้งในมีข้อยกเว้นของขอบในซึ่งเกิดขึ้นครั้งเดียวและแต่ละจุดสุดยอดในเกิดขึ้นครั้งเดียวให้|ei−1uvieiEw|V|−1HV|w|=2|E|+1
สำหรับทิศทางอื่น ๆ ให้ที่จะเป็นพยานโดยพลสำหรับของความยาวที่มากที่สุด2เห็นได้ชัดว่าแต่ละและเกิดขึ้นในอย่างน้อยหนึ่งครั้ง สมมติว่าแต่ละเกิดมากที่สุดสองครั้งและเกิดขึ้นเพียงครั้งเดียว มิฉะนั้นจะเป็นพยานสั้นสามารถพบได้โดยการเอาองค์ประกอบจากWให้เป็นชุดของขอบทั้งหมดที่เกิดขึ้นในครั้งเดียว จากสมมติฐานที่กล่าวมาข้างต้นถือว่า.A 2 | E | + 1 e ∈ E v ∈ V w e ∈ E w v ∈ V w H ⊆ E w | w | = 2 | E | - | H | + | V |wA2|E|+1e∈Ev∈Vwe∈Ewv∈VwH⊆Ew|w|=2|E|−|H|+|V|
พิจารณาย่อยที่ต่อเนื่องกันของของแบบฟอร์มที่ ,E เราบอกว่าอยู่ติดกัน ขอให้สังเกตว่าถ้าแล้วเพราะเกิดขึ้นเพียงครั้งเดียว แต่มันอยู่ติดกับสองจุดในGดังนั้นมากที่สุดคนหนึ่งของสามารถในHในทำนองเดียวกันไม่มีขอบในสามารถเกิดขึ้นในก่อนที่จุดสุดยอดแรกหรือหลังจุดสุดยอดที่ผ่านมายูอี1 อี2 ... อีkวีU , V ∈ V อีฉัน ∈ E U , V อีฉัน ∈ H อีฉัน = { U , V } อีฉันจีอีฉัน H H Wwue1e2…ekvu,v∈Vei∈Eu,vei∈Hei={u,v}eiGeiHHw
ตอนนี้มีจุดจึง| จากนั้นก็ต่อว่า2 เนื่องจากเราถือว่าเราได้รับความเท่าเทียมกัน จากนั้นเราจะได้รับ|โดยหลักรังนกพิราบมีขอบจากระหว่างคู่ของจุดที่อยู่ติดกันในแต่ละWแสดงว่าองค์ประกอบทั้งหมดจากตามลำดับที่ปรากฏในWมันตามที่เป็นเส้นทางในมิลจี| H | ≤ | V | - 1 | w | ≥ 2 | E | + 1 | w | ≤ 2 | E | + 1 | H | = | V | - 1 H W ชั่วโมง1 ชั่วโมง2 ... ชั่วโมงn - 1 H W โวลต์1 ชั่วโมง1 โวลต์2 ชั่วโมง|V||H|≤|V|−1|w|≥2|E|+1|w|≤2|E|+1|H|=|V|−1Hwh1h2…hn−1Hw G ◻v1h1v2h2…hn−1vnG□
เนื่องจากปัญหาในการตัดสินใจเลือกเส้นทาง Hamiltonian คือ NP-hard และการลดลงข้างต้นคือพหุนามปัญหาดั้งเดิมคือ NP-hard เช่นกัน