On Degeneracy in the P-Matroid Oriented Matroid Complementarity Problem

We investigate degeneracy in the P-Matroid Oriented Matroid Complementarity Problem (P-OMCP) and its impact on the reduction of this problem to sink-finding in Unique Sink Orientations (USOs). On one hand, this understanding of degeneracies allows us to prove a linear lower bound for sink-finding in P-matroid USOs. On the other hand, it allows us to prove a promise preserving reduction from P-OMCP to USO sink-finding, where we can drop the assumption that the given P-OMCP is non-degenerate. This places the promise version of P-OMCP in the complexity class PromiseUEOPL.
Comment: 16 pages, 6 figures, presented at EuroCG'23