On Boolean threshold functions with minimum specification number

Autor: Vadim Lozin, Viktor Zamaraev, Elena Zamaraeva, Nikolai Yu. Zolotykh
Rok vydání: 2022
Předmět:
Zdroj: Information and Computation
ISSN: 0890-5401
Popis: A set S of Boolean points is a specifying set for a threshold function f if the only threshold function consistent with f on S is f itself. The minimal cardinality of a specifying set for f is the specification number of f and it is never smaller than for a function with n relevant variables. In the present paper, we develop an inductive approach to describing the set of Boolean threshold functions with minimum specification number by means of operations that allow us to extend functions of n variables in this set to functions of variables.
Databáze: OpenAIRE