Hậu quả của

Một ngôn ngữ nằm trong nếu tồn tại máy Turing logspace quyết định ngôn ngữ với số lượng lời khuyên đa thức.$L/poly$

Xem tại đây để biết thêm: https://en.wikipedia.org/wiki/L/poly

Câu hỏi

Hậu quả của gì?$P \subseteq L/poly$

Một hệ quả đơn giản là . Chứng minh: Đối với bất kỳ ngôn ngữ Một ∈ P / nhiều , có một ngôn ngữ B ∈ P và một chuỗi các dây tư vấn đa thức dài y 1 , y 2 , y 3 , ... mà x ∈ $\mathbf{P}/\text{poly} = \mathbf{L}/\text{poly}$$A \in \mathbf{P}/\text{poly}$$B \in \mathbf{P}$$y_1, y_2, y_3, \dots$ . Bằng cách giả định, có một ngôn ngữ C ∈ L và một chuỗi các đa thức có độ dài lời khuyên chuỗi z 1 , z 2 , z 3 , ... như vậy ( x , y ) ∈ $x \in A \iff (x, y_{|x|}) \in B$$C \in \mathbf{L}$$z_1, z_2, z_3, \dots$ . Điều này có nghĩa Một ∈ L / nhiều ; chuỗi lời khuyên cho x là ( y | x | , z | ( x , y | x | ) | ) .$(x, y) \in B \iff (x, y, z_{|(x, y)|}) \in C$$A \in \mathbf{L}/\text{poly}$$x$$(y_{|x|}, z_{|(x, y_{|x|})|})$

(Một phiên bản ngắn gọn về các bằng chứng: .)$\mathbf{P} \subseteq \mathbf{L}/\text{poly} \implies \mathbf{P}/\text{poly} \subseteq (\mathbf{L}/\text{poly})/\text{poly} = \mathbf{L}/\text{poly}$