Pr-1st-1.1-m06-Slajd07

Algorytm Bacha, Touega dla środowiska asynchronicznego (2)

Najważniejsze zmienne wykorzystywane przez ten algorytm są następujące:

${\mathcal {A}}^{c}$ – zadany zbiór łuków grafu $WFG^{c}$
${\mathcal {OUT}}_{i}^{Black}$ – zadany zbiór łuków wyjściowych wierzchołka $P_{i}$ w kolorze Black grafu $WFG^{C}$
${\mathcal {IN}}_{i}^{Black}$ – zadany zbiór łuków wejściowych wierzchołka $P_{i}$ w kolorze Black grafu $WFG_{C}$
$expectNo_{i}$ – liczność zbioru ${\mathcal {D}}_{i}={\mathcal {OUT}}_{i}$ (liczbę łuków wyjściowych w grafie $WFG^{C}$ )
$outArcColour_{i}$ – tablica reprezentująca kolory łuków wyjściowych wierzchołka $P_{i}$
$inArcColour_{i}$ – tablica reprezentująca kolory łuków wejściowych wierzchołka $P_{i}$
$outGreyWhiteNo_{i}$ – sumaryczną liczbę wyjściowych łuków o kolorze Grey lub White wierzchołka $P_{i}$