{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:PYTTE2IPNXTQFP53FZLEITAQYA","short_pith_number":"pith:PYTTE2IP","schema_version":"1.0","canonical_sha256":"7e2732690f6de702bfbb2e56444c10c026016da8536319b32b2bca2c1dc27847","source":{"kind":"arxiv","id":"2006.04337","version":2},"attestation_state":"computed","paper":{"title":"PSPACE-completeness of Pulling Blocks to Reach a Goal","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Adam Suhl, Dylan Hendrickson, Erik D. Demaine, Hayashi Ani, Jayson Lynch, Jenny Diomidova, Sarah Scheffler, Sualeh Asif","submitted_at":"2020-06-08T03:21:45Z","abstract_excerpt":"We prove PSPACE-completeness of all but one problem in a large space of pulling-block problems where the goal is for the agent to reach a target destination. The problems are parameterized by whether pulling is optional, the number of blocks which can be pulled simultaneously, whether there are fixed blocks or thin walls, and whether there is gravity. We show NP-hardness for the remaining problem, Pull?-1FG (optional pulling, strength 1, fixed blocks, with gravity)."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2006.04337","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2020-06-08T03:21:45Z","cross_cats_sorted":[],"title_canon_sha256":"c7054fd4ecadd4a222dc160690f17399ea0457615995b22c4d4b65d7bc08769b","abstract_canon_sha256":"e4be1e3b5df5ae184d74587dcb8cb5ae9f684ec9ac27c5b9026d354fbe8fcd15"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:12:45.122635Z","signature_b64":"imiLZZ6EoVpp6Vk9/c+T2DPIX8TNiQo7dVwA+7CjLvEKefVIPwIz+HsxMHk28ckVgDhqMiudBY34lK8+TOrqCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7e2732690f6de702bfbb2e56444c10c026016da8536319b32b2bca2c1dc27847","last_reissued_at":"2026-07-05T07:12:45.122228Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:12:45.122228Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"PSPACE-completeness of Pulling Blocks to Reach a Goal","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Adam Suhl, Dylan Hendrickson, Erik D. Demaine, Hayashi Ani, Jayson Lynch, Jenny Diomidova, Sarah Scheffler, Sualeh Asif","submitted_at":"2020-06-08T03:21:45Z","abstract_excerpt":"We prove PSPACE-completeness of all but one problem in a large space of pulling-block problems where the goal is for the agent to reach a target destination. The problems are parameterized by whether pulling is optional, the number of blocks which can be pulled simultaneously, whether there are fixed blocks or thin walls, and whether there is gravity. We show NP-hardness for the remaining problem, Pull?-1FG (optional pulling, strength 1, fixed blocks, with gravity)."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2006.04337","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2006.04337/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2006.04337","created_at":"2026-07-05T07:12:45.122280+00:00"},{"alias_kind":"arxiv_version","alias_value":"2006.04337v2","created_at":"2026-07-05T07:12:45.122280+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2006.04337","created_at":"2026-07-05T07:12:45.122280+00:00"},{"alias_kind":"pith_short_12","alias_value":"PYTTE2IPNXTQ","created_at":"2026-07-05T07:12:45.122280+00:00"},{"alias_kind":"pith_short_16","alias_value":"PYTTE2IPNXTQFP53","created_at":"2026-07-05T07:12:45.122280+00:00"},{"alias_kind":"pith_short_8","alias_value":"PYTTE2IP","created_at":"2026-07-05T07:12:45.122280+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PYTTE2IPNXTQFP53FZLEITAQYA","json":"https://pith.science/pith/PYTTE2IPNXTQFP53FZLEITAQYA.json","graph_json":"https://pith.science/api/pith-number/PYTTE2IPNXTQFP53FZLEITAQYA/graph.json","events_json":"https://pith.science/api/pith-number/PYTTE2IPNXTQFP53FZLEITAQYA/events.json","paper":"https://pith.science/paper/PYTTE2IP"},"agent_actions":{"view_html":"https://pith.science/pith/PYTTE2IPNXTQFP53FZLEITAQYA","download_json":"https://pith.science/pith/PYTTE2IPNXTQFP53FZLEITAQYA.json","view_paper":"https://pith.science/paper/PYTTE2IP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2006.04337&json=true","fetch_graph":"https://pith.science/api/pith-number/PYTTE2IPNXTQFP53FZLEITAQYA/graph.json","fetch_events":"https://pith.science/api/pith-number/PYTTE2IPNXTQFP53FZLEITAQYA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PYTTE2IPNXTQFP53FZLEITAQYA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PYTTE2IPNXTQFP53FZLEITAQYA/action/storage_attestation","attest_author":"https://pith.science/pith/PYTTE2IPNXTQFP53FZLEITAQYA/action/author_attestation","sign_citation":"https://pith.science/pith/PYTTE2IPNXTQFP53FZLEITAQYA/action/citation_signature","submit_replication":"https://pith.science/pith/PYTTE2IPNXTQFP53FZLEITAQYA/action/replication_record"}},"created_at":"2026-07-05T07:12:45.122280+00:00","updated_at":"2026-07-05T07:12:45.122280+00:00"}