Come dimostrare la completezza NP del problema “ Corrispondenza 3D esatta riducendo ad esso il problema delle “ 3 partizioni ?

Sfondo: Exact-3D-Matching il problema è definito come segue (la definizione è tratta dalla nota della lezione di Jeff: Lezione 29: Problemi NP-Difficili . Puoi anche fare riferimento a corrispondenza tridimensionale ):

Exact-3D- Corrispondenza: dato un insieme $ S $ e una raccolta di sottoinsiemi di tre elementi di $ S $, chiamati triple , esiste una sotto-raccolta di triple disgiunte che coprono esattamente $ S $ ?

Il problema 3-Partition è definito come (Deriva anche da Lezione 29: problemi NP-Hard . Puoi anche fare riferimento a problema a 3 partizioni .):

Dato un insieme $ S $ di $ 3n $ interi, può essere partizionato in $ n $ sottoinsiemi di tre elementi disgiunti, in modo che ogni sottoinsieme abbia esattamente la stessa somma?

È noto che il problema 3-Partition può essere dimostrato essere NP-completo riducendo il NP-completo Exact-3D-Matching problema ad esso. E la completezza NP del problema Exact-3D-Matching è dimostrata riducendo il problema 3SAT (entrambi sono riportati nel libro Computer e intrattabilità: una guida alla teoria della completezza NP ).

Problema: Il mio problema è:

Come dimostrare la NP-completezza del Exact-3D-Matching problema riducendo il problema 3-Partition?

Non ho trovato né documenti né note di lezione su di esso.

Commenti

  • dopo aver postato una risposta, ho notato che il titolo chiede la direzione opposta; dovresti cambiarlo (o cambiare la domanda e ignorare la mia risposta 🙂
  • Oops … È un mio errore. La tua risposta è esattamente quello che sto chiedendo. La riduzione da Exact-3D-Matching a 3-Partition può essere facilmente trovata (sebbene la riduzione stessa non sia facile) nei libri di testo. Pertanto, chiedo la direzione opposta. Cambierò il titolo e accetterò la tua risposta.

Risposta

Penso che questa riduzione dovrebbe funzionare:

Data unistanza 3-PARTITION: $ n $ interi $ a_1, \ ldots, a_ {3n} $ e una somma target $ B $; contrassegna ogni numero intero con un identificatore univoco $ \ hat {a_i} $; quindi crea una raccolta di sottoinsiemi di 3 elementi $ C_j = \ {\ hat {a} _ {i_1}, \ hat {a} _ {i_2}, \ hat {a} _ {i_3} \} $ in modo tale che $ a_ {i_1} + a_ {i_2} + a_ {i_3} = B $ e $ i_1 \ neq i_2 \ neq i_3 $ (la raccolta ha $ O (n ^ 3) $ elementi).

Loriginale Il problema a 3 PARTIZIONI ha una soluzione se e solo se esiste una CORRISPONDENZA ESATTA 3D $ C_ {j_1}, \ ldots, C_ {j_n} $ che copre $ S = \ hat {a} _ {1}, \ ldots , \ hat {a} _ {3n} $.

Ad esempio, dato $ A = \ {5,4,3,3,3,2,2,1,1 \}, B = 8 $ costruiamo: $ S = \ {5a, 4a, 3a, 3b, 3c, 2a, 2b, 1a, 1b \} $ e la raccolta di sottoinsiemi di 3 elementi:

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 } 

Un CORRISPONDENZA 3D esatta è dato da:

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

che identifica anche in modo univoco una soluzione valida per il problema delle 3 PARTIZIONI originale .

Commenti

  • Sì, funziona. Non sono riuscito a contrassegnare ogni $ a_i $ come unico. Grazie.

Lascia un commento

Il tuo indirizzo email non sarà pubblicato. I campi obbligatori sono contrassegnati *