Các vấn đề mà tình trạng có thể quyết định là không xác định nhưng được biết là ít khó khăn hơn vấn đề tạm dừng

Có vấn đề nào về tính quyết định trong đó chưa được biết nhưng chắc chắn rằng các vấn đề ít khó khăn hơn vấn đề tạm dừng.

Giả sử rằng "ít khó khăn hơn", bạn có nghĩa là "có thể giảm", thì bất kỳ vấn đề nào được biết là ở nhưng không được biết là ở R đều thỏa mãn điều kiện này.$RE$$R$

Ví dụ: lấy vấn đề về PCP với 4 ô xếp, có độ quyết định mở. Đây là một bài tập dễ dàng để giảm vấn đề (hoặc bất kỳ vấn đề nào khác trong RE) sang HALT.