{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:A2IGILVBQ4MSODF46SP2OXU56J","short_pith_number":"pith:A2IGILVB","canonical_record":{"source":{"id":"1804.07031","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-04-19T08:12:50Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"013400f727c7fe65ec891cb95cdf6e5fbd7616c238f9d7f2f891dca612a0e582","abstract_canon_sha256":"253509f545ea7e4d58cc724f51bd523b68d113c1ccacf516991eab146c769fc2"},"schema_version":"1.0"},"canonical_sha256":"0690642ea18719270cbcf49fa75e9df27e7528ba27669399d4de115bb530dc79","source":{"kind":"arxiv","id":"1804.07031","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.07031","created_at":"2026-05-18T00:18:04Z"},{"alias_kind":"arxiv_version","alias_value":"1804.07031v1","created_at":"2026-05-18T00:18:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.07031","created_at":"2026-05-18T00:18:04Z"},{"alias_kind":"pith_short_12","alias_value":"A2IGILVBQ4MS","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"A2IGILVBQ4MSODF4","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"A2IGILVB","created_at":"2026-05-18T12:32:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:A2IGILVBQ4MSODF46SP2OXU56J","target":"record","payload":{"canonical_record":{"source":{"id":"1804.07031","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-04-19T08:12:50Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"013400f727c7fe65ec891cb95cdf6e5fbd7616c238f9d7f2f891dca612a0e582","abstract_canon_sha256":"253509f545ea7e4d58cc724f51bd523b68d113c1ccacf516991eab146c769fc2"},"schema_version":"1.0"},"canonical_sha256":"0690642ea18719270cbcf49fa75e9df27e7528ba27669399d4de115bb530dc79","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:04.517068Z","signature_b64":"I2Nm5LbxcssiLTEnQgZzHJvQX1tRiZMDAJSI24CUvzyeZJHPxgIIg82V3ByjzbJolPdow1AjjRTdCo+34GpaCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0690642ea18719270cbcf49fa75e9df27e7528ba27669399d4de115bb530dc79","last_reissued_at":"2026-05-18T00:18:04.516329Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:04.516329Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.07031","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:18:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7pKmUXVMn3ylMKk+eVGs4+mTcgZGdEJpeOxTldZtTcm07oZJivEBlFWznR0li7nfErq+6oGOjAIIOtytbyvcDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T16:52:30.726392Z"},"content_sha256":"bf2cc6f3303a5de87bebe5d8e7fe9d862bb368b59c077c9daa73ff53c9f21773","schema_version":"1.0","event_id":"sha256:bf2cc6f3303a5de87bebe5d8e7fe9d862bb368b59c077c9daa73ff53c9f21773"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:A2IGILVBQ4MSODF46SP2OXU56J","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algorithms and Conditional Lower Bounds for Planning Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.DS","authors_text":"Alexander Svozil, Krishnendu Chatterjee, Monika Henzinger, Wolfgang Dvo\\v{r}\\'ak","submitted_at":"2018-04-19T08:12:50Z","abstract_excerpt":"We consider planning problems for graphs, Markov decision processes (MDPs), and games on graphs. While graphs represent the most basic planning model, MDPs represent interaction with nature and games on graphs represent interaction with an adversarial environment. We consider two planning problems where there are k different target sets, and the problems are as follows: (a) the coverage problem asks whether there is a plan for each individual target set, and (b) the sequential target reachability problem asks whether the targets can be reached in sequence. For the coverage problem, we present "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.07031","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:18:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eMKJuxk06mHUgqfW6rnd8wsQZ9TDwgIGg+xoexS+rCxAf5G+RuDzah5K1N0Uh/pULKeDgiMvw6pOU8FUmliAAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T16:52:30.727062Z"},"content_sha256":"0d414011d00953cc7dcecd15c57914ab1ab77f392fc9aa888e561890988b9f03","schema_version":"1.0","event_id":"sha256:0d414011d00953cc7dcecd15c57914ab1ab77f392fc9aa888e561890988b9f03"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A2IGILVBQ4MSODF46SP2OXU56J/bundle.json","state_url":"https://pith.science/pith/A2IGILVBQ4MSODF46SP2OXU56J/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A2IGILVBQ4MSODF46SP2OXU56J/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-05-25T16:52:30Z","links":{"resolver":"https://pith.science/pith/A2IGILVBQ4MSODF46SP2OXU56J","bundle":"https://pith.science/pith/A2IGILVBQ4MSODF46SP2OXU56J/bundle.json","state":"https://pith.science/pith/A2IGILVBQ4MSODF46SP2OXU56J/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A2IGILVBQ4MSODF46SP2OXU56J/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:A2IGILVBQ4MSODF46SP2OXU56J","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":"253509f545ea7e4d58cc724f51bd523b68d113c1ccacf516991eab146c769fc2","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-04-19T08:12:50Z","title_canon_sha256":"013400f727c7fe65ec891cb95cdf6e5fbd7616c238f9d7f2f891dca612a0e582"},"schema_version":"1.0","source":{"id":"1804.07031","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.07031","created_at":"2026-05-18T00:18:04Z"},{"alias_kind":"arxiv_version","alias_value":"1804.07031v1","created_at":"2026-05-18T00:18:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.07031","created_at":"2026-05-18T00:18:04Z"},{"alias_kind":"pith_short_12","alias_value":"A2IGILVBQ4MS","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"A2IGILVBQ4MSODF4","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"A2IGILVB","created_at":"2026-05-18T12:32:13Z"}],"graph_snapshots":[{"event_id":"sha256:0d414011d00953cc7dcecd15c57914ab1ab77f392fc9aa888e561890988b9f03","target":"graph","created_at":"2026-05-18T00:18:04Z","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 planning problems for graphs, Markov decision processes (MDPs), and games on graphs. While graphs represent the most basic planning model, MDPs represent interaction with nature and games on graphs represent interaction with an adversarial environment. We consider two planning problems where there are k different target sets, and the problems are as follows: (a) the coverage problem asks whether there is a plan for each individual target set, and (b) the sequential target reachability problem asks whether the targets can be reached in sequence. For the coverage problem, we present ","authors_text":"Alexander Svozil, Krishnendu Chatterjee, Monika Henzinger, Wolfgang Dvo\\v{r}\\'ak","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-04-19T08:12:50Z","title":"Algorithms and Conditional Lower Bounds for Planning Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.07031","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:bf2cc6f3303a5de87bebe5d8e7fe9d862bb368b59c077c9daa73ff53c9f21773","target":"record","created_at":"2026-05-18T00:18:04Z","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":"253509f545ea7e4d58cc724f51bd523b68d113c1ccacf516991eab146c769fc2","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-04-19T08:12:50Z","title_canon_sha256":"013400f727c7fe65ec891cb95cdf6e5fbd7616c238f9d7f2f891dca612a0e582"},"schema_version":"1.0","source":{"id":"1804.07031","kind":"arxiv","version":1}},"canonical_sha256":"0690642ea18719270cbcf49fa75e9df27e7528ba27669399d4de115bb530dc79","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0690642ea18719270cbcf49fa75e9df27e7528ba27669399d4de115bb530dc79","first_computed_at":"2026-05-18T00:18:04.516329Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:18:04.516329Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"I2Nm5LbxcssiLTEnQgZzHJvQX1tRiZMDAJSI24CUvzyeZJHPxgIIg82V3ByjzbJolPdow1AjjRTdCo+34GpaCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:18:04.517068Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.07031","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bf2cc6f3303a5de87bebe5d8e7fe9d862bb368b59c077c9daa73ff53c9f21773","sha256:0d414011d00953cc7dcecd15c57914ab1ab77f392fc9aa888e561890988b9f03"],"state_sha256":"71cc487e2cbde09967693467eafb844fe59be710495732be717f2da3ed42079a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XYQ04jeAQjmVBnMtqq/lf/PcCwGwHIpQ6ZvMSHV3TIX5XzZg/JO0b9a/FM1AIoS1a6k66x2mIZegYs4pTe49Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T16:52:30.730641Z","bundle_sha256":"37790265c741ae59ab24ece510dd62a82911fc884f31e260a203ab5253c0ff51"}}