Exact learning when irrelevant variables abound

We prove the following results. Any Boolean function of O(log n) relevant variables can be exactly learned with a set of non-adaptive membership queries alone and a minimum sized decision tree representation of the function constructed, in polynomial time. In contrast, such a function cannot be exac...

Descripción completa

Detalles Bibliográficos
Autores: Guijarro Guillem, David, Lanvín, Víctor, Raghavan, Vijay
Tipo de recurso: informe técnico
Fecha de publicación:1998
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/84907
Acceso en línea:https://hdl.handle.net/2117/84907
Access Level:acceso abierto
Palabra clave:Boolean functions
Irrelevant variables
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
Descripción
Sumario:We prove the following results. Any Boolean function of O(log n) relevant variables can be exactly learned with a set of non-adaptive membership queries alone and a minimum sized decision tree representation of the function constructed, in polynomial time. In contrast, such a function cannot be exactly learned with equivalence queries alone using general decision trees and other representation classes as hypotheses. Our results imply others which may be of independent interest. We show that truth-table minimization of decision trees can be done in polynomial time, complementing the well-known result of Masek that truth-table minimization of DNF formulas is NP-hard. The proofs of our negative results show that general decision trees and related representations are not learnable in polynomial time using equivalence queries alone, confirming a folklore theorem.