Критерії розповсюдження

Date: 2015-10-07; view: 378.

В критерії , за визначенням, у підфункцій допускається модифікація довільного, але тільки одного з аргументів.

Модифікація декількох аргументів розглядається в так званому критерії розповсюдження степеня (Propagation Criterion).

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

У випадку, коли відомо, що рівноймовірна для конкретного вектора , говорять, що задовольняє критерій розповсюдження степеня відносно вектора .

Загальний випадок відповідає формулюванню критерія розповсюдження степеня , порядку .

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

Порада. Позначення - стандартні, звикнути до них простіше, якщо співставляти їм мнемонічні назви «допустима вага» «фіксація».