Compare commits

..

No commits in common. "main" and "v0.3.4" have entirely different histories.
main ... v0.3.4

View File

@ -830,7 +830,7 @@ ir problēmas (2 ekvivalentas definīcijas):
Ekvivalence ir pierādīta ar abpusēju pārveidojumu no pārbaudītāja uz nedet.
#TM un atpakaļ.
== NP-pilnas problēmas un to redukcijas
== NP-pilnas probēmas un to redukcijas
=== Polinomiāla redukcija $(<=#sub("poly"))$