Pith. sign in

REVIEW 1 cited by

Computations and Complexities of Tarski's Fixed Points and Supermodular Games

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2005.09836 v1 pith:VPPLCT3X submitted 2020-05-20 cs.GT cs.CCecon.TH

classification cs.GTcs.CCecon.TH
keywords fixedfunctiontarskigamesmodelsupermodularequilibriumoracle
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

We consider two models of computation for Tarski's order preserving function f related to fixed points in a complete lattice: the oracle function model and the polynomial function model. In both models, we find the first polynomial time algorithm for finding a Tarski's fixed point. In addition, we provide a matching oracle bound for determining the uniqueness in the oracle function model and prove it is Co-NP hard in the polynomial function model. The existence of the pure Nash equilibrium in supermodular games is proved by Tarski's fixed point theorem. Exploring the difference between supermodular games and Tarski's fixed point, we also develop the computational results for finding one pure Nash equilibrium and determining the uniqueness of the equilibrium in supermodular games.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. OpenAlex reports about 5 citations worldwide. Full citation record

  1. Monotone Contractions

    cs.CC 2024-11 conditional novelty 8.0 of 10

    A fixed point of a d-dimensional monotone contraction can be found in O((c log(1/ε))^{ceil(d/3)}) queries, improving on previous bounds, and the problem lies in UEOPL.

Pith tools