Akademska digitalna zbirka SLovenije - logo
E-viri
Celotno besedilo
Recenzirano Odprti dostop
  • Game comparison through play
    Larsson, Urban; Nowakowski, Richard J.; Santos, Carlos P.

    Theoretical computer science, 05/2018, Letnik: 725
    Journal Article

    Absolute Universes of Combinatorial Games, as defined in a recent paper by the same authors, include many standard short Normal- Misère- and Scoring-play monoids. Given G and H in an Absolute Universe U, we define a dual Normal-play game, called the Left Provisonal Game G,H, and show that G≽H if and only if Left wins G,H playing second. As an example of our construction, we show how to compare Dicot Misère-play games in Siegel's computer program CGSuite and illustrate by including the partial order of all games of rank 2. We also show that Joyal's Normal-play Category generalizes to every Absolute Universe U, and we define the associated categories LNP(U).