Path: utzoo!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!wuarchive!sdd.hp.com!elroy.jpl.nasa.gov!ncar!midway!mimsy!mojo!eng.umd.edu!lev
From: lev@eng.umd.edu (Lev Novik)
Newsgroups: comp.theory
Subject: Inferences
Message-ID: <1991Mar11.193909.10853@eng.umd.edu>
Date: 11 Mar 91 19:39:09 GMT
Sender: news@eng.umd.edu (C-News)
Reply-To: lev@eng.umd.edu (Lev Novik)
Organization: College of Engineering, Maryversity of Uniland, College Park
Lines: 14

Hi!
I have a problem:
-----
 Suppose we have a set of elements, and a set of inferences of
the type "If we know _these_ elements, we can find _that_ one."  Problem: find
the smallest set from which we can derive all elements of te original set.
-----
Can anybody refer me to any algorithm on this (preferably  not NP).?
Thanks.

------------------------------------
Lev Novik
Dept. of Mathematics
University of Maryland, College Park.