165
правок
Изменения
Новая страница: «В классе '''NL''' выделяют подкласс полных в этом классе задач. ===Определение=== Язык ''L'' яв…»
В классе '''[[NL]]''' выделяют подкласс полных в этом классе задач.
===Определение===
Язык ''L'' является '''NL'''-полным, если он принадлежит классу '''NL''' и любой другой язык ''L<nowiki>'</nowiki>'' из '''NL''' можно [[сведение по Карпу|свести по Карпу]] к ''L'', притом сведение будет использовать логарифмическое количество памяти.
==Примеры==
===Определение===
Язык ''L'' является '''NL'''-полным, если он принадлежит классу '''NL''' и любой другой язык ''L<nowiki>'</nowiki>'' из '''NL''' можно [[сведение по Карпу|свести по Карпу]] к ''L'', притом сведение будет использовать логарифмическое количество памяти.
==Примеры==
