|
|
|
|
|
|
by rrobukef
2147 days ago
|
|
|
Parys' quasi-polynomial algorithm for solving parity games, https://arxiv.org/pdf/1904.12446.pdf Note, another implementation doesn't have this behaviour for the family of inputs I use. It's an implementation detail that has no effect on correctness. Thus for the other implementation another family should exist. |
|
|