Authors: Frank Stephan*, Ryo Yoshinaka, and Thomas Zeugmann
Source: Computer and Information Science II,
26th International Symposium on Computer and Information Sciences.
Abstract. Angluin (1980) showed that there is a consistent and conservative learner for the class of non-erasing pattern languages; however, most of these learners are NP-hard. In the current work, the complexity of consistent polynomial time learners for the class of non-erasing pattern languages is revisited, with the goal to close one gap left by Angluin, namely the question on what happens if the learner is not required to output each time a consistent pattern of maximum possible length. It is shown that consistent learners are non-uniformly W-hard inside the fixed-parameter hierarchy of Downey and Fellows (1999), and that there is also a W-complete such learner. Only when one requires that the learner is in addition both, conservative and class-preserving, then one can show that the learning task is NP-hard for certain alphabet-sizes.
*Supported in part by NUS grant numbers R146-000-114-112 and R252-000-420-112
©Copyright 2011, Springer