tranzitivna ovojnica (diskretna matematika)

Če potrebuješ le algoritem, bo tole delovalo:

for (i=0; i<n; i++)
  for (j=0; j<n;j++)
    for (k=0;k<n;k++)
      if (a[j][i] == 1 && a[i][k] == 1) a[j][k] = 1;

Če potrebuješ tudi razlago:
po 1. iteraciji zunanje (i) zanke imaš matriko relacije R', kjer velja xR'Y <=> xRy ali xRa & aRy. To lahko razmisliš.
po 2. iteraciji dobiš R", xR"y <=> xR'y ali xR'b & bR'Y <=> xRy ali (xRa & aRy) ali (xRb ali xRa & aRb) & (bRy ali bRa & aRy). Če malo polepšaš, vidiš, da si pokril vse primere, kako z R priti od x do y direktno ali preko a in/ali b.
In tako naprej

Bi mi še lahko kdo povedal kako se reši naslednja naloga iz mrež in boolove algebre:

Razvrsti elemente mnozice (Del(340),D, v',) v mrezo. Ali je to Boolova
algebra?

Ja to je grafično razvrščanje (ima spodnjo in zgornjo mejo), poleg tega pa so tu tudi Hassejevi diagrami