Perguntas com a marcação «undecidability»

Sei que é indecidível determinar se um conjunto de peças pode ladrilhar o avião, resultado de Berger usar as peças Wang . Minha pergunta é se é também conhecido como indecidível determinar se um único bloco pode ladrilhar o avião, um bloco monohédico . Se isso não for resolvido, eu …

24 reference-request  co.combinatorics  decidability  undecidability 

É sabido que o problema da equivalência é indecidível para linguagens gerais livres de contexto. No entanto, todas as provas desse fato que tenho conhecimento parecem envolver algumas gramáticas ambíguas e livres de contexto. Por esse motivo, gostaria de perguntar se é sabido se o problema permanece indecidível enquanto se …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

O problema da parada para as máquinas de Turing é talvez o conjunto indecidível canônico. No entanto, provamos que existe um algoritmo que decide quase todas as instâncias dele. O problema da parada está, portanto, entre a crescente coleção daqueles que exibem o fenômeno da teoria da complexidade do “buraco …

18 cc.complexity-theory  reference-request  computability  undecidability 

Resposta: desconhecida. As perguntas são naturais, abertas e aparentemente difíceis; a questão agora é um wiki da comunidade. Visão geral A questão procura dividir as linguagens pertencentes à classe de complexidade - junto com as máquinas de decisão de Turing (TMs) que aceitam essas linguagens - em duas subclasses complementares:PPP …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

Sabe-se que muitos problemas lógicos (por exemplo, problemas de satisfação de várias lógicas modais) não são decidíveis. Também existem muitos problemas indecidíveis na teoria de algoritmos, por exemplo, na otimização combinatória. Mas, na prática, heuristcs e algoritmos aproximados funcionam bem para algoritmos práticos. Portanto, pode-se esperar que algoritmos aproximados para …

13 lo.logic  approximation-algorithms  undecidability 

Qual é o modelo computacional mais simples para o qual o problema do vazio é indecidível? O problema de vazio para um modelo computacional (por exemplo, autômato de estado finito, autômato de empilhamento alternado, autômato quântico de erro limitado com um contador, LBA determinístico, etc.) é determinar se, para uma …

12 computability  decidability  undecidability  unary-languages 

O "nome do jogo com o maior número" pede a dois jogadores que anotem um número secretamente, e o vencedor é a pessoa que anotou o número maior. O jogo geralmente permite que os jogadores anotem as funções avaliadas em um ponto, então 222222222^{2^{2^{2}}} também seria aceitável. O valor da …

11 computability  undecidability 

Existem problemas que são decidíveis, outros são indecidíveis, há semidecidibilidade etc. Nesse caso, pergunto-me se um problema pode ser meta-indecidível. Isso significa (pelo menos na minha cabeça) que não podemos dizer se é decidível ou não. Talvez seja sabido que a decidibilidade é indecidível (tudo é meta-indecidível) e não existe …

9 computability  decidability  undecidability