{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:T44B5PH3QQCWOGB77PX3LEXPIG","short_pith_number":"pith:T44B5PH3","schema_version":"1.0","canonical_sha256":"9f381ebcfb840567183ffbefb592ef41b137f484323fa0be8b1f2c211bf6823b","source":{"kind":"arxiv","id":"1811.01672","version":2},"attestation_state":"computed","paper":{"title":"The distributed complexity of locally checkable problems on paths is decidable","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.DC","authors_text":"Alkida Balliu, Dennis Olivetti, Jukka Suomela, Mika\\\"el Rabie, Sebastian Brandt, Yi-Jun Chang","submitted_at":"2018-11-05T13:37:30Z","abstract_excerpt":"Consider a computer network that consists of a path with $n$ nodes. The nodes are labeled with inputs from a constant-sized set, and the task is to find output labels from a constant-sized set subject to some local constraints---more formally, we have an LCL (locally checkable labeling) problem. How many communication rounds are needed (in the standard LOCAL model of computing) to solve this problem?\n  It is well known that the answer is always either $O(1)$ rounds, or $\\Theta(\\log^* n)$ rounds, or $\\Theta(n)$ rounds. In this work we show that this question is decidable (albeit PSPACE-hard): w"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1811.01672","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2018-11-05T13:37:30Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"d3a32713a07159dec0f08cb14452089d954f50e19af36263fe4542d6027538b3","abstract_canon_sha256":"688e1376ac778e52cc4cdf2957b5356f1d950295d50550c36d8146f1cd8943fe"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:53:50.315536Z","signature_b64":"zF1v2ySxtFD0wdvP5ObR4lMBzqqVCBD5TAKmCxnk5DpF3L5SrhM4vpySeiEo+6+6FEKPkl9bk7JOyAAfj1TMCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9f381ebcfb840567183ffbefb592ef41b137f484323fa0be8b1f2c211bf6823b","last_reissued_at":"2026-05-17T23:53:50.314765Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:53:50.314765Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The distributed complexity of locally checkable problems on paths is decidable","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.DC","authors_text":"Alkida Balliu, Dennis Olivetti, Jukka Suomela, Mika\\\"el Rabie, Sebastian Brandt, Yi-Jun Chang","submitted_at":"2018-11-05T13:37:30Z","abstract_excerpt":"Consider a computer network that consists of a path with $n$ nodes. The nodes are labeled with inputs from a constant-sized set, and the task is to find output labels from a constant-sized set subject to some local constraints---more formally, we have an LCL (locally checkable labeling) problem. How many communication rounds are needed (in the standard LOCAL model of computing) to solve this problem?\n  It is well known that the answer is always either $O(1)$ rounds, or $\\Theta(\\log^* n)$ rounds, or $\\Theta(n)$ rounds. In this work we show that this question is decidable (albeit PSPACE-hard): w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.01672","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":""},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1811.01672","created_at":"2026-05-17T23:53:50.314892+00:00"},{"alias_kind":"arxiv_version","alias_value":"1811.01672v2","created_at":"2026-05-17T23:53:50.314892+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.01672","created_at":"2026-05-17T23:53:50.314892+00:00"},{"alias_kind":"pith_short_12","alias_value":"T44B5PH3QQCW","created_at":"2026-05-18T12:32:53.628368+00:00"},{"alias_kind":"pith_short_16","alias_value":"T44B5PH3QQCWOGB7","created_at":"2026-05-18T12:32:53.628368+00:00"},{"alias_kind":"pith_short_8","alias_value":"T44B5PH3","created_at":"2026-05-18T12:32:53.628368+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/T44B5PH3QQCWOGB77PX3LEXPIG","json":"https://pith.science/pith/T44B5PH3QQCWOGB77PX3LEXPIG.json","graph_json":"https://pith.science/api/pith-number/T44B5PH3QQCWOGB77PX3LEXPIG/graph.json","events_json":"https://pith.science/api/pith-number/T44B5PH3QQCWOGB77PX3LEXPIG/events.json","paper":"https://pith.science/paper/T44B5PH3"},"agent_actions":{"view_html":"https://pith.science/pith/T44B5PH3QQCWOGB77PX3LEXPIG","download_json":"https://pith.science/pith/T44B5PH3QQCWOGB77PX3LEXPIG.json","view_paper":"https://pith.science/paper/T44B5PH3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1811.01672&json=true","fetch_graph":"https://pith.science/api/pith-number/T44B5PH3QQCWOGB77PX3LEXPIG/graph.json","fetch_events":"https://pith.science/api/pith-number/T44B5PH3QQCWOGB77PX3LEXPIG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/T44B5PH3QQCWOGB77PX3LEXPIG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/T44B5PH3QQCWOGB77PX3LEXPIG/action/storage_attestation","attest_author":"https://pith.science/pith/T44B5PH3QQCWOGB77PX3LEXPIG/action/author_attestation","sign_citation":"https://pith.science/pith/T44B5PH3QQCWOGB77PX3LEXPIG/action/citation_signature","submit_replication":"https://pith.science/pith/T44B5PH3QQCWOGB77PX3LEXPIG/action/replication_record"}},"created_at":"2026-05-17T23:53:50.314892+00:00","updated_at":"2026-05-17T23:53:50.314892+00:00"}