{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:PB2RAE3VCOTCZ2G7KT4TG5MFO5","short_pith_number":"pith:PB2RAE3V","schema_version":"1.0","canonical_sha256":"787510137513a62ce8df54f9337585774964e33cbcca3b5649d3d7e10b0dbf19","source":{"kind":"arxiv","id":"1612.06476","version":2},"attestation_state":"computed","paper":{"title":"Computational Complexity of Testing Proportional Justified Representation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.GT","authors_text":"Haris Aziz, Shenwei Huang","submitted_at":"2016-12-20T01:23:18Z","abstract_excerpt":"We consider a committee voting setting in which each voter approves of a subset of candidates and based on the approvals, a target number of candidates are selected. Aziz et al. (2015) proposed two representation axioms called justified representation and extended justified representation. Whereas the former can be tested as well as achieved in polynomial time, the latter property is coNP-complete to test and no polynomial-time algorithm is known to achieve it. Interestingly, S{\\'a}nchez-Fern{\\'a}ndez et~al. (2016) proposed an intermediate property called proportional justified representation "},"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":"1612.06476","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-12-20T01:23:18Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"364cd475759877ecc559e46def2729acadfd42e2b1f799749bc4ca60e7eee94f","abstract_canon_sha256":"830d020f6d91a57990ab8251d2b15e31f22a32284fd9afaabd1471ada554ed2d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:48:05.135456Z","signature_b64":"/gv7/sUzgSIQop9NhbSO7zCEIxe/RDrPZykcrya/Rdl1llNIojGgD0bmf7T6oWhyZlARa7pQTzz6OCdFPUQmBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"787510137513a62ce8df54f9337585774964e33cbcca3b5649d3d7e10b0dbf19","last_reissued_at":"2026-05-18T00:48:05.134788Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:48:05.134788Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Computational Complexity of Testing Proportional Justified Representation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.GT","authors_text":"Haris Aziz, Shenwei Huang","submitted_at":"2016-12-20T01:23:18Z","abstract_excerpt":"We consider a committee voting setting in which each voter approves of a subset of candidates and based on the approvals, a target number of candidates are selected. Aziz et al. (2015) proposed two representation axioms called justified representation and extended justified representation. Whereas the former can be tested as well as achieved in polynomial time, the latter property is coNP-complete to test and no polynomial-time algorithm is known to achieve it. Interestingly, S{\\'a}nchez-Fern{\\'a}ndez et~al. (2016) proposed an intermediate property called proportional justified representation "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.06476","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":""},"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":"1612.06476","created_at":"2026-05-18T00:48:05.134888+00:00"},{"alias_kind":"arxiv_version","alias_value":"1612.06476v2","created_at":"2026-05-18T00:48:05.134888+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.06476","created_at":"2026-05-18T00:48:05.134888+00:00"},{"alias_kind":"pith_short_12","alias_value":"PB2RAE3VCOTC","created_at":"2026-05-18T12:30:39.010887+00:00"},{"alias_kind":"pith_short_16","alias_value":"PB2RAE3VCOTCZ2G7","created_at":"2026-05-18T12:30:39.010887+00:00"},{"alias_kind":"pith_short_8","alias_value":"PB2RAE3V","created_at":"2026-05-18T12:30:39.010887+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/PB2RAE3VCOTCZ2G7KT4TG5MFO5","json":"https://pith.science/pith/PB2RAE3VCOTCZ2G7KT4TG5MFO5.json","graph_json":"https://pith.science/api/pith-number/PB2RAE3VCOTCZ2G7KT4TG5MFO5/graph.json","events_json":"https://pith.science/api/pith-number/PB2RAE3VCOTCZ2G7KT4TG5MFO5/events.json","paper":"https://pith.science/paper/PB2RAE3V"},"agent_actions":{"view_html":"https://pith.science/pith/PB2RAE3VCOTCZ2G7KT4TG5MFO5","download_json":"https://pith.science/pith/PB2RAE3VCOTCZ2G7KT4TG5MFO5.json","view_paper":"https://pith.science/paper/PB2RAE3V","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1612.06476&json=true","fetch_graph":"https://pith.science/api/pith-number/PB2RAE3VCOTCZ2G7KT4TG5MFO5/graph.json","fetch_events":"https://pith.science/api/pith-number/PB2RAE3VCOTCZ2G7KT4TG5MFO5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PB2RAE3VCOTCZ2G7KT4TG5MFO5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PB2RAE3VCOTCZ2G7KT4TG5MFO5/action/storage_attestation","attest_author":"https://pith.science/pith/PB2RAE3VCOTCZ2G7KT4TG5MFO5/action/author_attestation","sign_citation":"https://pith.science/pith/PB2RAE3VCOTCZ2G7KT4TG5MFO5/action/citation_signature","submit_replication":"https://pith.science/pith/PB2RAE3VCOTCZ2G7KT4TG5MFO5/action/replication_record"}},"created_at":"2026-05-18T00:48:05.134888+00:00","updated_at":"2026-05-18T00:48:05.134888+00:00"}