Lendo alguns tópicos recentes sobre computação quântica ( aqui , aqui e aqui ), lembro-me de uma pergunta interessante sobre o poder de algum tipo de máquina de preservação -norm.ℓpℓp\ell_p Para as pessoas que trabalham com a teoria da complexidade na complexidade quântica, um excelente texto...
Recentemente, eu estava tendo uma discussão sobre as Máquinas de Turing quando me perguntaram: "A Máquina de Turing é derivada de autômatos, ou é o contrário"? Eu não sabia a resposta, é claro, mas estou curioso para descobrir. A máquina de Turing é basicamente uma versão um pouco mais sofisticada...
Li em algum lugar que uma máquina de Turing não pode calcular isso e, portanto, é indecidível, mas por quê? Por que é computacionalmente impossível para uma máquina gerar a árvore de análise e tomar uma decisão? Talvez eu esteja errado e isso possa ser
O problema de decisão CNF-SAT pode ser descrito da seguinte maneira: Entrada: uma fórmula booleana na forma normal conjuntiva.ϕϕ\phi Pergunta: Existe uma atribuição de variável que satisfaça ?ϕϕ\phi Estou considerando várias abordagens diferentes para resolver o CNF-SAT com uma máquina de Turing...
Como você sabe, existem muitas anomolias para as máquinas de Turing de fita única quando o tempo é : simulação de fita múltipla TM, simulação de alfabeto de fita maior com apenas { 0 , 1 , b } , construtibilidade de tempo, não estanqueidade teorema da hierarquia temporal, ...o ( n2)o(n2)o(n^2){ 0 ,...
É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado...
Disclaimer: Eu sei muito pouco sobre a teoria da complexidade. Sinto muito, mas não há realmente nenhuma maneira de fazer essa pergunta sem ser (terrivelmente) conciso: Quais devem ser os morfismos na categoria "a" das máquinas de Turing? Isso é obviamente subjetivo e depende da...
Qualquer idioma que não esteja completo em Turing não pode escrever um intérprete para si próprio. Não tenho idéia de onde li isso, mas já o vi usado várias vezes. Parece que isso dá origem a uma espécie de linguagem completa "final" não-Turing; aquele (s) que só podemser interpretado por uma...
Uma das coisas surpreendentes da ciência da computação é que a implementação física é, em certo sentido, "irrelevante". As pessoas construíram computadores com sucesso em vários substratos diferentes - relés, tubos de vácuo, transistores discretos etc. Em breve, as pessoas poderão construir...
Estou procurando obter uma resposta definitiva para a pergunta do título. Existe um conjunto de regras que traduz qualquer programa em uma configuração de peças finitas em um tabuleiro infinito, de modo que, se preto e branco executam apenas movimentos legais, o jogo termina em um tempo finito se...
De um ponto de vista puramente abstrato do raciocínio matemático / computacional, (como) alguém poderia descobrir ou raciocinar sobre problemas como 3-SAT, Subset Sum, Traveling Salesman etc.? Será que vamos ser mesmo capaz de raciocinar sobre eles de qualquer maneira significativa com apenas o...
Dada uma linguagem L definida por uma máquina de Turing que a decide, é possível determinar por algoritmo se L está no
Em conexão com essa pergunta , me ocorreu pensar: qual é a complexidade de tempo para uma máquina de Turing de uma única cabeça e uma fita calcular a duração de sua entrada? Para ser específico, digamos que o alfabeto da fita seja , a entrada seja uma string em cercada por espaços em branco, a...
Existe uma prova de que a emulação de uma máquina de Turing em uma máquina de Turing inconsciente não pode ser feita em menos de que é o número de etapas que a máquina de Turing usa ? Ou isso é apenas um limite superior?O ( m logm )O(mlogm)\mathcal{O}\left(m\log m\right)mmm No artigo de Paul...
Simplificando: qual é a correspondência entre máquinas de Turing com oráculos e famílias uniformes de circuitos com oráculos? Como são definidas as últimas para obter o mesmo modelo computacional para uma determinada máquina de Turing da Oracle? Essa pode ser uma pergunta elementar, mas não é...
Defina como a classe de idiomas que pode ser aceita por uma máquina de Turing (multitape) no tempo f ( n ) + 1 . (O " + 1 " é apenas para simplificar a notação e evitar confusão.) Observe que não há O ( ⋅ ) em torno de f ( n ) + 1 .DTIME(f(n))DTIME(f(n))\mathsf{DTIME}(f(n))f(n)+1f(n)+1f(n) + 1+1+1+...
É sabido que o problema da parada é incontestável. No entanto, é possível compactar exponencialmente as informações sobre o problema de parada, para que a descompactação seja computável. Mais precisamente, é possível calcular a partir de uma descrição de máquinas de Turing e de um conselho de n...
O teorema da hierarquia de tempo afirma que as máquinas de turing podem resolver mais problemas se tiverem (bastante) mais tempo. Isso vale de alguma forma se o espaço é limitado assintoticamente? Como relaciona com se cresce rápido o
Existe uma máquina de Turing que pode decidir se quase todas as outras máquinas de Turing são interrompidas? Suponha que tenhamos alguma enumeração de máquinas de Turing e alguma noção de "tamanho" de um conjunto de números naturaise definimos:N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\|...
Tenho certeza de que não sou o primeiro a aceitar a idéia que vou apresentar. No entanto, seria útil encontrar alguma literatura relacionada à idéia. A idéia é construir uma Máquina de Turing M com a propriedade de que, se P = NP, M resolverá o 3-SAT em tempo polinomial. (A escolha do 3-SAT é...