Perguntas com a marcação «computability»

Greg Egan em sua ficção "Dark Integers" (história sobre dois universos com duas matemáticas diferentes se comunicando por meio da comprovação de teoremas em torno da inconsistência na aritmética) afirma que é possível construir computadores de uso geral apenas em roteadores de Internet existentes usando apenas sua funcionalidade básica de …

14 computability  universal-computation 

Dois artigos que eu incluiria são: D. Kozen, "Indexação de classes sub-recursivas" , STOC, 1978. R. Ladner, "Sobre a estrutura da redutibilidade do tempo polinomial" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

O teorema de Rice afirma que todas as propriedades não triviais do conjunto reconhecidas por alguma máquina de Turing são indecidíveis. Estou procurando pelo teorema do tipo Rice, teórico da complexidade, que nos diz quais propriedades não triviais dos conjuntos NP são intratáveis.

14 cc.complexity-theory  computability  np 

Se é o conjunto de tempos de parada de máquinas de Turing state em um alfabeto binário com fita inicial vazia, então .HT( N )HT(n)HT(n)nnnB B ( n ) = max HT( N )BB(n)=maxHT(n)BB(n) = \max HT(n) O que podemos dizer sobre o segundo maior número em HT( N )HT(n)HT(n) …

13 computability 

A maneira usual de provar indecidibilidade é através da redução de um problema de RE completo, como o problema de parada, validade na lógica de primeira ordem, satisfação das equações diofantinas, etc. Sabe-se que existem problemas recursivamente enumeráveis, mas indecidíveis, que não são RE-completos, mas essas são construções artificiais (ou …

13 computability 

É 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 

Pelo que entendi, uma prova de que P = NP ou P ≠ NP precisaria ser não-relativizável (como nos oráculos da teoria da recursão). Virtualmente, todas as provas parecem relativizáveis. Quais são bons exemplos de provas não relativizáveis, do tipo que uma prova P = NP / P ≠ NP …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

É 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 bits, a …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

Eu tenho tentado entender o que, por que e como do -calculus, mas não consigo entender o porquê "funciona"?λλ\lambda "Intuitivamente", obtenho o modelo de computabilidade da Turing Machines (TM). Mas essa distração me deixa confusa.λλ\lambda Vamos supor que as TMs não existem - então como alguém pode ser "intuitivamente" convencido …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

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 

Existem problemas decidíveis que, para nenhum algoritmo que resolva o problema, podemos dar um tempo limitado em função do comprimento n da instância de entrada? Cheguei a essa pergunta porque estava pensando no seguinte: Suponha que temos um problema recursivamente enumerável, mas indecidível. Suponha ainda que eu seja uma instância …

12 computability  time-complexity 

Geralmente, é mais simples argumentar sobre cálculo onde a limitação é a finitude da computação, em vez de um limite como "computável em quantidade de tempo polinomial". Na teoria das linguagens formais, por exemplo, em vez de usar o para caracterizar o período aperiódico, é mais fácil usar palavras profinidas …

12 cc.complexity-theory  computability 

Podemos pensar na complexidade de Kolmogorov de uma string como o comprimento do programa mais curto P e inserir y de modo que x = P ( y ) . Normalmente, esses programas são extraídos de um conjunto completo de Turing (como P pode ser a descrição de uma máquina …

12 reference-request  computability  kolmogorov-complexity 

Provavelmente, isso é bem simples, mas considere o problema padrão de correspondência posterior: Dado e β 1 , ... , β N , encontrar uma sequência de índices i 1 , ... , i K de tal modo que ácido a i 1 ⋯ α i K = β i …

12 computability  fl.formal-languages 

O papel Lauri Hella e José María Turull-Torres, Consultas de computação com lógicas de ordem superior , TCS 355 197-214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propõe lógica VO, lógica de ordem variável. Isso permite a quantificação de pedidos sobre as variáveis. O VO é bastante poderoso e pode expressar algumas …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity