Pytania oznaczone «computable-analysis»

Niedawno student poprosił mnie o sprawdzenie dla nich dowodu twardości NP. Dokonali redukcji zgodnie z: Zmniejszam ten problem P′P′P' którym wiadomo, że jest NP-kompletny do mojego problemu PPP (z redukcją wielokrotnego wielokrotności jeden), więc PPP jest NP-twardy. Moja odpowiedź brzmiała w...

Załóżmy, że mam podane skończony zbiór punktów w płaszczyźnie i poprosiła zwrócić krzywej dwukrotnie różniczkowalnymi C ( P ) przez P i jest tak, że jego obwód jest tak mała jak to możliwe. Zakładając, że p i = ( x i , y i ) oraz x i < x i + 1 , mogę sformalizować ten problem jako:p1, p2), . ....

Czy „twierdzenie Rice'a o liczbach obliczalnych” - to znaczy żadna nietrywialna właściwość liczby reprezentowanej przez daną rzeczywistość obliczalną nie jest rozstrzygalna - jest prawdą? Czy to w jakiś bezpośredni sposób odpowiada połączeniom