toyboot4e / ac-library-hs

[WIP] Haskell port of ac-library.
Creative Commons Zero v1.0 Universal
4 stars 0 forks source link

Verify non-deterministic problems #28

Closed toyboot4e closed 3 weeks ago

toyboot4e commented 3 weeks ago

Problems such as maximum flow, min-cost flow and two-sat have multiple, non-deterministic answers. These problems cannot be verified with AtCoder test cases and answers. We can use Library Checker problems, where local, real judge works, but it doesn't fully cover ALPC problems. Maybe AOJ problems fill the rest?

toyboot4e commented 3 weeks ago

As in d6930bc, AOJ provides deterministic problems.