2 search results - page 1 / 1 » Parity Systems and the Delta-Matroid Intersection Problem |
COMBINATORICS
2000
13 years 10 months ago
2000
We consider the problem of determining when two delta-matroids on the same ground-set have a common base. Our approach is to adapt the theory of matchings in 2-polymatroids develo...
CSL
2007
Springer
14 years 5 months ago
2007
Springer
The question of the exact complexity of solving parity games is one of the major open problems in system verification, as it is equivalent to the problem of model-checking the mod...