Para provar que a 3 cores é decidível, basta dizer: Cada nó no gráfico possui 3 cores possíveis Portanto, podemos enumerar todas as possibilidades de e verificar se não há duas arestas conectando nós da mesma cor3n3n3^n Isso prova que a 3 cores é decidível? Ou preciso construir uma máquina de...
Nos anos 50, foram inventados vários métodos de minimização de circuitos para funções booleanas . Existe uma extensão desses métodos ou algo semelhante para otimizar a complexidade do tempo ou espaço dos algoritmos? Por exemplo, uma implementação de classificação por bolhas como uma entrada para...
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...
Seja um conjunto não trivial de linguagens recursivamente enumeráveis ( ) e seja L o conjunto de codificações de máquinas de Turing que reconhecem algum idioma em C : L = \ {\ langle M \ rangle \ mid L (M) \ em C \}CCC∅⊊C⊊RE∅⊊C⊊RE\emptyset \subsetneq C \subsetneq...
Dizem que "a máquina de Turing não é uma tecnologia de computação prática, mas um dispositivo hipotético que representa uma máquina de computação. As máquinas de Turing ajudam os cientistas da computação a entender os limites da computação mecânica". [Wikipedia] Então, em qual modelo as máquinas...
Tenho um pequeno problema para entender a prova do Teorema da Hierarquia do Tempo (Hennie e Stearns, 1966) que garante a existência de uma linguagem aceitável em mas não aceitável em para quaisquer funções , de modo que seja construtível no tempo evocê( N )você(n)U(n)T( N )T(n)T(n)T( N ) , L( N...
Nosso PC funciona como uma máquina de Turing? O modelo de uma máquina de Turing consiste em fita de memória infinita, o que significa estados infinitos. Mas suponha que se nosso PC tiver 128 MB de memória e disco de 30 GB, ele terá 256 ^ 30128000000 estados e, portanto, estados finitos. Eu sei que...
Espero que minha pergunta faça sentido: começando com a premissa de que o não digitado λλ\lambda o cálculo é equivalente em potência a uma máquina de Turing; ao que em uma máquina de Turing corresponde a adição de tipos ao cálculo ? Existe algum tipo de autômato analógico para digitação, estático...
Seja pára em cada entrada no máximoetapas .L={<M>|ML={<M>|ML = \{ | Mxxx200∗|x|200∗|x|200 * |x|}}\} é decidível? Reconhecível?LLL Dado que a participação em afirma algo sobre o comportamento de em um conjunto infinito de strings, parece extremamente improvável para mim que possa ser....
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...
Eu vi a seguinte declaração e não entendo bem o raciocínio por trás dela: Se uma máquina de Turing repete a mesma configuração duas vezes, ela deve estar em um loop infinito. Eu pensei que uma pode estar em um estado , com a fita à esquerda 000 e à direita 111. Digamos que ela se move para a...
Por exemplo, podemos dizer que temos um programa abstrato que, dada uma string binária finita como entrada, remove todos os zeros (ou seja, 0010001101011 é avaliado como 111111), que é definitivamente uma função computável de Turing. Como um sistema de tag cíclico calcula isso (o que pode, por...
Quero determinar se esse problema de decisão é decidível. Eu tentei estabelecer reduções de Halt e "Aceita string vazia", mas ainda não encontrei uma solução. Alguém pode me
Acabamos de terminar nossa lição "Construtibilidade do tempo" na aula na semana passada e, por exemplo, mostramos que nk,2nnk,2nn^k, 2^n são totalmente construtíveis no tempo, ou seja, existe uma máquina de Turing (determinística para várias fitas) que, para nnn dado, pára após exatamente...
Antes de tudo, peço desculpas se isso foi solicitado, mas realmente não encontrei nada. Eu tropecei neste artigo . Ele diz que há um problema que apenas a Quantum Computers pode resolver. No meu entendimento, isso deve significar, intuitivamente, que esse problema é "efetivamente computável", pois...
Em complexidade computacional: Abordagem moderna de Arora e Barak , é mencionado que No entanto, exigiremos que S( n ) > lognS(n)>registronS(n)> \log n desde que a fita de trabalho tenha comprimento nnn, e gostaríamos que a máquina conseguisse pelo menos lembrar o índice da célula da fita...
A questão é se a seguinte declaração é verdadeira ou falsa: UMA≤TB⟹UMA≤mBUMA≤TB⟹UMA≤mBA \leq_T B \implies A \leq_m B Eu sei que se UMA≤TBUMA≤TBA \leq_T B existe um oráculo que pode decidir A em relação a B. Sei que isso não é suficiente para dizer que existe uma função computável de A a B que...
A classe de complexidade #P#P\newcommand{\sharpp}{\mathsf{\#P}}\sharpp é definida como #P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM(x)}#P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM(x)}\qquad \displaystyle \sharpp = \{f \mid \exists \text{ polynomial-time NTM } M\ \forall x.\, f(x) =...
Ao escrever uma decisão para uma máquina para ver se ela fez um movimento para a esquerda ou não em uma entrada de w , diz-se que, se continuarmos o cálculo para| w | +N+ 1|W|+N+1 1|w|+N+1 (NNN : número de estados) número de etapas, podemos tomar uma decisão para essa decisão. Não entendi porque...
Por uma máquina de Turing de baunilha, quero dizer uma máquina de Turing com uma fita (sem fitas especiais de entrada ou saída). O problema é como se segue: a fita é inicialmente vazia, com excepção de uma série de s e s terminadas por um caractere de fim-de-corda. A cabeça da fita começa no...