{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:P4BP7PPM7EM3AYOJYYQAA5AAMW","short_pith_number":"pith:P4BP7PPM","canonical_record":{"source":{"id":"1308.0183","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2013-08-01T12:56:47Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"b103ef73d4fe12e393a81952982a687f530928c4e0d473e958d771c2fb093a6f","abstract_canon_sha256":"600f8a5fd8efeadae0fbd83c10f4118751c07e875e41ed25ca5b8c6e761adfb7"},"schema_version":"1.0"},"canonical_sha256":"7f02ffbdecf919b061c9c62000740065885abdb740a6017fd4e8acd4b84937ed","source":{"kind":"arxiv","id":"1308.0183","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.0183","created_at":"2026-05-18T03:16:59Z"},{"alias_kind":"arxiv_version","alias_value":"1308.0183v1","created_at":"2026-05-18T03:16:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.0183","created_at":"2026-05-18T03:16:59Z"},{"alias_kind":"pith_short_12","alias_value":"P4BP7PPM7EM3","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"P4BP7PPM7EM3AYOJ","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"P4BP7PPM","created_at":"2026-05-18T12:27:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:P4BP7PPM7EM3AYOJYYQAA5AAMW","target":"record","payload":{"canonical_record":{"source":{"id":"1308.0183","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2013-08-01T12:56:47Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"b103ef73d4fe12e393a81952982a687f530928c4e0d473e958d771c2fb093a6f","abstract_canon_sha256":"600f8a5fd8efeadae0fbd83c10f4118751c07e875e41ed25ca5b8c6e761adfb7"},"schema_version":"1.0"},"canonical_sha256":"7f02ffbdecf919b061c9c62000740065885abdb740a6017fd4e8acd4b84937ed","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:16:59.606022Z","signature_b64":"YMMFeBGtXrOsqMClmLRqnzAHl/VE3zOU6kIFT7PfbY5dA+Z6aNcBhSt2JkdeErY8IAU/FshLN3mGLG7WJtvHCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7f02ffbdecf919b061c9c62000740065885abdb740a6017fd4e8acd4b84937ed","last_reissued_at":"2026-05-18T03:16:59.605382Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:16:59.605382Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1308.0183","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:16:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lMOJT6syUEeoOm9WEgnyeyOm01/OJwPrzBUoblynDAO4XYx2yQSbhIRrF7gddaK4FAqkMH8mDxv/r4UW0P7JCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T01:00:04.766379Z"},"content_sha256":"ed4b178180cc2b8f4cde0dc5acee1bf0762461b7025ec9549205bcf5e21c2972","schema_version":"1.0","event_id":"sha256:ed4b178180cc2b8f4cde0dc5acee1bf0762461b7025ec9549205bcf5e21c2972"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:P4BP7PPM7EM3AYOJYYQAA5AAMW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An n-ary Constraint for the Stable Marriage Problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.DS","authors_text":"Chris Unsworth, Patrick Prosser","submitted_at":"2013-08-01T12:56:47Z","abstract_excerpt":"We present an n-ary constraint for the stable marriage problem. This constraint acts between two sets of integer variables where the domains of those variables represent preferences. Our constraint enforces stability and disallows bigamy. For a stable marriage instance with $n$ men and $n$ women we require only one of these constraints, and the complexity of enforcing arc-consistency is $O(n^2)$ which is optimal in the size of input. Our computational studies show that our n-ary constraint is significantly faster and more space efficient than the encodings presented in \\cite{cp01}. We also int"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.0183","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:16:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L4YErKBdk6+kIluiuLxw4rKDg3f63OrRUfF74igjgvrl9j5xIGXDWoIuSO4J42F4mudYfh6Pc10dTiejM9JkCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T01:00:04.766744Z"},"content_sha256":"94f5f586f0c292e34222b650765aace4b0616881be9b960c40529136c0822426","schema_version":"1.0","event_id":"sha256:94f5f586f0c292e34222b650765aace4b0616881be9b960c40529136c0822426"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P4BP7PPM7EM3AYOJYYQAA5AAMW/bundle.json","state_url":"https://pith.science/pith/P4BP7PPM7EM3AYOJYYQAA5AAMW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P4BP7PPM7EM3AYOJYYQAA5AAMW/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-10T01:00:04Z","links":{"resolver":"https://pith.science/pith/P4BP7PPM7EM3AYOJYYQAA5AAMW","bundle":"https://pith.science/pith/P4BP7PPM7EM3AYOJYYQAA5AAMW/bundle.json","state":"https://pith.science/pith/P4BP7PPM7EM3AYOJYYQAA5AAMW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P4BP7PPM7EM3AYOJYYQAA5AAMW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:P4BP7PPM7EM3AYOJYYQAA5AAMW","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":"600f8a5fd8efeadae0fbd83c10f4118751c07e875e41ed25ca5b8c6e761adfb7","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2013-08-01T12:56:47Z","title_canon_sha256":"b103ef73d4fe12e393a81952982a687f530928c4e0d473e958d771c2fb093a6f"},"schema_version":"1.0","source":{"id":"1308.0183","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.0183","created_at":"2026-05-18T03:16:59Z"},{"alias_kind":"arxiv_version","alias_value":"1308.0183v1","created_at":"2026-05-18T03:16:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.0183","created_at":"2026-05-18T03:16:59Z"},{"alias_kind":"pith_short_12","alias_value":"P4BP7PPM7EM3","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"P4BP7PPM7EM3AYOJ","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"P4BP7PPM","created_at":"2026-05-18T12:27:54Z"}],"graph_snapshots":[{"event_id":"sha256:94f5f586f0c292e34222b650765aace4b0616881be9b960c40529136c0822426","target":"graph","created_at":"2026-05-18T03:16:59Z","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 present an n-ary constraint for the stable marriage problem. This constraint acts between two sets of integer variables where the domains of those variables represent preferences. Our constraint enforces stability and disallows bigamy. For a stable marriage instance with $n$ men and $n$ women we require only one of these constraints, and the complexity of enforcing arc-consistency is $O(n^2)$ which is optimal in the size of input. Our computational studies show that our n-ary constraint is significantly faster and more space efficient than the encodings presented in \\cite{cp01}. We also int","authors_text":"Chris Unsworth, Patrick Prosser","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2013-08-01T12:56:47Z","title":"An n-ary Constraint for the Stable Marriage Problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.0183","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:ed4b178180cc2b8f4cde0dc5acee1bf0762461b7025ec9549205bcf5e21c2972","target":"record","created_at":"2026-05-18T03:16:59Z","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":"600f8a5fd8efeadae0fbd83c10f4118751c07e875e41ed25ca5b8c6e761adfb7","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2013-08-01T12:56:47Z","title_canon_sha256":"b103ef73d4fe12e393a81952982a687f530928c4e0d473e958d771c2fb093a6f"},"schema_version":"1.0","source":{"id":"1308.0183","kind":"arxiv","version":1}},"canonical_sha256":"7f02ffbdecf919b061c9c62000740065885abdb740a6017fd4e8acd4b84937ed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7f02ffbdecf919b061c9c62000740065885abdb740a6017fd4e8acd4b84937ed","first_computed_at":"2026-05-18T03:16:59.605382Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:16:59.605382Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YMMFeBGtXrOsqMClmLRqnzAHl/VE3zOU6kIFT7PfbY5dA+Z6aNcBhSt2JkdeErY8IAU/FshLN3mGLG7WJtvHCA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:16:59.606022Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.0183","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ed4b178180cc2b8f4cde0dc5acee1bf0762461b7025ec9549205bcf5e21c2972","sha256:94f5f586f0c292e34222b650765aace4b0616881be9b960c40529136c0822426"],"state_sha256":"2b6b4d31f24d0e069112a8a45234a928b2b91875640fb906a4e81da2af2c7921"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EOFr6kuEVoRkakyGQ3aOyZlqVu4cfJr+/M2O3kbwdSBVqaJxF+e9nLZKCnC4AfJTVlXp4lXiPGdwWuagabCMCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T01:00:04.769825Z","bundle_sha256":"d5041b35d604265691f5eb2c807320c5a125d1ef20d06a8a593304895b1effa5"}}