În matematică , rezolvarea unei ecuații este sarcina de a găsi toate valorile argumentelor ( numere , funcții , mulțimi etc.) pentru care este valabilă egalitatea (expresiile din stânga și dreapta semnului egal devin echivalente ). Valorile variabilelor necunoscute la care se realizează această egalitate se numesc soluții sau rădăcini ale ecuației date. A rezolva o ecuație înseamnă a găsi mulțimea tuturor soluțiilor (rădăcinilor) ei sau a demonstra că nu există deloc rădăcini (sau nu există care să îndeplinească condițiile date).
De exemplu, ecuația este rezolvată pentru necunoscută folosind o înlocuire , deoarece înlocuirea unei variabile cu o expresie transformă ecuația într-o identitate : În plus, dacă punem o variabilă necunoscută, atunci ecuația se rezolvă folosind o înlocuire . Înlocuirea unei variabile cu o expresie transformă ecuația într-o identitate : De asemenea , și poate fi considerată simultan ca variabile necunoscute. Există multe soluții ale ecuației pentru un astfel de caz, de exemplu, - adică și , în general, pentru toate valorile posibile.
În funcție de problemă, poate fi necesar să găsiți o soluție (orice soluție adecvată) sau toate soluțiile ecuației. Toate soluțiile unei ecuații se numesc mulțime de soluții . Pe lângă simpla găsire a unei soluții, se poate pune sarcina de a găsi cea mai bună soluție a unei ecuații în raport cu orice parametru . Problemele de acest fel se numesc probleme de optimizare . Soluțiile la problemele de optimizare nu sunt, în general, numite „soluții ale ecuației”.
Metoda de rezolvare a unei probleme (inclusiv ecuații) este înțeleasă în primul rând ca un algoritm pas cu pas .
O metodă de soluție analitică (în caz contrar, doar o soluție analitică ) este o expresie în formă închisă care poate fi calculată într-un număr finit de operații [1] . Cu toate acestea, există formule (expresii) care conțin funcții necalculabile (sau nereprezentabile) în acest stadiu de dezvoltare a teoriei și tehnologiei. Mai departe, prin soluția analitică , înțelegem orice soluție scrisă sub formă de formulă, care conține funcții cunoscute sau anumite ale parametrilor (în cazul ecuațiilor numerice) sau variabilelor (în cazul ecuațiilor funcționale ). Mai jos sunt principalele metode analitice pentru rezolvarea diferitelor tipuri de ecuații.
Cea mai simplă metodă ilogică (pentru că nu necesită nicio supunere față de legile logicii matematice ) de rezolvare a unei ecuații, care constă în ghicirea valorii corecte a rădăcinii . Cu această metodă, învățarea să rezolve ecuații mai complexe decât cele liniare (de exemplu, pătrat și cubic ) începe în clasele a V-a-7 ale unei școli de învățământ secundar din Rusia.
Un exemplu de rezolvare a unei ecuații prin metoda de selecție:
Este ușor de ghicit că una dintre rădăcinile ecuației va fi Pentru a verifica corectitudinea valorii alese, este necesar să o înlocuiți în ecuația originală în locul variabilei .
După cum puteți vedea, egalitatea identică necesară este satisfăcută, ceea ce înseamnă că valoarea găsită este corectă (adică este inclusă în setul de soluții ale ecuației).
Dezavantajele metodei de selecție:
Avantajele metodei de selecție:
Un caz special al metodei de selecție este metoda de enumerare completă - adică căutarea unei soluții prin epuizarea tuturor opțiunilor posibile. Folosit atunci când mulțimea tuturor soluțiilor (sau a tuturor soluțiilor care îndeplinesc anumite condiții) este finită.
Această metodă de rezolvare a ecuațiilor, denumită altfel metoda de construire a unei funcții inverse , se bazează pe proprietatea funcției inverse de a nivela influența funcției asupra valorii variabilei [5] :
sau, care este în esență același,
Metoda este de obicei folosită ca parte a altor metode de decizie și este utilizată independent numai atunci când variabilele și constantele sunt pe părțile opuse ale semnului egal:
Cel mai simplu exemplu este o ecuație liniară : Aici înseamnă și obținem: acum același lucru trebuie făcut cu cealaltă parte a ecuației: de aici Verificați:
Alt exemplu:
Dezavantajele metodei de operare inversă:
Avantajele metodei operațiilor inverse:
Această metodă de rezolvare a problemelor (inclusiv ecuații) se bazează pe proprietatea de bază a graficelor de funcții - o afișare sigură și (ideal) precisă a valorilor argumentelor și a valorilor funcțiilor din aceste argumente în spațiul de coordonate , drept urmare fiecare punct al graficului nu are mai mult de un set de aceste valori pentru fiecare funcție specifică (adică două valori din același argument nu pot fi atribuite aceluiași punct de coordonate).
Prin definiție, două funcții au un punct comun (punctul de intersecție al graficelor) atunci când valorile lor de la unul (lor) și aceeași valoare (e) a argumentului (e) sunt egale:
De exemplu, să rezolvăm ecuația grafic (vezi figura de mai jos):
Aici graficul funcției este prezentat în negru cu albastru - graficul funcției Abscisele punctelor A și B formează un set de soluții la ecuația originală: care se găsește ușor prin proiecția punctelor pe axa absciselor ( axa ). Verificare: și Soluția este exhaustivă, deoarece dreapta nu poate intersecta parabola de mai mult de două ori (conform Teoremei Fundamentale a Algebrei ).
Dezavantajele metodei grafice:
Avantajele metodei grafice:
Pe lângă metoda descrisă, există metode grafice speciale modificate, cum ar fi metoda Lily .
Metoda de estimare a ODZ (interval de valori acceptabile) constă în tăierea unei părți a valorilor din intervalul de valori ale funcției în care funcția dată nu există (în caz contrar, tăierea valorilor că nu poate lua).
De exemplu, să rezolvăm următorul sistem de ecuații folosind metoda de estimare ODZ:
Să începem cu ecuația superioară, bazată pe următoarea proprietate a sumei numerelor reciproce : Este derivată direct dintr-un caz special al unei inegalități de putere nestrictă [14] . Mai mult, egalitatea cu doi se realizează numai dacă aceste numere sunt egale: ca rezultat, obținem un set de soluții:
În ecuația inferioară, există o funcție de pătrat nenegativă ale cărei valori ale funcției se află în intervalul
După cum puteți vedea, a doua soluție nu îndeplinește ambele criterii, ceea ce ne scutește de necesitatea unei a doua verificări. Rămâne să verificați prima rădăcină: Prin urmare, singura soluție a sistemului original de ecuații este
Dezavantajele metodei de estimare DHS:
Beneficiile metodei de evaluare LHS:
Metoda factorizării ecuațiilor (adică factorizarea lor) este utilizată pentru a le reprezenta ca un produs al mai multor ecuații mai puțin complexe, mai des, de același tip [16] . Expansiunea se bazează pe proprietatea produsului mai multor factori de a fi egal cu zero dacă și numai dacă cel puțin unul dintre acești factori este, de asemenea, egal cu zero [17] .
Această metodă de rezolvare precisă a ecuațiilor polinomiale a fost o ramură separată a algebrei de multe secole [18] și este o combinație de mai mulți algoritmi pentru obținerea unei soluții simultan. Relevanța și semnificația sa este o consecință a teoremei fundamentale a algebrei , conform căreia orice polinom de orice grad finit diferit de zero are cel puțin o rădăcină complexă .
Cea mai simplă dintre toate metodele de descompunere este probabil împărțirea unui polinom cu un polinom .
Dezavantajele metodei de factorizare polinomială:
Avantajele metodei de factorizare polinomială:
Aceste metode includ seturi de acțiuni efectuate pe ambele părți ale ecuației (înainte și după semnul egal), conducând la ecuații corolare sau ecuații echivalente, care sunt mult mai ușor de rezolvat datorită prezenței unui algoritm de soluție cunoscut sau prezentându-le într-un formă mai convenabilă care vă permite să le corelați rapid cu unul sau altul algoritm de soluție binecunoscut. Mai jos este o listă a principalelor transformări.
Transfer de termeniOrice parte a ecuației poate fi „transferată în cealaltă parte, dincolo de semnul egal” prin adăugarea acesteia în altă parte a ecuației și doar schimbând semnul (!) în cel opus [21] .
De exemplu, să rezolvăm ecuația în numere reale :
Pentru a face acest lucru, transferăm partea dreaptă a ecuației în partea stângă, schimbând semnul părții drepte în opus:
În plus, datorită asociativității funcției de înmulțire cu o constantă, adăugăm termeni similari:
Acum este ușor de observat că partea stângă rezultată seamănă cu formula pătratului perfect :
De aici găsim rădăcinile: Verificați:
Transferul de termeni poate fi efectuat în orice caz (fără a elimina argumentul de sub funcție), în timp ce ecuațiile rezultate sunt echivalente.
Adăugarea (scăderea) constantelor (expresiilor)Această tehnică de transformare a ecuațiilor se bazează pe proprietatea egalității numerice - invarianța sa față de adunare (egalitatea numerică va rămâne așa chiar dacă orice număr, inclusiv negativ, este adăugat la ambele părți). La rândul său, această proprietate a egalității numerice este doar un caz special al unei proprietăți similare a inegalităților numerice nestrictive [22] . Deoarece cele mai multe dintre ecuațiile care sunt rezolvate sunt efectuate pe un câmp de orice numere (există ecuații nenumerice, de exemplu, cele funcționale, în care funcțiile acționează ca o variabilă necunoscută), atunci aceleași proprietăți numerice se aplică ecuațiilor.
Esența transformării este că același număr sau expresie cu o funcție numerică poate fi adăugat la ambele părți ale ecuației, a cărei ODZ nu este mai îngustă decât ODZ a funcțiilor din ecuația originală. Transferul de termeni este doar un caz special de adunare (scădere) expresii. În special, „anihilarea reciprocă” a termenilor identici de pe părțile opuse ale semnului egal este o consecință a posibilității de transfer.
Adăugarea unei expresii numerice este întotdeauna posibilă, cu toate acestea, duce la o ecuație echivalentă numai atunci când aria ODZ a funcției din expresie nu este mai îngustă decât ODZ a funcțiilor ecuației originale. De exemplu, prin adăugarea unei expresii la ambele părți, ajungem la o ecuație corolară în care non-negativitatea unei variabile poate elimina rădăcinile negative existente, motiv pentru care va trebui să luăm în considerare această limitare mai târziu.
De asemenea, poate fi util să folosiți o tehnică oarecum inversă - selectarea unui termen, de exemplu:
Înmulțirea (împărțirea) cu o constantă (expresie) diferită de zeroÎnmulțirea egalităților numerice (adică a ecuațiilor numerice) cu aceeași expresie numerică diferită de zero este o consecință a posibilității de a adăuga această expresie și, prin urmare, își extinde proprietățile la sine, adăugând, poate, restricția asupra -egalitatea variabilei la zero [21] .
Folosind exemplul anterior:
Acum împărțim ambii termeni la
Cu toate acestea, prin împărțirea la această expresie, setăm o constrângere - inegalitatea sa la zero: Prin urmare, acum este necesar să verificăm dacă această valoare este rădăcina ecuației originale, filtrată chiar de această constrângere:
După cum se poate observa, îngustarea ODZ chiar și cu un punct (număr) poate distorsiona foarte mult setul tuturor soluțiilor posibile fezabile.
Substituții de expresieÎnlocuirea identică a unei variabile cu o altă expresie care conține funcții ale unei variabile a cărei ODZ nu este mai îngustă decât ODZ a funcțiilor ecuației inițiale, de asemenea, duce întotdeauna la o ecuație echivalentă. Însăși posibilitatea și echivalența sa se bazează pe proprietatea tranzitivității numerelor (dacă într-un triplu de numere unele două numere sunt egale în perechi cu al treilea, prin urmare, toate cele trei numere sunt egale între ele [23] ).
Înlocuirea este foarte des folosită în rezolvarea ecuațiilor de orice fel și chiar mai mult (de exemplu, pentru o ecuație de gradul trei există o formulă trigonometrică Vieta , pentru găsirea antiderivatelor - substituție trigonometrică universală Weierstrass , pentru integrale ale funcțiilor raționale - substituții speciale Euler, etc.).
De fapt, orice formulă a rădăcinilor ecuației este un caz special de înlocuire, atunci când expresia care înlocuiește variabila nu conține deloc variabile (adică funcția din această expresie conține o constantă (e) ca argument ( s)).
Înlocuirea expresiei ajută și la obținerea unei ecuații mai ușoare. Cu toate acestea, mulți confundă adesea rădăcinile ecuației consecințelor cu rădăcinile ecuației originale, înlocuindu-le în mod eronat în ecuația greșită atunci când verifică. Deci, de exemplu, după ce a făcut o înlocuire și a primit o anumită valoare ca rădăcină a ecuației consecințelor cu o variabilă , pentru verificare, trebuie mai întâi să o înlocuiți în formula de înlocuire pentru a calcula , care va fi rădăcina originalului ecuația din variabilă și care trebuie înlocuită în ea pentru verificare.
Cu toate acestea, există tipuri de ecuații pentru care nu se pot face anumite tipuri de substituții.
De exemplu, o ecuație de forma: unde este hiperoperatorul de comandă (pentru fiecare dintre ele există restricții suplimentare pentru )
Dacă facem o înlocuire , obținem următoarea ecuație:
Rezultă că fie nu există o soluție (ceea ce contrazice „practica teoretică”), fie hiperoperatorii sunt ambigui (ceea ce nu este adevărat pentru primii trei operatori - adunare , înmulțire și exponențiere ).
Pentru claritate, să presupunem că : Să facem o schimbare de unde ajungem la o contradicție, deși soluția acestei ecuații inițiale există și se exprimă printr-o superrădăcină de gradul doi [24] .
Exponentiation _Datorită posibilității de înmulțire a unei expresii numerice cu o expresie numerică, devine posibilă ridicarea unei expresii numerice la o putere diferită de zero [21] , care este un caz special de înmulțire cu factori identici. Cu toate acestea, exponentiația este definită strict numai pentru numerele nenegative, prin urmare, atunci când ridicați o expresie cu o variabilă la o putere, este necesar să indicați restricția corespunzătoare și să o luați în considerare în viitor.
Dacă, totuși, este imposibil să faci fără ridicarea unei expresii negative la o putere, atunci exponentul trebuie să fie un întreg, altfel o astfel de transformare va duce la rezolvarea a două ecuații în loc de una și la o creștere a numărului de rădăcini străine. , pentru că: dar în același timp, situația cu exponenții iraționali este încă care nu este definită.
Ridicarea zero (sau a unei expresii care poate lua zero) la puterea zero este, de asemenea, imposibilă (vezi Incertitudine ).
Chiar și exponenții dublează numărul de ecuații de rezolvat, deoarece funcțiile exponențiale ale exponenților pare sunt pare . Crește și numărul rădăcinilor străine [21] .
LogaritmConform proprietăților inegalităților numerice nestricte [22] , ambele părți ale ecuației pot fi logaritmizate . Cu toate acestea, există și limitări aici (pentru domeniul numerelor reale):
De aceea, logaritmul, de regulă, nu duce la o creștere a străinilor, ci la pierderea rădăcinilor adevărate.
PotenționareSpre deosebire de exponentiație, egalitățile numerice pot fi convertite în exponenți [21] :
În timp ce expresiile numerice pot fi orice, baza trebuie să fie pozitivă (sau negativă, sub rezerva restricțiilor corespunzătoare asupra variabilei).
Mai mult decât atât, chiar și exponenții expresiilor pot fi potențați, totuși, există un fel de interdependență limitativă între bază și grad, motiv pentru care baza nu poate fi oricare:
Acest lucru este ușor de demonstrat după cum urmează:
Inlocuim expresia rezultata in ecuatia originala:
de aici obținem: Următorul:
În cazul în care, formula este mult simplificată:
Tetrarea cu exponentul 2
Pentru expresiile numerice, puteți calcula tetrarea cu un exponent de 2 (adică ridicați expresia la puterea ei însăși):
Desigur, aici se impun restricții și asupra pozitivității expresiilor în sine sau asupra extinderii exponențiației în cazul negativității acestora.
Calculul tetrației cu exponenți mai mari impune anumite restricții sub formă de interdependențe ale expresiilor (vezi mai sus), de atunci vor avea loc așa-numitele „ turnuri de putere” . De asemenea, este posibil să extrageți super rădăcină cu indicatorul corespunzător, dar merită să luați în considerare și faptul că această operație este definită numai pentru numere pozitive.
Exemplu:
Să facem un înlocuitor
Cu toate acestea, din cauza incertitudinii tetrației pentru numerele nepozitive, a doua rădăcină a ecuației a dispărut:
SuperpotentaDe asemenea, datorită posibilității de a utiliza iterația anterioară (exponentiație), este posibilă convertirea egalităților numerice în indicatori de tetrare :
În acest caz, ar trebui să se țină cont de pozitivitatea bazei (deoarece nici măcar zero nu poate fi ridicat la puterea de sine) și de diferite incertitudini (reticențe) ale indicatorilor de tetrare neîntregi și/sau negativi.
Această tendință poate fi repetată în continuare (vezi Pentation , Hyperoperator ).
Cu o certitudine exactă, nu este încă posibilă supralogaritmul expresiilor numerice din cauza proprietăților insuficient studiate ale hiperoperatorilor și funcțiilor inverse acestora, deoarece nu este clar ce restricții impune o astfel de transformare.
Ecuațiile trigonometrice sunt numite ecuații care conțin numai funcții trigonometrice ca funcții ale variabilelor (adică ecuații care conțin compoziții numai ale funcțiilor trigonometrice).
La rezolvarea ecuațiilor de acest fel se aplică diverse identități, bazate pe proprietățile funcțiilor trigonometrice în sine (vezi identități trigonometrice ). În aceste transformări, totuși, merită luată în considerare natura compusă a tangentei și cotangentei, al căror sinus și cosinus sunt funcții independente ale aceleiași variabile.
Deci, după ce am făcut o înlocuire evidentă, vom obține o funcție complet nouă, ale cărei valori vor diferi de raportul tangentei inițial: (vezi graficele de mai jos).
O astfel de schimbare are loc datorită faptului că formula cu înlocuirea implică o rădăcină aritmetică , a cărei valoare este întotdeauna nenegativă. Totuși, dacă am semna „±”, funcția tangentă și-ar pierde unicitatea.
De exemplu, să rezolvăm o ecuație mai complicată:
pentru că atunci obținem:
Înmulțim cu 4 și din nou obținem sinusul unghiului dublu:
Formula finală a rădăcinilor:
Transformări ale ecuațiilor diferențiale și integraleEcuațiile diferențiale sunt, de regulă, ecuații care conțin funcții numerice și derivatele acestora. Astfel, toate transformările efectuate asupra ecuațiilor numerice se aplică și acestor tipuri de ecuații. Principalul lucru este să ne amintim că este mai bine să efectuați astfel de transformări în care intervalele de valori admisibile ale funcțiilor incluse în ecuație nu s-au schimbat deloc. O trăsătură distinctivă a ecuațiilor diferențiale față de cele numerice este posibilitatea de integrare (diferențiere) a acestora de ambele părți ale semnului egal.
Ecuațiile diferențiale, precum și cele numerice, se rezolvă analitic (integrare simbolică) la căutarea unei funcții antiderivative sau numeric - la calcularea unei integrale definite pe orice segment. Mai jos sunt principalele și cele mai frecvent utilizate transformări pentru găsirea unei soluții analitice.
Majoritatea tipurilor de ecuații diferențiale pot fi reduse la ecuații cu variabile separabile, a căror soluție generală este deja cunoscută [25] . Aceste transformări includ [25] :
Ecuațiile diferențiale liniare sunt de obicei rezolvate prin trei metode [25] :
Ecuațiile diferențiale Bernoulli sunt de asemenea reduse fie la ecuații liniare, fie la ecuații cu variabile separabile folosind substituții [26] .
Ecuațiile diferențiale omogene de ordinul doi și superior se rezolvă prin înlocuirea funcției și trecând astfel la rezolvarea ecuației algebrice caracteristice dintr-un grad variabil egal cu ordinul ecuației diferențiale inițiale.
Există tipuri de ecuații diferențiale de ordin superior, a căror ordine poate fi redusă prin înlocuirea derivatei unui ordin cu o altă funcție. În același mod, ele pot fi reduse la ecuații cu variabile separabile.
Ecuațiile integrale sunt mai complexe decât ecuațiile diferențiale, dar, la fel ca acestea, ele conțin adesea transformări integrale în soluțiile lor:
Pe lângă diferențială și integrală, există și un tip mixt - ecuații integro-diferențiale , principala direcție de rezolvare care este reducerea lor la cele două tipuri anterioare de ecuații prin diferite metode.
Transformări ale ecuațiilor funcționaleNu există o soluție generală a ecuațiilor funcționale, precum și metode generale. Prin ele însele, ecuațiile funcționale sunt proprietăți ale soluției lor - o funcție sau un tip de funcții. De exemplu, soluția ecuației funcționale Abel este funcția [27]
Aceste metode sunt un set separat de algoritmi pentru obținerea unei soluții la o anumită ecuație cu o precizie dată. Principalele diferențe față de soluția analitică:
Această metodă numerică de rezolvare a ecuației se bazează pe semnele opuse ale unei funcții continue aproape de zero. Algoritmul în sine este destul de simplu:
Exemplu: găsiți rădăcina pozitivă a ecuației Pentru a face acest lucru, rescrieți ecuația într-o funcție: Prin reprezentarea grafică a acestei funcție, este ușor să vă asigurați că valoarea dorită se află în segmentul Găsiți valorile funcției de la capete al acestui segment și mijlocul său: - după cum puteți vedea, produsul valorilor \ u200b \u200 și dă un rezultat negativ, spre deosebire de Acum, segmentul în care se află rădăcina este redus: Să repetăm procedura din nou (în în acest caz, valorile funcției de la capete sunt deja cunoscute din calculele anterioare): - acum segmentul este redus „în cealaltă direcție”: Următorul ciclu: - obținem un nou segment: Ciclul continuă la nivelul necesar precizie și apoi, ca valoare aproximativă a rădăcinii, este selectat sfârșitul segmentului, valorile funcției de la care sunt cele mai apropiate de zero. În exemplul nostru, valoarea 4,44129 va fi rădăcina ecuației originale până la a cincea zecimală.
O metodă numerică iterativă pentru găsirea rădăcinii unei ecuații cu o precizie dată, care se bazează pe aproximarea constantă a rădăcinii prin intersecțiile acordurilor cu axa absciselor. Următoarea formulă este folosită aici:
cu toate acestea, are o rată de convergență scăzută, astfel încât următorul algoritm este mai des folosit în schimb:
în diverse surse, ambele formule sunt numite diferit - metoda acordurilor și/sau metoda secantelor.
Algoritmul general de utilizare a metodei în sens geometric este:
Ideea principală a metodei lui Newton este de a folosi o aproximare iterativă a unei funcții diferențiabile conform următorului algoritm [28] :
Mai întâi trebuie să vă asigurați că funcția egalată cu zero în această ecuație îndeplinește anumite criterii , restricții și condiții pentru aplicabilitatea acestei metode, apoi asigurați-vă că nu există alte rădăcini necunoscute lângă rădăcina necunoscută descoperită (în caz contrar, puteți pur și simplu „încurcă-te”). Acum ar trebui să alegeți o valoare variabilă care este aproape de rădăcină (cu cât mai aproape, cu atât mai bine) și să o înlocuiți în formula de mai sus. Există două rezultate posibile:
Procesul iterativ continuă până când aproximarea rezultată a rădăcinii dorite a ecuației atinge precizia necesară.
Generalizând metoda acordurilor (secantelor) și metoda lui Newton, putem concluziona că ambele sunt un fel de același algoritm. Poate fi descris astfel:
În special, presupunând că ajungem la un algoritm numit metoda cu o tangentă; iar când obții aceeași metodă a lui Newton.
Exemplu: găsiți o aproximare a rădăcinii ecuației În primul rând, definim funcția și exprimăm prin ea:
— acum este necesar să ne asigurăm dacă funcția rezultată îndeplinește condiția de convergență;
dar
Acum rămâne să alegeți o valoare pentru prima iterație aproape de rădăcină (cu cât mai aproape, cu atât convergența metodei este mai rapidă). Lasă atunci
Să repetăm procedura pentru noua valoare:
După ce au trecut astfel 22 de pași de iterație, obținem o aproximare pentru care, până la a cincisprezecea zecimală, următoarea egalitate este adevărată: . Examinare:
Rețineți că rata de convergență depinde și de funcția în sine. Deci, dacă în loc de multiplicator punem , atunci cu aceeași valoare inițială și nivel de eroare, numărul de pași va crește de la 22 la 44.
Verificarea soluției este necesară pentru a determina una sau alta soluție obținută ca adevărată și/sau outsider. Ecuația este un caz special al problemei, deci sunt supuse unor metode similare de verificare și anume [29] :
Cu toate acestea, verificarea algoritmului nu este întotdeauna posibilă sau nu în totalitate, în plus, erorile pot fi făcute și în timpul verificării în sine, iar această metodă aproape niciodată nu „verifică” caracterul complet al soluției. În astfel de cazuri, se folosesc alte metode, cum ar fi [29] :