Search arXivSearch

arXiv · 2008.11562

Optimal Strategies in Weighted Limit Games (full version)

Abstract

We prove the existence and computability of optimal strategies in weighted limit games, zero-sum infinite-duration games with a Büchi-style winning condition requiring to produce infinitely many play prefixes that satisfy a given regular specification. Quality of plays is measured in the maximal weight of infixes between successive play prefixes that satisfy the specification.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Aniello Murano, Sasha Rubin, Martin Zimmermann. 2020-09-07. Optimal Strategies in Weighted Limit Games (full version). https://arxiv.org/abs/2008.11562

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Plan-Driven Adaptive Bidding for First-Price Auctions with Budget Constraints under Nonstationarity

We study budget pacing in repeated first-price auctions when an advertiser's private-value distributions change over time and the stationary competing-bid distribution is unknown. We ask how a feasible expenditure plan should enter online bid shading, learning, and hard budget control. We establish a plan-to-performance decomposition for a plan-driven projected-dual policy. The policy uses any feasible expenditure plan as a soft target, learns an unknown stationary competing-bid CDF from thresholds revealed after each auction, and enforces the campaign budget on every sample path. Against a distribution-informed expected-budget fluid benchmark, the uniform-plan reward gap is $O(\sqrt T)+O(\mathcal W_T)$, where $\mathcal W_T$ measures heterogeneity in private-value distributions. With a supplied feasible plan, the global gap decomposes into a one-sided $O(\sqrt{T})$ fixed-plan execution term and a plan-mismatch term bounded by $(b/2a)PlanError$. The same analysis provides guarantees for strict and relaxed period-cap comparators, exact recovery of the global benchmark under a specific allowance vector, and separate lower bounds establishing the necessity of the temporal-heterogeneity and Plan Error terms. An upstream planner can translate forecasts or managerial priorities into a feasible spending trajectory, while the online controller adapts bids using realized thresholds and expenditures. The guarantee is modular: it evaluates the final normalized or projected plan through $PlanError$. A specific forecasting model can be linked to the guarantee by establishing how its primitive estimation errors propagate to this plan-quality metric.

cs.GT

Randomized Online Fair Division: High-Probability and Expected Realized Fairness

We study randomized algorithms for the fully online allocation of indivisible goods among $n\ge2$ agents with nonnegative additive valuations. Goods arrive one by one and must be allocated immediately and irrevocably. Nothing is known in advance except the number of agents. Since exact ex-ante envy freeness and proportionality are readily achievable, while no positive ex-post approximation is possible for the fairness notions considered here, we study the intermediate notions of high-probability fairness and expected realized fairness. Against a non-adaptive adversary, we give a randomized algorithm that achieves an $Ω(\sqrt{\log n}/\log(n/δ))$-approximation to proportionality up to one good (PROP1) with probability at least $1-δ$ for every $δ\in(0,1)$, and an expected realized PROP1 factor of $Ω(1/\sqrt{\log n})$. Compared with independent uniform allocation (Rand), these guarantees yield an $Ω(\sqrt{\log n})$ improvement under both the high-probability and expected realized criteria. For envy freeness up to any good (EFX), the success probability of any positive factor can be made arbitrarily small, even for identical valuations. Consequently, the expected realized factor of every randomized fully online algorithm is zero. For envy freeness up to one good (EF1), no randomized fully online algorithm can guarantee a positive factor with confidence exceeding $\frac{n+1}{2n}$. The expected realized EF1 guarantee is also at most $\frac{n+1}{2n}$.

cs.GT

The Geometry of Alliances: Vote Transfer Modelling in French Two-Round Elections

Two-round legislative elections are decided not only by first-round vote shares, but by how voters whose preferred party did not advance redistribute their votes among the surviving candidates. We develop a principled model of this transfer process, grounded in multi-dimensional ideological embeddings derived from the Chapel Hill Expert Survey, and apply it to French legislative elections. Calibrated on the 2017 and 2022 elections, the model is evaluated on the unusually complex 2024 contest, in which three ideologically distinct blocs reached the second round simultaneously, achieving 90.34 percent constituency-level accuracy. We show that ideological proximity alone explains the large majority of vote transfers, that a simple left-right axis is insufficient to capture the relevant distances, and that the structural configuration of the 2024 electorate was far less favorable to the far right than pre-election forecasts suggested.

cs.GT