{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:E42YMIIFATDRUFKZGFDA4LEV4R","short_pith_number":"pith:E42YMIIF","canonical_record":{"source":{"id":"1709.06185","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2017-09-18T22:08:44Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"50cbed869842cea8563a38ffe33b2418ba67a467fa33aa869fa9f1aa92acfc6d","abstract_canon_sha256":"c3d1c7c63e3693b69777a566561314ddc5295f2f5472d0f65ebd24628acd1220"},"schema_version":"1.0"},"canonical_sha256":"273586210504c71a155931460e2c95e46b2fd2d569d2c70a6e9cab99410b6ae2","source":{"kind":"arxiv","id":"1709.06185","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.06185","created_at":"2026-05-18T00:14:34Z"},{"alias_kind":"arxiv_version","alias_value":"1709.06185v3","created_at":"2026-05-18T00:14:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.06185","created_at":"2026-05-18T00:14:34Z"},{"alias_kind":"pith_short_12","alias_value":"E42YMIIFATDR","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"E42YMIIFATDRUFKZ","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"E42YMIIF","created_at":"2026-05-18T12:31:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:E42YMIIFATDRUFKZGFDA4LEV4R","target":"record","payload":{"canonical_record":{"source":{"id":"1709.06185","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2017-09-18T22:08:44Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"50cbed869842cea8563a38ffe33b2418ba67a467fa33aa869fa9f1aa92acfc6d","abstract_canon_sha256":"c3d1c7c63e3693b69777a566561314ddc5295f2f5472d0f65ebd24628acd1220"},"schema_version":"1.0"},"canonical_sha256":"273586210504c71a155931460e2c95e46b2fd2d569d2c70a6e9cab99410b6ae2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:14:34.454340Z","signature_b64":"YMLu8TrBCLLNwfFNNzZiAi6moqKmXfUDdPgNi9RQt5Mj4Z9kE8xvGcsR9IdV0mkL9HaoTFL3XH8+IwNkyi7eCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"273586210504c71a155931460e2c95e46b2fd2d569d2c70a6e9cab99410b6ae2","last_reissued_at":"2026-05-18T00:14:34.453781Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:14:34.453781Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.06185","source_version":3,"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:14:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+nvdLLK0vqGnurPlZ3mibqO+OwUrGl1NkQAl5XQ+EBUJF35R/yo1hYDti5WMgqyIO/WF7Wqy0oP2Av0gz14CCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T18:52:05.662449Z"},"content_sha256":"c52daa1a283c0451a23edb8a6c46fb95bba832e537dd1bb9b56d8e970ae2000d","schema_version":"1.0","event_id":"sha256:c52daa1a283c0451a23edb8a6c46fb95bba832e537dd1bb9b56d8e970ae2000d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:E42YMIIFATDRUFKZGFDA4LEV4R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Enumeration on Trees under Relabelings","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DB","authors_text":"Antoine Amarilli, Pierre Bourhis, Stefan Mengel","submitted_at":"2017-09-18T22:08:44Z","abstract_excerpt":"We study how to evaluate MSO queries with free variables on trees, within the framework of enumeration algorithms. Previous work has shown how to enumerate answers with linear-time preprocessing and delay linear in the size of each output, i.e., constant-delay for free first-order variables. We extend this result to support relabelings, a restricted kind of update operations on trees which allows us to change the node labels. Our main result shows that we can enumerate the answers of MSO queries on trees with linear-time preprocessing and delay linear in each answer, while supporting node rela"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.06185","kind":"arxiv","version":3},"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:14:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aaJGxUns4ffmiRCZv331WRfimvJWf7Kn9WrD2o1wMVrIS6O14DG34hhhajpSE05lqTW8H697armZxWvtAzEqCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T18:52:05.663150Z"},"content_sha256":"880b3ec077230c3707d92461c8914ca052849bb77f9d05e2d738c7dbca51f1ed","schema_version":"1.0","event_id":"sha256:880b3ec077230c3707d92461c8914ca052849bb77f9d05e2d738c7dbca51f1ed"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E42YMIIFATDRUFKZGFDA4LEV4R/bundle.json","state_url":"https://pith.science/pith/E42YMIIFATDRUFKZGFDA4LEV4R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E42YMIIFATDRUFKZGFDA4LEV4R/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-25T18:52:05Z","links":{"resolver":"https://pith.science/pith/E42YMIIFATDRUFKZGFDA4LEV4R","bundle":"https://pith.science/pith/E42YMIIFATDRUFKZGFDA4LEV4R/bundle.json","state":"https://pith.science/pith/E42YMIIFATDRUFKZGFDA4LEV4R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E42YMIIFATDRUFKZGFDA4LEV4R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:E42YMIIFATDRUFKZGFDA4LEV4R","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":"c3d1c7c63e3693b69777a566561314ddc5295f2f5472d0f65ebd24628acd1220","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2017-09-18T22:08:44Z","title_canon_sha256":"50cbed869842cea8563a38ffe33b2418ba67a467fa33aa869fa9f1aa92acfc6d"},"schema_version":"1.0","source":{"id":"1709.06185","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.06185","created_at":"2026-05-18T00:14:34Z"},{"alias_kind":"arxiv_version","alias_value":"1709.06185v3","created_at":"2026-05-18T00:14:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.06185","created_at":"2026-05-18T00:14:34Z"},{"alias_kind":"pith_short_12","alias_value":"E42YMIIFATDR","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"E42YMIIFATDRUFKZ","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"E42YMIIF","created_at":"2026-05-18T12:31:12Z"}],"graph_snapshots":[{"event_id":"sha256:880b3ec077230c3707d92461c8914ca052849bb77f9d05e2d738c7dbca51f1ed","target":"graph","created_at":"2026-05-18T00:14:34Z","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":"We study how to evaluate MSO queries with free variables on trees, within the framework of enumeration algorithms. Previous work has shown how to enumerate answers with linear-time preprocessing and delay linear in the size of each output, i.e., constant-delay for free first-order variables. We extend this result to support relabelings, a restricted kind of update operations on trees which allows us to change the node labels. Our main result shows that we can enumerate the answers of MSO queries on trees with linear-time preprocessing and delay linear in each answer, while supporting node rela","authors_text":"Antoine Amarilli, Pierre Bourhis, Stefan Mengel","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2017-09-18T22:08:44Z","title":"Enumeration on Trees under Relabelings"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.06185","kind":"arxiv","version":3},"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:c52daa1a283c0451a23edb8a6c46fb95bba832e537dd1bb9b56d8e970ae2000d","target":"record","created_at":"2026-05-18T00:14:34Z","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":"c3d1c7c63e3693b69777a566561314ddc5295f2f5472d0f65ebd24628acd1220","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2017-09-18T22:08:44Z","title_canon_sha256":"50cbed869842cea8563a38ffe33b2418ba67a467fa33aa869fa9f1aa92acfc6d"},"schema_version":"1.0","source":{"id":"1709.06185","kind":"arxiv","version":3}},"canonical_sha256":"273586210504c71a155931460e2c95e46b2fd2d569d2c70a6e9cab99410b6ae2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"273586210504c71a155931460e2c95e46b2fd2d569d2c70a6e9cab99410b6ae2","first_computed_at":"2026-05-18T00:14:34.453781Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:14:34.453781Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YMLu8TrBCLLNwfFNNzZiAi6moqKmXfUDdPgNi9RQt5Mj4Z9kE8xvGcsR9IdV0mkL9HaoTFL3XH8+IwNkyi7eCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:14:34.454340Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.06185","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c52daa1a283c0451a23edb8a6c46fb95bba832e537dd1bb9b56d8e970ae2000d","sha256:880b3ec077230c3707d92461c8914ca052849bb77f9d05e2d738c7dbca51f1ed"],"state_sha256":"1091511bec69cfc015ced9d991843dcca40f82bb953ce0f7c1645e69cf2f07e2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8MuhyufnmhlJknO27TVG20PnDaJE1rQA6KbfH6o5/FPLbbFwU9Hops3FcKWooeThxNajiPTOh2UfR6uYDweBBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T18:52:05.666584Z","bundle_sha256":"d244e2f4a456021f0c4a6c4db643e5bc6c2bb5c5b347f5922ef6c5ddfd9d2282"}}