Perguntas com a marcação «computable-analysis»

Recentemente, um aluno me pediu para verificar uma prova de dureza NP para eles. Eles realizaram uma redução ao longo das linhas de: Reduzo esse problema P′P′P' que é conhecido como NP-completo para o meu problema (com uma redução de múltiplos de um tempo múltiplo), de modo que é...

Suponha que eu sou dado um conjunto finito de pontos no plano, e pediu para desenhar um duas vezes diferenciável curva C ( P ) através do p i 's, de tal modo que o seu perímetro seja tão pequena quanto possível. Supondo que p i = ( x i , y i ) e x i < x i + 1 , posso formalizar esse problema...

O "teorema de Rice para os reais computáveis" - ou seja, nenhuma propriedade não trivial do número representado por um determinado real computável é decidível - é verdade? Isso corresponde de alguma maneira direta à conexão dos