FranconiSpace

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

====== Solutions to the Assumables lab ======

===== 5.9 =====

The minimal conflicts are: {d}, {e, g} and {h}.

===== 5.13 =====

//a ← h ⋀ reliable_s1 .\\
d ← c ⋀ reliable_s1 .\\
e ← d ⋀ reliable_s2 .\\
f ← k ⋀ reliable_s2 .\\
z ← g ⋀ reliable_s2 .\\
j ← reliable_s2 .\\
h ← d ⋀ reliable_s3 .\\
a ← b ⋀ e ⋀ reliable_s4 .\\
b ← c ⋀ reliable_s4 .\\
g ← f ⋀ j ⋀ reliable_s5 .\\
false ← a ⋀ z .\\
c .\\
k .\\ //
**assumables**: {//reliable_s1, reliable_s2, reliable_s3, reliable_s4, reliable_s5//}

===== 5.17 =====

(a)\\
**assumables**: {//ok_sc_lg, ok_sc_hg, ok_s1_ant, ok_s2_ant, ok_s2_trans, alive_sc,_no dist//}
\\
**integrity constraint**: //false ← no_signal_gc ⋀ get_signal_gc.//

(b)\\
//{ok_sc_hg, alive_sc, ok_s1_ant}\\
{ok_sc_hg, alive_sc, ok_s2_ant, ok_s2_trans}\\
{ok_sc_lg, alive_sc, no_dist}//


<nowiki>(c)</nowiki>\\
//{alive_sc}\\
{ok_sc_hg, ok_sc_lg}\\
{ok_sc_hg, no_dist}\\
{ok_s1_ant, ok_s2_ant, ok_sc_lg}\\
{ok_s1_ant, ok_s2_ant, no_dist}\\
{ok_s1_ant, ok_s2_trans, ok_sc_lg}\\
{ok_s1_ant, ok_s2_trans, no_dist}//