{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:7LNHJTMV5MIAVWAXIBUNYV3CIH","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":"7533fb75a53d8050c6a3c53f343451fa949203d9e52bc0602f7f68a73aabd861","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.CC","submitted_at":"2015-09-18T13:33:19Z","title_canon_sha256":"af155ce52342c6ccd22f32c2324f4d3efac3c3baeeb944bb011486688e054cbd"},"schema_version":"1.0","source":{"id":"1509.05623","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.05623","created_at":"2026-05-18T01:32:36Z"},{"alias_kind":"arxiv_version","alias_value":"1509.05623v2","created_at":"2026-05-18T01:32:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05623","created_at":"2026-05-18T01:32:36Z"},{"alias_kind":"pith_short_12","alias_value":"7LNHJTMV5MIA","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_16","alias_value":"7LNHJTMV5MIAVWAX","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_8","alias_value":"7LNHJTMV","created_at":"2026-05-18T12:29:10Z"}],"graph_snapshots":[{"event_id":"sha256:2d62439d300b2ea59f8a5200e4a0a7edb1ac352a95e185ec8dd530886af95f03","target":"graph","created_at":"2026-05-18T01:32:36Z","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":"In this paper we address the problem of generating all elements obtained by the saturation of an initial set by some operations. More precisely, we prove that we can generate the closure by polymorphisms of a boolean relation with a polynomial delay. This implies for instance that we can compute with polynomial delay the closure of a family of sets by any set of \"set operations\" (e.g. by union, intersection, difference, symmetric difference$\\dots$). To do so, we prove that for any set of operations $\\mathcal{F}$, one can decide in polynomial time whether an elements belongs to the closure by $","authors_text":"Arnaud Mary, Yann Strozecki","cross_cats":[],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.CC","submitted_at":"2015-09-18T13:33:19Z","title":"Efficient enumeration of solutions produced by closure operations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.05623","kind":"arxiv","version":2},"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:fe5d908b7cf97b92856785cc2e1a21c759827ad3fc550e0aab0c23fc69d8172e","target":"record","created_at":"2026-05-18T01:32:36Z","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":"7533fb75a53d8050c6a3c53f343451fa949203d9e52bc0602f7f68a73aabd861","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.CC","submitted_at":"2015-09-18T13:33:19Z","title_canon_sha256":"af155ce52342c6ccd22f32c2324f4d3efac3c3baeeb944bb011486688e054cbd"},"schema_version":"1.0","source":{"id":"1509.05623","kind":"arxiv","version":2}},"canonical_sha256":"fada74cd95eb100ad8174068dc576241f41cdb33789c6b376d6517a5b9a6da36","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fada74cd95eb100ad8174068dc576241f41cdb33789c6b376d6517a5b9a6da36","first_computed_at":"2026-05-18T01:32:36.585133Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:32:36.585133Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WsUL4eP+WxslWdNqTczPs35m9VcqDa+IPV8Hhd2tkg1CpFtaRe/huBWLtrKCqPUnQrjBKjvFptQbMH2SDMddDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:32:36.585558Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.05623","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fe5d908b7cf97b92856785cc2e1a21c759827ad3fc550e0aab0c23fc69d8172e","sha256:2d62439d300b2ea59f8a5200e4a0a7edb1ac352a95e185ec8dd530886af95f03"],"state_sha256":"98024f9f31b4d66f3c2b2945fb01e94ccde2d7e24ba6b8ba86e3fd61b9e8f061"}