{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:AIX2UU4SR6WTUGANTPJRCKPBIC","short_pith_number":"pith:AIX2UU4S","canonical_record":{"source":{"id":"1902.03560","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2019-02-10T09:43:38Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"1b5f02c6bdcd7c54a7e4535e65fb76c5194ca578b4079b03c62cc2a57654c5ae","abstract_canon_sha256":"55e2d9976dfb4dd4d9a9804fdb7bdd2e5fd3faddd12538d722b48f1c8ce545fd"},"schema_version":"1.0"},"canonical_sha256":"022faa53928fad3a180d9bd31129e140b5580c3d79bf0f8a1f59efabb2c4b792","source":{"kind":"arxiv","id":"1902.03560","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.03560","created_at":"2026-05-17T23:54:20Z"},{"alias_kind":"arxiv_version","alias_value":"1902.03560v1","created_at":"2026-05-17T23:54:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.03560","created_at":"2026-05-17T23:54:20Z"},{"alias_kind":"pith_short_12","alias_value":"AIX2UU4SR6WT","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"AIX2UU4SR6WTUGAN","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"AIX2UU4S","created_at":"2026-05-18T12:33:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:AIX2UU4SR6WTUGANTPJRCKPBIC","target":"record","payload":{"canonical_record":{"source":{"id":"1902.03560","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2019-02-10T09:43:38Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"1b5f02c6bdcd7c54a7e4535e65fb76c5194ca578b4079b03c62cc2a57654c5ae","abstract_canon_sha256":"55e2d9976dfb4dd4d9a9804fdb7bdd2e5fd3faddd12538d722b48f1c8ce545fd"},"schema_version":"1.0"},"canonical_sha256":"022faa53928fad3a180d9bd31129e140b5580c3d79bf0f8a1f59efabb2c4b792","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:54:20.439724Z","signature_b64":"o/tvQRto6wP+mZi+XeM1DggKSQu8e9eEEAuDD+oPIlagbnKIt9EQih0pww6RGM7tOtHnJuTPTYnRE1DzlX3UCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"022faa53928fad3a180d9bd31129e140b5580c3d79bf0f8a1f59efabb2c4b792","last_reissued_at":"2026-05-17T23:54:20.439013Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:54:20.439013Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.03560","source_version":1,"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-05-17T23:54:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q8fmKXLQKS1V9Jxtrl+IKE1jmg+tpiCTnaID3bNp9Md4nRT6kRepWG4lfl94NaezzsE3KZrn1rdO9r7L2+eUBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T14:08:40.326622Z"},"content_sha256":"c416be34c7d67757b3036e7f4884d6c10f4481a1adfe3bda1addcbcf4b34ddf4","schema_version":"1.0","event_id":"sha256:c416be34c7d67757b3036e7f4884d6c10f4481a1adfe3bda1addcbcf4b34ddf4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:AIX2UU4SR6WTUGANTPJRCKPBIC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Complexity of Exact Pattern Matching in Graphs: Determinism and Zig-Zag Matching","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.CC","authors_text":"Alexandru I. Tomescu, Massimo Equi, Roberto Grossi, Veli M\\\"akinen","submitted_at":"2019-02-10T09:43:38Z","abstract_excerpt":"Exact pattern matching in labeled graphs is the problem of searching paths of a graph $G=(V,E)$ that spell the same string as the given pattern $P[1..m]$. This basic problem can be found at the heart of more complex operations on variation graphs in computational biology, query operations in graph databases, and analysis of heterogeneous networks, where the nodes of some paths must match a sequence of labels or types. In our recent work we described a conditional lower bound stating that the exact pattern matching problem in labeled graphs cannot be solved in less than quadratic time, namely, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.03560","kind":"arxiv","version":1},"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"},"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-05-17T23:54:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8/wjcE29wCwnSpzCGniE8qlHqmAS3E4zAod5iEpCPAnu7X4LXKhAi6EQQYzkIm3g8pg+LXbglz2iGOvVA50ICg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T14:08:40.327327Z"},"content_sha256":"9e9f3675773bed77a285407a0c9e75e088fc9ff847125c744eab410fbae1cf91","schema_version":"1.0","event_id":"sha256:9e9f3675773bed77a285407a0c9e75e088fc9ff847125c744eab410fbae1cf91"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AIX2UU4SR6WTUGANTPJRCKPBIC/bundle.json","state_url":"https://pith.science/pith/AIX2UU4SR6WTUGANTPJRCKPBIC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AIX2UU4SR6WTUGANTPJRCKPBIC/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-05-24T14:08:40Z","links":{"resolver":"https://pith.science/pith/AIX2UU4SR6WTUGANTPJRCKPBIC","bundle":"https://pith.science/pith/AIX2UU4SR6WTUGANTPJRCKPBIC/bundle.json","state":"https://pith.science/pith/AIX2UU4SR6WTUGANTPJRCKPBIC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AIX2UU4SR6WTUGANTPJRCKPBIC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:AIX2UU4SR6WTUGANTPJRCKPBIC","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":"55e2d9976dfb4dd4d9a9804fdb7bdd2e5fd3faddd12538d722b48f1c8ce545fd","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2019-02-10T09:43:38Z","title_canon_sha256":"1b5f02c6bdcd7c54a7e4535e65fb76c5194ca578b4079b03c62cc2a57654c5ae"},"schema_version":"1.0","source":{"id":"1902.03560","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.03560","created_at":"2026-05-17T23:54:20Z"},{"alias_kind":"arxiv_version","alias_value":"1902.03560v1","created_at":"2026-05-17T23:54:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.03560","created_at":"2026-05-17T23:54:20Z"},{"alias_kind":"pith_short_12","alias_value":"AIX2UU4SR6WT","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"AIX2UU4SR6WTUGAN","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"AIX2UU4S","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:9e9f3675773bed77a285407a0c9e75e088fc9ff847125c744eab410fbae1cf91","target":"graph","created_at":"2026-05-17T23:54:20Z","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":"Exact pattern matching in labeled graphs is the problem of searching paths of a graph $G=(V,E)$ that spell the same string as the given pattern $P[1..m]$. This basic problem can be found at the heart of more complex operations on variation graphs in computational biology, query operations in graph databases, and analysis of heterogeneous networks, where the nodes of some paths must match a sequence of labels or types. In our recent work we described a conditional lower bound stating that the exact pattern matching problem in labeled graphs cannot be solved in less than quadratic time, namely, ","authors_text":"Alexandru I. Tomescu, Massimo Equi, Roberto Grossi, Veli M\\\"akinen","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2019-02-10T09:43:38Z","title":"On the Complexity of Exact Pattern Matching in Graphs: Determinism and Zig-Zag Matching"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.03560","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:c416be34c7d67757b3036e7f4884d6c10f4481a1adfe3bda1addcbcf4b34ddf4","target":"record","created_at":"2026-05-17T23:54:20Z","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":"55e2d9976dfb4dd4d9a9804fdb7bdd2e5fd3faddd12538d722b48f1c8ce545fd","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2019-02-10T09:43:38Z","title_canon_sha256":"1b5f02c6bdcd7c54a7e4535e65fb76c5194ca578b4079b03c62cc2a57654c5ae"},"schema_version":"1.0","source":{"id":"1902.03560","kind":"arxiv","version":1}},"canonical_sha256":"022faa53928fad3a180d9bd31129e140b5580c3d79bf0f8a1f59efabb2c4b792","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"022faa53928fad3a180d9bd31129e140b5580c3d79bf0f8a1f59efabb2c4b792","first_computed_at":"2026-05-17T23:54:20.439013Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:54:20.439013Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"o/tvQRto6wP+mZi+XeM1DggKSQu8e9eEEAuDD+oPIlagbnKIt9EQih0pww6RGM7tOtHnJuTPTYnRE1DzlX3UCQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:54:20.439724Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.03560","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c416be34c7d67757b3036e7f4884d6c10f4481a1adfe3bda1addcbcf4b34ddf4","sha256:9e9f3675773bed77a285407a0c9e75e088fc9ff847125c744eab410fbae1cf91"],"state_sha256":"18e42d59116bb822e2fdc7905665e15184f9204ea9ef8898c980c9ac3a6a15df"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LgMgHft6LEsfi1lbRsHFspFUy7naV19OnVxySOuhDGmdFezghLhjzt6cdX/lWT75F3uIQSzwAMCzBHTK4hxeDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-24T14:08:40.330892Z","bundle_sha256":"4a5b0f7680c970ba4ee81b3ee3570000c6ad6b5d61d80948c4661610377d27f0"}}