Hậu quả của thuyết không điều kiện làm tăng tốc tính toán xác định

Nếu chứa một lớp các vấn đề thời gian siêu đa thức, nghĩa là$\mathsf{NP}$

đối với một số chức năng , D T I M E ( t ) ⊆ N P ,$t \in n^{\omega(1)}$$\mathsf{DTIME}(t) \subseteq \mathsf{NP}$

sau đó nếu sau kể từ thời điểm xác định thứ bậc lý rằng .$\mathsf{P} \subsetneq \mathsf{NP}$

Nhưng có bất kỳ hậu quả thú vị nào khác không cần thiết (nghĩa là không phải là hậu quả của ) nếu chủ nghĩa không điều kiện có thể tăng tốc các tính toán xác định?$\mathsf{P} \subsetneq \mathsf{NP}$

Tôi tìm thấy một hậu quả liên quan.

$NEXP$$DTIME(2^{O(t)})$$t = n^{\omega(1)}$$P/poly$

$x$$n$$n^{th}$$M$$t$ $b$$n$$M$$b$$a$$t$$DTIME(2^{O(t)})$

$0^n$$M$$M$$0^n$$0^{n-1}1$$M$$n$$t$

$DTIME(2^{O(t)})$$NEXP$$P/Poly$$n$$M_n$

$NEXP \not \subset P/poly$

Tôi sẽ để ngỏ câu hỏi trong trường hợp ai đó nghĩ ra điều gì khác.