Представление Лупанова - Википедия - Lupanov representation

Лупанова (ks)-представление, названный в честь Олег Лупанов, это способ представления Булевы схемы чтобы показать, что обратная величина Эффект Шеннона. Шеннон показал, что почти все Логические функции из п переменные нуждаются в схема размером не менее 2пп−1. Обратное:

Все булевы функции п переменные могут быть вычислены с помощью схемы не более 2пп−1 + o (2пп−1) ворота.

Определение

Идея состоит в том, чтобы представить значения логической функции ƒ в таблице 2k строк, представляющих возможные значения k первые переменные Икс1, ..., ,Иксk, и 2пk столбцы, представляющие значения других переменных.

Позволять А1, ..., Ап - такое разбиение строк этой таблицы, что для я < п, |Ая| = s и .Позволять ƒя(Икс) = ƒ(Икс) если только  Икс ∈ Ая.

Кроме того, пусть - множество столбцов, пересечение которых с является .

Смотрите также