Опубликованный пакет / 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_RU | ru | нет | PINNED_OFFICIAL_BYTES |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
Замена акта
Не измеряется: no-edition-boundary.