Berechnen Sie das Polytop mit der niedrigsten Dimension aus einem bestimmten Satz von Vorzeichenvektoren

11

Bei einer Menge von Hyperebenen, die durch die Normalenvektoren , sind ihre Zelltypen (oder Vorzeichenvektoren) alle Vektoren t { + , - } m, für die ein Vektor v R d existiert so daß v , h i& ne; 0 und t i = sign ( v , h i)h1,,hmRdt{+,}mvRdv,hi0ti=sign(v,hi)gilt für alle . Hier u , v bezeichnet das innere Produkt und sign ( x ) bezeichnen das Vorzeichen ( + oder - ) der Nicht-Null - reelle Zahl x .iu,vsign(x)+x

Frage: Was ist der schnellste bekannte Algorithmus für die inverse Operation? Bei einer Menge von Zelltypen wollen wir eine Menge von Hyperebenen in möglichst wenigen Dimensionen berechnen, so dass ihre Zelltypen eine Obermenge von t 1 , , t n sind .t1,,tnt1,,tn

Holger
quelle
1
Übrigens ist nicht klar, was das innere Produkt einer Hyperebene und eines Vektors ist. Wollten Sie, dass der normale Vektor der i- ten Hyperebene ist? hii
Sasho Nikolov
Ja, sie sollen die normalen Vektoren sein - ich habe formal genau angegeben, wonach ich suche.
Holger

Antworten:

5

Dies entspricht der Berechnung des Vorzeichenrangs einer Matrix, die NP-hart ist, wie in diesem Artikel gezeigt . Sie können also nicht erwarten, dass ein Algorithmus zu effizient ist.

Sasho Nikolov
quelle