WikiDer > Представление Лупанова - Википедия
Эта статья не цитировать любой источники. (Декабрь 2009 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Эта статья может требовать уборка встретиться с Википедией стандарты качества. Конкретная проблема: Неполное определение (Август 2014 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Лупанова (k, s)-представление, названный в честь Олег Лупанов, это способ представления Булевы схемы чтобы показать, что обратная величина Эффект Шеннона. Шеннон показал, что почти все Логические функции из п переменные нуждаются в схема размером не менее 2пп−1. Обратное:
Все булевы функции п переменные могут быть вычислены с помощью схемы не более 2пп−1 + o (2пп−1) ворота.
Определение
Идея состоит в том, чтобы представить значения логической функции ƒ в таблице 2k строк, представляющих возможные значения k первые переменные Икс1, ..., ,Иксk, и 2п−k столбцы, представляющие значения других переменных.
Позволять А1, ..., Ап - такое разбиение строк этой таблицы, что для я < п, |Ая| = s и .Позволять ƒя(Икс) = ƒ(Икс) если только Икс ∈ Ая.
Кроме того, пусть - множество столбцов, пересечение которых с является .