arXiv subjects

Shengwei Zhou

Publications and source records attributed to Shengwei Zhou.

At least 19 recordsLinked to original sources

arXiv2026

Comparison-Based Fair Division of Indivisible Chores

We investigate the query complexity of fairly allocating $m$ indivisible chores among $n$ agents with additive cost functions. We depart from the standard cardinal model and assume only comparison access: an algorithm may ask an agent which of two bundles is less costly, but never observes numerical costs. Our first results concern proportionality up to one item (PROP1). We design comparison-based algorithms that compute PROP1 allocations using $O(n^3\log m)$ comparison queries. When the chores are arranged in a fixed order and allocations are required to be contiguous, we compute a contiguous PROP1 allocation using $O(n^3 \log^2 m)$ comparison queries. Our main result concerns the maximin share (MMS) guarantee. We show that for any fixed number of agents $n$ and constant $\varepsilon>0$, a $\left(13/11 +\varepsilon\right)$-MMS allocation can be computed with a comparison complexity logarithmic in $m$. Remarkably, comparison access suffices to match the state-of-the-art $13/11$ cardinal-access guarantee of Huang and Segal-Halevi up to an arbitrarily small loss. Furthermore, our result implies that the MMS distortion of comparison access (i.e., the worst-case multiplicative loss in MMS fairness incurred by observing only comparisons rather than numerical costs) is at most $13/11$. Finally, we show that, for three agents, an allocation satisfying envy-freeness up to one item (EF1) can be computed using $O(\log m)$ comparison queries.

cs.GT↗

arXiv2026

Almost Envy-Freeness for Additive Mixed Manna with Entitlements: Deterministic and Randomized Guarantees

We investigate the fair allocation of indivisible items among agents with asymmetric entitlements in mixed manna settings, where the items consist of both goods and chores. For additive valuations, we establish that weighted envy-free up to one item (WEF1) allocations always exist and can be computed in polynomial time. We also study fair and efficient allocation and show that weighted envy-freeness up to one transfer (WEF1T) is compatible with fractional Pareto optimality (fPO) for every mixed-manna instance. This relaxation from WEF1 to WEF1T is tight, as demonstrated by our impossibility result. We further show a best-of-both-worlds result via a finite lottery that guarantees weighted envy-freeness (WEF) in expectation, with every realized allocation satisfying WEF1T and achieving the tight characterization complemented by the existing impossibility result.

cs.GT↗

arXiv2026

Non-Existence of EFX Chore Allocations for Monotone Cost Functions with Binary Marginals

We study the existence of envy-free up to any item (EFX) allocations of indivisible chores when agents have monotone cost functions with binary marginals. For indivisible goods, the corresponding existence question is known to have an affirmative answer for general monotone functions with binary marginals. For chores, however, the existence of EFX allocation was previously known only for more restricted classes, while the general binary-marginal case remained unresolved. In this paper, we provide two counterexamples based on the same 18-agent, 53-chore word gadget, with one cost profile for binary XOS costs and another for binary supermodular costs. In both cases, a complete EFX allocation need not exist. Finally, we formalize and verify our main results in Lean 4.

cs.GT↗

arXiv2026

Fair Division by Contribution: A Shapley Value Perspective

In many resource allocation problems, agents' valuations are best interpreted not as subjective preferences, but as the value they generate from receiving resources. Such valuations capture productivity, effectiveness, or technology, and may differ significantly across agents. In these settings, classical fairness notions such as proportionality or envy-freeness fail to reflect agents' heterogeneous contributions to the collective outcome. Motivated by this perspective, we introduce \emph{Shapley Value Fairness (SVF)} for the allocation of divisible goods without monetary transfers. SVF interprets an agent's entitlement as her expected marginal contribution to optimal social welfare, and uses the Shapley value of the associated welfare maximization game as a normative fairness benchmark. We position SVF relative to existing fairness notions and show that it provides a natural bridge between fairness and efficiency in contribution-based environments. Since exact implementation of the Shapley value is generally infeasible without transfers, SVF naturally leads to the problem of finding allocations that approximate this benchmark as well as possible. We provide a systematic worst-case analysis of the achievable Shapley approximation ratio. For general concave valuations, we establish a tight $\Theta(\ln n)$ bound. For capped concave valuations with bounded demands, this bound improves to $\Theta(\ln D)$, where $D$ is the maximum aggregate demand for any item. For linear valuations, we further refine the bound to $\Theta(\min\{k, \ln \gamma, \ln n\})$ in terms of the number of agent types $k$ and the value fluctuation ratio $\gamma$, and show that all bounds are asymptotically tight. Regarding per-instance guarantees, we show that a near-optimal approximation allocation can be computed efficiently (with high probability) via sampling for general concave valuations.

cs.GT↗

arXiv2026

Allocating Chores with Restricted Additive Costs: Achieving EFX, MMS, and Efficiency Simultaneously

In a web-based review platform, papers from various research fields must be assigned to a group of reviewers. Each paper has an inherent cost, which represents the effort required for reading and evaluating it (e.g., the paper's length). Reviewers can bid on papers they are interested in, and if they are assigned a paper they have bid on, no cost is incurred. Otherwise, the inherent cost $c(e)$ for paper $e$ applies. We capture this with a model of restricted additive costs: every item $e$ has a cost $c(e)$, and each agent either incurs $0$ or $c(e)$ for $e$. In this work, we study how to allocate such chores fairly and efficiently. We propose an algorithm for computing allocations that are both EFX and MMS. Furthermore, we show that our algorithm achieves a $2$-approximation of the optimal social cost, and the approximation ratio is optimal. We also show that slightly weaker fairness guarantees can be obtained if one requires the algorithm to run in polynomial time.

cs.GT↗

arXiv2025

An FPTAS for 7/9-Approximation to Maximin Share Allocations

We present a new algorithm that achieves a $\frac{7}{9}$-approximation for the \emph{maximin share (MMS)} allocation of indivisible goods under additive valuations, improving the current best ratio of $\frac{10}{13}$~\cite{conf/soda/HeidariKSS26}. Building on a new analytical framework, we further obtain an FPTAS that achieves a $\frac{7}{9}-\varepsilon$ approximation in $\tfrac{1}{\varepsilon} \cdot \mathrm{poly}(n,m)$ time. The main technical ingredient is a dynamic witness-allocation framework that certifies adaptive reductions throughout the allocation process.

cs.GT↗

arXiv2025

Incentive Analysis of Collusion in Fair Division

We study fair division problems with strategic agents capable of gaining advantages by manipulating their reported preferences. Although several impossibility results have revealed the incompatibility of truthfulness with standard fairness criteria, subsequent works have circumvented this limitation through the incentive ratio framework. Previous studies demonstrate that fundamental mechanisms like Maximum Nash Welfare (MNW) and Probabilistic Serial (PS) for divisible goods, and Round-Robin (RR) for indivisible goods achieve an incentive ratio of $2$, implying that no individual agent can gain more than double his truthful utility through manipulation. However, collusive manipulation by agent groups remains unexplored. In this work, we define strong group incentive ratio (SGIR) and group incentive ratio (GIR) to measure the gain of collusive manipulation, where SGIR and GIR are respectively the maximum and minimum of the incentive ratios of corrupted agents. Then, we tightly characterize the SGIRs and GIRs of MNW, PS, and RR. In particular, the GIR of MNW is $2$ regardless of the coalition size. Moreover, for coalition size $c \geq 1$, the SGIRs of MNW and PS, and the GIRs of PS and RR are $c + 1$. Finally, the SGIR of RR is unbounded for coalition size $c \geq 2$. Our results reveal fundamental differences of these three mechanisms in their vulnerability to collusion.

cs.GT↗

arXiv2025

Degree-bounded Online Bipartite Matching: OCS vs. Ranking

We revisit the online bipartite matching problem on $d$-regular graphs, for which Cohen and Wajc (SODA 2018) proposed an algorithm with a competitive ratio of $1-2\sqrt{H_d/d} = 1-O(\sqrt{(\log d)/d})$ and showed that it is asymptotically near-optimal for $d=\omega(1)$. However, their ratio is meaningful only for sufficiently large $d$, e.g., the ratio is less than $1-1/e$ when $d\leq 168$. In this work, we study the problem on $(d,d)$-bounded graphs (a slightly more general class of graphs than $d$-regular) and consider two classic algorithms for online matching problems: \Ranking and Online Correlated Selection (OCS). We show that for every fixed $d\geq 2$, the competitive ratio of OCS is at least $0.835$ and always higher than that of \Ranking. When $d\to \infty$, we show that OCS is at least $0.897$-competitive while \Ranking is at most $0.816$-competitive. We also show some extensions of our results to $(k,d)$-bounded graphs.

cs.DS↗

arXiv2025

When is Truthfully Allocating Chores no Harder than Goods?

We study the problem of fairly and efficiently allocating a set of items among strategic agents with additive valuations, where items are either all indivisible or all divisible. When items are goods, numerous positive and negative results are known regarding the fairness and efficiency guarantees achievable by truthful mechanisms, whereas our understanding of truthful mechanisms for chores remains considerably more limited. In this paper, we discover various connections between truthful good and chore allocations, greatly enhancing our understanding of the latter via tools from the former. For indivisible chores with two agents, by leveraging the observation that a simple bundle-swapping operation transforms several properties for goods including truthfulness to the corresponding properties for chores, we characterize truthful mechanisms and derive tight guarantees of various fairness notions achieved by truthful mechanisms. Moreover, for homogeneous divisible chores, by generalizing the above transformation to an arbitrary number of agents, we characterize truthful mechanisms with two agents, show that every truthful mechanism with two agents admits an efficiency ratio of $0$, and derive a large family of strictly truthful, envy-free (EF), and proportional mechanisms for an arbitrary number of agents. Finally, for indivisible chores with an arbitrary number of agents having bi-valued cost functions, we give an ex-ante truthful, ex-ante Pareto optimal, ex-ante EF, and ex-post envy-free up to one item mechanism, improving the best guarantees for bi-valued instances by prior works.

cs.GT↗

arXiv2025

Approximately EFX and PO Allocations for Bivalued Chores

We consider the computation for allocations of indivisible chores that are approximately EFX and Pareto optimal (PO). Recently, Garg et al. (2024) show the existence of $3$-EFX and PO allocations for bi-valued instances, where the cost of an item to an agent is either $1$ or $k$ (where $k > 1$) by rounding the (fractional) earning restricted equilibrium. In this work, we improve the approximation ratio to $(2-1/k)$, while preserving the Pareto optimality. Instead of rounding fractional equilibrium, our algorithm starts with the integral EF1 equilibrium for bi-valued chores, introduced by Garg et al. (AAAI 2022) and Wu et al. (EC 2023), and reallocates items until approximate EFX is achieved. We further improve our result for the case when $k=2$ and devise an algorithm that computes EFX and PO allocations.

cs.GT↗

arXiv2024

Guaranteeing MMS for All but One Agent When Allocating Indivisible Chores

We study the problem of allocating $m$ indivisible chores to $n$ agents with additive cost functions under the fairness notion of maximin share (MMS). In this work, we propose a notion called $\alpha$-approximate all-but-one maximin share ($\alpha$-AMMS) which is a stronger version of $\alpha$-approximate MMS. An allocation is called $\alpha$-AMMS if $n-1$ agents are guaranteed their MMS values and the remaining agent is guaranteed $\alpha$-approximation of her MMS value. We show that there exist $\alpha$-AMMS allocations, with $\alpha = 9/8$ for three agents; $\alpha = 4/3$ for four agents; and $\alpha = (n+1)^2/4n$ for $n\geq 5$ agents.

cs.GT↗

arXiv2024

Tree Splitting Based Rounding Scheme for Weighted Proportional Allocations with Subsidy

We consider the problem of allocating $m$ indivisible items to a set of $n$ heterogeneous agents, aiming at computing a proportional allocation by introducing subsidy (money). It has been shown by Wu et al. (WINE 2023) that when agents are unweighted a total subsidy of $n/4$ suffices (assuming that each item has value/cost at most $1$ to every agent) to ensure proportionality. When agents have general weights, they proposed an algorithm that guarantees a weighted proportional allocation requiring a total subsidy of $(n-1)/2$, by rounding the fractional bid-and-take algorithm. In this work, we revisit the problem and the fractional bid-and-take algorithm. We show that by formulating the fractional allocation returned by the algorithm as a directed tree connecting the agents and splitting the tree into canonical components, there is a rounding scheme that requires a total subsidy of at most $n/3 - 1/6$.

cs.GT↗

arXiv2023

On the Existence of EFX (and Pareto-Optimal) Allocations for Binary Chores

We study the problem of allocating a group of indivisible chores among agents while each chore has a binary marginal. We focus on the fairness criteria of envy-freeness up to any item (EFX) and investigate the existence of EFX allocations. We show that when agents have additive binary cost functions, there exist EFX and Pareto-optimal (PO) allocations that can be computed in polynomial time. To the best of our knowledge, this is the first setting of a general number of agents that admits EFX and PO allocations, before which EFX and PO allocations have only been shown to exist for three bivalued agents. We further consider more general cost functions: cancelable and general monotone (both with binary marginal). We show that EFX allocations exist and can be computed for binary cancelable chores, but EFX is incompatible with PO. For general binary marginal functions, we propose an algorithm that computes (partial) envy-free (EF) allocations with at most $n-1$ unallocated items.

cs.GT↗

arXiv2023

One Quarter Each (on Average) Ensures Proportionality

We consider the problem of fair allocation of $m$ indivisible items to a group of $n$ agents with subsidy (money). Our work mainly focuses on the allocation of chores but most of our results extend to the allocation of goods as well. We consider the case when agents have (general) additive cost functions. Assuming that the maximum cost of an item to an agent can be compensated by one dollar, we show that a total of $n/4$ dollars of subsidy suffices to ensure a proportional allocation. Moreover, we show that $n/4$ is tight in the sense that there exists an instance with $n$ agents for which every proportional allocation requires a total subsidy of at least $n/4$. We also consider the weighted case and show that a total subsidy of $(n-1)/2$ suffices to ensure a weighted proportional allocation.

cs.GT↗

arXiv2023

Improved Competitive Ratios for Online Bipartite Matching on Degree Bounded Graphs

We consider the online bipartite matching problem on $(k,d)$-bounded graphs, where each online vertex has at most $d$ neighbors, each offline vertex has at least $k$ neighbors, and $k\geq d\geq 2$. The model of $(k,d)$-bounded graphs is proposed by Naor and Wajc (EC 2015 and TEAC 2018) to model the online advertising applications in which offline advertisers are interested in a large number of ad slots, while each online ad slot is interesting to a small number of advertisers. They proposed deterministic and randomized algorithms with a competitive ratio of $1 - (1-1/d)^k$ for the problem, and show that the competitive ratio is optimal for deterministic algorithms. They also raised the open questions of whether strictly better competitive ratios can be achieved using randomized algorithms, for both the adversarial and stochastic arrival models. In this paper we answer both of their open problems affirmatively. For the adversarial arrival model, we propose a randomized algorithm with competitive ratio $1 - (1-1/d)^k + \Omega(d^{-4}\cdot e^{-\frac{k}{d}})$ for all $k\geq d\geq 2$. We also consider the stochastic model and show that even better competitive ratios can be achieved. We show that for all $k\geq d\geq 2$, the competitive ratio is always at least $0.8237$. We further consider the $b$-matching problem when each offline vertex can be matched at most $b$ times, and provide several competitive ratio lower bounds for the adversarial and stochastic model.

cs.DS↗

arXiv2023

Multi-agent Online Scheduling: MMS Allocations for Indivisible Items

We consider the problem of fairly allocating a sequence of indivisible items that arrive online in an arbitrary order to a group of n agents with additive normalized valuation functions. We consider both the allocation of goods and chores and propose algorithms for approximating maximin share (MMS) allocations. When agents have identical valuation functions the problem coincides with the semi-online machine covering problem (when items are goods) and load balancing problem (when items are chores), for both of which optimal competitive ratios have been achieved. In this paper, we consider the case when agents have general additive valuation functions. For the allocation of goods, we show that no competitive algorithm exists even when there are only three agents and propose an optimal 0.5-competitive algorithm for the case of two agents. For the allocation of chores, we propose a (2-1/n)-competitive algorithm for n>=3 agents and a square root of 2 (approximately 1.414)-competitive algorithm for two agents. Additionally, we show that no algorithm can do better than 15/11 (approximately 1.364)-competitive for two agents.

cs.GT↗

arXiv2023

Improved Competitive Ratio for Edge-Weighted Online Stochastic Matching

We consider the edge-weighted online stochastic matching problem, in which an edge-weighted bipartite graph G=(I\cup J, E) with offline vertices J and online vertex types I is given. The online vertices have types sampled from I with probability proportional to the arrival rates of online vertex types. The online algorithm must make immediate and irrevocable matching decisions with the objective of maximizing the total weight of the matching. For the problem with general arrival rates, Feldman et al. (FOCS 2009) proposed the Suggested Matching algorithm and showed that it achieves a competitive ratio of 1-1/e \approx 0.632. The ratio has recently been improved to 0.645 by Yan (2022), who proposed the Multistage Suggested Matching (MSM) algorithm. In this paper, we propose the Evolving Suggested Matching (ESM) algorithm, and show that it achieves a competitive ratio of 0.650.

cs.DS↗

arXiv2023

Weighted EF1 Allocations for Indivisible Chores

We study how to fairly allocate a set of indivisible chores to a group of agents, where each agent $i$ has a non-negative weight $w_i$ that represents its obligation for undertaking the chores. We consider the fairness notion of weighted envy-freeness up to one item (WEF1) and propose an efficient picking sequence algorithm for computing WEF1 allocations. Our analysis is based on a natural and powerful continuous interpretation for the picking sequence algorithms in the weighted setting, which might be of independent interest. Using this interpretation, we establish the necessary and sufficient conditions under which picking sequence algorithms can guarantee other fairness notions in the weighted setting. We also study the existence of fair and efficient allocations and propose efficient algorithms for the computation of WEF1 and PO allocations for the bi-valued instances. Our result generalizes that of Garg et al. (AAAI 2022) and Ebadian et al. (AAMAS 2022) to the weighted setting. Our work also studies the price of fairness for WEF1, and the implications of WEF1 to other fairness notions.

cs.GT↗