正則マトロイド
独立性オラクルが与えられたとき、マトロイドが正則か否かを多項式時間で判定するアルゴリズムが存在する。