Có một mẹo cũ để viết ra một thuật toán, nếu P = NP, giải SAT trong thời gian đa thức. Về cơ bản, người ta liệt kê tất cả các cỗ máy thời gian đa thức và đa tác vụ trên chúng.
Có một mẹo tương tự cho các chức năng một chiều (hoặc thậm chí các chức năng bẫy một chiều) không? Đó là, chúng ta có thể viết ra một hàm mà nếu các hàm một chiều tồn tại, có nhất thiết phải là hàm một chiều không?
Dường như không có cách nào dễ dàng để bắt chước thủ thuật P = NP. Trong trường hợp đó, chúng tôi có thể nhanh chóng nhận ra một giải pháp khi chúng tôi nhận được một giải pháp. Nhưng nếu tôi đa tác vụ trên tất cả các hàm thời gian đa thức, không có cách rõ ràng nào để nhận ra hàm một chiều khi tôi đến một hàm.
Nếu câu trả lời cho câu hỏi trên là không, có một số loại tranh luận tại sao chúng ta không thể làm điều đó? Có lẽ viết ra một chức năng như vậy bằng cách nào đó sẽ chứng minh rằng các chức năng một chiều tồn tại?