Diagrama grafică a algoritmului

Algorithm graph -scheme (GSA) este un graf direcționat finit , ale cărui vârfuri corespund operatorilor, iar arcele definesc ordinea vârfurilor (operatorilor) algoritmului, unde este numărul de vârfuri ale graficului, este numărul de arce. Într-un sens mai larg, nodurile grafice corespund nu numai vârfurilor operatorului, ci și nodurilor condiționale, inițiale și finale etc. Când luăm în considerare algoritmi paraleli, este introdus conceptul de schemă de grafic cu algoritmi paraleli (ParGSA), care include care sunt de obicei combinate. Uneori [1] [2] [3] vârfuri de tipuri suplimentare sunt introduse în GSA: uniuni de arce alternative (un vârf pereche pentru un vârf condiționat), vârfuri de operator fictiv, vârfuri de marcare (pentru a oferi posibilitatea simulării executarea algoritmului de către o rețea Petri ), așteptând vârfuri.

Cu toate acestea, nici un graf direcționat compus din vârfuri ale tipurilor de mai sus nu poate fi identificat cu un algoritm corect . De exemplu, mai mult de un arc nu poate ieși dintr-un vârf operator. Prin urmare, în practică, de obicei ne limităm să luăm în considerare o subclasă de scheme grafice ale algoritmilor care satisfac proprietățile de siguranță, vioitate și stabilitate. [4] Algoritmii de transformare GSA, care sunt un subset de algoritmi pentru procesarea graficelor generale, au adesea diferențe semnificative datorită utilizării proprietăților GSA speciale, care permite simplificarea lor, reducerea timpului sau complexitatea capacității . [1] [3] [5]

Ca parte a diagramei grafice a algoritmului, se pot distinge elemente mai mari, reprezentate prin subseturi de vârfuri și arce ale acestuia: ramuri (lanțuri liniare sau secțiuni de vârfuri) și fragmente (inițiale, paralele, alternative, ciclice cu pre-, postcondiție și întrerupere). O reprezentare echivalentă a schemei grafice a unui algoritm corect este un arbore de fragmente , care reflectă ordinea de imbricare a fragmentelor.

Vezi și

Note

  1. ↑ 1 2 Vatutin E. I., Zotov I. V. Construirea unei matrice de relații în problema partiționării optime a algoritmilor de control paralel . Știri ale Universității Tehnice de Stat din Kursk. Kursk. Nr. 2, p. 85–89. (2004). Arhivat din original pe 28 aprilie 2012.
  2. ↑ Zotov I. V., Titov V. S., Koloskov V. A. [et al.] Organizarea și sinteza microprogramelor multimicrocontrolere. Kursk: editura „Kursk”, 1999. 368 p. ISBN 5-7277-0253-4
  3. ↑ 1 2 Vatutin E. I., Zotov I. V., Titov V. S. [et al.] Probleme combinatorii-logice de sintetizare a partițiilor de algoritmi de control logic paralel în proiectarea multicontrolerelor logice. Kursk, editura Universității Tehnice de Stat din Kursk, 2010. 200 p. ISBN 978-5-7681-0523-5
  4. ↑ Zakrevskiy A.D. Despre corectitudinea algoritmilor de control logic paralel // Izvestia a Academiei de Științe a URSS. Cibernetică tehnică. - 1987. - Nr 4 . - S. 106-112 .
  5. ↑ Vatutin E. I., Zotov I. V., Titov V. S. Identificarea aparițiilor izomorfe ale expresiilor R la construirea unui set de secțiuni de algoritmi de control logic paralel . Sisteme informatice de masurare si control. Nr 11, T. 7. M .: „Inginerie radio”. pp. 49–56. (2009). Arhivat din original pe 28 aprilie 2012.

Link -uri