Show simple item record

dc.contributor.authorLozin, Vadim
dc.contributor.authorMoshkov, Mikhail
dc.date.accessioned2021-04-04T06:22:19Z
dc.date.available2021-04-04T06:22:19Z
dc.date.issued2021-03-22
dc.identifier.citationLozin, V., & Moshkov, M. (2021). Critical Properties and Complexity Measures of Read-Once Boolean Functions. Annals of Mathematics and Artificial Intelligence. doi:10.1007/s10472-021-09734-6
dc.identifier.issn1573-7470
dc.identifier.issn1012-2443
dc.identifier.doi10.1007/s10472-021-09734-6
dc.identifier.urihttp://hdl.handle.net/10754/668490
dc.description.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.
dc.description.sponsorshipResearch reported in this publication was supported by the King Abdullah University of Science and Technology (KAUST).
dc.publisherSpringer Nature
dc.relation.urlhttp://link.springer.com/10.1007/s10472-021-09734-6
dc.rightsThis article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
dc.rights.urihttps://creativecommons.org/licenses/by/4.0
dc.titleCritical Properties and Complexity Measures of Read-Once Boolean Functions
dc.typeArticle
dc.contributor.departmentApplied Mathematics and Computational Science Program
dc.contributor.departmentComputer, Electrical and Mathematical Sciences and Engineering (CEMSE) Division
dc.contributor.departmentExtensions of Dynamic Programming, Machine Learning and Discrete Optimization Research Group
dc.identifier.journalAnnals of Mathematics and Artificial Intelligence
dc.eprint.versionPublisher's Version/PDF
dc.contributor.institutionMathematics Institute, University of Warwick, Coventry, CV4 7AL, UK
kaust.personMoshkov, Mikhail
dc.date.accepted2021-02-24
dc.identifier.eid2-s2.0-85103215318
refterms.dateFOA2021-04-04T06:23:06Z


Files in this item

Thumbnail
Name:
Lozin-Moshkov2021_Article_CriticalPropertiesAndComplexit.pdf
Size:
638.2Kb
Format:
PDF
Description:
Publisher's version

This item appears in the following Collection(s)

Show simple item record

This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Except where otherwise noted, this item's license is described as This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.