Perguntas com a marcação «computability»

Deixe o de -terms ser definido da seguinte maneira:λsizesizesizeλλ\lambda size(x)=1size(x)=1size(x) = 1 , size(λx.t)=size(t)+1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , size(ts)=size(t)+size(s)+1size(ts)=size(t)+size(s)+1size(t s) = size(t) + size(s) + 1 . Permita que a complexidade de a λλ\lambda -term ttt seja definida como o número de reduções beta paralelas de txtxt x à …

12 lo.logic  computability  pl.programming-languages  lambda-calculus 

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 

O primeiro termo é usado por Hilbert em seu trabalho de 1928, mas nos trabalhos posteriores de Gödel, a mesma coisa é chamada de Unvollständigkeitssatz ("teorema da incompletude"). Para os atuais pesquisadores alemães de CS, parece que o Unvollständigkeitssatz é mais comumente usado, e o Entscheidungsproblem ("problema de decisão") ainda …

11 lo.logic  computability  ho.history-overview 

Existem teoria algorítmica dos grafos / teoria dos números / combinatória / teoria da informação / teoria dos jogos. Existe análise matemática algorítmica? Segundo o wiki, a análise matemática inclui as teorias de diferenciação, integração, medida, limites, séries infinitas e funções analíticas. Não há problema em focar na análise real …

11 cc.complexity-theory  reference-request  soft-question  computability 

Como sabemos, a definição de complexidade computacional do algoritmo é quase sem controvérsia, mas a definição de complexidade computacional de reais ou os modelos de computação sobre reais não é nesse caso. Conhecemos o modelo e o modelo de Blum e Smales no livro Análise Computável. E, aparentemente, o modelo …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Existe uma maneira documentada de calcular nós? (circunferências embutidas em um espaço euclidiano tridimensional). Quero dizer, um tipo de dados para representá-los e um algoritmo para determinar se duas instâncias do tipo de dados representam o mesmo nó. Se a resposta for positiva, e a complexidade desse problema?

11 ds.algorithms  computability 

Esta pode ser uma pergunta ingênua, mas aqui vai. (Editar - não está recebendo votos positivos, mas ninguém ofereceu uma resposta; talvez a pergunta seja mais difícil, obscura ou pouco clara do que eu pensava?) O primeiro teorema da incompletude de Gödel pode ser comprovado como um corolário da indecidibilidade …

11 lo.logic  computability  church-turing-thesis 

O seguinte problema é decidível: Dada uma gramática livre de contexto , L ( G ) = ∅ ?GGGL(G)=∅L(G)=∅L(G) = \varnothing O seguinte problema é indecidível: Dada uma gramática livre de contexto , L ( G ) = A ∗ ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Existe uma caracterização de linguagens livres de …

11 computability  fl.formal-languages 

É possível construir um algoritmo que tenha como entrada um autômato de empilhamento juntamente com a promessa de que a linguagem aceita por esse autômato L ( M ) é uma linguagem determinística livre de contexto e gera um autômato de empilhamento determinístico N que aceita precisamente a linguagem aceita …

11 reference-request  computability  fl.formal-languages  automata-theory 

Eu sei que a pergunta "uma fórmula de primeira ordem tem um modelo" é indecidível em geral.ϕϕ\phi Alguém poderia me dar um link ou um livro que dê a resposta para modelos finitos. Se eu tiver uma fórmula de primeira ordem , é decidível se ϕ possui um modelo finito? …

11 reference-request  lo.logic  computability  finite-model-theory 

Considere o seguinte jogo para 2 jogadores: A natureza escolhe aleatoriamente um programa Cada jogador toca um número em [0, infinito], inclusive em resposta ao movimento da natureza Pegue o mínimo dos números dos jogadores e execute o programa por (até) muitas etapas (a menos que ambos os jogadores tenham …

10 lo.logic  computability  gt.game-theory 

Existe uma noção de computabilidade em conjuntos diferentes dos números naturais? Por uma questão de argumento, vamos dizer em conjuntos SSS que biject com NN\mathbb{N} . É tentador dizer "sim, eles são aquelas funções da forma , onde g é qualquer bijection N → S e f é qualquer função …

10 computability 

Os problemas foram classificados como um todo graças à complexidade computacional. Mas, em equações diferenciais, é possível classificar equações diferenciais dependendo de sua estrutura computacional? Por exemplo, se uma equação não homogênea de primeira ordem é comparativamente difícil de resolver do que uma, digamos, equação homogênea de 100ª ordem, elas …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

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 

Contexto : Kavvadias e Sideri mostraram que o problema Inverso 3-SAT é coNP Completo: Dado um conjunto de modelos em n variáveis, existe uma fórmula 3-CNF tal que ϕ é seu conjunto exato de modelos? Surge uma fórmula candidata imediata que é a conjunção de todas as 3 cláusulas satisfeitas …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat