{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:MS5LEADJHVK2RLPMG3VRKQGX4C","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"7516db9689e211fd43c1a5b83e1f5bae0015b395a0620ff029aec9e9b251b68e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2019-02-28T17:41:49Z","title_canon_sha256":"b569c5273b259028a4fa9459a51c0c6b5be9ee8b53ccc70618f645083b6b9e46"},"schema_version":"1.0","source":{"id":"1903.00355","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.00355","created_at":"2026-05-17T23:52:19Z"},{"alias_kind":"arxiv_version","alias_value":"1903.00355v1","created_at":"2026-05-17T23:52:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.00355","created_at":"2026-05-17T23:52:19Z"},{"alias_kind":"pith_short_12","alias_value":"MS5LEADJHVK2","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"MS5LEADJHVK2RLPM","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"MS5LEADJ","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:f372d45ab6e7dd3a6985c137dd7913c46bbb796680510221bbb8d87bec29f5b2","target":"graph","created_at":"2026-05-17T23:52:19Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"In this paper, we interpret NDTM (NonDeterministic Turing Machine) used to define NP by tracing to the source of NP. Originally NP was defined as the class of problems solvable in polynomial time by a NDTM in the theorem of Cook, where the NDTM was represented as Query Machine of essence Oracle. Later a model consisting of a guessing module and a checking module was proposed to replace the NDTM. This model of essence TM has a fundamental difference from the NDTM of essence Oracle, but people still use the term NDTM to designate this model, which leads to the disguised displacement of NDTM and ","authors_text":"JianMing Zhou, Yu Li","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2019-02-28T17:41:49Z","title":"Interpretation of NDTM in the definition of NP"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.00355","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:b1c533ada24a08b11d5a74724e46ff6fd22cabbae694217f65362668b7ea0cfb","target":"record","created_at":"2026-05-17T23:52:19Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"7516db9689e211fd43c1a5b83e1f5bae0015b395a0620ff029aec9e9b251b68e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2019-02-28T17:41:49Z","title_canon_sha256":"b569c5273b259028a4fa9459a51c0c6b5be9ee8b53ccc70618f645083b6b9e46"},"schema_version":"1.0","source":{"id":"1903.00355","kind":"arxiv","version":1}},"canonical_sha256":"64bab200693d55a8adec36eb1540d7e08e3055c23e29e16fa4dfab4194b169e6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"64bab200693d55a8adec36eb1540d7e08e3055c23e29e16fa4dfab4194b169e6","first_computed_at":"2026-05-17T23:52:19.958276Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:52:19.958276Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"P8XX3EEpj3HQBinB73Vn+Clj59fCw5tB6GOsKiOee6saVzO8wBdkJqiRZDfnTqgWGpb5tZp3EX+L0IYXotYvAg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:52:19.958911Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.00355","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b1c533ada24a08b11d5a74724e46ff6fd22cabbae694217f65362668b7ea0cfb","sha256:f372d45ab6e7dd3a6985c137dd7913c46bbb796680510221bbb8d87bec29f5b2"],"state_sha256":"28cce5786c8e9d0a4591b7659a43017ad1a57c69705efc4cf85a4f6ae415d865"}