{"schema_version":"source-reader-v1","record":{"source_id":"kemeny-three-voters-paper","versions":[{"work":{"authors":["Dominik Peters"],"kind":"research_paper","publication":"preprint","publication_note":"Source-reported results and external checks are separate from independent OpenMath assessment.","ai_role":"self_reported","ai_note":"Peters credits GPT-5.6 Sol Ultra with finding the reduction, Claude Fable 5 with part of the simplification, and his own mathematical simplification and manuscript writing.","artifacts":[],"published":{"value":"2026-07-28"}},"id":"kemeny-three-voters:source:paper:v1","source_id":"kemeny-three-voters-paper","title":"Kemeny Rank Aggregation is NP-Hard for Three Voters","owner":"Dominik Peters","url":"https://arxiv.org/html/2607.25540v1","subject_scope":"Theorem 1; Sections 1–6, especially the MAX CUT reduction and three-ballot realization.","revision":"v1","content_sha256":"7cc7f290aa1f25e5e8b526bfeb2158b1476e60dc107aa12830fba057ccbe75c1","update_method":"Compare the pinned source before publishing another immutable revision.","identifier_policy":"Stable source identity; exact source passages are versioned.","observed_on":"2026-10-14","source_updated_on":null,"rights":"metadata-link","license":"Source document rights apply; OpenMath publishes original paraphrases.","terms_url":"https://arxiv.org/html/2607.25540v1","attribution":"Dominik Peters","rights_note":"Linked proof prose is not republished. Any copied graph data is CC0, as specified by its archive.","check_interval_days":90}],"entries":[{"id":"kemeny-three-voters:entry:decision:v1","source_version_id":"kemeny-three-voters:source:paper:v1","item_id":"decision","url":"https://arxiv.org/html/2607.25540v1","wording":"A polynomial reduction from SIMPLE MAX CUT, using a majority tournament realizable by exactly three complete ballots, proves decision NP-completeness.","wording_kind":"paraphrase","locator":"Theorem 1; Sections 2–5","supersedes":null},{"id":"kemeny-three-voters:entry:implications:v1","source_version_id":"kemeny-three-voters:source:paper:v1","item_id":"implications","url":"https://arxiv.org/html/2607.25540v1","wording":"Computing an optimum is NP-hard for three voters. The paper also explains extensions to every fixed voter count at least three and recalls the polynomial-time two-voter case.","wording_kind":"paraphrase","locator":"Sections 1 and 6","supersedes":null},{"id":"kemeny-three-voters:entry:question:v1","source_version_id":"kemeny-three-voters:source:paper:v1","item_id":"question","url":"https://arxiv.org/html/2607.25540v1","wording":"The total Kendall-tau score differs from the majority-disagreement score by a ballot-dependent constant; they have the same minimizers. Three voters was the remaining boundary question.","wording_kind":"paraphrase","locator":"Section 1; Dwork et al. (2001)","supersedes":null}],"problems":[{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5}],"selected_version_id":"kemeny-three-voters:source:paper:v1","available_versions":[{"id":"kemeny-three-voters:source:paper:v1","revision":"v1","observed_on":"2026-10-14","title":"Kemeny Rank Aggregation is NP-Hard for Three Voters","publication":"preprint","content_sha256":"7cc7f290aa1f25e5e8b526bfeb2158b1476e60dc107aa12830fba057ccbe75c1","used_in_current_publications":true}],"usages":[{"id":"source-use-c515e92bce0e62af707f","entry_id":"kemeny-three-voters:entry:decision:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"assessment","title":"Three-voter decision NP-completeness proved in the preprint","claim":{"id":"claim-kemeny-three-decision","version":1,"slug":"kemeny-three-decision","title":"Decision NP-completeness for three complete ballots"},"fragment":"claim-kemeny-three-decision","assessment":{"id":"kemeny-three-voters:report:decision:v1","entry_id":"kemeny-three-voters:entry:decision:v1","state":"resolved","source_label":"Three-voter decision NP-completeness proved in the preprint","scope":"Strict complete ballots, unbounded number of alternatives, integer score threshold.","source_date":"2026-07-28","observed_on":"2026-10-14","evidence_url":"https://arxiv.org/html/2607.25540v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-8d3462be035b08648433","entry_id":"kemeny-three-voters:entry:decision:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"connection","title":"A consensus optimizer would also answer score-threshold questions; the two tasks have different complexity classifications.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-6dd48197bb0a32d14b44","entry_id":"kemeny-three-voters:entry:decision:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"construction","title":"Three ballots with a cyclic majority","claim":{"id":"claim-kemeny-three-decision","version":1,"slug":"kemeny-three-decision","title":"Decision NP-completeness for three complete ballots"},"fragment":"claim-kemeny-three-decision","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-5d46829ac4774619b473","entry_id":"kemeny-three-voters:entry:decision:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"milestone","title":"A three-ballot reduction is published","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-c29a1b4ca484b5c17f7a","entry_id":"kemeny-three-voters:entry:decision:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"proof","title":"From a cut threshold to a ranking threshold","claim":{"id":"claim-kemeny-three-decision","version":1,"slug":"kemeny-three-decision","title":"Decision NP-completeness for three complete ballots"},"fragment":"claim-kemeny-three-decision","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-afdb3f08c284cdd0b8ee","entry_id":"kemeny-three-voters:entry:decision:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"question","title":"Kemeny rank aggregation for three voters","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-603507163bb0e17fea36","entry_id":"kemeny-three-voters:entry:decision:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"reading","title":"Follow both directions of the reduction and the three-ballot realization.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-1bbfe3901efc1dbe6278","entry_id":"kemeny-three-voters:entry:decision:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"scope","title":"Threshold decision","claim":{"id":"claim-kemeny-three-decision","version":1,"slug":"kemeny-three-decision","title":"Decision NP-completeness for three complete ballots"},"fragment":"claim-kemeny-three-decision","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-81eabab413c5fe9a5d34","entry_id":"kemeny-three-voters:entry:decision:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"scope","title":"Optimization","claim":{"id":"claim-kemeny-three-optimization","version":1,"slug":"kemeny-three-optimization","title":"Optimization NP-hardness for three voters"},"fragment":"claim-kemeny-three-optimization","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-6208c1d63f326a896ced","entry_id":"kemeny-three-voters:entry:decision:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"statement","title":"Optimization NP-hardness for three voters","claim":{"id":"claim-kemeny-three-optimization","version":1,"slug":"kemeny-three-optimization","title":"Optimization NP-hardness for three voters"},"fragment":"claim-kemeny-three-optimization","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d82ef37271aa7a0f8912","entry_id":"kemeny-three-voters:entry:decision:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"statement","title":"Decision NP-completeness for three complete ballots","claim":{"id":"claim-kemeny-three-decision","version":1,"slug":"kemeny-three-decision","title":"Decision NP-completeness for three complete ballots"},"fragment":"claim-kemeny-three-decision","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-22ab4939ef82bee9ba1a","entry_id":"kemeny-three-voters:entry:implications:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"assessment","title":"Optimization hardness and fixed-voter consequences","claim":{"id":"claim-kemeny-fixed-voters","version":1,"slug":"kemeny-fixed-voters","title":"Hardness for every fixed voter count at least three"},"fragment":"claim-kemeny-fixed-voters","assessment":{"id":"kemeny-three-voters:report:optimization:v1","entry_id":"kemeny-three-voters:entry:implications:v1","state":"resolved","source_label":"Optimization hardness and fixed-voter consequences","scope":"Computing a minimizing order is NP-hard; decision NP-completeness is a distinct classification.","source_date":"2026-07-28","observed_on":"2026-10-14","evidence_url":"https://arxiv.org/html/2607.25540v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-53ff45cdb368b71ccd8b","entry_id":"kemeny-three-voters:entry:implications:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"assessment","title":"Two-voter baseline recalled","claim":{"id":"claim-kemeny-two-voters","version":1,"slug":"kemeny-two-voters","title":"The two-voter case is polynomial-time solvable"},"fragment":"claim-kemeny-two-voters","assessment":{"id":"kemeny-three-voters:report:two:v1","entry_id":"kemeny-three-voters:entry:implications:v1","state":"resolved","source_label":"Two-voter baseline recalled","scope":"Either input order minimizes the total Kendall-tau score for two voters.","source_date":"2026-07-28","observed_on":"2026-10-14","evidence_url":"https://arxiv.org/html/2607.25540v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-b996cad0bda29c418bf7","entry_id":"kemeny-three-voters:entry:implications:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"assessment","title":"Optimization hardness and fixed-voter consequences","claim":{"id":"claim-kemeny-three-optimization","version":1,"slug":"kemeny-three-optimization","title":"Optimization NP-hardness for three voters"},"fragment":"claim-kemeny-three-optimization","assessment":{"id":"kemeny-three-voters:report:optimization:v1","entry_id":"kemeny-three-voters:entry:implications:v1","state":"resolved","source_label":"Optimization hardness and fixed-voter consequences","scope":"Computing a minimizing order is NP-hard; decision NP-completeness is a distinct classification.","source_date":"2026-07-28","observed_on":"2026-10-14","evidence_url":"https://arxiv.org/html/2607.25540v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-06100f9ac338edf6a3a4","entry_id":"kemeny-three-voters:entry:implications:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"connection","title":"A consensus optimizer would also answer score-threshold questions; the two tasks have different complexity classifications.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-35408f1343c6a4088794","entry_id":"kemeny-three-voters:entry:implications:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"milestone","title":"A three-ballot reduction is published","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b4fcd140eb769ab0bbdf","entry_id":"kemeny-three-voters:entry:implications:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"question","title":"Kemeny rank aggregation for three voters","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-bee98cc10f2df31349a4","entry_id":"kemeny-three-voters:entry:implications:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"scope","title":"Optimization","claim":{"id":"claim-kemeny-three-optimization","version":1,"slug":"kemeny-three-optimization","title":"Optimization NP-hardness for three voters"},"fragment":"claim-kemeny-three-optimization","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-76818177815e8867e0a3","entry_id":"kemeny-three-voters:entry:implications:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"statement","title":"Hardness for every fixed voter count at least three","claim":{"id":"claim-kemeny-fixed-voters","version":1,"slug":"kemeny-fixed-voters","title":"Hardness for every fixed voter count at least three"},"fragment":"claim-kemeny-fixed-voters","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-8305dc7d182db6b83d9c","entry_id":"kemeny-three-voters:entry:implications:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"statement","title":"The two-voter case is polynomial-time solvable","claim":{"id":"claim-kemeny-two-voters","version":1,"slug":"kemeny-two-voters","title":"The two-voter case is polynomial-time solvable"},"fragment":"claim-kemeny-two-voters","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-ef9a82b9bca6abc490ac","entry_id":"kemeny-three-voters:entry:implications:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"statement","title":"Optimization NP-hardness for three voters","claim":{"id":"claim-kemeny-three-optimization","version":1,"slug":"kemeny-three-optimization","title":"Optimization NP-hardness for three voters"},"fragment":"claim-kemeny-three-optimization","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-1d15499ec6a4b8726c29","entry_id":"kemeny-three-voters:entry:question:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"construction","title":"Three ballots with a cyclic majority","claim":{"id":"claim-kemeny-three-decision","version":1,"slug":"kemeny-three-decision","title":"Decision NP-completeness for three complete ballots"},"fragment":"claim-kemeny-three-decision","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-0abf70ced2924accbb51","entry_id":"kemeny-three-voters:entry:question:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"definition","title":"Kendall-tau distance","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-86195dc1677cb15190ba","entry_id":"kemeny-three-voters:entry:question:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"definition","title":"Majority margin","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-453d39bb0a232ae2d542","entry_id":"kemeny-three-voters:entry:question:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"milestone","title":"The three-list boundary is left open","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-531c96e6b1e03c3ce75a","entry_id":"kemeny-three-voters:entry:question:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"milestone","title":"Kemeny introduces the aggregation rule","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-5bcd1688b78518bf99ba","entry_id":"kemeny-three-voters:entry:question:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"proof","title":"From a cut threshold to a ranking threshold","claim":{"id":"claim-kemeny-three-decision","version":1,"slug":"kemeny-three-decision","title":"Decision NP-completeness for three complete ballots"},"fragment":"claim-kemeny-three-decision","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-6de2102cf3521cb49eef","entry_id":"kemeny-three-voters:entry:question:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"question","title":"Kemeny rank aggregation for three voters","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-8751c44fbf304829ff38","entry_id":"kemeny-three-voters:entry:question:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"reading","title":"Read the definition, score translation and original three-list question.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-54c5e74f518fb9bc6af2","entry_id":"kemeny-three-voters:entry:question:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"scope","title":"Threshold decision","claim":{"id":"claim-kemeny-three-decision","version":1,"slug":"kemeny-three-decision","title":"Decision NP-completeness for three complete ballots"},"fragment":"claim-kemeny-three-decision","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-f942283f11c8e8090e26","entry_id":"kemeny-three-voters:entry:question:v1","problem":{"slug":"kemeny-three-voters","title":"Kemeny rank aggregation for three voters","publication_version":5},"kind":"statement","title":"Decision NP-completeness for three complete ballots","claim":{"id":"claim-kemeny-three-decision","version":1,"slug":"kemeny-three-decision","title":"Decision NP-completeness for three complete ballots"},"fragment":"claim-kemeny-three-decision","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}