The top documents tagged [complexity class np]