Formal specification of holiday gift exchange proves termination and counts trajectories; simulations find social costs reduce stealing 27-48% while partial information slightly increases it and correlated valuations amplify competition.
Breaking the envy cycle: Best-of-both- worlds guarantees for subadditive valuations
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.GT 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Formal specification and behavioral simulation of the holiday gift exchange game
Formal specification of holiday gift exchange proves termination and counts trajectories; simulations find social costs reduce stealing 27-48% while partial information slightly increases it and correlated valuations amplify competition.