A história por trás dos tópicos: de onde vem o nome, quem os descobriu, quando foram provados pela primeira vez, como evoluíram ao longo dos anos.
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...
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...
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...
Minha pergunta hoje é (como sempre) um pouco boba; mas eu pediria que você considerasse gentilmente. Eu queria saber sobre a gênese e / ou motivação por trás do conceito de largura de árvore. Eu certamente entendo que ele é usado nos algoritmos do FPT, mas não acho que essa tenha sido a razão pela...
Entendo que o modelo de Turing tenha se tornado o "padrão" ao descrever a computação. Estou interessado em saber por que esse é o caso - ou seja, por que o modelo da MT se tornou mais amplamente utilizado do que outros modelos teoricamente equivalentes (ao meu conhecimento), por exemplo, a...
Se você pudesse renomear a programação dinâmica, como
No clássico artigo de Andrew Chi-Chih Yao, de 1979, ele faz referência a "MO Rabin e AC Yao, em preparação". Isso ocorre pelo resultado de que a complexidade da comunicação de erro limitado da função de igualdade EQ N (se dois inteiros no intervalo de 0 a N - 1 são iguais) é O ( log log N ) .NN_N0...
Esse problema é inspirado nessa pergunta do MO , que achei muito interessante. Qual é o problema aberto mais antigo do TCS? Claramente, esta pergunta precisa de alguns esclarecimentos. Primeiro, o que é TCS? Eu acho que a existência de números ímpares perfeitos não é TCS. Eu diria que o...
Alan Turing , um dos pioneiros da ciência da computação (teórica), fez muitas contribuições científicas seminais para o nosso campo, incluindo a definição de máquinas de Turing, a tese de Church-Turing, a indecidibilidade e o teste de Turing. No entanto, suas importantes descobertas não se limitam...
Eu tenho uma pergunta histórica. Estou tentando determinar a referência para o fato de que 3 cores de gráficos (alternativamente, cores para determinado ) são difíceis de NP.k ≥ 3kkkk ≥ 3k≥3k\geq 3 A resposta tentadora é o "artigo original de Karp", mas isso está errado. Aqui está uma varredura:...
Nós "sabemos" que é nomeado para Steve Cook e é nomeado para Nick Pippenger. Se não me engano, Steve Cook nomeou NC em homenagem a Nick Pippenger, e me disseram que o inverso também é verdadeiro. No entanto, não pude encontrar nenhuma evidência desse último fato no artigo de Steve Cook sobre as...
Em algumas perguntas recentes ( q1 q2 ), houve uma discussão sobre "Teoria A" vs "Teoria B", aparentemente para capturar a divisão entre o estudo das linguagens de lógica e programação e o estudo de algoritmos e complexidade. Essa terminologia era nova para mim, e uma rápida pesquisa na web não...
Em seu livro Boolean Function Complexity, Stasys Jukna menciona (página 564) que Kolmogorov acreditava que toda linguagem em P possui circuitos de tamanho linear. Nenhuma referência é mencionada e não consegui encontrar nada online. Alguém sabe mais sobre
Por que os idiomas regulares (e a partir dessas expressões regulares) são chamados de "regulares"? Há muita regularidade também em idiomas sem contexto, outros tipos de idiomas. Suponho que, no começo, o adjetivo "regular" tenha sido usado para diferenciar esse tipo de idioma de outros idiomas...
Grothendieck faleceu . Ele teve um impacto maciço na matemática do século XX, continuando no século XXI. Esta pergunta é feita de alguma forma no estilo / espírito, por exemplo, de Contribuições de Alan Turing para Ciência da Computação . Quais são as principais influências de Grothendieck na...
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...
Se é um gráfico d- regular não direcionado e S é um subconjunto dos vértices da cardinalidade ≤ | V | / 2 , chame a expansão de borda de S a quantidadeG=(V,E)G=(V,E)G=(V,E)dddSSS≤|V|/2≤|V|/2\leq |V|/2SSS ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|\phi(S) := \frac...
Os sábios outros editores da Wikipedia recusaram minha solicitação de mover o artigo da Wikipedia sobre o algoritmo Rabin-Karp para o que eu acho que deveria ser chamado, o algoritmo Karp – Rabin, com base no fato de que o nome Rabin-Karp é usado com mais frequência ( falso, se alguém atende aos...
Tenho certeza que todo mundo conhece o experimento com agulhas de Buffon no século 18, que é um dos primeiros algoritmos probabilísticos a calcular .ππ\pi A implementação do algoritmo em computadores geralmente exige o uso de , ou uma função trigonométrica, que, mesmo que sejam implementadas como...
Recentemente, ensinei expansores e introduzi a noção de gráficos Ramanujan. Michael Forbes perguntou por que eles são chamados assim, e eu tive que admitir que não sei.