## [Lexikographische Ordnung](/de/node/63513) Definition Eine Monomialordnung, die Exponentenvektoren komponentenweise von einer festgelegten ersten Variable an lexikographisch vergleicht: Bei einer vorgegebenen Variablenreihenfolge werden zwei Monome an der ersten Stelle, an der sich ihre Exponenten unterscheiden, verglichen; der größere Exponent an dieser Stelle macht das Monom größer. Es ist eine totale, wohlgeordnete Relation auf Monomen, die in symbolischen Polynomalgorithmen verwendet wird. ## Prinzip Prinzip Vergleiche Exponentenvektoren lexikographisch entsprechend einer gewählten Variablenpriorität; die erste (linkseste) unterschiedliche Komponente bestimmt die Ordnung. ## Demonstration Demonstration Bei Variablenordnung x>y>z vergleicht man x^2y (Exponentenvektor (2,1,0)) und xy^3 (1,3,0). Die erste Komponente unterscheidet sich (2 vs. 1), also ist x^2y > xy^3 in der lexikographischen Ordnung. ## Fehlanwendung Fehlanwendung Lex ohne Abwägung verwenden, wenn gradabhängige Heuristiken benötigt werden; da lex den Gesamtexponenten vernachlässigt, kann es zu sehr großen Zwischenpolynomen und schlechterer Leistung bei der Gröbner-Basis-Berechnung führen. ## Konsequenz Konsequenz Richtig angewandt erzwingt es Variablenpriorität, die sich gut für Eliminationsaufgaben eignet: Eine mit lex berechnete Gröbner-Basis legt Informationen über zu eliminierende Variablen in führende Terme, wodurch Eliminationsideale direkt gewonnen werden können. ## Umkehrung Umkehrung Auf eine reverse-lexikographische oder graduierte Ordnung umschwenken: statt an der ersten unterschiedlichen Komponente zu vergleichen, von der letzten Variable aus vergleichen oder den Gesamtexponenten priorisieren; das ändert das Eliminations- und Komplexitätsverhalten. ## Abgrenzung Abgrenzung Gilt für Monome in einem kommutativen Polynomring mit fester linearen Variablenordnung; es verallgemeinert sich nicht unmittelbar auf gewichtete Ordnungen, nichtkommutative Monome oder Ordnungen, die Grad priorisieren. ## Semantische Spannung Semantische Spannung Spannung besteht zwischen der lexikographischen Ordnung und graduierten Ordnungen (z. B. GrLex): lex erzwingt strikte Variablenpriorität für Eliminierung, während graduierte Ordnungen den Grad ausbalancieren und oft kleinere Zwischenformen bei Gröbner-Berechnungen erzeugen. ## Synthese Synthese Die lexikographische Ordnung vergleicht Exponentenvektoren komponentenweise nach festgelegter Variablenpriorität; sie opfert Grad-Sensitivität, um eliminationsfreundliche führende Terme und eine einfache, vorhersehbare Ordnung zu gewährleisten.