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...

ver descrição completa

Detalhes bibliográficos
Autores: Guijarro Guillem, David, Lanvín, Víctor, Raghavan, Vijay
Formato: informe técnico
Fecha de publicación:1998
País:España
Recursos: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
Acesso em linha:https://hdl.handle.net/2117/84907
Access Level:acceso abierto
Palavra-chave:Boolean functions
Irrelevant variables
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
Descrição
Resumo: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.