Title: Deciding the K-dimension is PSPACE-complete
Authors: Marcus Schaefer
Abstract: In 1988 Littlestone introduced the optimal mistake-bound learning model to learning theory. In this model the difficulty of learning a concept from a concept class is measured by the K-dimension of the concept class, which is a purely combinatorial notion. This is similar to the situation in PAC-learning, where the difficulty of learning can be measured by the Vapnik-Cervonenkis dimension.We show that determining the K-dimension of a concept class is a PSPACE-complete problem where the concept class is given as a circuit. This also implies that any optimal learner (making the least number of mistakes) that works on all concept classes over finite universes has to be PSPACE-hard.

 

Full Paper:  [ps]