Artículos que todo teórico de la complejidad debería leer

14

Estoy comenzando mi doctorado este otoño y estoy planeando trabajar en teoría de la complejidad para mi tesis.

Estoy compilando una lista de documentos importantes que todo teórico de la complejidad debería saber.

¿Qué documentos le sugerirías a una persona como yo? Y explique brevemente por qué cree que el documento es importante.

cc.complexity-theory reference-request big-list

— nuevo estudiante graduado
fuente

8

¿Ya revisaste qué documentos deberían leer todos?

— Juho

3

Si. ¿Por qué esto no es solo un duplicado de esa pregunta?

— Suresh Venkat

2

El OP probablemente simplemente no se dio cuenta de esa pregunta.

— Huck Bennett

3

No creo que esto sea un duplicado de la otra pregunta. La otra pregunta es pedir documentos que todos deberían leer (es decir, de interés para todos los científicos teóricos de la informática), este parece ser un estudiante graduado que comienza a investigar en teoría de la complejidad y busca documentos importantes en la teoría de la complejidad. Dichos documentos pueden no ser de interés para los científicos teóricos de la informática que no son expertos en teoría de la complejidad. Las respuestas serán diferentes, por lo que no son duplicados de la OMI.

— Kaveh

2

@Kaveh: Creo que esta pregunta está subsumida por la otra. Muchas de las respuestas son sobre documentos de complejidad.

— Huck Bennett

10

Límites inferiores del circuito ACC no uniforme de Ryan William y todos los resultados allí citados.

Este no solo es un resultado importante reciente, es un documento muy bien escrito. Además, los resultados que el documento usa y cita cubren una gama bastante buena de resultados de complejidad seminal. Entonces, si rastrea las referencias y las lee también, llegue a un punto en el que comprenda cada parte del límite inferior de ACC desde los primeros principios, creo que sería un excelente comienzo para una educación de complejidad de posgrado.

— Joshua Grochow
fuente

3

El recorrido informal también es muy recomendable: arxiv.org/abs/1111.1261

— Sasho Nikolov

9

Aunque esta no es una respuesta directa a su pregunta, me gustaría recomendar el siguiente libro:

Gemas de la informática teórica por Uwe Schöning y Randall J. Pruim.

La mayoría de sus capítulos están relacionados con la teoría de la complejidad. El libro puede verse como una buena colección de los resultados de algunos documentos de investigación importantes. ¡Puedes obtener los documentos de los resultados!

— Abuzer Yakaryilmaz
fuente

7

Recomiendo los resultados en

The Complexity Theory Companion por Hemaspaandra y Ogihara.

Está organizado en torno a técnicas en lugar de resultados, aunque a menudo la técnica se desarrolló para un resultado particular, y cubre varios resultados fundamentales y técnicas de prueba importantes.

— Joshua Grochow
fuente

6

1) R. Lader, N. Lynch y A. Selman. Una comparación de las reducibilidades de tiempo polinomiales. Theoretical Computer Science, 1 (2): 103-124, 1975.

2) LG Valiant "La complejidad de calcular lo permanente", Theoretical Computer Science, 8 (1979), págs. 181-201.

3) A. Blass & Y. Gurevich "Sobre el problema único de la satisfacción". Información y control, 55 (1-3) páginas 80-88, 1982.

4) J. Balcazar, R. Book y U. Schoning. "The Polynomial-Time Hierarchy & Sparse Oracles" Journal of the Associate for Computing Machinery, Vol 33, No3. Julio de 1986. páginas 603-617.

5) LG Valiant y V. Vazirani "NP es tan fácil como detectar soluciones únicas" Theoretical Computer Science 47 (1986) páginas 85-93.

6) E. Allender La complejidad de los conjuntos dispersos en P. En las actas de la 1ª Conferencia de Estructura en Teoría de la Complejidad, páginas 1-11. Springer-Verlag Lecture Notes in Computer Science # 223, junio de 1986.

6) R. Beigel Sobre el poder relativizado de caminos de aceptación adicionales. En actas de la 4ta Conferencia de Estructura en Teoría de la Complejidad, páginas 216-224. IEEE Computer Society Press, junio de 1989.

7) R.Beigel & J. Gill "Clases de conteo: umbrales, paridad, modificaciones y pocas" Volumen teórico de informática 103 páginas 3-23. 1992.

8) S. Fenner, L. Fortnow y S. Kurtz "Clases de conteo definibles por brechas". Revista de Ciencias de Computadoras y Sistemas Volumen 48 Páginas 116-148 1994.

9) R. Beigel, H. Buhrman y L. Fortnow. NP podría no ser tan fácil como detectar soluciones únicas. En Actas del 30º Simposio de ACM sobre Teoría de la Computación, páginas 203-208. ACM Press, mayo de 1998.

10) B. Borchert, L. Hemaspaandra y J. Rothe "Suficiencia de aceptación restrictiva para problemas de equivalencia" LMS J Comput. Matemáticas 3 páginas 86-95 2000.

— Tayfun Pay
fuente

5

Estoy de acuerdo con la respuesta anterior de Abuzer: creo que cada capítulo de un libro de complejidad computacional (como " Complejidad computacional: un enfoque moderno " de Arora y Barack o " Complejidad computacional: una perspectiva conceptual " de Goldreich ) contiene (y a menudo explica de manera más clara forma) resultados que provienen de documentos importantes / fundamentales. Y mientras lee un libro de complejidad computacional, puede comprender mejor por qué se consideran importantes.

Sin embargo, estos son mis favoritos:

Teorema de Savitch: Savitch, Walter J. (1970), "Relaciones entre complejidades de cinta no deterministas y deterministas", Journal of Computer and System Sciences 4 (2): 177–192, DOI: 10.1016 / S0022-0000 (70) 80006-X
Teorema de Cook-Levin : Cook, Stephen (1971). " La complejidad de los procedimientos de prueba del teorema ". Actas del Tercer Simposio Anual de ACM sobre Teoría de la Computación. pp. 151-158
J. Hopcroft, W. Paul y L. Valiant, On time versus space , J. ACM, 24, 332–337 (1977)
TP Baker, J. Gill, R. Solovay. Relativizaciones de la P =? Pregunta NP. SIAM Journal on Computing, 4 (4): 431-442 (1975)

— Marzio De Biasi
fuente