Авторский контракт композиции «P vs NP» Arxo

ru · unofficial · sha256:78d6b3efec8634fec6c3cd41bc0c85b0ab4488d9f376f498e4adf3368084e484

Авторский контракт композиции «P vs NP» Arxo, версия 0.1.0. Пакет связывает записи разных владельцев (cmi.p_vs_np, cook_levin.sat_np_complete_1971, karp.combinatorial_reductions_1972, baker_gill_solovay.relativization_1975, razborov_rudich.natural_proofs_1994) через общий словарь arxo.computational_complexity/arxo.math_claims, не создавая собственных фактов взамен чужих. pvsnp_formulation_from(c, src) — производное соединение уже заявленных identifies_p_vs_np и source_asserts, не новый факт от имени источника. established_results_summary(claim, label) — соединение established_by_source набора в единый обзор, без выбора одного результата вместо другого. Ни established_by_source, ни established_under_assumption для самой формулировки "Does P = NP?" (cmi.p_vs_np::PvsNpFormalStatement) не появляются нигде в наборе: ни один пакет не заявляет source_proves для неё — задача остаётся открытой. Условный барьер natural proofs (razborov_rudich.natural_proofs_1994) остаётся established_under_assumption только при явном assumed_in_scenario в конкретном деле; барьер релятивизации (baker_gill_solovay.relativization_1975) остаётся ограничением на класс методов, параметризованным по методу, а не институциональным фактом о самом вопросе P vs NP.

Ссылаются нормы: CollectEstablishedResult, CollectPvsNpFormulation, established_results_summary, pvsnp_formulation_from