1
Vấn đề quyết định sao cho bất kỳ thuật toán nào thừa nhận thuật toán nhanh hơn theo cấp số nhân
Trong Thuật toán của Hromkovič cho các vấn đề khó khăn (ấn bản thứ 2) có định lý này (2.3.3.3, trang 117): Có một vấn đề quyết định (có thể quyết định) sao cho với mọi thuật toán giải được có một thuật toán khác cũng giải quyết được và …