Pr-1st-1.1-m06-Slajd07

Algorytm Bacha, Touega dla środowiska asynchronicznego (2)

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

$𝒜^{c}$ – zadany zbiór łuków grafu $W F G^{c}$
${𝒪 𝒰 𝒯}_{i}^{B l a c k}$ – zadany zbiór łuków wyjściowych wierzchołka $P_{i}$ w kolorze Black grafu $W F G^{C}$
${ℐ 𝒩}_{i}^{B l a c k}$ – zadany zbiór łuków wejściowych wierzchołka $P_{i}$ w kolorze Black grafu $W F G_{C}$
$e x p e c t N o_{i}$ – liczność zbioru $𝒟_{i} = {𝒪 𝒰 𝒯}_{i}$ (liczbę łuków wyjściowych w grafie $W F G^{C}$ )
$o u t A r c C o l o u r_{i}$ – tablica reprezentująca kolory łuków wyjściowych wierzchołka $P_{i}$
$i n A r c C o l o u r_{i}$ – tablica reprezentująca kolory łuków wejściowych wierzchołka $P_{i}$
$o u t G r e y W h i t e N o_{i}$ – sumaryczną liczbę wyjściowych łuków o kolorze Grey lub White wierzchołka $P_{i}$