Аннотация:
Рассматривается задача о возможности частичного задания булевой функции таким образом, чтобы предъявление некоторых ее наборов однозначно задавало любую линейную функцию. Показано, что требуемое число наборов области определения растет линейным образом относительно числа переменных.
Работа выполнена при поддержке программы Президента Российской Федерации для поддержки молодых российских ученых – докторов наук, грант МД-757.2011.9.