C H E M I N S
==> arcs nouvellement visités.

 

SÉMANTIQUE DES CHEMINS

  1. LIGNE identiquement nulle (physiquement vide)
  2. (1ere colonne /= 0 de LIGNE) > (1e col. /= 0 de PLUS)
  3. - id -   <   - id -
  4. - id -   =   - id - , et leur somme /= 0
  5. Idem, mais Somme = 0