6.4.4.5. דוגמא
נביט במבנה הבא ובתנאי ההוגנות הנתון:
![](/documentResources/326/image080.png)
![plot:$H
= \left\{ {\left\{ {1,2} \right\},\left\{ {1,5} \right\}} \right\}$](/documentResources/326/plot_1443.png)
חישוב fair - ![plot:$fair =
{E_F}G\,\,true$](/documentResources/326/plot_1444.png)
- בניית
: מתקיים כי
.
נשתמש בהגדרה - קבוצת המצבים המספקים את
היא כל המצבים.
- מציאת הרכיבים
הקשירים היטב המקסימלים:
![plot:\[MSCC = \left\{ {\left\{ {2,3,4,5}
\right\},\left\{ 6 \right\},\left\{ 0 \right\},\left\{ 1 \right\}} \right\}\]](/documentResources/326/plot_211.png)
כאשר
הם רכיבים טריויאליים.
- מציאת הרכיבים
הקשירים היטב ההוגנים:
![plot:\[FMSCC
= \left\{ {\left\{ {2,3,4,5} \right\},\left\{ 1 \right\}} \right\}\]](/documentResources/326/plot_213.png)
![plot:$fair
= \left\{ {2,3,4,5,0,1} \right\} = S - \left\{ 6 \right\}$](/documentResources/326/plot_1448.png)
חישוב ![plot:${E_f}\left( {aUb}
\right)$](/documentResources/326/plot_1449.png)
- על מנת לבדוק
את הנוסחה נבדוק
.
- מתקיים
![plot:$b
\wedge fair = \left\{ {0,3} \right\}$](/documentResources/326/plot_1451.png)
- הולכים
אחורנית למצבים המסומנים ב-
, ונקבל: ![plot:$E\left(
{aU\left( {b \wedge fair} \right)} \right) = \left\{ {0,3,4} \right\}$](/documentResources/326/plot_1453.png)
חישוב ![plot:${E_f}Ga$](/documentResources/326/plot_1454.png)
- נחשב את
- קבוצת המצבים המספקים את
והקשתות ביניהם:
![](/documentResources/326/image082.png)
![plot:$MSCC
= \left\{ {\left\{ {3,4} \right\},\left\{ 6 \right\},\left\{ 1 \right\}}
\right\}$](/documentResources/326/plot_1457.png)
![plot:$FMSCC
= \emptyset $](/documentResources/326/plot_1458.png)