Загрузка...

Teoria da Computação (Aula 20) - L e NL, NL = coNL

Revisou espaço : NL ⊆ SPACE e NL ⊆ P. Introduziu transdutores de espaço logarítmico e reducibilidade de espaço logarítmico. Definiu completude NL. Provou que é NL-completo e é NL-completo. Provou o teorema de Immerman-Szelepcsényi: NL = coNL.

Instrutor: Prof. Michael Sipser

Видео Teoria da Computação (Aula 20) - L e NL, NL = coNL канала estude.org
Яндекс.Метрика
Все заметки Новая заметка Страницу в заметки
Страницу в закладки Мои закладки
На информационно-развлекательном портале SALDA.WS применяются cookie-файлы. Нажимая кнопку Принять, вы подтверждаете свое согласие на их использование.
О CookiesНапомнить позжеПринять