We derive several consequences of the provability of $NP/subseteq P/poly$ in various bounded arithmetic theories. We define the concept of a propositional proof system with advice.
We derive several consequences of the provability of $NP/subseteq P/poly$ in various bounded arithmetic theories. We define the concept of a propositional proof system with advice. (en)
Odvodíme několik důsledků dokazatelnosti $NP/subseteq P/ poly$ v různých teoriích omezené aritmetiky. Definujeme koncept výrokového důkazového systému s pomocí. (cs)