{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:GVYGEATODPWHXZVIXNJT2LKEAE","short_pith_number":"pith:GVYGEATO","canonical_record":{"source":{"id":"2002.03887","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2020-02-10T15:59:25Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"1771e08ab962e7540e346cc68099d045dd9eed167df66493b5bb551b9a4863e6","abstract_canon_sha256":"ad3b7db2684b238af31161cd484995f1a0f5ea851884edd4d06c9e871082cb3a"},"schema_version":"1.0"},"canonical_sha256":"357062026e1bec7be6a8bb533d2d440121b0c316c411030ad22961703da458a3","source":{"kind":"arxiv","id":"2002.03887","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2002.03887","created_at":"2026-07-05T01:07:39Z"},{"alias_kind":"arxiv_version","alias_value":"2002.03887v2","created_at":"2026-07-05T01:07:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2002.03887","created_at":"2026-07-05T01:07:39Z"},{"alias_kind":"pith_short_12","alias_value":"GVYGEATODPWH","created_at":"2026-07-05T01:07:39Z"},{"alias_kind":"pith_short_16","alias_value":"GVYGEATODPWHXZVI","created_at":"2026-07-05T01:07:39Z"},{"alias_kind":"pith_short_8","alias_value":"GVYGEATO","created_at":"2026-07-05T01:07:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:GVYGEATODPWHXZVIXNJT2LKEAE","target":"record","payload":{"canonical_record":{"source":{"id":"2002.03887","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2020-02-10T15:59:25Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"1771e08ab962e7540e346cc68099d045dd9eed167df66493b5bb551b9a4863e6","abstract_canon_sha256":"ad3b7db2684b238af31161cd484995f1a0f5ea851884edd4d06c9e871082cb3a"},"schema_version":"1.0"},"canonical_sha256":"357062026e1bec7be6a8bb533d2d440121b0c316c411030ad22961703da458a3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:07:39.753358Z","signature_b64":"GRX5slh6DdamXZ/ChGGH9DVoe7fJcbwgQmCVW/WUB1x1JC+EQdzUA3y49xfqek3th9dTTtxCYqMd6WDUCWrZCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"357062026e1bec7be6a8bb533d2d440121b0c316c411030ad22961703da458a3","last_reissued_at":"2026-07-05T01:07:39.752884Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:07:39.752884Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2002.03887","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T01:07:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PXCmBOTiO9CLpIBUc4aHspG/gxTx8MA2XyY6B53p1VJtkA4ahW4mVfvdIaT/NdLAewoFrlLl0dMBE/P/xbJiDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T05:01:22.094917Z"},"content_sha256":"2b2d92ad82a69b73f230554377a24b30a5440032d5a3821dc451cd87e7b6e02d","schema_version":"1.0","event_id":"sha256:2b2d92ad82a69b73f230554377a24b30a5440032d5a3821dc451cd87e7b6e02d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:GVYGEATODPWHXZVIXNJT2LKEAE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Edge Matching with Inequalities, Triangles, Unknown Shape, and Two Players","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CG"],"primary_cat":"cs.CC","authors_text":"Adam Hesterberg, Calvin Hsu, Charlotte Chen, Dylan Hendrickson, Erik D. Demaine, Ivan Tadeu Ferreira Antunes Filho, Jeffrey Bosboom, Lillian Zhang, Lily Chung, Martin L. Demaine, Michael Coulombe, Oliver Korten, Spencer Compton, William Hu, Zhezheng Luo","submitted_at":"2020-02-10T15:59:25Z","abstract_excerpt":"We analyze the computational complexity of several new variants of edge-matching puzzles. First we analyze inequality (instead of equality) constraints between adjacent tiles, proving the problem NP-complete for strict inequalities but polynomial for nonstrict inequalities. Second we analyze three types of triangular edge matching, of which one is polynomial and the other two are NP-complete; all three are #P-complete. Third we analyze the case where no target shape is specified, and we merely want to place the (square) tiles so that edges match (exactly); this problem is NP-complete. Fourth w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2002.03887","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2002.03887/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T01:07:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w0EiZjAMfGSrVGeJZCLORlqqPTTAfcoXvn4oZOJNxA+xDfdV4zayvexpS1HhiLpPyIH1Cjv/TZX/tNQkewl5Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T05:01:22.095288Z"},"content_sha256":"bc7f2f3be3e451950f64cfbfe566594ff4d9b2466074359ae6a53fe2740ca0bd","schema_version":"1.0","event_id":"sha256:bc7f2f3be3e451950f64cfbfe566594ff4d9b2466074359ae6a53fe2740ca0bd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GVYGEATODPWHXZVIXNJT2LKEAE/bundle.json","state_url":"https://pith.science/pith/GVYGEATODPWHXZVIXNJT2LKEAE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GVYGEATODPWHXZVIXNJT2LKEAE/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-09T05:01:22Z","links":{"resolver":"https://pith.science/pith/GVYGEATODPWHXZVIXNJT2LKEAE","bundle":"https://pith.science/pith/GVYGEATODPWHXZVIXNJT2LKEAE/bundle.json","state":"https://pith.science/pith/GVYGEATODPWHXZVIXNJT2LKEAE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GVYGEATODPWHXZVIXNJT2LKEAE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:GVYGEATODPWHXZVIXNJT2LKEAE","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":"ad3b7db2684b238af31161cd484995f1a0f5ea851884edd4d06c9e871082cb3a","cross_cats_sorted":["cs.CG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2020-02-10T15:59:25Z","title_canon_sha256":"1771e08ab962e7540e346cc68099d045dd9eed167df66493b5bb551b9a4863e6"},"schema_version":"1.0","source":{"id":"2002.03887","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2002.03887","created_at":"2026-07-05T01:07:39Z"},{"alias_kind":"arxiv_version","alias_value":"2002.03887v2","created_at":"2026-07-05T01:07:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2002.03887","created_at":"2026-07-05T01:07:39Z"},{"alias_kind":"pith_short_12","alias_value":"GVYGEATODPWH","created_at":"2026-07-05T01:07:39Z"},{"alias_kind":"pith_short_16","alias_value":"GVYGEATODPWHXZVI","created_at":"2026-07-05T01:07:39Z"},{"alias_kind":"pith_short_8","alias_value":"GVYGEATO","created_at":"2026-07-05T01:07:39Z"}],"graph_snapshots":[{"event_id":"sha256:bc7f2f3be3e451950f64cfbfe566594ff4d9b2466074359ae6a53fe2740ca0bd","target":"graph","created_at":"2026-07-05T01:07:39Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2002.03887/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We analyze the computational complexity of several new variants of edge-matching puzzles. First we analyze inequality (instead of equality) constraints between adjacent tiles, proving the problem NP-complete for strict inequalities but polynomial for nonstrict inequalities. Second we analyze three types of triangular edge matching, of which one is polynomial and the other two are NP-complete; all three are #P-complete. Third we analyze the case where no target shape is specified, and we merely want to place the (square) tiles so that edges match (exactly); this problem is NP-complete. Fourth w","authors_text":"Adam Hesterberg, Calvin Hsu, Charlotte Chen, Dylan Hendrickson, Erik D. Demaine, Ivan Tadeu Ferreira Antunes Filho, Jeffrey Bosboom, Lillian Zhang, Lily Chung, Martin L. Demaine, Michael Coulombe, Oliver Korten, Spencer Compton, William Hu, Zhezheng Luo","cross_cats":["cs.CG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2020-02-10T15:59:25Z","title":"Edge Matching with Inequalities, Triangles, Unknown Shape, and Two Players"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2002.03887","kind":"arxiv","version":2},"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:2b2d92ad82a69b73f230554377a24b30a5440032d5a3821dc451cd87e7b6e02d","target":"record","created_at":"2026-07-05T01:07:39Z","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":"ad3b7db2684b238af31161cd484995f1a0f5ea851884edd4d06c9e871082cb3a","cross_cats_sorted":["cs.CG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2020-02-10T15:59:25Z","title_canon_sha256":"1771e08ab962e7540e346cc68099d045dd9eed167df66493b5bb551b9a4863e6"},"schema_version":"1.0","source":{"id":"2002.03887","kind":"arxiv","version":2}},"canonical_sha256":"357062026e1bec7be6a8bb533d2d440121b0c316c411030ad22961703da458a3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"357062026e1bec7be6a8bb533d2d440121b0c316c411030ad22961703da458a3","first_computed_at":"2026-07-05T01:07:39.752884Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:07:39.752884Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GRX5slh6DdamXZ/ChGGH9DVoe7fJcbwgQmCVW/WUB1x1JC+EQdzUA3y49xfqek3th9dTTtxCYqMd6WDUCWrZCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:07:39.753358Z","signed_message":"canonical_sha256_bytes"},"source_id":"2002.03887","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2b2d92ad82a69b73f230554377a24b30a5440032d5a3821dc451cd87e7b6e02d","sha256:bc7f2f3be3e451950f64cfbfe566594ff4d9b2466074359ae6a53fe2740ca0bd"],"state_sha256":"af7cf4d30a0e745b962a92cb9500cfc320571aced52c3f7cb6d070be5c01dc43"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M9qcy8TyI4lB4FcdRt2VFwm/5UifkIeswVAPIshsZ9TKKLvJdDCBZXalt8VB4Kr5Gggc8deE56H908Z0R2IgCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T05:01:22.097274Z","bundle_sha256":"8e8a3e2ba5b934ec01df9846709eb983806142b78b655aa540bf1838feac6b7e"}}