Algoritmo parallelo deterministico per una corrispondenza perfetta nei grafici generali?


20

Nella classe di complessità P , ci sono alcuni problemi che si ipotizza NON siano nella classe , cioè problemi con algoritmi paralleli deterministici. Il problema del flusso massimo è un esempio. E ci sono problemi a CREDERE di essere in , ma non è stata ancora trovata una prova.NCNC

Corrispondenza perfetta problema è uno dei problemi più fondamentale sollevata in teoria dei grafi: dato un grafo , dobbiamo trovare un abbinamento perfetto per . Come ho potuto trovare su Internet, nonostante il bellissimo algoritmo Blossom time polinomiale di Edmonds e un algoritmo RANDOMIZED parallelo di Karp, Upfal e Wigderson nel 1986, solo alcune sottoclassi di grafici hanno .solsolNC

Nel gennaio 2005 c'è un post nel blog complessità computazionale che afferma che rimane aperto sia perfetta Matching è in . La mia domanda è:NC

C'è qualche progresso da allora, oltre l' algoritmo randomizzato ?NC

Per chiarire il mio interesse, qualsiasi algoritmo che si occupa di grafici GENERALI è carino. Anche se gli algoritmi per le sottoclassi di grafici sono OK, ciò potrebbe non essere sulle mie attenzioni. Grazie a tutti!


MODIFICA al 27/12:

Grazie per tutto il vostro aiuto, provo a riassumere tutti i risultati in una sola figura: Relazioni tra le classi relative alla corrispondenza

Le classi più basse conosciute contengono i seguenti problemi:

  • Corrispondenza nei grafici generali: [ KUW86 ], R N C 2 [ CRS93 ]RNCRNC2
  • Corrispondenza nei grafici bipartiti del genere planare / costante: / S P L [ DKT10 ] / [ DKTV10 ]ULSPL
  • Corrispondenza quando il numero totale è polinomiale: [ H09 ]SPL
  • Lex-first matching massimo: [ MS89 ]CC

Inoltre, sotto ipotesi di plausibile complessità: richiede circuiti esponenziali, la corrispondenza nei grafici generali è in S P L [ ARZ98 ].SPUNCE[n]SPL


1
Forse non è direttamente pertinente, ma ci sono stati alcuni progressi negli algoritmi deterministici per contare il numero di corrispondenze perfette, vale a dire "l'algoritmo di approssimazione deterministica per il calcolo di un permanente di una matrice 0,1"
Yaroslav Bulatov

2
C'è un post correlato qui di Robin Kothari: cstheory.stackexchange.com/questions/1317/…
Hsien-Chih Chang 張顯 之

@ Hsien-ChihChang 張顯 之 Non è L in NC che è in NC ^ 2 che è in P?
T ....

Risposte:


13

algoritmi N C per abbinamenti perfetti nei grafici generali sono ancora aperti ma ci sono stati alcuni progressi. Eccone alcuni di cui sono a conoscenza:NC

Per i grafici generali, Agrawal-Hoang-Thierauf ha mostrato che, dato la promessa che il numero di abbinamenti perfetti è piccolo, esiste un algoritmo per elencarli tutti.NC2

Per la classe dei grafici planari, il pfaffian gioca un ruolo importante. Kastelyn ha mostrato come ogni grafico planare può essere orientato in modo tale che il pfaffian sia esattamente uguale al numero di corrispondenze perfette. (Questo è stato usato da Valiant per fornire " algoritmi olografici " per vari problemi) Mahajan-Subramanya-Vinay ha mostrato come il pfaffian può essere calcolato in usando le modifiche delle sequenze di clow. (Kastelyn in effetti fornisce un algoritmo per trovare l'incorporamento in P ma non sono sicuro che l'incorporamento di pfaffian possa essere calcolato anche in N C ; in caso affermativo, ciò significherebbe che il conteggio delle corrispondenze perfette nei grafici planari è in N C. )NCPNCNC

E un recente risultato di Vinodchandran-Tewari mostrano che il lemma di isolamento può essere "derandomized" per grafi planari (utilizzando il teorema di verde!) Per mettere raggiungibilità planare a . Ma gli algoritmi N C per gli abbinamenti planari sono ancora aperti (grazie a Raghunath per aver corretto la mia affermazione che si trova in U L ). Un algoritmo N C per gli abbinamenti planari bipartiti è stato dato da Datta-Kulkarni-RoyULNCULNC

Spero che sia di aiuto.


1
Sì, ho notato il risultato di Vinodchandran-Tewari. In effetti, questo post è motivato dal loro risultato in qualche modo, anche se non direttamente. Controllerò il giornale di Agrawal-Hoang-Thierauf!
Hsien-Chih Chang 張顯 之


8

La derandomizzazione del lemma dell'isolamento da parte di Tewari-Vinodchandran non sfortunatamente dà un limite superiore UL alla corrispondenza planare. In realtà non penso nemmeno che un algoritmo NC non sia noto per la corrispondenza planare. Ma in un recente lavoro con Datta, Kulkarni e Nimbhorkar mostriamo un limite superiore UL sulla corrispondenza planare bipartita (la scrittura di questo risultato è ancora in corso). Questo è interessante perché prima di questo nemmeno un limite NL non era noto per questo problema.


Benvenuto in TCS Stack Exchange!
Hsien-Chih Chang 張顯 之

Ora ho trovato l'articolo di Datta, Kulkarni e te. Lo leggerò al più presto, grazie !!
Hsien-Chih Chang 張顯 之 il

7

Quando è noto che un problema di ottimizzazione è difficile, è normale esaminare le loro versioni massime. Ad esempio, mentre il set indipendente è NP-Complete, il primo lex massimo set indipendente, che è P-Complete.

n

Tutto ciò indica che potrebbe non esserci una versione NC facilmente parallelizzabile per questo. Ma allora chi lo sa? Qualcuno potrebbe derandomizzare la versione RNC la prossima settimana!

Modifica: grazie Ramprasad. Ma ecco un altro link al documento.


1
Spiacenti, non ho un account per accedere al documento. Qual è il titolo di esso?
Hsien-Chih Chang 張顯 之

1
"La complessità del valore del circuito e la stabilità della rete". Ho messo una copia del documento qui: cmi.ac.in/~ramprasad/00041817.pdf (spero che non ci siano problemi di copyright!)
Ramprasad,

1

(1-ε)-NCnΘ(1/ε)O(log3n)

T. Fischer, AV Goldberg, DJ Haglin e S. Plotkin. Abbinamenti approssimativi in ​​parallelo. Informazioni. Proc. Lett., 46 (3): 115, 1993

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.