Artigos que todo teórico da complexidade deve ler

14

Estou iniciando meu doutorado neste outono e planejo trabalhar na teoria da complexidade para minha tese.

Estou compilando uma lista de artigos importantes que todo teórico da complexidade deve conhecer.

Que papéis você sugeriria para uma pessoa como eu? E, por favor, explique brevemente por que você acha que o artigo é importante.

cc.complexity-theory reference-request big-list

— novo estudante de graduação
fonte

8

Você já conferiu Quais papéis todos deveriam ler?

— Juho

3

Sim. Por que isso não é apenas uma duplicata dessa pergunta.

— Suresh Venkat

2

O OP provavelmente não percebeu essa pergunta.

— Huck Bennett

3

Eu não acho que isso seja uma duplicata da outra pergunta. A outra pergunta é pedir trabalhos que todos deveriam ler (isto é, de interesse de todos os cientistas teóricos da computação), este parece ser um estudante de graduação iniciando uma pesquisa em teoria da complexidade e procurando trabalhos importantes em teoria da complexidade. Tais trabalhos podem não ser do interesse de cientistas da computação teóricos que não são especialistas em teoria da complexidade. As respostas serão diferentes para que não sejam duplicadas da IMO.

— Kaveh

2

@ Kaveh: Eu acho que esta questão é incluída na outra. Muitas das respostas são sobre documentos de complexidade.

— Huck Bennett

10

Os limites inferiores não uniformes do circuito ACC de Ryan William e todos os resultados aqui citados.

Este não é apenas um resultado importante recente, é um artigo muito bem escrito. Além disso, os resultados que o artigo usa e cita cobrem uma boa variedade de resultados de complexidade seminal. Portanto, se você seguir as referências e lê-las também - chegar a um ponto em que você entenderá todas as partes do limite inferior do ACC desde os primeiros princípios - eu pensaria que seria um excelente começo para uma educação de complexidade de pós-graduação.

— Joshua Grochow
fonte

3

a turnê ocasional também é altamente recomendável: arxiv.org/abs/1111.1261

— Sasho Nikolov

9

Embora essa não seja uma resposta direta à sua pergunta, eu gostaria de recomendar o seguinte livro:

Gemas da Ciência da Computação Teórica, de Uwe Schöning e Randall J. Pruim.

A maioria de seus capítulos está relacionada à teoria da complexidade. O livro pode ser visto como uma bela coleção de resultados de alguns trabalhos de pesquisa importantes. Você pode obter os papéis dos resultados!

— Abuzer Yakaryilmaz
fonte

7

Eu recomendaria os resultados em

The Complexity Theory Companion de Hemaspaandra e Ogihara.

Ela é organizada em torno de técnicas e não de resultados, embora muitas vezes a técnica tenha sido desenvolvida para um resultado específico e abrange vários resultados seminais e importantes técnicas de prova.

— Joshua Grochow
fonte

6

1) R. Lader, N. Lynch e A. Selman. Uma comparação de reducibilidades de tempo polinomial. Teoria da Computação, 1 (2): 103-124, 1975.

2) LG Valiant “A complexidade da computação permanente”, Teoria da Computação, 8 (1979), pp. 181-201.

3) A. Blass & Y. Gurevich "Sobre o problema único da satisfação". Information and Control, 55 (1-3) páginas 80-88, 1982.

4) J. Balcazar, R. Book & U. Schoning. “The Hierarchy Polinomial-Time & Sparse Oracles” Jornal do Associate for Computing Machinery, Vol. 33, No3. July1986. páginas 603-617.

5) LG Valiant & V. Vazirani “NP é tão fácil quanto detectar soluções únicas” Theoretical Computer Science 47 (1986) páginas 85-93.

6) E. Allender. A complexidade de conjuntos esparsos em P. Nos procedimentos da 1ª Estrutura na Conferência da Teoria da Complexidade, páginas 1-11. Notas da aula de Springer-Verlag em Ciência da Computação # 223, junho de 1986.

6) R. Beigel. No poder relativizado de caminhos adicionais de aceitação. Nos trabalhos da 4ª Conferência Estrutura em Teoria da Complexidade, páginas 216-224. IEEE Computer Society Press, junho de 1989.

7) R.Beigel & J. Gill "Contando Classes: Limiares, paridade, Mods e Pouca" Teoria da Computação Volume 103 de Ciências da Computação 3-23. 1992.

8) S. Fenner, L. Fortnow e S. Kurtz, “Gap-Definable Counting Classes”, Journale of Computer and System Sciences Volume 48, Páginas 116-148 1994.

9) R. Beigel, H. Buhrman e L. Fortnow. NP pode não ser tão fácil quanto detectar soluções exclusivas. Em Anais do 30º Simpósio ACM sobre Teoria da Computação, páginas 203-208. ACM Press, maio de 1998.

10) B. Borchert, L. Hemaspaandra e J. Rothe "Sufícios de aceitação restritiva para problemas de equivalência" LMS J Comput. Math 3 Pages 86-95 2000.

— Tayfun Pay
fonte

5

Concordo com a resposta de Abuzer acima: acho que todos os capítulos de um livro de complexidade computacional (como " Complexidade Computacional: uma Abordagem Moderna " de Arora e Barack ou " Complexidade Computacional: uma Perspectiva Conceitual " de Arora e Barack ) contêm (e geralmente explicam de maneira mais clara maneira) resultados provenientes de documentos importantes / fundamentais. E enquanto lê um livro de complexidade computacional, você pode entender melhor por que eles são considerados importantes.

No entanto, estes são os meus favoritos:

Teorema de Savitch: Savitch, Walter J. (1970), "Relações entre complexidades de fita não determinísticas e determinísticas", 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). " A complexidade dos procedimentos de prova de teoremas ". Anais do Terceiro Simpósio Anual da ACM em Teoria da Computação. 151-158
J. Hopcroft, W. Paul e L. Valiant, No tempo versus espaço , J. ACM, 24, 332-337 (1977)
TP Baker, J. Gill, R. Solovay. Relativizações do P =? Pergunta NP. Jornal SIAM sobre Computação, 4 (4): 431-442 (1975)

— Marzio De Biasi
fonte