{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:6NUCEU5AFEOUNOOJU4JM6T6ZGF","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":"984dce6113978ff1c7eddcb7374626762c7e70bd7a8c28bed920100e5e555ba6","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2018-05-27T23:01:25Z","title_canon_sha256":"9ca41dbe4f36d5c94a43bd13bdfdef8149980f9344ad039dff02f8ddad719e36"},"schema_version":"1.0","source":{"id":"1805.10708","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.10708","created_at":"2026-07-05T11:36:53Z"},{"alias_kind":"arxiv_version","alias_value":"1805.10708v2","created_at":"2026-07-05T11:36:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.10708","created_at":"2026-07-05T11:36:53Z"},{"alias_kind":"pith_short_12","alias_value":"6NUCEU5AFEOU","created_at":"2026-07-05T11:36:53Z"},{"alias_kind":"pith_short_16","alias_value":"6NUCEU5AFEOUNOOJ","created_at":"2026-07-05T11:36:53Z"},{"alias_kind":"pith_short_8","alias_value":"6NUCEU5A","created_at":"2026-07-05T11:36:53Z"}],"graph_snapshots":[{"event_id":"sha256:c64ef5dd522e9b43a050fd50c78a0b836f4b9e75fddc5b0563f5f00ebec0b5b4","target":"graph","created_at":"2026-07-05T11:36:53Z","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/1805.10708/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Algorithmic meta-theorems, stating that graph properties expressible in some particular logic can be decided efficiently in graph classes having some specific structural properties, are now standard in sequential graph algorithms. One of the most classic examples is Courcelle's theorem: all properties expressible in Monadic Second-Order logic (MSO) are decidable in linear time in graphs of bounded treewidth.\n  We provide here a distributed version of Courcelle's theorem, in the standard CONGEST model for distributed computing: For any MSO formula $\\varphi$ and any constant $k$, there is a CONG","authors_text":"Benjamin Jauregui, Ioan Todinca, Jason Li, Pedro Montealegre","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2018-05-27T23:01:25Z","title":"Distributed Treewidth Computation and Courcelle's Theorem in the CONGEST Model"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.10708","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:f0cafd386d1ec732181e102c998b147d923e1c8e0bfe042dc2367e0164f9954b","target":"record","created_at":"2026-07-05T11:36:53Z","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":"984dce6113978ff1c7eddcb7374626762c7e70bd7a8c28bed920100e5e555ba6","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2018-05-27T23:01:25Z","title_canon_sha256":"9ca41dbe4f36d5c94a43bd13bdfdef8149980f9344ad039dff02f8ddad719e36"},"schema_version":"1.0","source":{"id":"1805.10708","kind":"arxiv","version":2}},"canonical_sha256":"f3682253a0291d46b9c9a712cf4fd931551c9cd83a2f4e72b508d3e856d3ade1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f3682253a0291d46b9c9a712cf4fd931551c9cd83a2f4e72b508d3e856d3ade1","first_computed_at":"2026-07-05T11:36:53.639453Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:36:53.639453Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DG8uJaQn6jmg07htcHSpB9YPeUafBjnaiVxrrB7X59g97LwJDGqPcLuPdd3LepOWLwGbuYJUwRV4krJtcfPIAw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:36:53.639990Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.10708","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f0cafd386d1ec732181e102c998b147d923e1c8e0bfe042dc2367e0164f9954b","sha256:c64ef5dd522e9b43a050fd50c78a0b836f4b9e75fddc5b0563f5f00ebec0b5b4"],"state_sha256":"d95e1e0b172998e0dd13f50c1f69cee44e48fde366ae7b2f453883dd958a361e"}