Abstract
In synchronized games players make their moves simultaneously rather than alternately. Synchronized Triomineering is the synchronized version of Triomineering, a variant of a classical two-player combinatorial game called Domineering. New theoretical results for the \(n \times 11\) board are presented.
Access provided by Autonomous University of Puebla. Download chapter PDF
Similar content being viewed by others
Keywords
- Combinatorial game
- Domineering
- Rectangular board
- Synchronized game
- Synchronized Triomineering
- Winning strategy
1 Introduction
The game of Domineering is a typical two-player game with perfect information, proposed around 1973 by Göran Andersson [3, 12, 13]. The two players, usually denoted by Vertical and Horizontal, take turns in placing dominoes (\(2 \times 1\) tile) on a checkerboard. Vertical is only allowed to place its dominoes vertically and Horizontal is only allowed to place its dominoes horizontally on the board. Dominoes are not allowed to overlap and the first player that cannot find a place for one of its dominoes loses. After a time the remaining space may separate into several disconnected regions, and each player must choose into which region to place a domino.
Berlekamp [2] solved the general problem for \(2 \times n\) board for odd \(n\). The \(8 \times 8\) board and many other small boards were recently solved by Breuker et al. [5] using a computer search with a good system of transposition tables. Subsequently, Lachmann et al. solved the problem for boards of width 2, 3, 5, and 7 and other specific cases [14]. Finally, Bullock solved the \(10 \times 10\) board [6].
The game of Triomineering was proposed in 2004 by Blanco and Fraenkel [4]. In Triomineering Vertical and Horizontal alternate in tiling with a straight triomino (\(3 \times 1\) tile) on a checkerboard. Blanco and Fraenkel calculated Triomineering and values for boards up to \(6\) squares and small rectangular boards.
2 Synchronized Games
For the sake of self containment, we recall the previous results concerning synchronized games. Initially, the concept of synchronism was introduced in the games of Cutcake [8], Maundy Cake [9], and Domineering [1, 10] in order to study combinatorial games where players make their moves simultaneously.
As a result, in the synchronized versions of these games there exist no zero-games (fuzzy-games), i.e., games where the winner depends exclusively on the player that makes the second (first) move. Moreover, there exists the possibility of a draw, which is impossible in a typical combinatorial game.
In the game of Synchronized Triomineering [7, 11], a general instance and the legal moves for Vertical and Horizontal are defined exactly in the same way as defined for the game of Triomineering.
There is only one difference: Vertical and Horizontal make their legal moves simultaneously, therefore, triominoes are allowed to overlap if they have a \(1 \times 1\) tile in common. We note that \(1 \times 1\) overlap is only possible within a simultaneous move.
At the end, if both players cannot make a move, then the game ends in a draw, else if only one player can still make a move, then he/she is the winner.
For each player there exist three possible outcomes:
-
The player has a winning strategy (\(ws\)) independently of the opponent’s strategy, or
-
The player has a drawing strategy (\(ds\)), i.e., he/she can always get a draw in the worst case, or
-
The player has a losing strategy (\(ls\)), i.e., he/she does not have a strategy either for winning or for drawing.
Table 1 shows all the possible cases. It is clear that if one player has a winning strategy, then the other player has neither a winning strategy nor a drawing strategy. Therefore, the cases ws−ws, ws−ds, and ds−ws never happen. As a consequence, if \(G\) is an instance of Synchronized Triomineering, then we have six possible legal cases:
-
\(G = D\) if both players have a drawing strategy, and the game will always end in a draw under perfect play, or
-
\(G = V\) if Vertical has a winning strategy, or
-
\(G = H\) if Horizontal has a winning strategy, or
-
\(G = VD\) if Vertical can always get a draw in the worst case, but he/she could be able to win if Horizontal makes an unlucky move, or
-
\(G = HD\) if Horizontal can always get a draw in the worst case, but he/she could be able to win if Vertical makes an unlucky move, or
-
\(G = VHD\) if both players have a losing strategy and the outcome is totally unpredictable.
3 Examples of Synchronized Triomineering
The game always ends in a draw, therefore \(G = D\).
In the game
Vertical has a winning strategy moving in the second (or in the third) column, therefore \(G = V\).
In the game if Vertical moves in the first column we have two possibilities therefore, either Vertical wins or the game ends in a draw. Symmetrically, if Vertical moves in the third column we have two possibilities therefore, either Vertical wins or the game ends in a draw. It follows \(G = VD\).
Symmetrically, in the game either Horizontal wins or the game ends in a draw therefore, \(G =HD\).
In the game each player has \(4\) possible moves. For every move of Vertical, Horizontal can win or draw (and sometimes lose); likewise, for every move by Horizontal, Vertical can win or draw (and sometimes lose). As a result it follows that \(G = VHD\).
4 New Results
In the previous works [7, 11] the \(n\times 4\), \(n \times 5\), \(n \times 7\), and \(n \times 8\) boards have been solved. In this section the solution for the \(n \times 11\) board is presented.
Theorem 1
Let \(G\)be a\(n \times 11\)board of Synchronized Triomineering with \(n \ge 41\). Then, Vertical has a winning strategy.
Proof
In the beginning, Vertical will always move into the third, the sixth, and the ninth column of the board, i.e., \((m, c)\), \((m+1, c)\), \((m+2, c)\), \((m, f)\), \((m+1, f)\), \((m+2, f)\), \((m, i)\), \((m+1, i)\), and \((m+2,i)\), where \(m \equiv 1 \,({\text{mod 3}})\), as shown in Fig. 1.
When Vertical cannot move anymore into the third, the sixth, and the ninth column, let us imagine that we divide the main rectangle into \(3 \times 11\) sub-rectangles starting from the top of the board (by using horizontal cuts). Of course, if \( n \not \equiv 0 \,({\text{mod 3}})\), then the last sub-rectangle will be of size either \(1 \times 11\) or \(2 \times 11\), and Horizontal will be able to make respectively either three more moves or six more moves.
We can classify all these sub-rectangles into \(22\) classes according to:
-
The number of vertical triominoes already placed in the sub-rectangle (vt),
-
The number of horizontal triominoes already placed in the sub-rectangle (ht),
-
The number of moves that Vertical is able to make in the worst case, in all the sub-rectangles of that class (vm),
-
The number of moves that Horizontal is able to make in the best case, in all the sub-rectangles of that class (hm),
as shown in Table 2. We denote with \(|A|\) the number of sub-rectangles in the \(A\) class, with \(|B|\) the number of sub-rectangles in the \(B\) class, and so on. The value of vm in all the sub-rectangles belonging to the class E, F, G, J, K, and P considered as a group is
The last statement is true under the assumption that Vertical moves first into the sub-rectangles of class E, F, G, and J as long as they exist, and after into the sub-rectangles of the class K and P. When Vertical cannot move anymore into the third, the sixth, and the ninth column, both Vertical and Horizontal have placed the same number of triominoes, therefore
Let us prove by contradiction that Vertical can make a larger number of moves than Horizontal. Assume therefore
using the data in Table 2
and applying Eq. 1
which is false because
and by hypothesis \(n \ge 41\). Therefore, \(moves(V) \le moves(H)\) does not hold and consequently \(moves(H) < moves(V)\). We observe that if \(n \equiv (3)\), then the theorem holds for \(n \ge 22\) and if \(n \equiv (3)\), then the theorem holds for \(n\ge 3\).
\(\square \)
By symmetry the following theorem holds.
Theorem 2
Let \(G\) be a \(11 \times n\) board of Synchronized Triomineering with \(n \ge 41\). Then, Horizontal has a winning strategy.
References
Bahri S, Kruskal CP (2010) New solutions for synchronized domineering. In: van den Herik HJ, Iida H, Plaat A (eds) Proceedings of the conference on computers and games 2010, Springer, Kanazawa, 24–26 Sept 2010, pp 211–229
Berlekamp ER (1988) Blockbusting and domineering. J Comb Theory Ser A 49:67–116
Berlekamp ER, Conway JH, Guy RK (2001) Winning way for your mathematical plays. AK Peters, Wellesley
Blanco SA, Fraenkel AS (2004) Triomineering, Tridomineering, and L-Tridomineering. Technical report MCS04-10, Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science. http://wisdomarchive.wisdom.weizmann.ac.il:81/archive/00000367/
Breuker DM, Uiterwijk JWHM, van den Herik HJ (2000) Solving \(8\times 8\) domineering. Theor Comput Sci 230:195–206
Bullock N (2002) Domineering: solving large combinatorial search space. ICGA J 25(2):67–84
Cao T, Cincotti A, Iida H (2012) New results for Synchronized Triomineering. In: Ao SI, Castillo O, Douglas C, Feng DD, Lee J (eds) Lecture notes in engineering and computer science: proceedings of the international multiConference of engineers and computer scientists 2012, IMECS 2012, Newswood Limited, Hong Kong, 14–16 March 2012, pp 1482–1485
Cincotti A, Iida H (2007) The game of synchronized cutcake. In: Proceedings of the IEEE symposium on computational intelligence and games, IEEE Press, Honolulu, 1–5 April 2007, pp 374–379
Cincotti A, Iida H (2008) The game of synchronized Maundy Cake. In: Proceedings of the 7th annual Hawaii international conference on statistics, mathematics and related fields, Honolulu, 17–19 Jan 2008, pp 422–429
Cincotti A, Iida H (2008) The game of synchronized domineering. In: van den Herik HJ, Xu X, Ma Z, Winands MHM (eds) Proceedings of the conference on computers and games 2008, Springer, Beijing, 29 Sept–1 Oct 2008, pp 241–251
Cincotti A, Komori S, Iida H (2008) The game of synchronized triomineering and Synchronized Tridomineering. Int J Comput Math Sci 2:143–148
Conway JH (2001) On numbers and games. A K Peters
Gardner M (1974) Mathematical games. Sci Am 230:106–108
Lachmann M, Moore C, Rapaport I (2000) Who wins domineering on rectangular boards. In: Nowakowski RJ (ed) More games of no chance. Cambridge University Press, Cambridge, pp 307–315
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Cincotti, A. (2013). Synchronized Triomineering on Rectangular Boards. In: Yang, GC., Ao, SI., Huang, X., Castillo, O. (eds) IAENG Transactions on Engineering Technologies. Lecture Notes in Electrical Engineering, vol 186. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-5651-9_6
Download citation
DOI: https://doi.org/10.1007/978-94-007-5651-9_6
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-5623-6
Online ISBN: 978-94-007-5651-9
eBook Packages: EngineeringEngineering (R0)