{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:UXVPJ6XQRYNH2GYMDXIAK5XX4Q","short_pith_number":"pith:UXVPJ6XQ","canonical_record":{"source":{"id":"1808.03849","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-08-11T18:39:31Z","cross_cats_sorted":[],"title_canon_sha256":"a8fd9354dd0302b5ac1bf3285e3f2df2efee1c0744b21727a8ff1bba0d3f4ab7","abstract_canon_sha256":"e155c9a9957eda2cb68a7c964f819920ed127415a0bcce58dca5f0ed833dcfc8"},"schema_version":"1.0"},"canonical_sha256":"a5eaf4faf08e1a7d1b0c1dd00576f7e4154fb2dbfe4aaf98c051ebb2f4eeea23","source":{"kind":"arxiv","id":"1808.03849","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.03849","created_at":"2026-05-18T00:08:19Z"},{"alias_kind":"arxiv_version","alias_value":"1808.03849v1","created_at":"2026-05-18T00:08:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.03849","created_at":"2026-05-18T00:08:19Z"},{"alias_kind":"pith_short_12","alias_value":"UXVPJ6XQRYNH","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"UXVPJ6XQRYNH2GYM","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"UXVPJ6XQ","created_at":"2026-05-18T12:32:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:UXVPJ6XQRYNH2GYMDXIAK5XX4Q","target":"record","payload":{"canonical_record":{"source":{"id":"1808.03849","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-08-11T18:39:31Z","cross_cats_sorted":[],"title_canon_sha256":"a8fd9354dd0302b5ac1bf3285e3f2df2efee1c0744b21727a8ff1bba0d3f4ab7","abstract_canon_sha256":"e155c9a9957eda2cb68a7c964f819920ed127415a0bcce58dca5f0ed833dcfc8"},"schema_version":"1.0"},"canonical_sha256":"a5eaf4faf08e1a7d1b0c1dd00576f7e4154fb2dbfe4aaf98c051ebb2f4eeea23","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:08:19.542564Z","signature_b64":"w9kLKO2gyf4LBurY9MlUrYBWJd83aPa1N9diWYXB+uylWUP/LBMjO2s2EmFA2h2gNSOXnbuMOnlTzGsc/UdxDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a5eaf4faf08e1a7d1b0c1dd00576f7e4154fb2dbfe4aaf98c051ebb2f4eeea23","last_reissued_at":"2026-05-18T00:08:19.541907Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:08:19.541907Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.03849","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-18T00:08:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hdfnFtK1LUPqZi4r0DNtou8No1dcEmUgFKCZJuerL+f45ySYMdXwYREqRKrCboF4K1mSNs3y2qpSI48dPGdmCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T06:08:48.439123Z"},"content_sha256":"8b028724e8120be7c771db5b8cd8f93659984e2e0541290b5d472991202f6662","schema_version":"1.0","event_id":"sha256:8b028724e8120be7c771db5b8cd8f93659984e2e0541290b5d472991202f6662"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:UXVPJ6XQRYNH2GYMDXIAK5XX4Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algorithm to Prove Formulas for the Expected Number of Questions in Mastermind Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Marcin Peczarski","submitted_at":"2018-08-11T18:39:31Z","abstract_excerpt":"We close the gap in the proof (published by Chen and Lin) of formulas for the minimum number of questions required in the expected case for Mastermind and its variant called AB game, where both games are played with two pegs and $n$ colors. For this purpose, we introduce a new model to represent the game guessing process and we develop an algorithm with automatizes the proof. In contrary to the model used by Chen and Lin, called graph-partition approach, which is limited to two pegs, our model and algorithm are parametrized with the number of pegs and they could potentially be used for any num"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.03849","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-18T00:08:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GzyUL5bt2n/GJwQypK0q3aJiddFXN+DXJHYgD+W9t7RmQIUO/CWfefQTkZT5FkqfY/1mN7/ieDpA5Yw0AFSaCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T06:08:48.439487Z"},"content_sha256":"21db8d4d67857ec440447f967f38ab829555cc7e0215003f002160d78edf7690","schema_version":"1.0","event_id":"sha256:21db8d4d67857ec440447f967f38ab829555cc7e0215003f002160d78edf7690"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UXVPJ6XQRYNH2GYMDXIAK5XX4Q/bundle.json","state_url":"https://pith.science/pith/UXVPJ6XQRYNH2GYMDXIAK5XX4Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UXVPJ6XQRYNH2GYMDXIAK5XX4Q/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-12T06:08:48Z","links":{"resolver":"https://pith.science/pith/UXVPJ6XQRYNH2GYMDXIAK5XX4Q","bundle":"https://pith.science/pith/UXVPJ6XQRYNH2GYMDXIAK5XX4Q/bundle.json","state":"https://pith.science/pith/UXVPJ6XQRYNH2GYMDXIAK5XX4Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UXVPJ6XQRYNH2GYMDXIAK5XX4Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:UXVPJ6XQRYNH2GYMDXIAK5XX4Q","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":"e155c9a9957eda2cb68a7c964f819920ed127415a0bcce58dca5f0ed833dcfc8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-08-11T18:39:31Z","title_canon_sha256":"a8fd9354dd0302b5ac1bf3285e3f2df2efee1c0744b21727a8ff1bba0d3f4ab7"},"schema_version":"1.0","source":{"id":"1808.03849","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.03849","created_at":"2026-05-18T00:08:19Z"},{"alias_kind":"arxiv_version","alias_value":"1808.03849v1","created_at":"2026-05-18T00:08:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.03849","created_at":"2026-05-18T00:08:19Z"},{"alias_kind":"pith_short_12","alias_value":"UXVPJ6XQRYNH","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"UXVPJ6XQRYNH2GYM","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"UXVPJ6XQ","created_at":"2026-05-18T12:32:56Z"}],"graph_snapshots":[{"event_id":"sha256:21db8d4d67857ec440447f967f38ab829555cc7e0215003f002160d78edf7690","target":"graph","created_at":"2026-05-18T00:08: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":"We close the gap in the proof (published by Chen and Lin) of formulas for the minimum number of questions required in the expected case for Mastermind and its variant called AB game, where both games are played with two pegs and $n$ colors. For this purpose, we introduce a new model to represent the game guessing process and we develop an algorithm with automatizes the proof. In contrary to the model used by Chen and Lin, called graph-partition approach, which is limited to two pegs, our model and algorithm are parametrized with the number of pegs and they could potentially be used for any num","authors_text":"Marcin Peczarski","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-08-11T18:39:31Z","title":"Algorithm to Prove Formulas for the Expected Number of Questions in Mastermind Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.03849","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:8b028724e8120be7c771db5b8cd8f93659984e2e0541290b5d472991202f6662","target":"record","created_at":"2026-05-18T00:08: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":"e155c9a9957eda2cb68a7c964f819920ed127415a0bcce58dca5f0ed833dcfc8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-08-11T18:39:31Z","title_canon_sha256":"a8fd9354dd0302b5ac1bf3285e3f2df2efee1c0744b21727a8ff1bba0d3f4ab7"},"schema_version":"1.0","source":{"id":"1808.03849","kind":"arxiv","version":1}},"canonical_sha256":"a5eaf4faf08e1a7d1b0c1dd00576f7e4154fb2dbfe4aaf98c051ebb2f4eeea23","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a5eaf4faf08e1a7d1b0c1dd00576f7e4154fb2dbfe4aaf98c051ebb2f4eeea23","first_computed_at":"2026-05-18T00:08:19.541907Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:08:19.541907Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"w9kLKO2gyf4LBurY9MlUrYBWJd83aPa1N9diWYXB+uylWUP/LBMjO2s2EmFA2h2gNSOXnbuMOnlTzGsc/UdxDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:08:19.542564Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.03849","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8b028724e8120be7c771db5b8cd8f93659984e2e0541290b5d472991202f6662","sha256:21db8d4d67857ec440447f967f38ab829555cc7e0215003f002160d78edf7690"],"state_sha256":"27e6183023b12b1941c147a92e0f15ec3bcbea80186b315bf059c29cecb16b9d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w1rTQGNWda8f958Je2LcJ4ONMUR0NGyvHmQ8dWikMJH2BxeV35DEMhGDmkSvqLoOOBTJ1dJnB+6PdRuWQjZxDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T06:08:48.441468Z","bundle_sha256":"2aeab3b88c95d47280be573815a1af8a9b37cc1a834dc209d008dbfedb66adf6"}}