Dois artigos que eu incluiria são: D. Kozen, "Indexação de classes sub-recursivas" , STOC, 1978. R. Ladner, "Sobre a estrutura da redutibilidade do tempo polinomial" , JACM,
Que tipo de conjecturas e grandes problemas em aberto são os mais importantes na teoria algorítmica dos jogos (ou na teoria dos jogos em geral no que se refere ao CS)? Por exemplo, a resolução do NASH como sendo completa no PPAD seria, creio, a maior até que fosse resolvida. (Adicionado: resolver...
São conhecidos resultados que descartam a existência de estruturas de dados "boas demais para serem verdadeiras"? Por exemplo: pode-se adicionar e J o i n funcionalidade de um estrutura de dados de manutenção (ver a fim Dietz e Sleator STOC '87 ) e ainda assim obter S ( 1 ) as operações de...
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...
Procurei na internet, mas não consegui encontrar nenhuma 'grande lista' de variantes do problema SAT. Além do (comum) SENTOU, k-SAT, MAX-kSAT, Half-SAT, XOR-SAT, NAE-SAT o que mais variantes existem? (também será realmente útil se houver classes de complexidade (quando...
Estou procurando exemplos de resultados que vão contra a intuição das pessoas para uma conversa na audiência geral. Resultados que, se perguntados a não especialistas "o que sua intuição lhe diz?", Quase todos entendem errado. A declaração de resultados deve ser facilmente explicável aos alunos de...
Após a discussão sobre limites mais baixos para o 3SAT [ 1 ], estou pensando quais são os principais resultados de limites inferiores formulados como trocas no espaço-tempo. Estou excluindo resultados como, por exemplo, o teorema de Savitch; uma boa entrada focaria em um único problema e seus...
A teoria dos compiladores parece ser um assunto bastante analisado. Quais são alguns problemas em aberto ou pesquisas atuais acontecendo no
Para comemorar o centésimo aniversário de Alan Turing, quero assistir a um documentário sobre sua vida. No entanto, existem vários documentários para escolher. Qual documentário sobre Alan Turing é o seu favorito? Por favor inclua apenas um documentário por
Existem livros recentes sobre algoritmos on-line? Conheço apenas dois livros sobre o assunto. Computação on-line e análise competitiva de Allan Borodin e Ran El-Yaniv: este é um livro clássico, mas antigo, e não contém muitos avanços recentes no campo. O projeto de algoritmos on-line competitivos...
Suponha que você esteja se encontrando com programadores que fizeram alguns cursos profissionais de programação (/ pensamento próprio), mas não estudaram matemática em nível universitário. Para mostrar a eles a beleza do TCS, gostaria de reunir alguns bons resultados / perguntas abertas...
Quais algoritmos úteis existem que funcionam em enormes fluxos de dados e também seus resultados são razoavelmente pequenos e pode-se calcular o resultado para uma mistura de dois fluxos, de alguma forma, mesclando seus resultados? Eu posso citar alguns: Coisas óbvias como soma, mínimo, máximo,...
Quais são os problemas com as seguintes propriedades: 1) são restrições de (possivelmente bem conhecidos) problemas que são completos no PSPACE; 2) as versões restritas estão no PSPACE, mas é um problema aberto se estiverem completas com o PSPACE (ou mesmo se forem difíceis de NP). Quatro...
Estou procurando uma lista sobre a complexidade conhecida ou desconhecida de vários problemas teóricos / algébricos de números. Por exemplo, GCD em está aberto,NC1NC1NC^1 factoring em é aberto,PPP a cohomologia do feixe de computação é -hard# P#P\#P , Arora e Barak afirmam que uma variante de...
Quais são algumas afirmações (não conhecidas) de que, se verdade, o PH deve entrar em colapso? Respostas que contenham uma breve declaração de alto nível com referência (s) são apreciadas. Tentei fazer uma pesquisa reversa sem muita
Eu sou um estudante de CS. Fizemos teoria dos grafos em um curso. Achei interessante. Quais são as reais aplicações da teoria dos grafos no campo da ciência da computação? Por exemplo, descobri que alguns conceitos na teoria dos grafos podem ser usados para projetar redes. Quais são outras...
Todos os museus e exposições relacionados a computadores que conheço parecem cobrir apenas a história das máquinas de computação, mas nada sobre tópicos de ciência da computação. Você está envolvido na criação de um novo Museu da Computação, criado para educar, divertir e inspirar o público em...
Algoritmos de aproximação podem gerar um fator constante na saída. Isso é um pouco menos satisfatório do que algoritmos exatos. No entanto, fatores constantes são ignorados na complexidade do tempo. Então, eu me pergunto se o seguinte truque é possível ou foi usado, para resolver algum problema...
Em 1996, um problema aberto de longa data foi resolvido por um computador; ou seja, que a álgebra de Robbins e a álgebra booleana são iguais. A prova foi encontrada por um provador de teoremas automatizado. Além disso, a prova conhecida do teorema das quatro cores contém componentes gerados por...
Eu estou procurando problemas fortemente difíceis de NP para uma redução. Até agora, encontrei os seguintes problemas: Problema de 3 partições problema de embalagem Correspondência tridimensional numérica TSP Qualquer problema de NP completo sem dados numéricos, por exemplo, SATISFIABILIDADE,...