Ciência da Computação Teórica

Eu tenho aprendido alguns pedaços da teoria das categorias. Certamente é uma maneira diferente de ver as coisas. (Resumo muito rudimentar para quem ainda não a viu: a teoria das categorias fornece maneiras de expressar todos os tipos de comportamentos matemáticos apenas em termos de relações funcionais entre objetos. Por …

103 pl.programming-languages  lo.logic  ct.category-theory 

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 

Muitos algoritmos de busca de caminhos foram desenvolvidos nos últimos anos, que podem calcular o melhor caminho em resposta a alterações de gráficos muito mais rapidamente que A * - o que são e como diferem? Eles são para situações diferentes, ou alguns outros obsoletos? Estes são os que consegui …

96 ds.algorithms  shortest-path 

Estou me preparando para uma palestra voltada para alunos de graduação em matemática e, como parte disso, estou pensando em discutir o conceito de decidibilidade. Quero dar um exemplo de um problema que atualmente não sabemos ser decidível ou indecidível. Existem muitos desses problemas, mas nenhum parece se destacar como …

92 computability  decidability 

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 

Estou apenas lendo o cálculo lambda para "conhecê-lo". Eu vejo isso como uma forma alternativa de computação, em oposição à Máquina de Turing. É uma maneira interessante de fazer coisas com funções / reduções (falando grosseiramente). Algumas perguntas continuam me incomodando: Qual é o objetivo do cálculo lambda? Por que …

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

Desculpe pelo título cativante. Quero entender, o que se deve fazer para refutar a tese de Church-Turing? Em algum lugar que li, é matematicamente impossível fazê-lo! Por quê? Turing, Rosser etc usaram termos diferentes para diferenciar entre: "o que pode ser calculado" e "o que pode ser calculado por uma …

83 computability  proofs  hypercomputation 

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 

Essa é uma "questão histórica" ​​mais do que uma questão de pesquisa, mas a redução clássica à busca de ordens no algoritmo de Shor para fatoração foi descoberta inicialmente por Peter Shor, ou era conhecida anteriormente? Existe um artigo que descreva a redução que antecede Shor, ou é simplesmente o …

79 quantum-computing  ho.history-overview  factoring 

Atualmente, sou estudante de graduação, que deve se formar este ano. Após a formatura, estou pensando em trabalhar para um mestrado / doutorado em TCS. Comecei a me perguntar que campos da matemática são considerados úteis para o TCS, especialmente a teoria da complexidade (clássica). Quais campos você considera essenciais …

79 cc.complexity-theory  soft-question  advice-request 

À luz do anúncio do primeiro chip fotônico quântico programável do mundo , fiquei imaginando como seria um software para um computador que usa o emaranhamento quântico. Um dos primeiros programas que escrevi foi algo como for i = 1 to 10 print i next i Alguém pode dar um …

76 quantum-computing 

Esta pergunta pode não ser adequada aqui, mas não consegui encontrar um lugar melhor para perguntar (foi fechado no SO). Acho trabalhos de pesquisa em ciência da computação difíceis de entender. Claro que os assuntos são complicados. Mas depois que eu entendo um artigo, geralmente posso contar a alguém em …

75 soft-question  research-practice 

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 

É sabido que, em geral, a ordem dos quantificadores universais e existenciais não pode ser revertida. Em outras palavras, para uma fórmula lógica geral ,ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) Por outro lado, sabemos que o lado direito é mais restritivo do que o …

73 lo.logic  big-picture  proof-techniques 

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