В математиката Гаусовата елиминация (наричана още редукция на редове) е метод, използван за решаване на системи линейни уравнения. Наречен е на името на Карл Фридрих Гаус, известен немски математик, който пише за този метод, но не го изобретява.
За да се извърши елиминиране на Гаус, коефициентите на членовете в системата линейни уравнения се използват за създаване на вид матрица, наречена разширена матрица. След това се използват елементарни операции с редове, за да се опрости матрицата. Използват се следните три вида редови операции:
Тип 1: Смяна на един ред с друг ред.
Тип 2: Умножаване на ред по число, което не е нула.
Тип 3: Добавяне или изваждане на ред от друг ред.
Целта на елиминирането по Гаус е да се получи матрицата във вид на ред-ешелон. Ако една матрица е във вид ред-ехелон, това означава, че при четене от ляво надясно всеки ред започва с поне един нулев член повече от реда над него. В някои дефиниции на Гаусовото елиминиране се казва, че резултатът от матрицата трябва да бъде в редуциран ред-ешелон. Това означава, че матрицата е във вид на ред-ешелон и единственият ненулев член във всеки ред е 1. Елиминирането на Гаус, което създава резултат от редуцирана ред-ешелон матрица, понякога се нарича елиминиране на Гаус-Жордан.
Стъпки на метода
Типичният алгоритъм включва две основни фази:
- Напредна елиминация (forward elimination): използват се елементарните редови операции, за да се получи матрица в ред-ешелон вид. Това означава да се "изчистят" елементите под водещите елементи (пивоти) чрез последователно нулиране на колони под диагонала.
- Обратно заместване (back substitution): след като матрицата е в ред-ешелон вид, решаваме неизвестните, като започнем от последното уравнение и се придвижваме нагоре. При използване на Гаус-Жордан елиминация няма нужда от отделно обратно заместване, тъй като матрицата вече е приведена до редуциран ред-ешелон вид.
Пивоти и избор на ред
Всяка стъпка изисква избор на пивот (водещ елемент) в дадена колона. Ако пивотът е нула, трябва да се смени ред (тип 1 операция) с по-добър кандидат. В практическите числени изчисления често се използва частично завъртане (partial pivoting) — търси се ред с най-голям по абсолютна стойност елемент в дадената колона и той се премества на върха на текущата подматрица. Това намалява числовите грешки и увеличава стабилността на метода.
Възможни изходи от метода
- Единствено решение: ако пивотите покриват всички неизвестни и няма противоречиви редове, системата има уникално решение.
- Безкрайно много решения: ако има по-малко независими уравнения от неизвестните (трябва да има свободни променливи), резултатът ще съдържа параметри и системата има безкрайно много решения.
- Няма решение (несъвместима): ако по време на елиминацията се получи ред вида [0 0 ... 0 | b] с b ≠ 0, това означава противоречие и системата няма решение.
Приложения и допълнения
Гаусовата елиминация е основен инструмент в линейната алгебра и се използва за:
- решаване на системи линейни уравнения;
- изчисляване на обратна матрица: като се приложи елиминацията върху разширената матрица [A | I], след редукция за A се получава [I | A^{-1}] (ако A е обратима);
- определяне на ранг на матрица и намиране на базиси за ядро и образ;
- части от по-сложни алгоритми в числено моделиране и статистика.
Сложност и числена стабилност
За система с n неизвестни времевата сложност на класическия алгоритъм за Гаусова елиминация е от порядъка O(n^3) аритметични операции. В реални числени изчисления е важно да се прилагат техники като частично или пълно завъртане (partial или complete pivoting) и да се работи с подходяща плаваща точка, за да се намалят грешките от закръгляване.
Кратък пример (идеен опис)
За система с две уравнения и две неизвестни матрицата на коефициентите и разширената матрица се преобразуват чрез редови операции до вид, позволяващ лесно обратно заместване. При по-големи системи процедурата е аналогична, само че се прилага последователно за всички колони отляво надясно.
Гаусовата елиминация е прост, универсален и практически приложим метод — основа за много по-напреднали алгоритми в математиката, физиката, инженерството и компютърните науки.