Search results for "Computation"

showing 10 items of 7362 documents

Worst Case Analysis of Non-local Games

2013

Non-local games are studied in quantum information because they provide a simple way for proving the difference between the classical world and the quantum world. A non-local game is a cooperative game played by 2 or more players against a referee. The players cannot communicate but may share common random bits or a common quantum state. A referee sends an input x i to the i th player who then responds by sending an answer a i to the referee. The players win if the answers a i satisfy a condition that may depend on the inputs x i .

Computer Science::Computer Science and Game TheoryComputingMilieux_PERSONALCOMPUTINGTheoryofComputation_GENERAL0102 computer and information sciencesNon local01 natural sciences010201 computation theory & mathematicsQuantum stateSimple (abstract algebra)0103 physical sciencesQuantum worldQuantum information010306 general physicsMathematical economicsCase analysisMathematics
researchProduct

Collusion Constrained Equilibrium

2018

First published: 01 February 2018 This is an open access article licensed under the Creative Commons Attribution-NonCommercial License 4.0 (http://econtheory.org) We study collusion within groups in noncooperative games. The primitives are the preferences of the players, their assignment to nonoverlapping groups, and the goals of the groups. Our notion of collusion is that a group coordinates the play of its members among different incentive compatible plans to best achieve its goals. Unfortunately, equilibria that meet this requirement need not exist. We instead introduce the weaker notion of collusion constrained equilibrium. This allows groups to put positive probability on alternatives …

Computer Science::Computer Science and Game TheoryDesignAsymmetric informationCollusionClubsTheoryofComputation_GENERALExistenceorganizationNash equilibriaD70LeadershipEconomics Econometrics and Finance (all)2001 Economics Econometrics and Finance (miscellaneous)C72Discontinuous gamesCoordinationBinding agreementsddc:330groupRuleCollusion; group; organization; Economics Econometrics and Finance (all)2001 Economics Econometrics and Finance (miscellaneous)
researchProduct

Computational Complexity and Communication: Coordination in Two-Player Games

2002

The main contribution of this paper is the development and application of cryptographic techniques to the design of strategic communication mechanisms. One of the main assumptions in cryptography is the limitation of the computational power available to agents. We introduce the concept of limited computational complexity, and by borrowing results from cryptography, we construct a communication protocol to establish that every correlated equilibrium of a two-person game with rational payoffs can be achieved by means of computationally restricted unmediated communication. This result provides an example in game theory where limitations of computational abilities of players are helpful in solv…

Computer Science::Computer Science and Game TheoryEconomics and EconometricsCorrelated equilibriumTheoretical computer scienceComputational complexity theorybusiness.industryCryptographyComputational resourceTuring machinesymbols.namesakeNash equilibriumsymbolsbusinessCommunications protocolGame theoryAlgorithmMathematicsEconometrica
researchProduct

Pragmatic languages with universal grammars

2012

Abstract This paper constructs the equilibrium for a specific code that can be seen as a “universal grammar” in a class of common interest Sender–Receiver games where players communicate through a noisy channel. We propose a Senderʼs signaling strategy which does not depend on either the game payoffs or the initial probability distribution. The Receiverʼs strategy partitions the set of possible sequences into subsets, with a single action assignment to each of them. The Senderʼs signaling strategy is a Nash equilibrium, i.e. when the Receiver responds best to the Senderʼs strategy, the Sender has no incentive to deviate. An example shows that a tie-breaking decoding is crucial for the block…

Computer Science::Computer Science and Game TheoryEconomics and EconometricsTheoretical computer sciencejel:C61jel:D82Symmetric gamejel:C73TheoryofComputation_GENERALgrammar pragmatic language prototypes separating equilibriasymbols.namesakeNash equilibriumsymbolsCode (cryptography)Probability distributionCommunication sourceSignaling gameSet (psychology)FinanceDecoding methodsComputer Science::Information TheoryMathematicsGames and Economic Behavior
researchProduct

Provable Advantage for Quantum Strategies in Random Symmetric XOR Games

2013

Non-local games are widely studied as a model to investigate the properties of quantum mechanics as opposed to classical mechanics. In this paper, we consider a subset of non-local games: symmetric XOR games of $n$ players with 0-1 valued questions. For this class of games, each player receives an input bit and responds with an output bit without communicating to the other players. The winning condition only depends on XOR of output bits and is constant w.r.t. permutation of players. We prove that for almost any $n$-player symmetric XOR game the entangled value of the game is $\Theta (\frac{\sqrt{\ln{n}}}{n^{1/4}})$ adapting an old result by Salem and Zygmund on the asymptotics of random tr…

Computer Science::Computer Science and Game TheoryQuantum Physics000 Computer science knowledge general worksComputer ScienceComputingMilieux_PERSONALCOMPUTINGTheoryofComputation_GENERAL
researchProduct

Quantum-over-Classical Advantage in Solving Multiplayer Games

2020

We study the applicability of quantum algorithms in computational game theory and generalize some results related to Subtraction games, which are sometimes referred to as one-heap Nim games.

Computer Science::Computer Science and Game TheoryTheoretical computer scienceComputer scienceQuantum game theoryComputingMilieux_PERSONALCOMPUTINGSubtractionQuantum algorithmComputational game theoryQuantum
researchProduct

Modular Strategies for Recursive Game Graphs

2006

AbstractMany problems in formal verification and program analysis can be formalized as computing winning strategies for two-player games on graphs. In this paper, we focus on solving games in recursive game graphs which can model the control flow in sequential programs with recursive procedure calls. While such games can be viewed as the pushdown games studied in the literature, the natural notion of winning in our framework requires the strategies to be modular with only local memory; that is, resolution of choices within a module does not depend on the context in which the module is invoked, but only on the history within the current invocation of the module. While reachability in (global…

Computer Science::Computer Science and Game TheoryTheoretical computer scienceGeneral Computer ScienceCombinatorial game theoryContext (language use)02 engineering and technology0102 computer and information sciences01 natural sciencesTheoretical Computer ScienceProgram analysisReachability0202 electrical engineering electronic engineering information engineering0101 mathematicsMathematicsbusiness.industry010102 general mathematics020207 software engineeringPushdown systemsResolution (logic)Modular designCall graphUndecidable problemModel-checkingGames in verification010201 computation theory & mathematicsbusinessComputer Science(all)
researchProduct

Advantage of Quantum Strategies in Random Symmetric XOR Games

2013

Non-local games are known as a simple but useful model which is widely used for displaying nonlocal properties of quantum mechanics. In this paper we concentrate on a simple subset of non-local games: multiplayer XOR games with 1-bit inputs and 1-bit outputs which are symmetric w.r.t. permutations of players.

Computer Science::Computer Science and Game TheoryTheoretical computer scienceSequential gameQuantum pseudo-telepathySimple (abstract algebra)Symmetric gameComputingMilieux_PERSONALCOMPUTINGCombinatorial game theoryRepeated gameTheoryofComputation_GENERALScreening gameQuantumMathematics
researchProduct

Population Games with Vector Payoff and Approachability

2016

This paper studies population games with vector payoffs. It provides a new perspective on approachability based on mean-field game theory. The model involves a Hamilton-Jacobi-Bellman equation which describes the best-response of every player given the population distribution and an advection equation, capturing the macroscopic evolution of average payoffs if every player plays its best response.

Computer Science::Computer Science and Game Theoryeducation.field_of_studyDistribution (number theory)Computer scienceStochastic gamePopulationMathematicsofComputing_NUMERICALANALYSISComputingMilieux_PERSONALCOMPUTINGTheoryofComputation_GENERALApproachabilityStrategyBest responseRepeated gameeducationGame theoryMathematical economics
researchProduct

The geometry of surfaces in 4-space from a contact viewpoint

1995

We study the geometry of the surfaces embedded in ℝ4 through their generic contacts with hyperplanes. The inflection points on them are shown to be the umbilic points of their families of height functions. As a consequence we prove that any generic convexly embedded 2-sphere in ℝ4 has inflection points.

Computer Science::GraphicsDifferential geometryHyperplaneInflection pointHyperbolic geometryComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)GeometryGeometry and TopologyAlgebraic geometrySpace (mathematics)Topology (chemistry)Projective geometryMathematicsGeometriae Dedicata
researchProduct