Core Concepts
Matrizen über dem Ring Z[x] mit eingeschränkten Subdeterminanten werden untersucht, um komplexe Optimierungsprobleme zu lösen.
Abstract
Die Autoren stellen ein Rahmenwerk vor, um diskrete Optimierungsprobleme zu untersuchen, die parametrisch sind und Matrizen über dem Ring Z[x] von Polynomen in einer Variablen entsprechen. Sie definieren "vollständig S-modulare" Matrizen und untersuchen verbotene Minoren für S. Es wird gezeigt, dass bei endlichem S die Menge aller Determinanten, die von einem verbotenen Minor für S erreicht werden, ebenfalls endlich ist. Spezielle komplexe Ergebnisse werden für ganzzahlige lineare Optimierungsprobleme erzielt. Die Struktur von Matrizen mit Polynomeneinträgen wird untersucht, um die Komplexität von Optimierungs- und Erkennungsproblemen zu verstehen.
Einleitung
Matrizen spielen eine entscheidende Rolle in der Komplexitätsanalyse von ganzzahligen Programmierungsproblemen.
Die Fragen zur Komplexität der Lösung von ILPs und zur effizienten Überprüfung von Matrizen werden untersucht.
Eigenschaften von Matrizen
Matrizen mit Polynomeneinträgen werden analysiert, um die Struktur von verbotenen Minoren zu verstehen.
Es wird gezeigt, dass bestimmte Matrizen vollständig S-modular sind und spezifische Determinanten erreichen.
Beweis von Theorem 2 und 3
Die Lösbarkeit von ILPs und die Effizienz der Erkennung von Matrizen werden für spezifische Parameterwerte gezeigt.
Stats
Es wird gezeigt, dass das ILP für bestimmte Matrizen in Polynomzeit lösbar ist.
Die Erkennung von vollständig S-modularen Matrizen für spezifische Parameterwerte ist effizient.
Quotes
"Matrizen mit Polynomeneinträgen werden untersucht, um die Struktur von verbotenen Minoren zu verstehen."
"Es wird gezeigt, dass bestimmte Matrizen vollständig S-modular sind und spezifische Determinanten erreichen."