Als «computable-analysis» getaggte Fragen

Ein Student hat mich kürzlich gebeten, einen NP-Härtenachweis für sie zu prüfen. Sie führten eine Reduktion nach folgenden Grundsätzen durch: Ich reduziere dieses Problem P′P′P' , von dem bekannt ist, dass es NP-vollständig ist, auf mein Problem PPP (mit einer mehrmaligen Vielfachreduktion), also...

Angenommen, ich bekomme eine endliche Menge von Punkten p1,p2,..pnp1,p2,..pnp_1,p_2,..p_n in der Ebene und gebeten, eine doppelt differenzierbare Kurve C(P)C(P)C(P) durch die zu zeichnen pipip_i, so dass ihr Umfang so klein wie möglich ist. Angenommen, und , kann ich dieses Problem wie folgt...

Ist "Rices Theorem für die berechenbaren Realitäten" - das heißt, keine nichttriviale Eigenschaft der Zahl, die durch einen bestimmten berechenbaren Realwert dargestellt wird, entscheidbar - wahr? Entspricht dies in direkter Weise der Verbundenheit der