{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:ZSUAZPTDMIO6ZCO2YE3ESOSBCE","short_pith_number":"pith:ZSUAZPTD","canonical_record":{"source":{"id":"1403.7373","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-28T13:43:50Z","cross_cats_sorted":[],"title_canon_sha256":"b170e7f36a474e7c7d96bc90217b69538dedba359b0ab01c20cbb07008402406","abstract_canon_sha256":"691aa3ec9a38d60b3b93c58cd58665cc484b427d66fb959aaf3796be0a6d45c1"},"schema_version":"1.0"},"canonical_sha256":"cca80cbe63621dec89dac136493a411107b38d66c839c97708f2ba3824b2e13a","source":{"kind":"arxiv","id":"1403.7373","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.7373","created_at":"2026-05-18T02:55:19Z"},{"alias_kind":"arxiv_version","alias_value":"1403.7373v1","created_at":"2026-05-18T02:55:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.7373","created_at":"2026-05-18T02:55:19Z"},{"alias_kind":"pith_short_12","alias_value":"ZSUAZPTDMIO6","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZSUAZPTDMIO6ZCO2","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZSUAZPTD","created_at":"2026-05-18T12:28:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:ZSUAZPTDMIO6ZCO2YE3ESOSBCE","target":"record","payload":{"canonical_record":{"source":{"id":"1403.7373","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-28T13:43:50Z","cross_cats_sorted":[],"title_canon_sha256":"b170e7f36a474e7c7d96bc90217b69538dedba359b0ab01c20cbb07008402406","abstract_canon_sha256":"691aa3ec9a38d60b3b93c58cd58665cc484b427d66fb959aaf3796be0a6d45c1"},"schema_version":"1.0"},"canonical_sha256":"cca80cbe63621dec89dac136493a411107b38d66c839c97708f2ba3824b2e13a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:55:19.810777Z","signature_b64":"+kuNBfGSIu1v2bgPNf0lMdhomuw8EObpHqM9/3yjaqBT0/NRzEuJMfk+fiE5uAPEG4Cf7YZH9Rkeh6U7QC/yCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cca80cbe63621dec89dac136493a411107b38d66c839c97708f2ba3824b2e13a","last_reissued_at":"2026-05-18T02:55:19.810309Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:55:19.810309Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.7373","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-18T02:55:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"McMWko1FURcMCWJkq2RQy1wpaw0pzvqv+oWB3sRD0ZpK+/atySm5p2fj+3NBnzc9LoKa75cKxoy+0JY5Q8DvDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T15:43:39.501262Z"},"content_sha256":"2d9c4497ba397091d4117a1d437e9ea69c5f4baf8e426b1ac85ed5ea221b2155","schema_version":"1.0","event_id":"sha256:2d9c4497ba397091d4117a1d437e9ea69c5f4baf8e426b1ac85ed5ea221b2155"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:ZSUAZPTDMIO6ZCO2YE3ESOSBCE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Difficulty Rating of Sudoku Puzzles: An Overview and Evaluation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Radek Pel\\'anek","submitted_at":"2014-03-28T13:43:50Z","abstract_excerpt":"How can we predict the difficulty of a Sudoku puzzle? We give an overview of difficulty rating metrics and evaluate them on extensive dataset on human problem solving (more then 1700 Sudoku puzzles, hundreds of solvers). The best results are obtained using a computational model of human solving activity. Using the model we show that there are two sources of the problem difficulty: complexity of individual steps (logic operations) and structure of dependency among steps. We also describe metrics based on analysis of solutions under relaxed constraints -- a novel approach inspired by phase trans"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.7373","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-18T02:55:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"stY1WqX+2BYU1oS4jRmFpO7rBda2am4vVjN/g94cT0Dv0MzMsRDX7/nDFm+9hKtrYX0/sbfA5Y7tE6lDvTY7Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T15:43:39.501814Z"},"content_sha256":"853dcf4ff69825bf613e34e9a55ad3d36033da5903d2b46a6f833d6506269e65","schema_version":"1.0","event_id":"sha256:853dcf4ff69825bf613e34e9a55ad3d36033da5903d2b46a6f833d6506269e65"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZSUAZPTDMIO6ZCO2YE3ESOSBCE/bundle.json","state_url":"https://pith.science/pith/ZSUAZPTDMIO6ZCO2YE3ESOSBCE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZSUAZPTDMIO6ZCO2YE3ESOSBCE/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-08-14T15:43:39Z","links":{"resolver":"https://pith.science/pith/ZSUAZPTDMIO6ZCO2YE3ESOSBCE","bundle":"https://pith.science/pith/ZSUAZPTDMIO6ZCO2YE3ESOSBCE/bundle.json","state":"https://pith.science/pith/ZSUAZPTDMIO6ZCO2YE3ESOSBCE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZSUAZPTDMIO6ZCO2YE3ESOSBCE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:ZSUAZPTDMIO6ZCO2YE3ESOSBCE","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":"691aa3ec9a38d60b3b93c58cd58665cc484b427d66fb959aaf3796be0a6d45c1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-28T13:43:50Z","title_canon_sha256":"b170e7f36a474e7c7d96bc90217b69538dedba359b0ab01c20cbb07008402406"},"schema_version":"1.0","source":{"id":"1403.7373","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.7373","created_at":"2026-05-18T02:55:19Z"},{"alias_kind":"arxiv_version","alias_value":"1403.7373v1","created_at":"2026-05-18T02:55:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.7373","created_at":"2026-05-18T02:55:19Z"},{"alias_kind":"pith_short_12","alias_value":"ZSUAZPTDMIO6","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZSUAZPTDMIO6ZCO2","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZSUAZPTD","created_at":"2026-05-18T12:28:59Z"}],"graph_snapshots":[{"event_id":"sha256:853dcf4ff69825bf613e34e9a55ad3d36033da5903d2b46a6f833d6506269e65","target":"graph","created_at":"2026-05-18T02:55:19Z","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":"How can we predict the difficulty of a Sudoku puzzle? We give an overview of difficulty rating metrics and evaluate them on extensive dataset on human problem solving (more then 1700 Sudoku puzzles, hundreds of solvers). The best results are obtained using a computational model of human solving activity. Using the model we show that there are two sources of the problem difficulty: complexity of individual steps (logic operations) and structure of dependency among steps. We also describe metrics based on analysis of solutions under relaxed constraints -- a novel approach inspired by phase trans","authors_text":"Radek Pel\\'anek","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-28T13:43:50Z","title":"Difficulty Rating of Sudoku Puzzles: An Overview and Evaluation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.7373","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:2d9c4497ba397091d4117a1d437e9ea69c5f4baf8e426b1ac85ed5ea221b2155","target":"record","created_at":"2026-05-18T02:55:19Z","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":"691aa3ec9a38d60b3b93c58cd58665cc484b427d66fb959aaf3796be0a6d45c1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-28T13:43:50Z","title_canon_sha256":"b170e7f36a474e7c7d96bc90217b69538dedba359b0ab01c20cbb07008402406"},"schema_version":"1.0","source":{"id":"1403.7373","kind":"arxiv","version":1}},"canonical_sha256":"cca80cbe63621dec89dac136493a411107b38d66c839c97708f2ba3824b2e13a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cca80cbe63621dec89dac136493a411107b38d66c839c97708f2ba3824b2e13a","first_computed_at":"2026-05-18T02:55:19.810309Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:55:19.810309Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+kuNBfGSIu1v2bgPNf0lMdhomuw8EObpHqM9/3yjaqBT0/NRzEuJMfk+fiE5uAPEG4Cf7YZH9Rkeh6U7QC/yCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:55:19.810777Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.7373","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2d9c4497ba397091d4117a1d437e9ea69c5f4baf8e426b1ac85ed5ea221b2155","sha256:853dcf4ff69825bf613e34e9a55ad3d36033da5903d2b46a6f833d6506269e65"],"state_sha256":"13dfe20e5021045c92cfd585a6bcd41f68626c6f5fb94f408415b8750d3c5f8a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y7kr/uuEzIIM7gHguAdNctyCxYMkey1UX6JqO9ody6KmQ73mRjHkqKneDCpm5opGc/M3UwKPcfL78zrsYOGmCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T15:43:39.507397Z","bundle_sha256":"bfcad65a3574fc7281a0e8a2d30d18a332302e1c6f0ffb9ed661f6b03b78a2e5"}}