Ao desenvolver algoritmos na computação quântica, notei que existem dois modelos principais nos quais isso é feito. Alguns algoritmos - como para o problema da árvore Hamiltonian NAND (Farhi, Goldstone, Guttman) - trabalho de concepção de um hamiltoniano e algum estado inicial e, em seguida,...
A literatura é bastante clara que RAMs de custo unitário com multiplicação primitiva são irracionais, pois não pode ser simulado por máquinas de Turing em tempo polinomial pode resolver problemas completos do PSPACE em tempo polinomial No entanto, todas as referências que posso encontrar sobre...
Estou tentando entender a existência de linguagens não reconhecíveis. Para conseguir isso, preciso saber por que uma máquina de Turing reconhece apenas um idioma, não vários. Por que é
Se temos algum programa de computador arbitrário que pode modificar suas instruções, é possível simular esse programa com um programa que não pode modificar suas instruções? Editar: Eu sou novo no stackexchange, então não tenho certeza se posso fazer uma nova pergunta aqui, mas aqui vai: Ok,...
Um algoritmo de máquina de Turing em tempo polinomial é considerado eficiente se seu tempo de execução, na pior das hipóteses, estiver limitado por uma função polinomial no tamanho da entrada. Estou ciente da forte tese de Church-Turing: Qualquer modelo razoável de computação pode ser...
Fiquei com a impressão de que nossos computadores, por serem finitos, não são mais poderosos que as máquinas de estado finito (extraordinariamente grandes). Entretanto, as Máquinas de Turing com Limite Linear também são finitas, mas parece que as Linguagens Regulares são estritamente um subconjunto...
Eu me perguntei por que as fitas não fazem parte da definição formal de uma máquina de Turing. Considere, por exemplo, a definição formal de uma máquina de Turing na página da Wikipedia . A definição, seguindo Hopcroft e Ullman, inclui: o conjunto finito de estados , o alfabeto de fita , o símbolo...
Aprendi hoje que a análise de algoritmos difere com base no modelo computacional. É algo em que nunca pensei ou ouvi falar. Um exemplo dado a mim, que o ilustrou ainda mais, pelo usuário @chi foi: Por exemplo, considere a tarefa: dado retorne . Na RAM, isso pode ser resolvido em pois o...
Este é provavelmente um pensamento bobo, mas suponha que temos um computador que está programado para executar uma sequência infinita de cálculos e suponha que o cálculo leva 1 / 2 i segundos para ser concluído. Então este computador pode fazer um número infinito de cálculos em uma quantidade...
Na análise de algoritmos, assumimos uma máquina de acesso aleatório (RAM) de um processador genérico. Até onde eu sei, a máquina de RAM não é mais eficiente que a máquina de Turing. Todos os algoritmos podem ser implementados na máquina de Turing. Então, minhas perguntas são: Se a máquina de...
Este é o seguimento de outra pergunta aqui , e espero que não seja muito filosófico. Como Raphael apontou em um comentário na minha pergunta anterior, eu realmente não entendo a definição de "computável", mas de acordo com alguns artigos que li, a definição também não é muito clara quando se trata...
Deixe uma sequência de entrada ser dada como . Então, se um NFA está atualmente no estado (e leu a entrada até o alfabeto ), antes de ler o próximo símbolo de entrada, o NFA se divide em dois NFA, um no estado outro no , se houver uma transição de o tipo . Se houver um ciclo do tipo , em que são...
Em uma pergunta anterior O que exatamente é um algoritmo? , Perguntei se ter um "algoritmo" que retorna o valor de uma função com base em uma matriz de valores pré-computados era um algoritmo. Uma das respostas que chamou minha atenção foi esta: O exemplo fatorial entra em um modelo diferente...
Gostaria de citar Nielsen & Chuang, Computação Quântica e Informação Quântica, edição do 10º aniversário, página 5 (grifo meu): Uma classe de desafios para a forte tese de Church-Turing vem do campo da computação analógica. Nos anos desde Turing, muitas equipes diferentes de pesquisadores...
Que eu saiba, não existe um algoritmo de pior caso que resolva o seguinte problema:O(n)O(n)O(n) Dada uma sequência de comprimento consiste em números inteiros finitos, encontre a permutação em que cada elemento é menor ou igual ao seu sucessor.nnn Mas existe uma prova de que não existe, no...
Qual é a relação e a diferença entre um modelo de programação e um paradigma de programação? (especialmente ao falar sobre o modelo de programação e o paradigma de programação para uma linguagem de programação.) A Wikipedia tenta responder à minha pergunta em 1: Os paradigmas de programação...
As máquinas de Turing têm uma descrição formal do alfabeto de símbolos, estado e regras de transição de como é feita uma computação. Às vezes, o modelo do ator é mencionado como um modelo computacional mais poderoso do que as máquinas de Turing (não no que ele pode calcular, mas em outros...
Nos últimos dois anos, construí um computador mecânico alimentado por bolas de gude e fiz dele um jogo. É semelhante ao antigo Digi-Comp II, exceto por duas diferenças principais: As peças são reposicionáveis no quadro. Você pode conectar vários 'bits' juntos usando engrenagens. Quando um...
Estou tentando vincular os circuitos lógicos combinacionais (computadores baseados apenas em portas lógicas) com tudo o que aprendi recentemente em Teoria da computação. Gostaria de saber se os circuitos lógicos combinacionais podem implementar cálculos da mesma maneira que as máquinas de estados...
Fechadas. Esta questão está fora de tópico . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela esteja no tópico do Computer Science Stack Exchange. Fechado há 3 anos . Computadores e linguagens...