Articoli che ogni teorico della complessità dovrebbe leggere

14

Sto iniziando il mio dottorato di ricerca in autunno e sto programmando di lavorare sulla teoria della complessità per la mia tesi.

Sto compilando un elenco di documenti importanti che ogni teorico della complessità dovrebbe conoscere.

Quali documenti consiglieresti a una persona come me? E per favore spiega brevemente perché pensi che il documento sia importante.

cc.complexity-theory reference-request big-list

— nuovo studente laureato
fonte

8

Hai già controllato quali documenti tutti dovrebbero leggere?

— Juho,

3

Sì. Perché questo non è solo un duplicato di quella domanda.

— Suresh Venkat,

2

L'OP probabilmente non ha notato questa domanda.

— Huck Bennett,

3

Non penso che questo sia un duplicato dell'altra domanda. L'altra domanda è chiedere documenti che tutti dovrebbero leggere (cioè di interesse per tutti gli informatici teorici), questo sembra essere uno studente laureato che inizia la ricerca nella teoria della complessità che è alla ricerca di documenti importanti nella teoria della complessità. Tali articoli potrebbero non interessare gli informatici teorici che non sono esperti di teoria della complessità. Le risposte saranno diverse, quindi non sono duplicate dell'IMO.

— Kaveh,

2

@Kaveh: penso che questa domanda sia stata ripresa dall'altra. Molte delle risposte riguardano i documenti sulla complessità.

— Huck Bennett,

10

I limiti inferiori del circuito ACC non uniforme di Ryan William e tutti i risultati ivi citati.

Non solo questo è un risultato importante recente, ma è un documento molto ben scritto. Inoltre, i risultati utilizzati dalla carta e citati coprono una gamma abbastanza buona di risultati di complessità fondamentale. Quindi, se si tracciano i riferimenti e si leggono anche quelli - si arriva a un punto in cui si comprende ogni parte dell'ACC inferiore ai primi principi - penso che sarebbe un ottimo inizio per un'istruzione di complessità universitaria.

— Joshua Grochow
fonte

3

il tour informale è anche altamente raccomandato: arxiv.org/abs/1111.1261

— Nikolov,

9

Sebbene questa non sia una risposta diretta alla tua domanda, vorrei raccomandare il seguente libro:

Gemme dell'informatica teorica di Uwe Schöning e Randall J. Pruim.

La maggior parte dei suoi capitoli sono legati alla teoria della complessità. Il libro può essere visto come una bella raccolta dei risultati di alcuni importanti articoli di ricerca. Puoi ottenere i documenti dai risultati!

— Abuzer Yakaryilmaz
fonte

7

Consiglierei i risultati in

The Complexity Theory Companion di Hemaspaandra e Ogihara.

È organizzato attorno alle tecniche piuttosto che ai risultati, sebbene spesso la tecnica sia stata sviluppata per un risultato particolare e copre diversi risultati fondamentali e importanti tecniche di prova.

— Joshua Grochow
fonte

6

1) R. Lader, N. Lynch e A. Selman. Un confronto tra le riducibilità del tempo polinomiale. Theoretical Computer Science, 1 (2): 103-124, 1975.

2) LG Valiant “La complessità del calcolo del permanente”, Theoretical Computer Science, 8 (1979), pp. 181-201.

3) A. Blass & Y. Gurevich “Sull'unico problema di soddisfacibilità.” Informazione e controllo, 55 (1-3) pagine 80-88, 1982.

4) J. Balcazar, R. Book & U. Schoning. "The Polynomial-Time Hierarchy & Sparse Oracles" Journal of the Associate for Computing Machinery, Vol 33, No3. July1986. pagine 603-617.

5) LG Valiant e V. Vazirani "NP è facile come individuare soluzioni uniche" Theoretical Computer Science 47 (1986) pagine 85-93.

6) E. Allender. La complessità degli insiemi sparsi in P. Nei lavori della prima conferenza sulla teoria della complessità nella struttura, pagine 1-11. Springer-Verlag Appunti della lezione di Informatica # 223, giugno 1986.

6) R. Beigel. Sul potere relativizzato di percorsi di accettazione aggiuntivi. Nei lavori della 4a conferenza sulla teoria della complessità, pagine 216-224. IEEE Computer Society Press, giugno 1989.

7) R.Beigel & J. Gill “Conteggio delle classi: soglie, parità, mod e sensibilità” Volume teorico dell'informatica 103 Pagine 3-23. 1992.

8) S. Rivista Fenes, L. Fortnow e S. Kurtz "Classi di conteggio definibili in gap" Rivista di scienze dei computer e dei sistemi Volume 48 Pagine 116-148 1994

9) R. Beigel, H. Buhrman e L. Fortnow. NP potrebbe non essere facile come rilevare soluzioni uniche. In Atti del 30 ° Simposio ACM sulla teoria dell'informatica, pagine 203-208. ACM Press, maggio 1998.

10) B. Borchert, L. Hemaspaandra e J. Rothe “Suffices di accettazione restrittiva per problemi di equivalenza” LMS J Comput. Matematica 3 Pagine 86-95 2000.

— Tayfun Pay
fonte

5

Sono d'accordo con la risposta di Abuzer sopra: penso che ogni capitolo di un libro sulla complessità computazionale (come " Computational Complication Computing: a Modern Approach " di Arora e Barack o Goldreich " Complessità computazionale: una prospettiva concettuale " di contiene (e spesso spiega in modo più chiaro modo) risultati che provengono da documenti importanti / fondamentali. E mentre leggi un libro sulla complessità computazionale puoi capire meglio perché sono considerati importanti.

Tuttavia questi sono i miei preferiti:

Teorema di Savitch: Savitch, Walter J. (1970), "Rapporti tra complessità nastro non deterministiche e deterministiche", Journal of Computer and System Sciences 4 (2): 177–192, DOI: 10.1016 / S0022-0000 (70) 80006-X
Teorema di Cook-Levin : Cook, Stephen (1971). " La complessità delle procedure di prova del teorema ". Atti del terzo simposio annuale ACM sulla teoria dell'informatica. pagg. 151-158
J. Hopcroft, W. Paul e L. Valiant, On time vs. space , J. ACM, 24, 332–337 (1977)
TP Baker, J. Gill, R. Solovay. Relativizzazioni della P =? Domanda NP. SIAM Journal on Computing, 4 (4): 431-442 (1975)

— Marzio De Biasi
fonte