В математиката Гаусовата елиминация (наричана още редукция на редове) е метод, използван за решаване на системи линейни уравнения. Наречен е на името на Карл Фридрих Гаус, известен немски математик, който пише за този метод, но не го изобретява.

За да се извърши елиминиране на Гаус, коефициентите на членовете в системата линейни уравнения се използват за създаване на вид матрица, наречена разширена матрица. След това се използват елементарни операции с редове, за да се опрости матрицата. Използват се следните три вида редови операции:

Тип 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) и да се работи с подходяща плаваща точка, за да се намалят грешките от закръгляване.

Кратък пример (идеен опис)

За система с две уравнения и две неизвестни матрицата на коефициентите и разширената матрица се преобразуват чрез редови операции до вид, позволяващ лесно обратно заместване. При по-големи системи процедурата е аналогична, само че се прилага последователно за всички колони отляво надясно.

Гаусовата елиминация е прост, универсален и практически приложим метод — основа за много по-напреднали алгоритми в математиката, физиката, инженерството и компютърните науки.