Showing papers by "Juris Hartmanis published in 1980"
TL;DR: The purposes of this paper are to derive some new results about how the relative succinctness of representations change when the representations contain a formal proof that the languages generated are in the desired subclass of languages.
Abstract: The purposes of this paper is to give simple new proofs of some interesting recent results about the relative succinctness of different representations of regular, deterministic and unambiguous context-free languages and to derive some new results about how the relative succinctness of representations change when the representations contain a formal proof that the languages generated are in the desired subclass of languages.
69 citations
01 Sep 1980
TL;DR: The origins and motivation for the conjecture that sparse NP complete sets do not exist (unless P = NP) are reviewed and the development of the ideas and techniques which led to the recent solution of this conjecture are described.
Abstract: The purpose of this paper is to review the origins and motivation for the conjecture that sparse NP complete sets do not exist (unless P = NP) and to describe the development of the ideas and techniques which led to the recent solution of this conjecture.
13 citations