Материалы что дал Мухачев / Материалы что дал Мухачев / Білети_коротки_відповіді / Білети_відпові_БСДМ / Mg_Vidp32

32. Алгоритмічна сутність критерію .

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

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

Критична множина критерія складається зі всіх похідних , .

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

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

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