{"representations":[{"hash_profile":"rfc8785","id":"visual-p-vs-np-overview","version":3,"sha256":"d6ce553eda39384049e0d21b51f10fd081b1a038de77f9685502612835dacc10"}],"problem_id":"problem-p-vs-np","version":10,"sha256":"fc7a162e592c003c283066398fc533681fbb77487d020f76cbd2f8118638f9f1","claims":[{"id":"claim-pnp-equality","version":2},{"id":"claim-pnp-inequality","version":3},{"id":"claim-pnp-sat-in-p","version":2},{"id":"claim-pnp-sat-equivalence","version":2},{"id":"claim-pnp-np-circuits","version":2},{"id":"claim-pnp-circuits-imply-separation","version":2},{"id":"claim-pnp-np-conp","version":2},{"id":"claim-pnp-conp-implies-separation","version":2},{"id":"claim-pnp-karp-lipton","version":2},{"id":"claim-pnp-ladner","version":2},{"id":"claim-pnp-one-way","version":2},{"id":"claim-pnp-owf-implies-separation","version":2},{"id":"claim-pnp-eth","version":2},{"id":"claim-pnp-eth-implies-separation","version":2},{"id":"claim-pnp-vp-vnp","version":2},{"id":"claim-pnp-seth","version":2},{"id":"claim-pnp-seth-implies-separation","version":2},{"id":"claim-pnp-relativization","version":2},{"id":"claim-pnp-natural-proofs","version":2},{"id":"claim-pnp-algebrization","version":2},{"id":"claim-pnp-nexp-acc","version":2},{"id":"claim-pnp-threshold-2026","version":2},{"id":"claim-pnp-near-maximum-2026","version":2},{"id":"claim-pnp-three-sum-2026","version":2},{"id":"claim-pnp-apsp-2026","version":2},{"id":"claim-pnp-np-search","version":2},{"id":"claim-pnp-hierarchy-collapse","version":2},{"id":"claim-pnp-np-complete-hard","version":2},{"id":"claim-pnp-ugc-proposal","version":2},{"id":"claim-pnp-depth-three-proposal","version":2},{"id":"claim-pnp-permanent-proposal","version":2}],"source_version_ids":["clay-millennium@observed-2026-10-01","pnp-clay@observed-2026-10-10","pnp-cook@official-description-sha256-018f3d473d16","pnp-book@author-draft-2019-08-06","pnp-bgs@doi-10.1137/0204037-abstract-observed-2026-10-10","pnp-rr@STOC-1994-author-paper","pnp-aw@author-conference-version-observed-2026-10-10","pnp-williams@CCC-2011-author-version","pnp-eth@JCSS-2001","pnp-ctw@ECCC-TR26-039-observed-2026-10-10","pnp-ren@arXiv-2607.09963v1","pnp-claude@arXiv-2610.06783v1","pnp-openai@fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","pnp-aletheia@arXiv-2601.23229v2","pnp-gpt4@arXiv-2309.05689v1","pnp-seth@arXiv-1112.2275v3"],"entry_ids":["p-vs-np:entry:0:v1","pnp-entry-general-status:v1","pnp-entry-equality:v1","pnp-entry-inequality:v1","pnp-entry-sat-in-p:v1","pnp-entry-sat-equivalence:v1","pnp-entry-np-circuits:v1","pnp-entry-circuits-imply-separation:v1","pnp-entry-np-conp:v1","pnp-entry-conp-implies-separation:v1","pnp-entry-karp-lipton:v1","pnp-entry-ladner:v1","pnp-entry-one-way:v1","pnp-entry-owf-implies-separation:v1","pnp-entry-eth:v1","pnp-entry-eth-implies-separation:v1","pnp-entry-vp-vnp:v1","pnp-entry-seth:v1","pnp-entry-seth-implies-separation:v1","pnp-entry-relativization:v1","pnp-entry-natural-proofs:v1","pnp-entry-algebrization:v1","pnp-entry-nexp-acc:v1","pnp-entry-threshold-2026:v1","pnp-entry-near-maximum-2026:v1","pnp-entry-three-sum-2026:v1","pnp-entry-apsp-2026:v1","pnp-entry-np-search:v1","pnp-entry-hierarchy-collapse:v1","pnp-entry-np-complete-hard:v1","pnp-entry-ugc-proposal:v1","pnp-entry-depth-three-proposal:v1","pnp-entry-permanent-proposal:v1","pnp-entry-activity-aletheia:v1","pnp-entry-activity-gpt4:v1"],"report_ids":["p-vs-np:report:0:v1","pnp-report-general-status:v2","pnp-report-equality:v1","pnp-report-inequality:v1","pnp-report-sat-in-p:v1","pnp-report-sat-equivalence:v1","pnp-report-np-circuits:v1","pnp-report-circuits-imply-separation:v1","pnp-report-np-conp:v1","pnp-report-conp-implies-separation:v1","pnp-report-karp-lipton:v1","pnp-report-ladner:v1","pnp-report-one-way:v1","pnp-report-owf-implies-separation:v1","pnp-report-eth:v1","pnp-report-eth-implies-separation:v1","pnp-report-vp-vnp:v1","pnp-report-seth:v1","pnp-report-seth-implies-separation:v1","pnp-report-relativization:v1","pnp-report-natural-proofs:v1","pnp-report-algebrization:v1","pnp-report-nexp-acc:v1","pnp-report-threshold-2026:v1","pnp-report-near-maximum-2026:v1","pnp-report-three-sum-2026:v1","pnp-report-apsp-2026:v1","pnp-report-np-search:v1","pnp-report-hierarchy-collapse:v1","pnp-report-np-complete-hard:v1","pnp-report-ugc-proposal:v1","pnp-report-depth-three-proposal:v1","pnp-report-permanent-proposal:v1"]}