ฉันจะค้นหาการเป็นตัวแทนที่สั้นที่สุดสำหรับเซตย่อยของ powerset ได้อย่างไร


13

ฉันกำลังมองหาอัลกอริทึมที่มีประสิทธิภาพสำหรับปัญหาต่อไปนี้หรือพิสูจน์ความแข็งของ NP

Letเป็นชุดและชุดย่อยของ\ค้นหาลำดับมีความยาวน้อยที่สุดสำหรับแต่ละจะมีเช่นนั้นLΣAP(Σ)ΣwΣLAkN{wk+i0i<|L|}=L

ตัวอย่างเช่นสำหรับคำว่าเป็นวิธีแก้ปัญหาเนื่องจากสำหรับมีสำหรับมี 1w = b a c { a , b } k = 0 { a , c } k = 1A={{a,b},{a,c}}w=bac{a,b}k=0{a,c}k=1

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


1
ในคำอื่น ๆ ปัญหาคือการสั่งซื้อชุดเป็นลำดับเพิ่ม? L1,,Ln|LiLi+1|
Karolis Juodelė

@ KarolisJuodelėผมไม่คิดว่าพอตั้งแต่คุณอาจจะต้องวางองค์ประกอบในเข้าไปครั้งที่สองแม้ว่าพวกเขา 'อีกครั้งในการ1} เช่น , คุณสามารถแบ่งปันระหว่างสองคนแรกหรือสองคนสุดท้าย แต่ไม่ใช่ในหมู่พวกเขาทั้งหมดที่สั้นที่สุดจะbacad L iL i + 2 w L i + 1 { { a , b } , { a , c } , { a , d } } a w b a c a dLi,Li+1,Li+2LiLi+2wLi+1{{a,b},{a,c},{a,d}}awbacad
avakar

@ KarolisJuodelėยิ่งไปกว่านั้นมีบางกรณีที่สำหรับ ,ซึ่งทำให้ซับซ้อนยิ่งขึ้นในกรณีเช่นนี้ "การสั่งซื้อพื้นที่ใกล้เคียง" อาจไม่ทั้งหมด L ฉันL JijLiLj
avakar

แค่ให้กำลังใจถ้าฉันมีคำถามที่ถูกต้องถ้าเซตคือจากนั้นคำตอบสนองความต้องการที่ได้รับ แต่ขั้นต่ำสุด (เช่นคำที่เป็นไปได้) และคำตอบคือ ? :)c o w o w l w o l f c o w l fA={{c,o,w},{o,w,l},{w,o,l,f}}cowowlwolfcowlf
MindaugasK

@MindaugasK ที่ถูกต้องตัวอย่างที่ดีมาก :)
avakar

คำตอบ:


4

ฉันเชื่อว่าฉันพบการลดลงของเส้นทางมิลโตเนียนดังนั้นจึงพิสูจน์ปัญหา NP-hard

เรียกคำว่าพยานถ้าเป็นไปตามเงื่อนไขจากคำถาม (สำหรับอันมีเช่นนั้น ) L เมตร1 { W เมตร+ ฉัน | 0 ฉัน< | L | } = LwΣALAm1{wm+i0i<|L|}=L

พิจารณารุ่นที่การตัดสินใจของปัญหาเดิมคือการตัดสินใจว่าสำหรับบางและมีพยานสำหรับของความยาวที่มากที่สุดkปัญหานี้สามารถแก้ไขได้โดยใช้ปัญหาดั้งเดิมเป็นคำพยากรณ์ในเวลาพหุนาม (หาพยานที่สั้นที่สุดแล้วเปรียบเทียบความยาวกับ )k 0 A k kAk0Akk

ตอนนี้เป็นแกนหลักของการลด ให้เป็นกราฟที่เชื่อมต่อง่ายและไม่มีทิศทาง สำหรับแต่ละให้เป็นเซตที่บรรจุจุดยอดและขอบที่อยู่ติดกันทั้งหมด ชุดและ\} จากนั้นมีเส้นทางที่แฮมิลตันและถ้าหากมีพยานของความยาวที่มากที่สุด2v V L v = { v } { e E v e } v Σ = E A = { L vv V } G A 2 | E | + 1G=(V,E)vVLv={v}{eEve}vΣ=EA={LvvV}GA2|E|+1

พิสูจน์ ให้เป็นเส้นทางมิลโตเนียนในและชุดของขอบทั้งหมดบนเส้นทาง สำหรับแต่ละจุดสุดยอดกำหนดชุดH เลือกโดยพลการสั่งซื้อสำหรับแต่ละU_vคำว่าเป็นพยานสำหรับเนื่องจากเป็นตัวแทนของสตริงย่อย ,โดยและสำหรับแต่ละ , , G H = { e 1 , e 2 , , e n - 1 } v U v = L vH α v U v w = α v 1 e 1 α v 2 e 2e n - 1 α vv1e1v2en1vnGH={e1,e2,,en1}vUv=LvHα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αv2e2en1αvnALv1α1e1Lvnen1αnvii{1,n}Lviเป็นตัวแทนจากe_นอกจากนี้ขอบในแต่ละเกิดขึ้นสองครั้งในมีข้อยกเว้นของขอบในซึ่งเกิดขึ้นครั้งเดียวและแต่ละจุดสุดยอดในเกิดขึ้นครั้งเดียวให้|ei1uvieiEw|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|+1eEvVweEwvVwHEw|w|=2|E||H|+|V|

พิจารณาย่อยที่ต่อเนื่องกันของของแบบฟอร์มที่ ,E เราบอกว่าอยู่ติดกัน ขอให้สังเกตว่าถ้าแล้วเพราะเกิดขึ้นเพียงครั้งเดียว แต่มันอยู่ติดกับสองจุดในGดังนั้นมากที่สุดคนหนึ่งของสามารถในHในทำนองเดียวกันไม่มีขอบในสามารถเกิดขึ้นในก่อนที่จุดสุดยอดแรกหรือหลังจุดสุดยอดที่ผ่านมายูอี1 อี2 ... อีkวีU , V V อีฉันE U , V อีฉันH อีฉัน = { U , V } อีฉันจีอีฉัน H H Wwue1e2ekvu,vVeiEu,veiHei={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|1Hwh1h2hn1Hw G v1h1v2h2hn1vnG

เนื่องจากปัญหาในการตัดสินใจเลือกเส้นทาง Hamiltonian คือ NP-hard และการลดลงข้างต้นคือพหุนามปัญหาดั้งเดิมคือ NP-hard เช่นกัน

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