Perguntas cujas respostas são uma grande lista de itens (livros, teoremas, software, ...)
Desde o livro de Chris Okasaki, de 1998, "Estruturas de dados puramente funcionais", não vi muitas novas estruturas de dados puramente funcionais interessantes; Eu posso citar apenas alguns: IntMap (também inventado por Okasaki em 1998, mas não presente nesse livro) Dedo árvores (e sua...
Esta pergunta é (inspirada por) / (vergonhosamente roubada) uma pergunta semelhante no MathOverflow , mas espero que as respostas aqui sejam bem diferentes. Todos nós temos artigos favoritos em nossas próprias áreas de teoria. De vez em quando, encontramos um artigo tão surpreendente (por exemplo,...
Paul Erdos falou sobre o "Livro", onde Deus guarda a prova mais elegante de cada teorema matemático. Isso até inspirou um livro (que eu acredito que está agora em sua 4ª edição): Provas do livro . Se Deus tivesse um livro semelhante para algoritmos, quais algoritmos você acha que seriam...
[ Linha do tempo ] Essa pergunta tem o mesmo espírito de quais papéis todos deveriam ler e quais vídeos todos deveriam assistir . Ele pede livros notáveis em diferentes áreas da ciência da computação teórica. Os livros podem ser orientados para a matemática, mas você pode achar ótimo para um...
A Wikipedia lista apenas dois problemas em "problemas não resolvidos em ciência da computação" : P = NP? A existência de funções unidirecionais Quais são outros problemas importantes que devem ser adicionados a esta lista? Regras: Apenas um problema por resposta Forneça uma breve descrição e...
A Universidade de Stanford agora tem um canal no Youtube , com acesso gratuito a vídeos em HD de cursos completos sobre tudo, desde sistemas dinâmicos a entrelaçamento quântico. Mais conferências e workshops estão filmando suas palestras. Quais são os vídeos on-line que você acha que todos deveriam...
Factoring e isomorfismo gráfico são problemas em NP que não são conhecidos por estar em P nem por NP-Complete. Quais são alguns outros problemas naturais (suficientemente diferentes) que compartilham essa propriedade? Exemplos artificiais provenientes diretamente da prova do teorema de Ladner não...
Houve várias perguntas com o mesmo esquema que este: Que papéis todos deveriam ler Que livros todos deveriam ler Quais são os livros recentes do TCS cujos rascunhos estão disponíveis on-line quais vídeos todos deveriam assistir Eu relutava em postar mais uma, mas as anotações de Jeff Erickson...
A ciência da computação teórica forneceu alguns exemplos do "preço da abstração". Os dois mais proeminentes são para eliminação e classificação gaussiana. Nomeadamente: Sabe-se que a eliminação gaussiana é ideal para, digamos, calcular o determinante se você restringir as operações a linhas e...
Após o post Que livros todos deveriam ler , notei que existem livros recentes cujos rascunhos estão disponíveis online. Por exemplo, a entrada Algoritmos de aproximação do post acima cita um livro de 2011 (ainda a ser publicado) intitulado O design de algoritmos de aproximação . Eu acho que...
Gostaria de pedir ajuda para compilar uma lista do maior número possível de conferências e workshops relacionados ao TCS. Minha principal motivação para fazer isso é planejar uma possível cobertura do blog de mais espaços teóricos - encontrar correspondentes que participem desses eventos e que...
Qual é o trabalho publicado mais engraçado sobre TCS que você conhece? Por favor, inclua apenas aqueles que pretendem ser engraçados. Os trabalhos explicitamente criados para serem inteligentemente bem-humorados (em vez de, digamos, uma coleção publicada de piadas curtas sobre a teoria da...
Por favor, liste exemplos em que um teorema da matemática que normalmente não era considerado aplicável à ciência da computação foi usado pela primeira vez para provar um resultado na ciência da computação. Os melhores exemplos são aqueles em que a conexão não era óbvia, mas uma vez descoberta, é...
Sou especialista em software e estou escrevendo uma pesquisa sobre estruturas algébricas para pesquisa pessoal e estou tentando produzir exemplos de como essas estruturas são usadas na ciência da computação teórica (e, em menor grau, em outros subcampos da ciência da computação) . Na teoria dos...
Quais são alguns algoritmos de utilidade legítima que são simplesmente muito complexos para implementar? Deixe-me esclarecer: não estou procurando algoritmos como o atual algoritmo de multiplicação de matriz assintótica ideal (Coppersmith-Winograd), que é razoável de implementar, mas tem uma...
Vindo de um fundo mais matemático, nunca aprendi realmente a codificar. Estou iniciando um doutorado em TCS e muitas pessoas ficaram surpresas com o pouco que eu sabia sobre programação (e sobre computador em geral). Sou capaz de escrever algoritmos em pseudo-código, mas não conheço nenhuma...
Atualizado abaixo Todos sabemos a importância crítica da revisão por pares. É a principal forma de controle de qualidade e feedback sobre a pesquisa. No entanto, para um pesquisador em estágio inicial (como eu), às vezes pode ser um sistema / processo confuso. Nesse sentido, existem vários...
EDITAR EM 10/12/08: Tentarei modificar a pergunta para que mais pessoas possam compartilhar suas opiniões. PRECISAMOS de suas contribuições! Este post é inspirado no do MO: Exemplos de falsas crenças comuns em matemática . Às vezes, grandes listas geram um grande número de respostas cujas...
Frequentemente, quando participamos de conferências da TCS, observamos alguns pequenos detalhes que desejamos que os organizadores da conferência tivessem resolvido. E quando estamos organizando conferências, já a esquecemos. Daí a pergunta: que pequenos passos poderíamos dar facilmente para...
Estou procurando exemplos de problemas parametrizados por um número k∈Nk∈Nk \in \mathbb{N} , onde a dureza do problema não é monotônica em kkk . A maioria dos problemas (na minha experiência) tem uma transição monofásica, por exemplo, kkk -SAT possui uma transição monofásica de k∈{1,2}k∈{1,2}k \in...