home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!ogicse!das-news.harvard.edu!cantaloupe.srv.cs.cmu.edu!sjha
- From: sjha+@cs.cmu.edu (Somesh Jha)
- Newsgroups: comp.theory
- Subject: Elimination ordering question.
- Message-ID: <Bx984q.220.2@cs.cmu.edu>
- Date: 5 Nov 92 17:48:25 GMT
- Article-I.D.: cs.Bx984q.220.2
- Sender: news@cs.cmu.edu (Usenet News System)
- Organization: School of Computer Science, Carnegie Mellon
- Lines: 18
- Nntp-Posting-Host: gs62.sp.cs.cmu.edu
-
-
-
- Hi:
-
- I need some literature on the following problem. I already have a proof that
- it is NP-complete. Given a family of sets which are subsets of
- {x_1,x_2, ... ,x_n}. I define what it means to eliminate x_i.
- We union together all the sets which contain x_i, remove x_i from it,
- and replace all these sets by the new set. Now we get a new family of
- sets. The problem is to find the best elimination ordering. Or the
- decision version will be to find an elimination ordering so that we
- do not create a set of size greater that k during the elimination
- procedure.
-
- Any pointers? I know the problem is vague, but still I am hoping somebody
- must have worked on a similar problem.
-
- Thanks.
-