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

Embora tenha passado em alguns cursos sobre teoria das probabilidades, tanto no ensino médio quanto na universidade, tenho dificuldade em ler os artigos da TCS quando se trata de probabilidade. Parece que os autores dos trabalhos do TCS estão muito familiarizados com a probabilidade. Eles trabalham magicamente com fórmulas de …

32 reference-request  big-list  pr.probability  books 

Existem toneladas de problemas completos de NP e fontes que os coletam, por exemplo, consulte o livro de Garey e Johnson. Eu também estaria interessado em ver uma lista dos problemas completos do NEXP. Existe um disponível? Como suponho que não exista, abro esta pergunta (é suposto ser um wiki …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

Richard J. Lipton foi selecionado como o vencedor do Prêmio Knuth 2014 "por Introdução de Novas Idéias e Técnicas". Quais são as suas principais idéias e técnicas que Lipton desenvolveu? Nota. Esta questão se tornará um wiki da comunidade. Coloque uma dessas idéias, técnicas ou resultados por resposta.

30 big-list 

Provavelmente, alguns paradoxos matemáticos e lógicos poderiam ser automaticamente aplicados aos computadores, mas existem paradoxos descobertos na própria ciência da computação? Por paradoxos, quero dizer resultados contra-intuitivos que parecem uma contradição.

30 big-list 

Recentemente, um amigo meu (trabalhando no TCS) mencionou em uma conversa que "ele queria ver / conhecer todos (ou tanto quanto possível) os belos resultados do TCS em sua vida". Isso meio que me fez pensar sobre os belos resultados nessa área e, portanto, a motivação para a seguinte pergunta: …

29 soft-question  big-list 

Uma das coisas boas de ter evoluído em um universo com três dimensões espaciais é que desenvolvemos habilidades de resolução de problemas referentes a objetos no espaço. Assim, por exemplo, podemos pensar em um trigêmeo de números como um ponto em 3-d e, portanto, computação sobre trigêmeos de números como …

28 big-list  cg.comp-geom  big-picture 

Edit: Eu escolhi a resposta com a pontuação mais alta até 06 de dezembro de 2012. Esta é uma pergunta suave. O conceito de algoritmos (determinísticos) remonta a BC. E os algoritmos probabilísticos? Em esta entrada wiki , o algoritmo de Rabin para o problema mais próximo par de geometria …

27 ds.algorithms  reference-request  big-list  randomized-algorithms  ho.history-overview 

Eu sou um cientista da computação fazendo um curso de Topologia (uma pitada de topologia de conjunto de pontos fortemente aromatizada pela teoria do continuum). Interessei-me por problemas de decisão testando uma descrição de um espaço (por simplicidades) para propriedades topológicas; aqueles preservados até o homeomorfismo. Sabe-se, por exemplo, que …

27 cc.complexity-theory  big-list  topology 

Estou interessado em exemplos de problemas em que um teorema que aparentemente não tem nada a ver com mecânica / informação quântica (por exemplo, afirma algo sobre objetos puramente clássicos) pode, no entanto, ser provado usando ferramentas quânticas. Uma pesquisa Quantum Proofs for The Classems Classical (A. Drucker, R. Wolf) …

27 quantum-computing  big-list  proofs 

Muitas vezes, é possível encontrar métodos de plano de corte, propagação variável, ramificação e encadernação, aprendizado de cláusulas, retrocesso inteligente ou até heurísticas humanas tecidas à mão nos solucionadores SAT. No entanto, há décadas os melhores solucionadores de SAT contam com técnicas de prova de resolução e usam uma combinação …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

Sobre quais tópicos do TCS ausentes na Wikipedia você mais gostaria de ter um artigo? Podem ser omissões gritantes ou apenas tópicos que você acha que realmente deveriam ter um artigo. Um tópico por resposta, para que os mais procurados possam ser votados. Atualização 5/2/2017 : Shuchi Chawla está liderando …

26 soft-question  big-list  survey 

Esta é minha primeira pergunta na pilha de histórias, portanto, não seja muito rude se eu estiver violando a etiqueta de alguma forma) Como sabemos, em matemática, mesmo matemáticos, astros e gênios famosos estão cometendo erros sérios de tempos em tempos. Por exemplo, o teorema de quatro cores e o …

26 soft-question  big-list 

Estarei participando da minha primeira conferência de ciência da computação e, depois de ler os conselhos sobre como melhorar as conferências , notei que várias sugestões eram sobre alunos de pós-graduação que participavam de sua primeira conferência. Que conselho você daria para um estudante de graduação que participe de sua …

25 soft-question  big-list  conferences 

É claro que alguns resultados de complexidade podem entrar em colapso para idiomas unários, mas eu me pergunto se existe em algum lugar uma pesquisa resumindo os resultados conhecidos nesse caso: uma espécie de zoológico de complexidade para idiomas unários. Você saberia de tal referência?

25 cc.complexity-theory  reference-request  big-list 

Há uma reputação de que, na ciência da computação, não temos livros populares de ciência. Claro que isso não é verdade! (No mesmo espírito da lista de que os livros devem Todo mundo Read? , Que documentos devem todos ler? , O que vídeos deve relógio todos? E inspirado a …

24 big-list  books