On the Minimization of Boolean Functions for Additive Complexity Measures

2019 ◽  
Vol 13 (3) ◽  
pp. 418-435
Author(s):  
I. P. Chukhrov
Cybernetics ◽  
1975 ◽  
Vol 10 (3) ◽  
pp. 393-397 ◽  
Author(s):  
I. B. Gurevich ◽  
Yu. I. Zhuravlev

Author(s):  
Vadim Lozin ◽  
Mikhail Moshkov

AbstractIn this paper, we define a quasi-order on the set of read-once Boolean functions and show that this is a well-quasi-order. This implies that every parameter measuring complexity of the functions can be characterized by a finite set of minimal subclasses of read-once functions, where this parameter is unbounded. We focus on two parameters related to certificate complexity and characterize each of them in the terminology of minimal classes.


Sign in / Sign up

Export Citation Format

Share Document