Abstract:
We consider the problem of construction of a conditional diagnostic test for the read-once functions in an arbitrary basis with the use of queries of values of function at a point and queries to check an arbitrary subfunction for an identical equality to a constant. We show a connection of this problem to the checking test and prove its polynomial solvability for a wide class of Boolean functions.