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...
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...
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...
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...
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...
À 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 exemplo de código de...
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...
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, é...
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...
Os matemáticos às vezes se preocupam com o axioma da escolha (CA) e o axioma da determinação (DA). Axiom of Choice : Dado qualquer coleção de conjuntos não vazios, existe uma função f que, dado um conjunto S em C , retorna um membro da S .CC{\cal C}fffSSSCC{\cal C}SSS Axioma da Determinação :...
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...
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...
Actualmente, a solução quer uma problema -completo ou um P S P A C E problema -completo é inviável no caso geral, para as grandes entradas. No entanto, ambos são solucionáveis no tempo exponencial e no espaço polinomial.NPNPNPPSPA CEPSPACEPSPACE Como somos incapazes de construir computadores não...
Vindo de um fundo mais matemático, nunca aprendi realmente a codificar. Estou iniciando um doutorado em TCS e muitas pessoas ficaram surpresas com o pouco que eu sabia sobre programação (e sobre computador em geral). Sou capaz de escrever algoritmos em pseudo-código, mas não conheço nenhuma...
A pergunta é se a seguinte pergunta é decidível: Problema Dado que um número inteiro e uma máquina de Turing prometeu estar em P, o tempo de execução de com relação ao comprimento de entrada ?M M O ( n k ) nkkkMMMMMM O(nk)O(nk){O}(n^k)nnn Uma resposta restrita de "sim", "não" ou "aberto" é...
Eu estou familiarizado com uma série de resultados que usam o teorema PCP (principalmente na aproximação de algoritmos), mas eu nunca me deparei com uma explicação clara do teorema PCP (ou seja, que ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) Quais...
Uma pergunta recente de Huck Bennett, perguntando se a classe PH estava contida na classe PP, recebeu respostas um tanto contraditórias (tudo verdade, ao que parece). Por um lado, vários resultados do oráculo foram dados ao contrário, e por outro Scott sugeriu que a resposta provavelmente é...
Atualizado abaixo Todos sabemos a importância crítica da revisão por pares. É a principal forma de controle de qualidade e feedback sobre a pesquisa. No entanto, para um pesquisador em estágio inicial (como eu), às vezes pode ser um sistema / processo confuso. Nesse sentido, existem vários...
EDITAR EM 10/12/08: Tentarei modificar a pergunta para que mais pessoas possam compartilhar suas opiniões. PRECISAMOS de suas contribuições! Este post é inspirado no do MO: Exemplos de falsas crenças comuns em matemática . Às vezes, grandes listas geram um grande número de respostas cujas...
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...