{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:BFK6LE6FZF2P5AC6SO2QMVUPON","short_pith_number":"pith:BFK6LE6F","schema_version":"1.0","canonical_sha256":"0955e593c5c974fe805e93b506568f737b23cc9fc751f70827074fdd54f2c18e","source":{"kind":"arxiv","id":"1104.2275","version":5},"attestation_state":"computed","paper":{"title":"Approximate Tree Decompositions of Planar Graphs in Linear Time","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DS","authors_text":"Frank Kammer, Torsten Tholey","submitted_at":"2011-04-12T17:12:46Z","abstract_excerpt":"Many algorithms have been developed for NP-hard problems on graphs with small treewidth $k$. For example, all problems that are expressable in linear extended monadic second order can be solved in linear time on graphs of bounded treewidth. It turns out that the bottleneck of many algorithms for NP-hard problems is the computation of a tree decomposition of width $O(k)$. In particular, by the bidimensional theory, there are many linear extended monadic second order problems that can be solved on $n$-vertex planar graphs with treewidth $k$ in a time linear in $n$ and subexponential in $k$ if a "},"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.2275","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-04-12T17:12:46Z","cross_cats_sorted":[],"title_canon_sha256":"def6ad7884f77a6a217aa2e4aee39c77f2aaae4ea296150dd90a9104d1e0055c","abstract_canon_sha256":"53d56f929a0967949596d45b5c55dc239fa18c01912b6bfd251c57d50d1fb741"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:14:53.696528Z","signature_b64":"A5nG/jB2Z/I15dWKgzHusK4U2+454MHuAoJFPee9jWrv2e3g4JXSLeyLl0H7GAqdxpotRDJVB8YMbjCeAUZZCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0955e593c5c974fe805e93b506568f737b23cc9fc751f70827074fdd54f2c18e","last_reissued_at":"2026-05-18T01:14:53.695927Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:14:53.695927Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Approximate Tree Decompositions of Planar Graphs in Linear Time","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DS","authors_text":"Frank Kammer, Torsten Tholey","submitted_at":"2011-04-12T17:12:46Z","abstract_excerpt":"Many algorithms have been developed for NP-hard problems on graphs with small treewidth $k$. For example, all problems that are expressable in linear extended monadic second order can be solved in linear time on graphs of bounded treewidth. It turns out that the bottleneck of many algorithms for NP-hard problems is the computation of a tree decomposition of width $O(k)$. In particular, by the bidimensional theory, there are many linear extended monadic second order problems that can be solved on $n$-vertex planar graphs with treewidth $k$ in a time linear in $n$ and subexponential in $k$ if a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.2275","kind":"arxiv","version":5},"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.2275","created_at":"2026-05-18T01:14:53.696021+00:00"},{"alias_kind":"arxiv_version","alias_value":"1104.2275v5","created_at":"2026-05-18T01:14:53.696021+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.2275","created_at":"2026-05-18T01:14:53.696021+00:00"},{"alias_kind":"pith_short_12","alias_value":"BFK6LE6FZF2P","created_at":"2026-05-18T12:26:24.575870+00:00"},{"alias_kind":"pith_short_16","alias_value":"BFK6LE6FZF2P5AC6","created_at":"2026-05-18T12:26:24.575870+00:00"},{"alias_kind":"pith_short_8","alias_value":"BFK6LE6F","created_at":"2026-05-18T12:26:24.575870+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/BFK6LE6FZF2P5AC6SO2QMVUPON","json":"https://pith.science/pith/BFK6LE6FZF2P5AC6SO2QMVUPON.json","graph_json":"https://pith.science/api/pith-number/BFK6LE6FZF2P5AC6SO2QMVUPON/graph.json","events_json":"https://pith.science/api/pith-number/BFK6LE6FZF2P5AC6SO2QMVUPON/events.json","paper":"https://pith.science/paper/BFK6LE6F"},"agent_actions":{"view_html":"https://pith.science/pith/BFK6LE6FZF2P5AC6SO2QMVUPON","download_json":"https://pith.science/pith/BFK6LE6FZF2P5AC6SO2QMVUPON.json","view_paper":"https://pith.science/paper/BFK6LE6F","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1104.2275&json=true","fetch_graph":"https://pith.science/api/pith-number/BFK6LE6FZF2P5AC6SO2QMVUPON/graph.json","fetch_events":"https://pith.science/api/pith-number/BFK6LE6FZF2P5AC6SO2QMVUPON/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BFK6LE6FZF2P5AC6SO2QMVUPON/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BFK6LE6FZF2P5AC6SO2QMVUPON/action/storage_attestation","attest_author":"https://pith.science/pith/BFK6LE6FZF2P5AC6SO2QMVUPON/action/author_attestation","sign_citation":"https://pith.science/pith/BFK6LE6FZF2P5AC6SO2QMVUPON/action/citation_signature","submit_replication":"https://pith.science/pith/BFK6LE6FZF2P5AC6SO2QMVUPON/action/replication_record"}},"created_at":"2026-05-18T01:14:53.696021+00:00","updated_at":"2026-05-18T01:14:53.696021+00:00"}