Perguntas com a marcação «ho.history-overview»

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 

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 

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 …

61 graph-theory  co.combinatorics  big-picture  ho.history-overview  treewidth 

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 

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

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Se você pudesse renomear a programação dinâmica, como chamaria?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

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 …

40 ho.history-overview  communication-complexity 

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 …

36 soft-question  open-problem  ho.history-overview 

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 às que eu listei. …

34 soft-question  ho.history-overview 

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

33 np-hardness  ho.history-overview 

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 …

33 cc.complexity-theory  ho.history-overview 

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 …

30 ho.history-overview  terminology 

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 isso?

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

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 ciência da …

27 big-picture  ct.category-theory  ho.history-overview 

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 "não regulares" ou de …

27 regular-expressions  regular-language  ho.history-overview