Questions marquées «computable-analysis»

Un étudiant m'a récemment demandé de vérifier une preuve de dureté NP pour eux. Ils ont effectué une réduction selon: Je réduit ce problème P′P′P' qui est connu pour être NP-complet à mon problème PPP (avec une réduction poly-temps multiple), donc PPP est NP-dur. Ma réponse était essentiellement:...

Supposons que je me donne un ensemble fini de points dans le plan, et a demandé de tracer une courbe C ( P ) deux fois différenciable à travers les p i , de sorte que son périmètre soit aussi petit que possible. En supposant que p i = ( x i , y i ) et x i < x i + 1 , je peux formaliser ce...

Le «théorème de Rice pour les réels calculables» - c'est-à-dire qu'aucune propriété non triviale du nombre représenté par un réel calculable donné n'est décidable - est-il vrai? Cela correspond-il d'une manière directe à la connectivité des