¿Hay algún problema que sea NP completo cuando se usa geometría euclidiana pero que está bien definido y puede resolverse en tiempo polinómico para alguna geometría no euclidiana?
3
Dadas las limitaciones de ejemplo de segmentación en la geometría no euclidiana, tt parece probable que algunos problemas que son 'duros' en el espacio euclidiano serían responsables trivial ( 'no, estos no hacen baldosas') para geometrías no euclidianas ...
—
Steven Stadnicki
@Artem Kaznatcheev Eliminé "bien definido" ya que un problema no puede resolverse (dejar que se solucione en tiempo polinómico) a menos que esté bien definido. (¿Cómo puede resolver un problema si ni siquiera sabe cuál es el problema?) Por lo tanto, eliminé "definir bien" como redundante.
—
Tyson Williams
@Tyson Buen punto. Supongo que algo como 'no trivial' tendría más sentido, ya que es natural tratar de evitar problemas (no NPC, sino solo un ejemplo) como: "resolver si dos líneas son paralelas; tienes que hacer algunos cálculos en geometría euclidiana y en forma esférica simplemente
—
emites
Trataría "bien definido" como una aclaración. Sí, resolver implica una buena definición, pero creo que el interrogador aclara que primero están buscando problemas que "tengan sentido" en un espacio no euclidiano, luego que quieren problemas que puedan resolverse (en P).
—
Josephine Moeller
@Sorin: ¿Puedes aclarar lo que quieres decir con "geometría no euclidiana"? ¿Estás hablando de una variedad? ¿Un espacio métrico? ¿Ambos? ¿Algo más?
—
Josephine Moeller