Gibt es Probleme, die NP-vollständig sind, wenn die euklidische Geometrie verwendet wird, aber für einige nicht-euklidische Geometrien in der Polynomzeit gut definiert und lösbar sind?
reference-request
cg.comp-geom
Sorin Istrail
quelle
quelle
Antworten:
Teilantwort:
Der maximale TSP ist nach polyedrischen Normen polynomiell zeitlösbar, nach euklidischen Normen jedoch NP-hart (Optimierungs- und Entscheidungsversion). Ob letzteres auch NP-easy ist, ist eine andere Frage. (Möglicherweise können Sie eine künstliche Variante in NP definieren, da die für den NP-Härtenachweis erstellten Instanzen nur eine begrenzte Genauigkeit erfordern.)
A. Barvinok, SP Fekete, DS Johnson, A. Tamir, GJ Woeginger und R. Wodroofe. Das geometrische maximale Problem des Handlungsreisenden. Journal of the ACM, 50: 641 & ndash; 664, 2003.
quelle