terça-feira, 6 de janeiro de 2009

Um algoritmo para degenerar conjuntos

Seja U o universo de todos os conjuntos cujos elementos sofrem mudanças, tal que, U = S1 + S2 + ... + Sn +M, onde Sk é um subconjunto de U, com propriedade Pk e k = 1, 2, ..., n e M é o conjunto dos elementos que sofreram alguma mudança, a propriedade Pm o define. Para qualquer conjunto Sk e M as definições a seguir são válidas.

  1. O conjunto vazio está contido em qualquer conjunto Sk e no conjunto M, portanto Sk inter inter M inter vazio = vazio;
  2. Se w é um elemento de Sk, então w goza da propriedade Pk;
  3. Se w é um elemento de M, então w goza da propriedade Pm;
  4. Se w sofrer alguma mudança, tal que, w deixe de gozar da propriedade Pk de Sk, então, w passa a pertencer a M gozando da propriedade Pm, onde m(Ei, Pk) faz com que o elemento Ei passe a gozar da propriedade Pk;
  5. N(Sk) revela quantos elementos o conjunto Sk tem;
v = S1 inter vazio;
Para k = 1 até n - 1 faça
num = N(Sk);
Para i = 1 até num
m(Ei, Pk+1);
Sk = v;
m(Sn, p1);
Sn = v;

num = N(M);
per = false;
para i = 1 até num faça
para k = 1 até n faça
per = Per(Ei, Sk);

per sempre será false, pois qualquer elemento de M não pertence mais a qualquer conjunto de U. Para conjuntos de elemento multáveis é necessário definir uma idéia diferente de conjunto vazio. FALTA DEFINIR.

Nenhum comentário: