271
правка
Изменения
→Теоремы
<tex> P \subset P/poly </tex>.
|proof=
<tex> L \in P \Rightarrow \exists </tex> машина Тьюринга m такая, что <tex> L(m)=L </tex>. Составим логическую схему для m, как мы сделали в [[Примеры_NP-полных_языков._Теорема_Кука|теореме Кука]]. Отсюда следует, что <tex> P \subset P/poly </tex>.
}}
