Опубликованный пакет / 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
Авторская метадата / не выводится
Этикетка
- Издатель
- Arxo: authored exposition of T. Baker, J. Gill, R. Solovay, SIAM J. Computing 4(4), 1975
- Юрисдикция
- без суверена — норма не издана властью
- Род инструмента
- трактат
- Состояние
- доктрина, не акт власти
- Что закреплено
- авторское изложение, не текст акта
сверено Текст пакета сверен с закреплённым источником вручную.
Состояние сохранности
- официальные байты1 редакция
Закреплены байты официальной публикации.
Глубина формализации
- EXECUTABLE 1
- на фрагмент ссылается выводящий узел — из него что-то выводится
- ANCHORED 0
- адресуем семантическим узлом, но вывода нет
- SOURCE_ONLY 0
- текст закреплён и адресуем, ссылок нет
Уровни вычислены из CLIR, авторской разметки они не имеют: разметка руками означала бы, что ошибка автора молча меняет отчёт о полноте. Это не доля акта: доля документа, покрытая фрагментами, измеряется против байтов закреплённой публикации и здесь не считается.
Источники
- Изложение результата Baker-Gill-Solovay 1975 о релятивизации P vs NP · BGS-EXPOSITION-1 · редакций: 1
Испытать
Этот пакет в рабочий стол не вложен, и кнопки «испытать» у него нет: она открывала бы пустоту. Вложенные выбраны под механику, которую показывают, а не по важности акта — исполнить любой другой пакет можно, открыв его каталог в рабочем столе с диска.
faraid.shares— Фараид — наследственный расчёт исламского праваintl.turkic.nakhchivan_2009— Закон Республики Казахстан от 23 мая 2025 года № 191-VIII «О ратификации Протокола о внесении изменений в Нахичеванское соглашение о создании Совета сотрудничества тюркоязычных государств»kz.corpus.capital_status— Конституционный закон Республики Казахстан «О статусе столицы Республики Казахстан»kz.corpus.pinningexample— Положение о порядке учёта обращенийkz.corpus.socialassistance— Адресная социальная помощь (учебный срез)kz.corpus.tuystyq— Туыстық жүйе — казахская система родства
Сослаться
Адрес нормы неизменен: contentHash посчитан по каноническим байтам , и любая правка пакета даёт другой хэш. Ссылка ниже указывает не на «последнюю версию», а на конкретные байты — то, чего требует цитирование и чего не даёт номер версии.
Baker, 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 · BGS_EXPOSITION · baker_gill_solovay.relativization_1975@0.1.0 · sha256:d550fc07090226d3bb60f27d5b0bab5b5e50d41b565497cff5070352ab40e30b