Polynomial-Time Mistake-Bounded Language Generation
2026-06-15 • Computational Complexity
Computational ComplexityMachine Learning
AI summaryⓘ
The authors introduce a faster (polynomial-time) approach to a method for learning languages by making mistakes, originally proposed by Kleinberg, Peale, and Reingold. They show that specific types of Boolean functions, like parities of variables and conjunctions of literals, can be learned efficiently using this method. Their main finding is that all monotone Boolean functions with a limited number of maxterms can also be learned in polynomial time, which includes functions computable by polynomial-size decision trees. They explain their technique using a new game involving writing numbers on a board, making the approach more understandable.
mistake-bounded learningpolynomial timeBoolean functionsmonotone functionsmaxtermsdecision treesparity functionsconjunctions of literalscombinatorial game
Authors
Héctor Jimenez, Alexander Kozachinskiy, Vicente Opazo
Abstract
In this note, we introduce a polynomial-time version of the mistake-bounded language generation (MBLG) framework due to Kleinberg, Peale, and Reingold (2026). We observe that the family of parities of variables, and the family of conjunctions of literals, are polynomial-time MBLG. Our main result states that the family of monotone Boolean functions with polynomially-many maxterms is polynomial-time MBLG. This family includes all monotone Boolean functions, computable by polynomial-size decision trees. Our technique can be presented as a new combinatorial game about writing numbers on a board.