exact_matching (225B)
1 # Exact matching 2 3 - Input: [graph_bipartite] G with bicolored edges, integer k 4 - Output: does G contain a matching with exactly k red edges 5 6 [maalouly2022exact]: this is in [rp] and not known to be in [ptime] 7 8 Up: [matching]