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])