{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:3SETJ7HNIFOIAKTVY4IFC24GKG","short_pith_number":"pith:3SETJ7HN","canonical_record":{"source":{"id":"1207.0663","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-03T13:16:47Z","cross_cats_sorted":["cs.CC","cs.GT"],"title_canon_sha256":"9fe55480c6f052c11806d4d5dd7f8894cde89aa18363c7ba611e71b9466e6dcb","abstract_canon_sha256":"f626833be125565eab8133180b456f22c6d40e219d7f158ac1d2400348a5ef47"},"schema_version":"1.0"},"canonical_sha256":"dc8934fced415c802a75c710516b86518e0420ddb194a957f29f4989841e7ebb","source":{"kind":"arxiv","id":"1207.0663","version":6},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.0663","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"arxiv_version","alias_value":"1207.0663v6","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.0663","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"pith_short_12","alias_value":"3SETJ7HNIFOI","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"3SETJ7HNIFOIAKTV","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"3SETJ7HN","created_at":"2026-05-18T12:26:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:3SETJ7HNIFOIAKTVY4IFC24GKG","target":"record","payload":{"canonical_record":{"source":{"id":"1207.0663","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-03T13:16:47Z","cross_cats_sorted":["cs.CC","cs.GT"],"title_canon_sha256":"9fe55480c6f052c11806d4d5dd7f8894cde89aa18363c7ba611e71b9466e6dcb","abstract_canon_sha256":"f626833be125565eab8133180b456f22c6d40e219d7f158ac1d2400348a5ef47"},"schema_version":"1.0"},"canonical_sha256":"dc8934fced415c802a75c710516b86518e0420ddb194a957f29f4989841e7ebb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:38.710617Z","signature_b64":"ZSBOziYuIkaltD35tjxVhxCtFjYUpzhf2/ecXpKs2fIk1Q/vZeh4tinjnb0MJiPopd79pI9SrszRe0j1qbnVAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dc8934fced415c802a75c710516b86518e0420ddb194a957f29f4989841e7ebb","last_reissued_at":"2026-05-18T01:37:38.709995Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:38.709995Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1207.0663","source_version":6,"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-18T01:37:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jSmwAz6p+UuRB4PAq1F8H8wcIrF9Xt+8E6iF5h839Sz0YgGb5FevAYaBYVEIooTthoWq+D3Wnht6Yjl4gU+4BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T04:49:05.971104Z"},"content_sha256":"d25c0991c7bd9564ed60d127bc7d5aa059fe9f32a034cffb937c1cea5341e18e","schema_version":"1.0","event_id":"sha256:d25c0991c7bd9564ed60d127bc7d5aa059fe9f32a034cffb937c1cea5341e18e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:3SETJ7HNIFOIAKTVY4IFC24GKG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parity and Streett Games with Costs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.GT"],"primary_cat":"cs.LO","authors_text":"Institute of Informatics, Martin Zimmermann (Saarland University), Nathana\\\"el Fijalkow (LIAFA, Universit\\'e Paris 7, University of Warsaw)","submitted_at":"2012-07-03T13:16:47Z","abstract_excerpt":"We consider two-player games played on finite graphs equipped with costs on edges and introduce two winning conditions, cost-parity and cost-Streett, which require bounds on the cost between requests and their responses. Both conditions generalize the corresponding classical omega-regular conditions and the corresponding finitary conditions. For parity games with costs we show that the first player has positional winning strategies and that determining the winner lies in NP and coNP. For Streett games with costs we show that the first player has finite-state winning strategies and that determi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.0663","kind":"arxiv","version":6},"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-18T01:37:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IKY94Tn1A25Z/vKdPfKcIzlA3bjcFRUL4Vn9XfvrHSmjvOD/mbkZWpdJLwDsXg2s/FLZAKSrEnijWLVpoMgxBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T04:49:05.971472Z"},"content_sha256":"9141e3978ea7bb829024dbb20d46ffb8df67f93e2a7d9f46946d697e9cb1aa7c","schema_version":"1.0","event_id":"sha256:9141e3978ea7bb829024dbb20d46ffb8df67f93e2a7d9f46946d697e9cb1aa7c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3SETJ7HNIFOIAKTVY4IFC24GKG/bundle.json","state_url":"https://pith.science/pith/3SETJ7HNIFOIAKTVY4IFC24GKG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3SETJ7HNIFOIAKTVY4IFC24GKG/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-03T04:49:05Z","links":{"resolver":"https://pith.science/pith/3SETJ7HNIFOIAKTVY4IFC24GKG","bundle":"https://pith.science/pith/3SETJ7HNIFOIAKTVY4IFC24GKG/bundle.json","state":"https://pith.science/pith/3SETJ7HNIFOIAKTVY4IFC24GKG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3SETJ7HNIFOIAKTVY4IFC24GKG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:3SETJ7HNIFOIAKTVY4IFC24GKG","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":"f626833be125565eab8133180b456f22c6d40e219d7f158ac1d2400348a5ef47","cross_cats_sorted":["cs.CC","cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-03T13:16:47Z","title_canon_sha256":"9fe55480c6f052c11806d4d5dd7f8894cde89aa18363c7ba611e71b9466e6dcb"},"schema_version":"1.0","source":{"id":"1207.0663","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.0663","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"arxiv_version","alias_value":"1207.0663v6","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.0663","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"pith_short_12","alias_value":"3SETJ7HNIFOI","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"3SETJ7HNIFOIAKTV","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"3SETJ7HN","created_at":"2026-05-18T12:26:53Z"}],"graph_snapshots":[{"event_id":"sha256:9141e3978ea7bb829024dbb20d46ffb8df67f93e2a7d9f46946d697e9cb1aa7c","target":"graph","created_at":"2026-05-18T01:37:38Z","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 consider two-player games played on finite graphs equipped with costs on edges and introduce two winning conditions, cost-parity and cost-Streett, which require bounds on the cost between requests and their responses. Both conditions generalize the corresponding classical omega-regular conditions and the corresponding finitary conditions. For parity games with costs we show that the first player has positional winning strategies and that determining the winner lies in NP and coNP. For Streett games with costs we show that the first player has finite-state winning strategies and that determi","authors_text":"Institute of Informatics, Martin Zimmermann (Saarland University), Nathana\\\"el Fijalkow (LIAFA, Universit\\'e Paris 7, University of Warsaw)","cross_cats":["cs.CC","cs.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-03T13:16:47Z","title":"Parity and Streett Games with Costs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.0663","kind":"arxiv","version":6},"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:d25c0991c7bd9564ed60d127bc7d5aa059fe9f32a034cffb937c1cea5341e18e","target":"record","created_at":"2026-05-18T01:37:38Z","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":"f626833be125565eab8133180b456f22c6d40e219d7f158ac1d2400348a5ef47","cross_cats_sorted":["cs.CC","cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-03T13:16:47Z","title_canon_sha256":"9fe55480c6f052c11806d4d5dd7f8894cde89aa18363c7ba611e71b9466e6dcb"},"schema_version":"1.0","source":{"id":"1207.0663","kind":"arxiv","version":6}},"canonical_sha256":"dc8934fced415c802a75c710516b86518e0420ddb194a957f29f4989841e7ebb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dc8934fced415c802a75c710516b86518e0420ddb194a957f29f4989841e7ebb","first_computed_at":"2026-05-18T01:37:38.709995Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:38.709995Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZSBOziYuIkaltD35tjxVhxCtFjYUpzhf2/ecXpKs2fIk1Q/vZeh4tinjnb0MJiPopd79pI9SrszRe0j1qbnVAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:38.710617Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.0663","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d25c0991c7bd9564ed60d127bc7d5aa059fe9f32a034cffb937c1cea5341e18e","sha256:9141e3978ea7bb829024dbb20d46ffb8df67f93e2a7d9f46946d697e9cb1aa7c"],"state_sha256":"ad5bbfdf5da22e9677bc09f3a5c1b9c4445ab58666fd0703f9366dbf6a4371b1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DBexJb8EMZAA4QN2ePFZKBSl/89QiaeBeuA+mpXWLKW+s04z7c/klxgDB7QonyquJE8b7gTvht8WZ1mDbZw7Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T04:49:05.973576Z","bundle_sha256":"081cb1ef5974388ac509d77df0cfb638881958c5298106b650b72c7b8d7ff8b5"}}