The top documents tagged [optimal hardness]