Hvordan bevise NP-fullstendigheten av « Exact-3D-Matching problemet ved å redusere « 3-Partition problemet til det?

Bakgrunn: Exact-3D-Matching problemet defineres som følger (Definisjonen er fra Jeffs forelesningsnotat: Forelesning 29: NP-harde problemer . Du kan også referer til 3-dimensjonal matching ):

Exact-3D- Matching: Gitt et sett $ S $ og en samling med tre-element-undergrupper på $ S $, kalt triples , er det en undersamling av usammenhengende tripler som dekker $ S $ ?

3-Partition problemet er definert som (Det er også fra Forelesning 29: NP-harde problemer . Du kan også referere til 3-partisjon problem .):

Gitt et sett $ S $ på $ 3n $ heltall, kan det deles inn i $ n $ uensartede tre-element-undergrupper, slik at hvert delmengde har nøyaktig samme sum?

Det er kjent at 3-Partition problemet kan bevises å være NP-komplett ved å redusere NP-komplett Exact-3D-Matching problem med det. Og NP-fullstendigheten av Exact-3D-Matching problemet bevises ved å redusere 3SAT problemet til det (begge er gitt i boka Datamaskiner og intraherbarhet: En guide til teorien om NP-fullstendighet ).

Problem: Problemet mitt er:

Hvordan bevise NP-fullstendigheten av Exact-3D-Matching problemet ved å redusere 3-Partition problemet til det?

Jeg har verken funnet papirer eller forelesningsnotater om det.

Kommentarer

  • etter å ha lagt ut et svar, la jeg merke til at tittelen ber om motsatt retning; du bør endre det (eller endre spørsmålet og ignorere svaret mitt 🙂
  • Ups … Det er min feil. Svaret ditt er akkurat det jeg ber om. Reduksjonen fra Exact-3D-Matching til 3-Partition kan lett bli funnet (selv om selve reduksjonen ikke er lett) i lærebøker. Derfor ber jeg om motsatt retning. Jeg vil endre tittelen og godta svaret ditt.

Svar

Jeg synes denne reduksjonen skal fungere:

Gitt en 3-PARTITION forekomst: $ n $ heltall $ a_1, \ ldots, a_ {3n} $ og en målt sum $ B $; merke hvert heltall med en unik identifikator $ \ hat {a_i} $; Bygg deretter en samling med 3-elementers undergrupper $ C_j = \ {\ hat {a} _ {i_1}, \ hat {a} _ {i_2}, \ hat {a} _ {i_3} \} $ slik at $ a_ {i_1} + a_ {i_2} + a_ {i_3} = B $ og $ i_1 \ neq i_2 \ neq i_3 $ (samlingen har $ O (n ^ 3) $ -elementer).

Originalen 3-DELT problem har en løsning hvis og bare hvis det eksisterer en EXACT-3D-MATCHING $ C_ {j_1}, \ ldots, C_ {j_n} $ som dekker $ S = \ hat {a} _ {1}, \ ldots , \ hat {a} _ {3n} $.

For eksempel gitt $ A = \ {5,4,3,3,3,2,2,1,1 \}, B = 8 $ vi bygger: $ S = \ {5a, 4a, 3a, 3b, 3c, 2a, 2b, 1a, 1b \} $ og samlingen av 3-elementundersett:

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 } 

En Exact-3D-MATCHING er gitt av:

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

som også unikt identifiserer en gyldig løsning for det opprinnelige 3-PARTITION-problemet .

Kommentarer

  • Ja, det fungerer. Jeg klarte ikke å merke hver $ a_i $ unik. Takk.

Legg igjen en kommentar

Din e-postadresse vil ikke bli publisert. Obligatoriske felt er merket med *