Provably Intractable Problems, Oracles