Miller O(NP)