ОЦЕНКИ ВЫСОКОЙ СТЕПЕНИ ТОЧНОСТИ ДЛЯ СЛОЖНОСТИ ПРЕДИКАТНЫХ СХЕМ В НЕКОТОРЫХ БАЗИСАХ // Ученые записки КФУ. Физико-математические науки 2009 N2

Abstract

Рассматривается задача синтеза для специального класса управляющих систем - класса так называемых предикатных схем, который обобщает многие из традиционных классов схем (схемы из функциональных элементов, контактные схемы и др.). Данные схемы строятся на основе предикатных элементов и зачастую не имеют заранее фиксированного направления протекания сигналов.

Исследуется асимптотическое поведение функции Шеннона L(n) для сложности реализации предикатов от n переменных предикатными схемами в полном базисе B специального вида. Для L(n) получены следующие асимптотические оценки высокой степени точности L(n) = ρ·2/n·(1 + [(2 + 1/(k- 1))log n ± O(1)]/n), где ρk- константы, зависящие от базиса.