{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2002:WJ5CUMJMFZP7EBGJ6TKSVXNQT3","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":"b147f104376f4b8301212c928c86f8ab60c15e03b4d8104a379ffef7b7861a17","cross_cats_sorted":[],"license":"","primary_cat":"cs.CC","submitted_at":"2002-12-09T19:46:02Z","title_canon_sha256":"c3cbde876fcf823a08f57b9231756b67d124d3d57bb98e3f8fdd8bf07dc41735"},"schema_version":"1.0","source":{"id":"cs/0212016","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0212016","created_at":"2026-05-18T01:09:00Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0212016v3","created_at":"2026-05-18T01:09:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0212016","created_at":"2026-05-18T01:09:00Z"},{"alias_kind":"pith_short_12","alias_value":"WJ5CUMJMFZP7","created_at":"2026-05-18T12:25:51Z"},{"alias_kind":"pith_short_16","alias_value":"WJ5CUMJMFZP7EBGJ","created_at":"2026-05-18T12:25:51Z"},{"alias_kind":"pith_short_8","alias_value":"WJ5CUMJM","created_at":"2026-05-18T12:25:51Z"}],"graph_snapshots":[{"event_id":"sha256:0cd83deb5d7fba8056da7f401b31648d6beadbd3f338d0b8dae009cb7b4f1b6d","target":"graph","created_at":"2026-05-18T01:09:00Z","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":"We prove that the exact versions of the domatic number problem are complete for the levels of the boolean hierarchy over NP. The domatic number problem, which arises in the area of computer networks, is the problem of partitioning a given graph into a maximum number of disjoint dominating sets. This number is called the domatic number of the graph. We prove that the problem of determining whether or not the domatic number of a given graph is {\\em exactly} one of k given values is complete for the 2k-th level of the boolean hierarchy over NP. In particular, for k = 1, it is DP-complete to deter","authors_text":"J\\\"org Rothe, Tobias Riege","cross_cats":[],"headline":"","license":"","primary_cat":"cs.CC","submitted_at":"2002-12-09T19:46:02Z","title":"Complexity of the Exact Domatic Number Problem and of the Exact Conveyor Flow Shop Problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0212016","kind":"arxiv","version":3},"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:4e6950d75fa7a944778f0ef55ab8585df62c8d1fe247f9e343410655af2cb82d","target":"record","created_at":"2026-05-18T01:09:00Z","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":"b147f104376f4b8301212c928c86f8ab60c15e03b4d8104a379ffef7b7861a17","cross_cats_sorted":[],"license":"","primary_cat":"cs.CC","submitted_at":"2002-12-09T19:46:02Z","title_canon_sha256":"c3cbde876fcf823a08f57b9231756b67d124d3d57bb98e3f8fdd8bf07dc41735"},"schema_version":"1.0","source":{"id":"cs/0212016","kind":"arxiv","version":3}},"canonical_sha256":"b27a2a312c2e5ff204c9f4d52addb09ecec98b8ba1473da33495b1fc046a8ad6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b27a2a312c2e5ff204c9f4d52addb09ecec98b8ba1473da33495b1fc046a8ad6","first_computed_at":"2026-05-18T01:09:00.499219Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:09:00.499219Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v8pax7KOPZ9W/HlpDY0i/SZa7aSMilLXtCZufgs2U78pjsxwDCHbRgLtcfS7dJAAUUleSh/sDC0zLif/KUK+CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:09:00.499581Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0212016","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4e6950d75fa7a944778f0ef55ab8585df62c8d1fe247f9e343410655af2cb82d","sha256:0cd83deb5d7fba8056da7f401b31648d6beadbd3f338d0b8dae009cb7b4f1b6d"],"state_sha256":"0ee5758a0f11067b468eab2ac8f5e555bcd25be1f146fb2de233c66e3ccc3db8"}