{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:7PV2UXJ27ZULWDVPNCFHPDFMLA","short_pith_number":"pith:7PV2UXJ2","schema_version":"1.0","canonical_sha256":"fbebaa5d3afe68bb0eaf688a778cac58213893510c45be3682ad49b6bc74cbc4","source":{"kind":"arxiv","id":"1804.10193","version":4},"attestation_state":"computed","paper":{"title":"Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"(2) MIT CSAIL, (3) MIT Mathematics Department, (4) Department of Mathematics, Adam Hesterberg (3), Clemens Thielen (4) ((1) MIT EECS Department, Erik D. Demaine (2), Jayson Lynch (2), Jeffrey Bosboom (2), Justin Kopinsky (2), Linus Hamilton (3), Michael Coulombe (2), Mikhail Rudoy (2), University of Kaiserslautern), Zachary Abel (1)","submitted_at":"2018-04-26T17:42:46Z","abstract_excerpt":"We analyze the computational complexity of the many types of pencil-and-paper-style puzzles featured in the 2016 puzzle video game The Witness. In all puzzles, the goal is to draw a simple path in a rectangular grid graph from a start vertex to a destination vertex. The different puzzle types place different constraints on the path: preventing some edges from being visited (broken edges); forcing some edges or vertices to be visited (hexagons); forcing some cells to have certain numbers of incident path edges (triangles); or forcing the regions formed by the path to be partially monochromatic "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1804.10193","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-04-26T17:42:46Z","cross_cats_sorted":[],"title_canon_sha256":"e7b255ea1480e82a2a98b25403f089cd4b84f9a04f71efdf6b5e3381e7d431cc","abstract_canon_sha256":"292b7ab74fac1d191a4af097ac9a8e30a4b28a7879c8500ecb56f0cfece9885d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:54:25.116018Z","signature_b64":"im6/ZGx1gyUKWBCT8prmwFxfDqxe3VWtxoQp6JrXMRWIGP7PzaLL9+dDzy4zjOy56t4b7F8j+DyILuUR2MD2BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fbebaa5d3afe68bb0eaf688a778cac58213893510c45be3682ad49b6bc74cbc4","last_reissued_at":"2026-05-17T23:54:25.115307Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:54:25.115307Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"(2) MIT CSAIL, (3) MIT Mathematics Department, (4) Department of Mathematics, Adam Hesterberg (3), Clemens Thielen (4) ((1) MIT EECS Department, Erik D. Demaine (2), Jayson Lynch (2), Jeffrey Bosboom (2), Justin Kopinsky (2), Linus Hamilton (3), Michael Coulombe (2), Mikhail Rudoy (2), University of Kaiserslautern), Zachary Abel (1)","submitted_at":"2018-04-26T17:42:46Z","abstract_excerpt":"We analyze the computational complexity of the many types of pencil-and-paper-style puzzles featured in the 2016 puzzle video game The Witness. In all puzzles, the goal is to draw a simple path in a rectangular grid graph from a start vertex to a destination vertex. The different puzzle types place different constraints on the path: preventing some edges from being visited (broken edges); forcing some edges or vertices to be visited (hexagons); forcing some cells to have certain numbers of incident path edges (triangles); or forcing the regions formed by the path to be partially monochromatic "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.10193","kind":"arxiv","version":4},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1804.10193","created_at":"2026-05-17T23:54:25.115426+00:00"},{"alias_kind":"arxiv_version","alias_value":"1804.10193v4","created_at":"2026-05-17T23:54:25.115426+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.10193","created_at":"2026-05-17T23:54:25.115426+00:00"},{"alias_kind":"pith_short_12","alias_value":"7PV2UXJ27ZUL","created_at":"2026-05-18T12:32:11.075285+00:00"},{"alias_kind":"pith_short_16","alias_value":"7PV2UXJ27ZULWDVP","created_at":"2026-05-18T12:32:11.075285+00:00"},{"alias_kind":"pith_short_8","alias_value":"7PV2UXJ2","created_at":"2026-05-18T12:32:11.075285+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7PV2UXJ27ZULWDVPNCFHPDFMLA","json":"https://pith.science/pith/7PV2UXJ27ZULWDVPNCFHPDFMLA.json","graph_json":"https://pith.science/api/pith-number/7PV2UXJ27ZULWDVPNCFHPDFMLA/graph.json","events_json":"https://pith.science/api/pith-number/7PV2UXJ27ZULWDVPNCFHPDFMLA/events.json","paper":"https://pith.science/paper/7PV2UXJ2"},"agent_actions":{"view_html":"https://pith.science/pith/7PV2UXJ27ZULWDVPNCFHPDFMLA","download_json":"https://pith.science/pith/7PV2UXJ27ZULWDVPNCFHPDFMLA.json","view_paper":"https://pith.science/paper/7PV2UXJ2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1804.10193&json=true","fetch_graph":"https://pith.science/api/pith-number/7PV2UXJ27ZULWDVPNCFHPDFMLA/graph.json","fetch_events":"https://pith.science/api/pith-number/7PV2UXJ27ZULWDVPNCFHPDFMLA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7PV2UXJ27ZULWDVPNCFHPDFMLA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7PV2UXJ27ZULWDVPNCFHPDFMLA/action/storage_attestation","attest_author":"https://pith.science/pith/7PV2UXJ27ZULWDVPNCFHPDFMLA/action/author_attestation","sign_citation":"https://pith.science/pith/7PV2UXJ27ZULWDVPNCFHPDFMLA/action/citation_signature","submit_replication":"https://pith.science/pith/7PV2UXJ27ZULWDVPNCFHPDFMLA/action/replication_record"}},"created_at":"2026-05-17T23:54:25.115426+00:00","updated_at":"2026-05-17T23:54:25.115426+00:00"}