{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:B3FJFOGXBJRPOPITTKXDPVYOSS","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":"c98bed27789ac22a5a71a743c923af55be7c0ca2560da75bda08131d4c6e213d","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:11:58Z","title_canon_sha256":"3486a4cd5b937d139b9a574cc4dbb3666c42a80c02928430cddfb71c80362fab"},"schema_version":"1.0","source":{"id":"1401.3879","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3879","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3879v1","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3879","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"pith_short_12","alias_value":"B3FJFOGXBJRP","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"B3FJFOGXBJRPOPIT","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"B3FJFOGX","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:b73e8bac1bd51e5aa9b5be134bfca1623c14c45df07b358fdecdd9d0b6b6aa95","target":"graph","created_at":"2026-05-18T03:02:06Z","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 many combinatorial problems one may need to model the diversity or similarity of assignments in a solution. For example, one may wish to maximise or minimise the number of distinct values in a solution. To formulate problems of this type, we can use soft variants of the well known AllDifferent and AllEqual constraints.  We present a taxonomy of six soft global constraints, generated by combining the two latter ones and the two standard cost functions, which are either maximised or minimised. We characterise the complexity of achieving arc and bounds consistency on these constraints, resolvi","authors_text":"Barry O'Sullivan, D\\'aniel Marx, Emmanuel Hebrard, Igor Razgon","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:11:58Z","title":"Soft Constraints of Difference and Equality"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3879","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:6ff149bd8d175d06d9c9017eb5ea7862bf3bc08bb67c9e57ecc8488ed99bab72","target":"record","created_at":"2026-05-18T03:02:06Z","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":"c98bed27789ac22a5a71a743c923af55be7c0ca2560da75bda08131d4c6e213d","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:11:58Z","title_canon_sha256":"3486a4cd5b937d139b9a574cc4dbb3666c42a80c02928430cddfb71c80362fab"},"schema_version":"1.0","source":{"id":"1401.3879","kind":"arxiv","version":1}},"canonical_sha256":"0eca92b8d70a62f73d139aae37d70e94959118a53d9b5a9e7a15c8a47ad46bed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0eca92b8d70a62f73d139aae37d70e94959118a53d9b5a9e7a15c8a47ad46bed","first_computed_at":"2026-05-18T03:02:06.299068Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:02:06.299068Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"49FJ3OBAdrQ+UPdebFpN0m3zVULX/bjRYSGE7IuldKLKoPo9gxxJlVQbnY1RglLS36qaakc2BWkPtQ3nC0BJDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:02:06.299565Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.3879","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6ff149bd8d175d06d9c9017eb5ea7862bf3bc08bb67c9e57ecc8488ed99bab72","sha256:b73e8bac1bd51e5aa9b5be134bfca1623c14c45df07b358fdecdd9d0b6b6aa95"],"state_sha256":"3b9915a8775849d5dc6ff08805d1255ecd59524c0b3946a7475374055b742fc1"}