{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:7NE2BF7ADRVNLXMEAYMJPJBWJT","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":"67ab069a56dc8ba6f1f48b7797f1fdafea9d0729e1fdf3557df7694321318e18","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-26T01:14:28Z","title_canon_sha256":"593bf401d725d82de17e99b316c9c71bdff06bf1156261c17b6fdee7b3d6b252"},"schema_version":"1.0","source":{"id":"1408.5955","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.5955","created_at":"2026-05-18T02:44:15Z"},{"alias_kind":"arxiv_version","alias_value":"1408.5955v1","created_at":"2026-05-18T02:44:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.5955","created_at":"2026-05-18T02:44:15Z"},{"alias_kind":"pith_short_12","alias_value":"7NE2BF7ADRVN","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"7NE2BF7ADRVNLXME","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"7NE2BF7A","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:79d68c43fc4ce89847b61450dad42526f270d5b58f3d973b8978e640c5cc509b","target":"graph","created_at":"2026-05-18T02:44:15Z","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":"Finding whether a linear-constraint loop has a linear ranking function is an important key to understanding the loop behavior, proving its termination and establishing iteration bounds. If no preconditions are provided, the decision problem is known to be in coNP when variables range over the integers and in PTIME for the rational numbers, or real numbers. Here we show that deciding whether a linear-constraint loop with a precondition, specifically with partially-specified input, has a linear ranking function is EXPSPACE-hard over the integers, and PSPACE-hard over the rationals. The precise c","authors_text":"Amir M. Ben-Amram","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-26T01:14:28Z","title":"The Hardness of Finding Linear Ranking Functions for Lasso Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.5955","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:65fd498cd57de52ec2aef8d46e7b02792d3ef75b0869c81464d691023840ddb3","target":"record","created_at":"2026-05-18T02:44:15Z","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":"67ab069a56dc8ba6f1f48b7797f1fdafea9d0729e1fdf3557df7694321318e18","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-26T01:14:28Z","title_canon_sha256":"593bf401d725d82de17e99b316c9c71bdff06bf1156261c17b6fdee7b3d6b252"},"schema_version":"1.0","source":{"id":"1408.5955","kind":"arxiv","version":1}},"canonical_sha256":"fb49a097e01c6ad5dd84061897a4364cfd133c00cd7ebb0aef2077eac2b76ff1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fb49a097e01c6ad5dd84061897a4364cfd133c00cd7ebb0aef2077eac2b76ff1","first_computed_at":"2026-05-18T02:44:15.780056Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:15.780056Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UAQG6K5atBt0UwY+kEwP6+Am3tIa6MPhhGSj4jngR2N75tJ7VIr6SoAO8KbzpyK46nILxtNU+FYY+TY27hzvBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:15.780620Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.5955","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:65fd498cd57de52ec2aef8d46e7b02792d3ef75b0869c81464d691023840ddb3","sha256:79d68c43fc4ce89847b61450dad42526f270d5b58f3d973b8978e640c5cc509b"],"state_sha256":"678d6b0f6b5518ae1cb6e93768f49e551565d2a00b7151d3f50876a35e183f46"}