{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:7U4SHGHZWL3KYBQSL2H4VRPFZW","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":"109dd37db5f3e1956f86eb993a33e71fcade8cb3952d7bca96e847be7fed1879","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-07-30T13:27:36Z","title_canon_sha256":"f09c2573a39e39445681599b536d4fbbd7ea3f8fe2a0504d7ac3cfdca1f215b1"},"schema_version":"1.0","source":{"id":"1807.11339","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.11339","created_at":"2026-05-18T00:09:32Z"},{"alias_kind":"arxiv_version","alias_value":"1807.11339v1","created_at":"2026-05-18T00:09:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.11339","created_at":"2026-05-18T00:09:32Z"},{"alias_kind":"pith_short_12","alias_value":"7U4SHGHZWL3K","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7U4SHGHZWL3KYBQS","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7U4SHGHZ","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:a96d0c2370ef2b23c1ac11a6dd77c0f4d135c7ebe674f0045a5d14de95f3c2c9","target":"graph","created_at":"2026-05-18T00:09:32Z","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":"The classical NP-complete problem Vertex Cover requires us to determine whether a graph contains at most $k$ vertices that cover all edges. In spite of its intractability, the problem can be solved in FPT time for parameter $k$ by various techniques. In this paper, we present half a dozen new and simple FPT algorithms for Vertex Cover with respect to parameter $k$. For this purpose, we explore structural properties of vertex covers and use these properties to obtain FPT algorithms by iterative compression, colour coding, and indirect certificating methods. In particular, we show that every gra","authors_text":"Leizhen Cai","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-07-30T13:27:36Z","title":"Vertex Covers Revisited: Indirect Certificates and FPT Algorithms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.11339","kind":"arxiv","version":1},"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:f5efd98c7b8c758a951ea7694a7864833da3e4bdb4891c4e61e7bc39865aad5c","target":"record","created_at":"2026-05-18T00:09:32Z","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":"109dd37db5f3e1956f86eb993a33e71fcade8cb3952d7bca96e847be7fed1879","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-07-30T13:27:36Z","title_canon_sha256":"f09c2573a39e39445681599b536d4fbbd7ea3f8fe2a0504d7ac3cfdca1f215b1"},"schema_version":"1.0","source":{"id":"1807.11339","kind":"arxiv","version":1}},"canonical_sha256":"fd392398f9b2f6ac06125e8fcac5e5cd96b4638a96a5056108551c2b15346e2f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fd392398f9b2f6ac06125e8fcac5e5cd96b4638a96a5056108551c2b15346e2f","first_computed_at":"2026-05-18T00:09:32.177574Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:09:32.177574Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Bjorim+qp3DhbYe0PxbZRiGBA3P/8VWKoBg+lKwz9rYgnAyPsCgGkPByW6pE5tgvlfVIN+EAN5FrhazUctzNDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:09:32.178215Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.11339","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f5efd98c7b8c758a951ea7694a7864833da3e4bdb4891c4e61e7bc39865aad5c","sha256:a96d0c2370ef2b23c1ac11a6dd77c0f4d135c7ebe674f0045a5d14de95f3c2c9"],"state_sha256":"ca4f9a8fb9acb323a57616bccb16fccb51b7443ac2a9097b08254beda9a2550c"}