Изменения

Перейти к: навигация, поиск

Метод Лупанова синтеза схем

135 байт убрано, 15:03, 15 октября 2013
Разделение на полосы: еще стилистический фикс
{{
Определение|definition=
'''Сорт''' некоторого столбца данной полосы {{---}} его [[Отношение эквивалентности#Классы эквивалентности | класс эквивалентности]] по отношению поэлементного равенства столбцов одной данной полосы, к которому рассматриваемый столбец принадлежит (два столбца [[Отношение эквивалентности | эквивалентны]], если совпадают по значениям).
}}
Число сортов столбцов <tex>i</tex>-й полосы обозначим как <tex>t(i)</tex>. Понятно, что для любой полосы <tex>t(i) \leq 2^s</tex> (для последней <tex>t(p) \leq 2^{s'}</tex>).

Навигация