{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:JN5MROWLJRINFVF554SPR5TI7P","short_pith_number":"pith:JN5MROWL","schema_version":"1.0","canonical_sha256":"4b7ac8bacb4c50d2d4bdef24f8f668fbe77b105ec30a8c8171144fa3a61e7e86","source":{"kind":"arxiv","id":"2503.20918","version":1},"attestation_state":"computed","paper":{"title":"Locally Optimal Solutions for Integer Programming Games","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.GT","authors_text":"Forrest Laine, Mel Krusniak, Pravesh Koirala","submitted_at":"2025-03-26T18:45:12Z","abstract_excerpt":"Integer programming games (IPGs) are n-person games with integer strategy spaces. These games are used to model non-cooperative combinatorial decision-making and are used in domains such as cybersecurity and transportation. The prevalent solution concept for IPGs, Nash equilibrium, is difficult to compute and even showing whether such an equilibrium exists is known to be Sp2-complete. In this work, we introduce a class of relaxed solution concepts for IPGs called locally optimal integer solutions (LOIS) that are simpler to obtain than pure Nash equilibria. We demonstrate that LOIS are not only"},"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":"2503.20918","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.GT","submitted_at":"2025-03-26T18:45:12Z","cross_cats_sorted":[],"title_canon_sha256":"1db2cc76a2a3c79fce73e16886929fd79412a8b97109af9a8dd8acbb5cfee35a","abstract_canon_sha256":"f44a93185ea1ffa12f77454ab2941389ce0d56edccabddcf0ff4626ef4532700"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:39:50.328307Z","signature_b64":"tHf3rNwQ3bAJq0ulb6fFaI4g3H2ZhJJALtXMTyTMS+rMRZxpIL5r27D0QopiuCS9msN5Icq93ydUXJRsPctTBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4b7ac8bacb4c50d2d4bdef24f8f668fbe77b105ec30a8c8171144fa3a61e7e86","last_reissued_at":"2026-07-05T10:39:50.327845Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:39:50.327845Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Locally Optimal Solutions for Integer Programming Games","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.GT","authors_text":"Forrest Laine, Mel Krusniak, Pravesh Koirala","submitted_at":"2025-03-26T18:45:12Z","abstract_excerpt":"Integer programming games (IPGs) are n-person games with integer strategy spaces. These games are used to model non-cooperative combinatorial decision-making and are used in domains such as cybersecurity and transportation. The prevalent solution concept for IPGs, Nash equilibrium, is difficult to compute and even showing whether such an equilibrium exists is known to be Sp2-complete. In this work, we introduce a class of relaxed solution concepts for IPGs called locally optimal integer solutions (LOIS) that are simpler to obtain than pure Nash equilibria. We demonstrate that LOIS are not only"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.20918","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2503.20918/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":"2503.20918","created_at":"2026-07-05T10:39:50.327906+00:00"},{"alias_kind":"arxiv_version","alias_value":"2503.20918v1","created_at":"2026-07-05T10:39:50.327906+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.20918","created_at":"2026-07-05T10:39:50.327906+00:00"},{"alias_kind":"pith_short_12","alias_value":"JN5MROWLJRIN","created_at":"2026-07-05T10:39:50.327906+00:00"},{"alias_kind":"pith_short_16","alias_value":"JN5MROWLJRINFVF5","created_at":"2026-07-05T10:39:50.327906+00:00"},{"alias_kind":"pith_short_8","alias_value":"JN5MROWL","created_at":"2026-07-05T10:39:50.327906+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/JN5MROWLJRINFVF554SPR5TI7P","json":"https://pith.science/pith/JN5MROWLJRINFVF554SPR5TI7P.json","graph_json":"https://pith.science/api/pith-number/JN5MROWLJRINFVF554SPR5TI7P/graph.json","events_json":"https://pith.science/api/pith-number/JN5MROWLJRINFVF554SPR5TI7P/events.json","paper":"https://pith.science/paper/JN5MROWL"},"agent_actions":{"view_html":"https://pith.science/pith/JN5MROWLJRINFVF554SPR5TI7P","download_json":"https://pith.science/pith/JN5MROWLJRINFVF554SPR5TI7P.json","view_paper":"https://pith.science/paper/JN5MROWL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2503.20918&json=true","fetch_graph":"https://pith.science/api/pith-number/JN5MROWLJRINFVF554SPR5TI7P/graph.json","fetch_events":"https://pith.science/api/pith-number/JN5MROWLJRINFVF554SPR5TI7P/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JN5MROWLJRINFVF554SPR5TI7P/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JN5MROWLJRINFVF554SPR5TI7P/action/storage_attestation","attest_author":"https://pith.science/pith/JN5MROWLJRINFVF554SPR5TI7P/action/author_attestation","sign_citation":"https://pith.science/pith/JN5MROWLJRINFVF554SPR5TI7P/action/citation_signature","submit_replication":"https://pith.science/pith/JN5MROWLJRINFVF554SPR5TI7P/action/replication_record"}},"created_at":"2026-07-05T10:39:50.327906+00:00","updated_at":"2026-07-05T10:39:50.327906+00:00"}