О единичных проверяющих тестах константной длины для обобщенных итеративных контактных схемстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 24 января 2020 г.
Аннотация:В статье устанавливается, что для произвольной отличной от константы булевой функции f(x1,…,xn) существует тестопригодная, реализующая функцию f обобщенная итеративная контактная схема, допускающая единичный проверяющий тест константной длины.