{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2004:JSE3CIASLR2O5SGUC3EACWKGEW","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":"ef7c9f72a7213c1933febe1b3071616dadfc42539a5b668a549dceb555aba4b7","cross_cats_sorted":["cs.DM","cs.DS","cs.GT","math.PR"],"license":"","primary_cat":"math.CO","submitted_at":"2004-11-06T20:33:39Z","title_canon_sha256":"8d1e1f71594a81760642363c871be448fe9f974bce20ff579171ec00031df89c"},"schema_version":"1.0","source":{"id":"math/0411138","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0411138","created_at":"2026-05-18T04:03:07Z"},{"alias_kind":"arxiv_version","alias_value":"math/0411138v1","created_at":"2026-05-18T04:03:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0411138","created_at":"2026-05-18T04:03:07Z"},{"alias_kind":"pith_short_12","alias_value":"JSE3CIASLR2O","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_16","alias_value":"JSE3CIASLR2O5SGU","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_8","alias_value":"JSE3CIAS","created_at":"2026-05-18T12:25:52Z"}],"graph_snapshots":[{"event_id":"sha256:04895b640763e98bfd7a5192595541af5783bc4ea27fac1af0fa6a3ef82c38c0","target":"graph","created_at":"2026-05-18T04:03:07Z","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 article, we study directed graphs (digraphs) with a coloring constraint due to Von Neumann and related to Nim-type games. This is equivalent to the notion of kernels of digraphs, which appears in numerous fields of research such as game theory, complexity theory, artificial intelligence (default logic, argumentation in multi-agent systems), 0-1 laws in monadic second order logic, combinatorics (perfect graphs)... Kernels of digraphs lead to numerous difficult questions (in the sense of NP-completeness, #P-completeness). However, we show here that it is possible to use a generating func","authors_text":"Cyril Banderier (LIPN), GREYC), Jean-Marie Le Bars (LIPN, Vlady Ravelomanana (LIPN)","cross_cats":["cs.DM","cs.DS","cs.GT","math.PR"],"headline":"","license":"","primary_cat":"math.CO","submitted_at":"2004-11-06T20:33:39Z","title":"Generating Functions For Kernels of Digraphs (Enumeration & Asymptotics for Nim Games)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0411138","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:13c5537da7312b079c2e20eeaf62565550470f686fb86da0d857d6f33df43434","target":"record","created_at":"2026-05-18T04:03:07Z","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":"ef7c9f72a7213c1933febe1b3071616dadfc42539a5b668a549dceb555aba4b7","cross_cats_sorted":["cs.DM","cs.DS","cs.GT","math.PR"],"license":"","primary_cat":"math.CO","submitted_at":"2004-11-06T20:33:39Z","title_canon_sha256":"8d1e1f71594a81760642363c871be448fe9f974bce20ff579171ec00031df89c"},"schema_version":"1.0","source":{"id":"math/0411138","kind":"arxiv","version":1}},"canonical_sha256":"4c89b120125c74eec8d416c801594625839a0999950ff71a81096b5c4eacf50c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4c89b120125c74eec8d416c801594625839a0999950ff71a81096b5c4eacf50c","first_computed_at":"2026-05-18T04:03:07.796617Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:03:07.796617Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Tbag0d59WzQvP3qNCe3NPXxSEDEvrIG5srPNj72+vhv1hhIBZAhNHn0KCXU6HPWfIy2ggf5lUHY2BsfCSOvtAA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:03:07.797375Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0411138","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:13c5537da7312b079c2e20eeaf62565550470f686fb86da0d857d6f33df43434","sha256:04895b640763e98bfd7a5192595541af5783bc4ea27fac1af0fa6a3ef82c38c0"],"state_sha256":"4aec7fcb6ccc1b96e47c298c71a29912ec4bd69f9d6cda6e921aea659e95e79c"}