def example_2_opposite():
"""
Solves a simple example.
"""
g = gen.opposite_priorities(
io.load_generalized_from_file("assets/strong parity/example_2.txt"))
(a, c) = gp.generalized_parity_solver(g)
return op.are_lists_equal(a, []) and op.are_lists_equal(c, [1, 3, 4, 2])
def worstcase1_opposite():
"""
Solves a worst case graph G_n for n = 1.
"""
g = gen.opposite_priorities(
io.load_generalized_from_file("assets/strong parity/worstcase_1.txt"))
(a, c) = gp.generalized_parity_solver(g)
return op.are_lists_equal(a, []) and op.are_lists_equal(c, [1, 3, 4, 2, 0])
def figure56_opposite():
"""
Solves the strong parity game from figure 5.6.
"""
g = gen.opposite_priorities(
io.load_generalized_from_file("assets/strong parity/figure56.txt"))
(a, c) = gp.generalized_parity_solver(g)
return op.are_lists_equal(a, []) and op.are_lists_equal(
c, [2, 4, 1, 6, 5, 3])