When Graph Traversal Meets Structured Preferences: Unified Framework and Complexity Results

TL;DR

This paper introduces a unified framework linking preference restrictions in social choice to classical graph search paradigms, analyzing the computational complexity of related support recognition problems.

Contribution

It models preference profiles as graph traversals under six paradigms and establishes NP-hardness results for support recognition with structural restrictions.

Findings

NP-hardness for support recognition with at most k edges

NP-hardness for maximum degree k restrictions

Polynomial-time recognition for tree supports in DFS

Abstract

Preference restrictions have played a significant role in computational social choice. This paper studies a framework that connects preference restrictions with classical graph search paradigms. We model candidates as vertices of a graph and interpret the preference ordering of each voter as the outcome of traversing the graph according to a graph search. We focus on six fundamental paradigms: breadth-first search (BFS), depth-first search (DFS), breadth-first search (LexBFS), lexicographic depth-first (LexDFS), maximum cardinality search (MCS), and maximal neighborhood search (MNS). Within this framework, we study the problem of determining whether a given preference profile admits a graph support subject to structural restrictions, that is, whether there exists a graph such that each preference ordering can be generated by traversing the graph under the chosen paradigm. For all considered paradigms, we show that this problem is NP-hard when the graph support is required to have at most $k$ edges, where $k$ is a given integer. We further extend these hardness results to the case where the graph support is required to have maximum degree $k$. For DFS, we prove that recognizing whether a preference profile admits a tree support can be solved in polynomial time. Moreover, existing results imply polynomial-time solvability of the problem for all remaining graph traversals, except BFS and LexBFS, for which the complexity remains open.