Re: logic help
- From: damog@xxxxxxxxx (David Moreno Garza)
- Date: Thu, 15 Feb 2007 13:02:06 -0600
On Wed, 2007-02-14 at 21:35 -0500, Tony Heal wrote:
I am working on a script to back trace debian package (program) dependencies.
Here is how the systems works
Package A needs packages D,E & F installed before it will install
Package D needs package G, H & I installed before it will install
Package G needs package C, J & K installed before it will install
Package C needs package Y installed before it will install
Given a list of package names and their dependencies
How can I prove that package A actually depends on package Y
Do you mean by a mathematical proof?
If so, that's a normal theory set proof. See each package as a set.
A is the result of the intersection of D, E and F. Take any element of
A, that means, it is contained in D, E and F. So, the element of A is in
D. And D is the intersection of G, H and I, that means, the element of D
is contained in G, H and I. So, it is in G. G is the intersection of C,
J and K, so the element of G is on all these, that means the element of
G is also contained in C. And C has the same elements as Y. Therefore,
the element taken from A is also in Y.
See elements as dependencies. And the dependencies themselves, as sets.
I'm sorry for not stating all of this with the proper mathematical
terms: I'm not used to math terms in English.
Hope this helps.
--
David Moreno Garza
Abajo y a la izquierda está el corazón.
http://www.damog.net/
Attachment:
signature.asc
Description: This is a digitally signed message part
- References:
- logic help
- From: Tony Heal
- logic help
- Prev by Date: Re: Large hashes of hashes
- Next by Date: Re: parsing problem
- Previous by thread: Re: logic help
- Next by thread: Simple mp2 redirect
- Index(es):
Relevant Pages
|
|
