2
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Waiter-Client and Client-Waiter colourability games on a k-uniform hypergraph and the k-SAT game

      Preprint

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          Waiter-Client and Client-Waiter games are two-player, perfect information games, with no chance moves, played on a finite set (board) with special subsets known as the winning sets. Each round of the biased (1:q) game begins with Waiter offering q+1 previously unclaimed elements of the board to Client, who claims one. The q elements remaining are then claimed by Waiter. If Client fully claims a winning set by the time all board elements have been offered, he wins in the Client-Waiter game and loses in the Waiter-Client game. We give an estimate for the threshold bias of the (1:q) Waiter-Client and Client-Waiter versions of two different games: the non-2-colourability game, played on the complete k-uniform hypergraph, and the k-SAT game. In particular, we show that the unique value of q at which the winner of the Client-Waiter version of the non-2-colourability game changes is 1n(nk)2k(1+ok(1)) and, for the Waiter-Client version, the corresponding value of q is 1n(nk)2Θk(k). Additionally, we show that the threshold bias for the Waiter-Client and Client-Waiter versions of the k-SAT game is 1n(nk) up to a factor that is exponential and polynomial in k respectively. This shows that these games exhibit the "probabilistic intuition".

          Related collections

          Most cited references20

          • Record: found
          • Abstract: not found
          • Article: not found

          Random k‐SAT: Two Moments Suffice to Cross a Sharp Threshold

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Analysis of Two Simple Heuristics on a Random Instance ofk-sat

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem

                Bookmark

                Author and article information

                Journal
                2016-07-08
                Article
                1607.02258
                3ca86a73-1f97-43d6-a8f9-1660b123e94b

                http://arxiv.org/licenses/nonexclusive-distrib/1.0/

                History
                Custom metadata
                05C57, 91A24, 05C15
                16 pages
                math.CO

                Combinatorics
                Combinatorics

                Comments

                Comment on this article