Опубликованный пакет / CLIR
baker_gill_solovay.relativization_1975
v0.1.0Baker, Gill, Solovay (1975): relativization barrier — oracles A, B with P^A=NP^A and P^B!=NP^B, a limit on the class of relativizing proof methods
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| Изложение результата Baker-Gill-Solovay 1975 о релятивизации P vs NP | BGS-EXPOSITION-1 | 1 | 1 |