{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:YHRREMP254G7MYPEBHIEY36724","short_pith_number":"pith:YHRREMP2","schema_version":"1.0","canonical_sha256":"c1e31231faef0df661e409d04c6fdfd71d7f772601725e523c9e3b77e0574da0","source":{"kind":"arxiv","id":"1104.3905","version":1},"attestation_state":"computed","paper":{"title":"Courcelle's Theorem - A Game-Theoretic Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.GT","cs.LO"],"primary_cat":"cs.DS","authors_text":"Alexander Langer, Joachim Kneis, Peter Rossmanith","submitted_at":"2011-04-19T23:33:15Z","abstract_excerpt":"Courcelle's Theorem states that every problem definable in Monadic Second-Order logic can be solved in linear time on structures of bounded treewidth, for example, by constructing a tree automaton that recognizes or rejects a tree decomposition of the structure. Existing, optimized software like the MONA tool can be used to build the corresponding tree automata, which for bounded treewidth are of constant size. Unfortunately, the constants involved can become extremely large - every quantifier alternation requires a power set construction for the automaton. Here, the required space can become "},"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":"1104.3905","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-04-19T23:33:15Z","cross_cats_sorted":["cs.GT","cs.LO"],"title_canon_sha256":"cbacb05b74d847d7886feb135312d3a9096658ed2f9c65aa432af5090c233261","abstract_canon_sha256":"fae5f42912b50701204be9019900ba7cb928e76fcebfd53f9680ae85ca646151"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:23:47.470241Z","signature_b64":"AkecbwjZlbTSwCEt879HRUV0MG6UIcuO0nyRe90Gx6Bpdq9WVxKwrgRaCnIxTdYAki/UDWOLBFJDjfKUSYoxBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c1e31231faef0df661e409d04c6fdfd71d7f772601725e523c9e3b77e0574da0","last_reissued_at":"2026-05-18T04:23:47.469589Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:23:47.469589Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Courcelle's Theorem - A Game-Theoretic Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.GT","cs.LO"],"primary_cat":"cs.DS","authors_text":"Alexander Langer, Joachim Kneis, Peter Rossmanith","submitted_at":"2011-04-19T23:33:15Z","abstract_excerpt":"Courcelle's Theorem states that every problem definable in Monadic Second-Order logic can be solved in linear time on structures of bounded treewidth, for example, by constructing a tree automaton that recognizes or rejects a tree decomposition of the structure. Existing, optimized software like the MONA tool can be used to build the corresponding tree automata, which for bounded treewidth are of constant size. Unfortunately, the constants involved can become extremely large - every quantifier alternation requires a power set construction for the automaton. Here, the required space can become "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.3905","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1104.3905","created_at":"2026-05-18T04:23:47.469717+00:00"},{"alias_kind":"arxiv_version","alias_value":"1104.3905v1","created_at":"2026-05-18T04:23:47.469717+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.3905","created_at":"2026-05-18T04:23:47.469717+00:00"},{"alias_kind":"pith_short_12","alias_value":"YHRREMP254G7","created_at":"2026-05-18T12:26:47.523578+00:00"},{"alias_kind":"pith_short_16","alias_value":"YHRREMP254G7MYPE","created_at":"2026-05-18T12:26:47.523578+00:00"},{"alias_kind":"pith_short_8","alias_value":"YHRREMP2","created_at":"2026-05-18T12:26:47.523578+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/YHRREMP254G7MYPEBHIEY36724","json":"https://pith.science/pith/YHRREMP254G7MYPEBHIEY36724.json","graph_json":"https://pith.science/api/pith-number/YHRREMP254G7MYPEBHIEY36724/graph.json","events_json":"https://pith.science/api/pith-number/YHRREMP254G7MYPEBHIEY36724/events.json","paper":"https://pith.science/paper/YHRREMP2"},"agent_actions":{"view_html":"https://pith.science/pith/YHRREMP254G7MYPEBHIEY36724","download_json":"https://pith.science/pith/YHRREMP254G7MYPEBHIEY36724.json","view_paper":"https://pith.science/paper/YHRREMP2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1104.3905&json=true","fetch_graph":"https://pith.science/api/pith-number/YHRREMP254G7MYPEBHIEY36724/graph.json","fetch_events":"https://pith.science/api/pith-number/YHRREMP254G7MYPEBHIEY36724/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YHRREMP254G7MYPEBHIEY36724/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YHRREMP254G7MYPEBHIEY36724/action/storage_attestation","attest_author":"https://pith.science/pith/YHRREMP254G7MYPEBHIEY36724/action/author_attestation","sign_citation":"https://pith.science/pith/YHRREMP254G7MYPEBHIEY36724/action/citation_signature","submit_replication":"https://pith.science/pith/YHRREMP254G7MYPEBHIEY36724/action/replication_record"}},"created_at":"2026-05-18T04:23:47.469717+00:00","updated_at":"2026-05-18T04:23:47.469717+00:00"}