Perguntas com a marcação «machine-models»

Em 1937, Turing descreveu uma máquina de Turing. Desde então, muitos modelos de computação foram descritos na tentativa de encontrar um modelo que seja como um computador real, mas ainda simples o suficiente para projetar e analisar algoritmos. Como resultado, temos dezenas de algoritmos para, por exemplo, o problema SORT …

41 ds.algorithms  reference-request  soft-question  machine-models 

Paul Wegner e Dina Goldin publicam há mais de uma década artigos e livros, argumentando principalmente que a tese de Church-Turing é frequentemente deturpada na comunidade da Teoria da CS e em outros lugares. Ou seja, é apresentado como abrangendo todo o cálculo quando, de fato, se aplica apenas ao …

38 computability  turing-machines  machine-models  church-turing-thesis 

Essa pergunta é semelhante a uma pergunta mais geral sobre qual é o modelo teórico correto de um computador para projetar estruturas de algoritmos e dados. Aqui, pergunto especificamente sobre os atuais computadores de alto desempenho (como os listados como os 500 principais ) ou mesmo sobre próximos supercomputadores. Dado …

20 reference-request  soft-question  machine-models 

Recentemente me deparei com uma construção teórica bastante interessante. Uma máquina chamada Gödel É um solucionador de problemas geral capaz de auto-otimização. É adequado para ambientes reativos. Pelo que entendi, ele pode ser implementado como um programa para a máquina universal de Turing, embora seus requisitos vão muito além do …

16 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

Uma pergunta recente discutiu o agora clássico algoritmo de programação dinâmica para TSP, devido independentemente a Bellman e Held-Karp . O algoritmo é universalmente relatado para ser executado no tempo O ( 2nn2)O(2nn2)O(2^n n^2) . No entanto, como um dos meus alunos apontou recentemente, esse tempo de execução pode exigir …

16 ds.algorithms  machine-models  computing-over-reals 

Qual é a classe de complexidade associada a algoritmos de pesquisa exaustivos? (se houver) É NP ou PSPACE? Existem modelos restritos de computação que capturam a classe de algoritmos exaustivos de pesquisa semelhantes aos modelos para programação dinâmica e gananciosa?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Quão bem o seguinte problema foi investigado no TCS? (Peço desculpas se a declaração do problema parece vaga!) Dado um modelo de computação MC (máquina de Turing, autômato celular, máquina Kolmogorov-Uspenskii ... etc.) e um modelo de ruído que poderia afetar o cálculo da MC, existe uma maneira de se …

14 machine-models 

O título é um pouco enganador: mas espero que a pergunta não seja: O novo resultado de Grønlund e Pettie, mostrando que o 3SUM tem apenas complexidade da árvore de decisão, me fez pensar:O ( n3 / 2)O(n3/2)O(n^{3/2}) Existe um exemplo simples de um problema com uma complexidade da árvore …

13 cc.complexity-theory  machine-models  decision-trees 

É possível criar uma implementação mecânica de propósito único (não concluída em Turing), por exemplo, Microsoft Word? É possível implementar coisas como iteradores, funções de primeira ordem, toda a gama de técnicas de programação? As engrenagens e outras partes mecânicas representam estruturas de dados ou até objetos de programa? Em …

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

É preciso chamar a estrutura mapReduce de um tipo de estrutura de programação paralela síncrona em massa sem retenção de memória local nos processadores entre as sincronizações? Caso contrário, qual modelo de programação paralela encapsula com mais precisão a estrutura mapReduce?

11 dc.parallel-comp  machine-models 

Enquanto estudante de EE, participei de algumas palestras que apresentavam uma boa caracterização de circuitos booleanos em termos de quantos ciclos aninhados eles tinham. Na complexidade, os circuitos booleanos são frequentemente vistos como dags, mas em ciclos reais de hardware são comuns. Agora, modulando alguns detalhes técnicos sobre o que …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

Esta pergunta é sobre se existem tarpits reversíveis conhecidos de Turing, onde "reversível" significa no sentido de Axelsen e Glück , e "tarpit" é um conceito muito mais informal (e pode não ser uma escolha muito boa de palavra), mas farei o possível para explicar o que quero dizer com …

10 fl.formal-languages  computability  machine-models 

Existe uma estrutura / formalismo que define modelos computacionais baseados em proteínas que não sejam o modelo de DNA de Adleman ou este trabalho de Cherry e Qian ?

9 reference-request  machine-models 

Exemplos bem conhecidos de computação inspirados em fenômenos naturais são computadores quânticos e computadores de DNA. O que se sabe sobre o potencial e / ou limitações da computação com as leis ou a gravidade de Maxwell? Ou seja, incorporar as soluções "rápidas" da natureza às equações de Maxwell ou …

9 computability  machine-models  physics  natural-computing