Perguntas com a marcação «big-list»

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 

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, importante, convincente, enganosamente simples, etc.) …

454 big-list  soft-question 

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 …

358 ds.algorithms  soft-question  ds.data-structures  big-list 

[ 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 

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 todos os links relevantes

218 big-list  open-problem 

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

140 soft-question  big-list 

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 contam. Algum desses exemplos é comprovadamente intermediário em …

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

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 

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 estejam dispostos a escrever entradas …

90 soft-question  big-list  conferences 

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 

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 constante que o torna inútil na prática. Estou procurando algoritmos que …

67 ds.algorithms  ds.data-structures  big-list  implementation 

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