Kuinka todistaa ” Exact-3D-Matching -ongelman NP-täydellisyys vähentämällä ” 3-Partition -ongelma siihen?

Tausta: Exact-3D-Matching -ongelma määritellään seuraavasti (Määritelmä on Jeffin luentomonisteesta: Luento 29: NP-kovat ongelmat . Voit myös viittaa kolmiulotteiseen vastaavuuteen ):

Exact-3D- Yhteensopivuus: Kun otetaan huomioon joukko $ S $ ja $ S $: n kolmiosainen osajoukko, nimeltään kolmikot , onko olemassa joukko epäyhtenäisiä kolmikoita, jotka kattavat tarkalleen $ S $ ?

3-Partition -ongelma määritellään seuraavasti: (Se on myös Luento 29: NP-kovat ongelmat . Voit myös viitata 3-osio-ongelmaan .):

Jos joukko $ S $ on $ 3n $ kokonaislukua, voidaanko se osioida $ n $ disjoint -elementteihin siten, että jokaisella osajoukolla on täsmälleen sama summa?

Tiedetään, että 3-Partition -ongelman voidaan osoittaa olevan NP-täydellinen vähentämällä NP-täydellinen Exact-3D-Matching ongelma. Ja ongelman Exact-3D-Matching NP-täydellisyys todistetaan vähentämällä 3SAT -ongelma siihen (molemmat on annettu kirjassa Tietokoneet ja haastavuus: Opas NP-täydellisyyden teoriaan ).

Ongelma: Minun ongelmani on:

Kuinka todistaa ongelma vähentämällä 3-Partition -ongelma siihen?

En ole löytänyt papereita eikä luentotiedot siitä.

Kommentit

  • vastauksen lähettämisen jälkeen huomasin, että otsikko pyytää päinvastaista suuntaa; sinun pitäisi muuttaa sitä (tai muuttaa kysymystä ja jättää huomioimatta vastaukseni 🙂
  • Hups … Se on minun erehdykseni. Vastauksesi on juuri sitä mitä pyydän. Pienennys arvosta Exact-3D-Matching muotoon 3-Partition löytyy helposti (vaikka itse pienentäminen ei ole helppoa) oppikirjoista. Siksi pyydän päinvastaista suuntaa. Muutan otsikkoa ja hyväksyn vastauksesi.

Vastaa

Mielestäni tämän vähennyksen pitäisi toimia:

Annettu 3-OSALLINEN esiintymä: $ n $ kokonaislukua $ a_1, \ ldots, a_ {3n} $ ja tavoitesumma $ B $; merkitse kukin kokonaisluku yksilöllisellä tunnuksella $ \ hat {a_i} $; rakenna sitten kokoelma 3-elementtisiä alajoukkoja $ C_j = \ {\ hat {a} _ {i_1}, \ hat {a} _ {i_2}, \ hat {a} _ {i_3} \} $ siten, että $ a_ {i_1} + a_ {i_2} + a_ {i_3} = B $ ja $ i_1 \ neq i_2 \ neq i_3 $ (kokoelmassa on elementtejä $ O (n ^ 3) $).

Alkuperäinen 3-OSALLISUUS-ongelmalla on ratkaisu vain ja vain, jos on olemassa TARKKA 3D-VASTAAVA $ C_ {j_1}, \ ldots, C_ {j_n} $, joka peittää $ S = \ hat {a} _ {1}, \ ldots , \ hat {a} _ {3n} $.

Esimerkiksi annettu $ A = \ {5,4,3,3,3,2,2,1,1 \}, B = 8 Rakennamme $: $ S = \ {5a, 4a, 3a, 3b, 3c, 2a, 2b, 1a, 1b \} $ ja 3-osaisten alijoukkojen kokoelma:

C1 = { 5a, 2a, 1a } C2 = { 5a, 2a, 1b } C3 = { 5a, 2b, 1a } C4 = { 5a, 2b, 1b } C5 = { 4a, 3a, 1a } C6 = { 4a, 3a, 1b } C7 = { 4a, 3b, 1a } C8 = { 4a, 3b, 1b } C9 = { 4a, 3c, 1a } C10 = { 4a, 3c, 1b } C11 = { 4a, 2a, 2b } C12 = { 3a, 3b, 2a } C13 = { 3a, 3b, 2b } C14 = { 3a, 3c, 2a } C15 = { 3a, 3c, 2b } C16 = { 3b, 3c, 2a } C17 = { 3b, 3c, 2b } 

Tarkka 3D-MATCHING antaa:

C1 = { 5a, 2a, 1a } C6 = { 4a, 3a, 1b } C16 = { 3b, 3c, 2b } 

joka myös yksilöi kelvollisen ratkaisun alkuperäiselle 3-OSALLISUUS-ongelmalle .

Kommentit

  • Kyllä, se toimii. Kukin $ a_i $ ei merkitty yksilölliseksi. Kiitos.

Vastaa

Sähköpostiosoitettasi ei julkaista. Pakolliset kentät on merkitty *