Membership oracle testing whether a N^2-dim 0/1-vector represents a permutation matrix on N elements.