{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:WD5UEMGHB5NBTSTH7WOTG2BIWA","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":"3edd6e94adaf362078f0f7bb15b448b18488e10a73b2abba0a1b7e574226f2b3","cross_cats_sorted":["cs.DM","cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2009-01-28T09:09:36Z","title_canon_sha256":"51249de83ae07825d45e6615b66868d1a1ac575f735142c06a288c266ece36fd"},"schema_version":"1.0","source":{"id":"0901.4417","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0901.4417","created_at":"2026-05-17T23:44:10Z"},{"alias_kind":"arxiv_version","alias_value":"0901.4417v4","created_at":"2026-05-17T23:44:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0901.4417","created_at":"2026-05-17T23:44:10Z"},{"alias_kind":"pith_short_12","alias_value":"WD5UEMGHB5NB","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_16","alias_value":"WD5UEMGHB5NBTSTH","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_8","alias_value":"WD5UEMGH","created_at":"2026-05-18T12:26:02Z"}],"graph_snapshots":[{"event_id":"sha256:00f4134d13239b13b5752fd4a9f4845516cf49fa13f3d0c358c2ce8e6a28a8ad","target":"graph","created_at":"2026-05-17T23:44:10Z","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":"An odd cycle cover is a vertex set whose removal makes a graph bipartite. We show that if a $k$-element odd cycle cover of a graph with w vertices is known then all $N$ maximum anticliques (= independent sets) can be generated in time $O(2^k w^3 + N w^2))$. Generating ${\\it all}\\ N'$ anticliques (maximum or not) is easier and works for arbitrary graphs in time $O(N'w^2)$. In fact the use of wildcards allows to compactly generate the anticliques in clusters.","authors_text":"Marcel Wild","cross_cats":["cs.DM","cs.MS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2009-01-28T09:09:36Z","title":"ALLSAT compressed with wildcards: All, or all maximum independent sets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0901.4417","kind":"arxiv","version":4},"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:8c0da2056294510383664db9fc3c21c31c2524128487587d289c54dde1f23518","target":"record","created_at":"2026-05-17T23:44:10Z","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":"3edd6e94adaf362078f0f7bb15b448b18488e10a73b2abba0a1b7e574226f2b3","cross_cats_sorted":["cs.DM","cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2009-01-28T09:09:36Z","title_canon_sha256":"51249de83ae07825d45e6615b66868d1a1ac575f735142c06a288c266ece36fd"},"schema_version":"1.0","source":{"id":"0901.4417","kind":"arxiv","version":4}},"canonical_sha256":"b0fb4230c70f5a19ca67fd9d336828b0219e780bb07cbbe3778d16fb9698ac7b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b0fb4230c70f5a19ca67fd9d336828b0219e780bb07cbbe3778d16fb9698ac7b","first_computed_at":"2026-05-17T23:44:10.608135Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:10.608135Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5H6gx/xVhOMbdNkPKq5zsuV99TlpFW3QuumBuvPRZGUyosb45Rdv0OEhsc/5+rz9Eu26XJNaqb8ohVUGkS8LBw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:10.608743Z","signed_message":"canonical_sha256_bytes"},"source_id":"0901.4417","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8c0da2056294510383664db9fc3c21c31c2524128487587d289c54dde1f23518","sha256:00f4134d13239b13b5752fd4a9f4845516cf49fa13f3d0c358c2ce8e6a28a8ad"],"state_sha256":"cb18ef5a4ad9e2957611ffa380b24a26499872ef97eb7941332f712a34c0f9bd"}