{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:HYJY5HN3MWXH37KRBDR5UYJLXK","short_pith_number":"pith:HYJY5HN3","canonical_record":{"source":{"id":"1705.09504","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-05-26T09:55:38Z","cross_cats_sorted":[],"title_canon_sha256":"1f4540a6d491b386a4787921bb953d6fd5a515305e075f76e8ec864903cb2fbf","abstract_canon_sha256":"2609fa9f90cfa26ed5b8d66a10fab2082ab8d78cc29ed24fd3c191b2b496f7e5"},"schema_version":"1.0"},"canonical_sha256":"3e138e9dbb65ae7dfd5108e3da612bba82409ab0cb527c51d64eb06874f82dce","source":{"kind":"arxiv","id":"1705.09504","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.09504","created_at":"2026-05-18T00:43:38Z"},{"alias_kind":"arxiv_version","alias_value":"1705.09504v1","created_at":"2026-05-18T00:43:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.09504","created_at":"2026-05-18T00:43:38Z"},{"alias_kind":"pith_short_12","alias_value":"HYJY5HN3MWXH","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"HYJY5HN3MWXH37KR","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"HYJY5HN3","created_at":"2026-05-18T12:31:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:HYJY5HN3MWXH37KRBDR5UYJLXK","target":"record","payload":{"canonical_record":{"source":{"id":"1705.09504","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-05-26T09:55:38Z","cross_cats_sorted":[],"title_canon_sha256":"1f4540a6d491b386a4787921bb953d6fd5a515305e075f76e8ec864903cb2fbf","abstract_canon_sha256":"2609fa9f90cfa26ed5b8d66a10fab2082ab8d78cc29ed24fd3c191b2b496f7e5"},"schema_version":"1.0"},"canonical_sha256":"3e138e9dbb65ae7dfd5108e3da612bba82409ab0cb527c51d64eb06874f82dce","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:43:38.519957Z","signature_b64":"MOutSvw5kEnzPiLLzaSpywuSv6+ro1Q/5cslEvTJUTzeupE144ya6pLKJiSaiiAqX4V8T/dKccUAFKW8VEJYAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3e138e9dbb65ae7dfd5108e3da612bba82409ab0cb527c51d64eb06874f82dce","last_reissued_at":"2026-05-18T00:43:38.519489Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:43:38.519489Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.09504","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-18T00:43:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KKDubhI7s8P7MrPhQ4chR8NEVhQIK5b8cjRHCj6XAEVD+KLvnh+qoXRxiqmQGmAyp8E+uyVfjX+xvWzfFFyDDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T16:26:56.355458Z"},"content_sha256":"04f6ea2971e21ee5db96942d00578278febbe0a8c36efa09de691c618300c89e","schema_version":"1.0","event_id":"sha256:04f6ea2971e21ee5db96942d00578278febbe0a8c36efa09de691c618300c89e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:HYJY5HN3MWXH37KRBDR5UYJLXK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"New Variants of Pattern Matching with Constants and Variables","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DS","authors_text":"Ayumi Shinohara, Diptarama, Ryo Yoshinaka, Yuki Igarashi","submitted_at":"2017-05-26T09:55:38Z","abstract_excerpt":"Given a text and a pattern over two types of symbols called constants and variables, the parameterized pattern matching problem is to find all occurrences of substrings of the text that the pattern matches by substituting a variable in the text for each variable in the pattern, where the substitution should be injective. The function matching problem is a variant of it that lifts the injection constraint. In this paper, we discuss variants of those problems, where one can substitute a constant or a variable for each variable of the pattern. We give two kinds of algorithms for both problems, a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.09504","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-18T00:43:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ptkIlRTux61/Ew25SqdXJzRO+7z0I9UltkW05fJCK/TTfEVGlImNz9b6FKM/o5d/Vna+5fLMm3BHojYPIBRXDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T16:26:56.356089Z"},"content_sha256":"6423e78e6f343d3a5bb645f0341cd929821d692765dff66ae17a66145f16ef7f","schema_version":"1.0","event_id":"sha256:6423e78e6f343d3a5bb645f0341cd929821d692765dff66ae17a66145f16ef7f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HYJY5HN3MWXH37KRBDR5UYJLXK/bundle.json","state_url":"https://pith.science/pith/HYJY5HN3MWXH37KRBDR5UYJLXK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HYJY5HN3MWXH37KRBDR5UYJLXK/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-06-07T16:26:56Z","links":{"resolver":"https://pith.science/pith/HYJY5HN3MWXH37KRBDR5UYJLXK","bundle":"https://pith.science/pith/HYJY5HN3MWXH37KRBDR5UYJLXK/bundle.json","state":"https://pith.science/pith/HYJY5HN3MWXH37KRBDR5UYJLXK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HYJY5HN3MWXH37KRBDR5UYJLXK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:HYJY5HN3MWXH37KRBDR5UYJLXK","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":"2609fa9f90cfa26ed5b8d66a10fab2082ab8d78cc29ed24fd3c191b2b496f7e5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-05-26T09:55:38Z","title_canon_sha256":"1f4540a6d491b386a4787921bb953d6fd5a515305e075f76e8ec864903cb2fbf"},"schema_version":"1.0","source":{"id":"1705.09504","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.09504","created_at":"2026-05-18T00:43:38Z"},{"alias_kind":"arxiv_version","alias_value":"1705.09504v1","created_at":"2026-05-18T00:43:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.09504","created_at":"2026-05-18T00:43:38Z"},{"alias_kind":"pith_short_12","alias_value":"HYJY5HN3MWXH","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"HYJY5HN3MWXH37KR","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"HYJY5HN3","created_at":"2026-05-18T12:31:21Z"}],"graph_snapshots":[{"event_id":"sha256:6423e78e6f343d3a5bb645f0341cd929821d692765dff66ae17a66145f16ef7f","target":"graph","created_at":"2026-05-18T00:43:38Z","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":"Given a text and a pattern over two types of symbols called constants and variables, the parameterized pattern matching problem is to find all occurrences of substrings of the text that the pattern matches by substituting a variable in the text for each variable in the pattern, where the substitution should be injective. The function matching problem is a variant of it that lifts the injection constraint. In this paper, we discuss variants of those problems, where one can substitute a constant or a variable for each variable of the pattern. We give two kinds of algorithms for both problems, a ","authors_text":"Ayumi Shinohara, Diptarama, Ryo Yoshinaka, Yuki Igarashi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-05-26T09:55:38Z","title":"New Variants of Pattern Matching with Constants and Variables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.09504","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:04f6ea2971e21ee5db96942d00578278febbe0a8c36efa09de691c618300c89e","target":"record","created_at":"2026-05-18T00:43:38Z","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":"2609fa9f90cfa26ed5b8d66a10fab2082ab8d78cc29ed24fd3c191b2b496f7e5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-05-26T09:55:38Z","title_canon_sha256":"1f4540a6d491b386a4787921bb953d6fd5a515305e075f76e8ec864903cb2fbf"},"schema_version":"1.0","source":{"id":"1705.09504","kind":"arxiv","version":1}},"canonical_sha256":"3e138e9dbb65ae7dfd5108e3da612bba82409ab0cb527c51d64eb06874f82dce","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3e138e9dbb65ae7dfd5108e3da612bba82409ab0cb527c51d64eb06874f82dce","first_computed_at":"2026-05-18T00:43:38.519489Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:43:38.519489Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MOutSvw5kEnzPiLLzaSpywuSv6+ro1Q/5cslEvTJUTzeupE144ya6pLKJiSaiiAqX4V8T/dKccUAFKW8VEJYAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:43:38.519957Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.09504","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:04f6ea2971e21ee5db96942d00578278febbe0a8c36efa09de691c618300c89e","sha256:6423e78e6f343d3a5bb645f0341cd929821d692765dff66ae17a66145f16ef7f"],"state_sha256":"b9fa4e1853daf799cc584c223f0f420d105ac903cde10799e5d8d68aa93d8993"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jFCMcUKiAnGb9WuS6gqKqVR5D5Fr5GuzA1e9pKrG4P/NfWZQ+Z7GeQzev6UnrjrVrst5ZrVDdAbMajR8I22zBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T16:26:56.359816Z","bundle_sha256":"37bc2976a1838c382d52ae811163211f2716f751311219d3a9aaac76423292f3"}}