Perguntas com a marcação «reference-request»

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 generalização sobre monóides) Existem também algumas …

563 reference-request  big-list  ds.data-structures  functional-programming 

[ 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 …

229 reference-request  soft-question  big-list  books 

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 sobre algoritmos …

113 reference-request  soft-question  big-list 

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 colunas como um todo [1]. Obviamente, o …

112 ds.algorithms  reference-request  big-list  lower-bounds 

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 conhecer …

99 reference-request  big-list  books 

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 complexidade) são os preferidos. Trabalhos com títulos …

80 reference-request  soft-question  big-list 

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, é …

74 reference-request  soft-question  big-list  topology 

Em resposta a uma pergunta anterior , mencionei a crença comum, mas falsa, de que a eliminação "gaussiana" ocorre no tempo . Embora seja óbvio que o algoritmo usa operações aritméticas , a implementação descuidada pode criar números com muitos bits exponencialmente. Como um exemplo simples, suponha que desejemos diagonalizar …

72 ds.algorithms  reference-request  linear-algebra 

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 grupos, deparei-me com monoides …

67 reference-request  big-list  big-picture  algebra 

Eu estou familiarizado com uma série de resultados que usam o teorema PCP (principalmente na aproximação de algoritmos), mas eu nunca me deparei com uma explicação clara do teorema PCP (ou seja, que ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) Quais são os bons papéis / livros para ler para isso?

64 cc.complexity-theory  reference-request  pcp 

Eu gostaria de escrever uma pesquisa sobre as aplicações da Topologia em Ciência da Computação. Pretendo cobrir a história das idéias topológicas em Ciência da Computação e também destacar alguns desenvolvimentos atuais. Seria extremamente útil se alguém pudesse dar uma opinião sobre qualquer uma das perguntas abaixo. Existem documentos ou …

61 reference-request  ho.history-overview  topology  survey 

No TCS, geralmente usamos resultados e idéias poderosos da matemática clássica (álgebra, topologia, análise, geometria etc.). Quais são alguns exemplos de quando foi o contrário? Aqui estão alguns que eu conheço (e também para dar uma amostra do tipo de resultado que estou perguntando): Espumas cúbicas (Guy Kindler, Ryan O'Donnell, …

60 reference-request  big-list 

Em Complexidade Descritiva , Immerman tem Corolário 7.23. As seguintes condições são equivalentes: 1. P = NP. 2. Sobre estruturas finitas e ordenadas, FO (LFP) = SO. Isso pode ser pensado como "amplificando" P = NP para uma declaração equivalente sobre classes de complexidade (presumivelmente) maiores. Observe que SO captura …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

Para (versões de pesquisa) de problemas completos de NP , verificar uma solução é claramente mais fácil do que encontrá-la, pois a verificação pode ser feita em tempo polinomial, enquanto que encontrar uma testemunha leva (provavelmente) tempo exponencial. Em P , no entanto, a solução também pode ser encontrada em …

52 cc.complexity-theory  ds.algorithms  reference-request 

O Teorema de Ladner afirma que se P ≠ NP, existe uma hierarquia infinita de classes de complexidade contendo estritamente P e estritamente contidas em NP. A prova usa a integridade do SAT sob várias reduções no NP. A hierarquia contém classes de complexidade construídas por um tipo de diagonalização, …

45 cc.complexity-theory  reference-request  np-intermediate