On the power of equivalence queries

View/Open
Document typeResearch report
Defense date1993-01-01
PublisherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial
property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public
communication or transformation of this work are prohibited without permission of the copyright holder
Abstract
In 1990, Angluin showed that no class exhibiting a combinatorial property called approximate fingerprints can be identified exactly using polynomially many Equivalence queries. Here we show that this is a necessary condition: every class without approximate fingerprints has an identification strategy that makes a polynomial number of Equivalence queries. Furthermore, if the class is reasonable in a technical sense, the computational power required by the strategy is within the polynomial-time hierarchy, so proving non-learnability is at least as hard as showing P different from NP.
Description
Preliminary version in Proc. EuroCOLT'93. Updated: June 20th, 1994.
CitationGavaldà Mestre, Ricard. "On the power of equivalence queries". Barcelona: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993.
Is part ofLSI-93-12-R
Collections