А   Б  В  Г  Д  Е  Є  Ж  З  І  Ї  Й  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Ю  Я 


Валиант

Валиант[18]виявив, що синтаксичний аналіз настільки ж складний, як і множення булевих матриць. Отже, оскільки Iog27281 справедлива наступна теорема.

Валиант дав багато прикладів фр - повноти функцій, але, можливо, найбільш цікавий з них - перманент целочисленной матриці.

Валиант дав перше переконливе пояснення цієї безуспішності коли довів, що перманент фр - повний.

Є, однак, велика кількість очевидно невичіслімих функцій, для яких, мабуть, не можна знайти жодного доказу AfP-повнісінько-ти, до них застосовується. Леслі Валиант[86, 87], Щоб вийти з положення, ввів поняття ФР - повноти.

Піппенджер і Валиант[8]зуміли довести для деяких систем монотонних функцій на зразок системи функцій сортування і булевої згортки, що будь-яка монотонна схема, яка реалізує таку систему, повинна представлятися сдвигающим графом (a shifting graph), і тому повинна містити Q (nlogn) елементів по числу Q (ttlogn) вершин графа.