Preguntas etiquetadas con computable-analysis

Un estudiante recientemente me pidió que verificara una prueba de dureza NP para ellos. Realizaron una reducción en la línea de: Reduzco este problema P′P′P' que se sabe que es NP completo a mi problema PPP (con una reducción múltiple de tiempo múltiple), por lo que PPP es NP-duro. Mi...

Supongamos que yo soy dado un conjunto finito de puntos en el plano, y se le pidió que dibujara una curva C ( P ) dos veces diferenciable a través de los p i 's, de modo que su perímetro sea lo más pequeño posible. Suponiendo que p i = ( x i , y i ) y x i < x i + 1 , puedo formalizar este...

¿Es "verdadero el teorema de Rice para los reales computables"? ¿Corresponde esto de alguna manera directa a la conexión de los