Let me start by noticing, I am not interested in playing a game of Tic Tac Toe, nor programming any form of “AI”. With that out of the way, let me give some background:
I have found Rust, with its ownership model, frequently nudges me to rethink whatever I am building. Usually it involves fixing some structs / enums, to avoid references. Correctly structuring an object can make me avoid lots of headaches later when I actually add functionality.
One thing I noticed that helps is understanding what kind of properties should the data have? Should it maintain a certain order, or can it be unordered? Are all of the values unique, or can it have duplicates? All of these details are very important. It is wrong to just shove everything into a Vec. A Vec implies ordering and duplicates, which could be a bad model. We need to choose something which most closely represents the data.
Ok, enough lecture. Onto the Tic Tac Toe grid. Observing this grid provides me with a few important properties:
A Tic Tac Toe grid can be rotated clockwise or counterclockwise, and the game is still the same. The grid can also be flipped over horizontally or vertically and the game will be the same. To decide if anyone won, we just need to see if any rows have 3 of the same value. The rest of the grid does not matter.
I am trying to figure out the best memory model would best represent this behavior. How to build a grid whose orientation does not matter?
Ideally, all of these values should be represented in memory exactly the same way:
X|O| X| | | |
|O| = O|O| = O|O|
| | | | X| |
But how to do this? One way I was thinking, is perhaps instead of saving a grid at all, we should just be keeping track of all of the rows.
- [X, O, E] (E = Empty)
- [O, O, E]
- etc for all the other rows…
However there are several problems with this model:
- The same cells are owned by multiple rows. This is not good. Perhaps the rows can hold a reference to the cells?
- The ordering of each row should not matter. So this shouldn’t be an array. A better representation may be a Set or Bag/Multiset.
#1 continues to bug me. If we have rows holding references to all of the cells, then it will be hard to update any of them because of rust’s restrictions on multiple mutable borrows. Or am I wrong here? How can I update a cell using a reference from a row? Where would the cell live anyway?
It doesn’t seem to help to declare the rows inside of the cells, because that leads to cyclical references.
I continue to mull over this problem with not much success. I hope someone can help me discover a better path forward.
I’d agree with another comment that this is generally overthinking it. Are you planning on expanding this game to accommodate other features and that’s why being deliberate about this memory model is important? How much time are you planning on doing this in? Ask yourself questions about your goals before diving into a solution.
A simple vector seems fine. Each item in the vector is an enum representing cell state. You can translate x y coordinates to an index pretty easily.
Yeah. OP, you imply that you’re trying to get insight into a more general case, but TBH for the scenario you’ve presented: you’re overthinking it. Just use a fixed size array.
If you want fancy things like grid rotation handling, just store it in a Vec and provide a rotated view of it with an iterator.
deleted by creator
Nothing wrong with that. My idea was to do a vector (or fixed-size array if you prefer) in one dimension. An example would be something like [0, 1, 2, 0, 1, 0, 2, 0, 2] (where O is 1, X is 2 and 0 represents an empty cell). The math to get the index is similar to this:
https://bfnightly.bracketproductions.com/chapter_3.html#building-a-simple-map
Might be overkill for a simple tic-tac-toe game, but if you want to rotate the board or whatever, you can just change the math you do to get the index. I’m not at all a math expert, but it seems like a reasonable approach.
Why does the way you present the data change how the memory is managed? I think you are mixing data storage with display logic.
Ideally, all of these values should be represented in memory exactly the same way:
If they are represented in the exact same way, only one of them would be able to appear in the game - so which one is it? I think that seems quite strange for a tic tac toe game.
We need to choose something which most closely represents the data.
Why do you need to do that? You do not have to choose the optimal memory model to code a Tic Tac Toe game.
A Vec works fine, and is also simple to understand (so it is maintainable).
If you invent your own complex data structure for the Tic Tac Toe you trade maintainability for… what gain?
How to build a grid whose orientation does not matter?
The orientation is how you iterate on your grid. If you iterate from first element to last element on X-axis, you have the “normal” orientation. If you iterate from last to first, you have the Y-symmetrical orientation.
A 2D array is already a grid whose orientation does not matter. No need to over-complexify this.
If you want to be picky, you could say that you want a grid with optimal performance. Meaning that your data should be contiguous (ideally, your data should be in the same cache line to prevent cache misses).
If you start playing with complex data structures with lots of pointer indirections and such, your performance will go down, your code will be more complex to understand, and will (certainly) be bigger in memory. You will lose in both maintainability, performance and size.
A single vector of 9 elements is enough, really.
Do you care about modeling the cells? If not, you could represent each row with just a number. When X plays, add 1 to all the rows that include the position they played, and when O plays, subtract 1. If any row reaches +3 or -3, that player wins.
As for rotation/reflection invariance, that seems more like a math problem than a Rust problem.
I agree with others that this is drastically overthinking it. If you want to take a fancier approach, I’d recommend taking inspiration from chess. You can represent the board using two numbers: X/O, and set/unset (you can combine these into one number even since it’d be a total of 9 * 2 = 18 bits). For checking if a player has won, you could have numbers representing winning boards, and do some math to determine which player has won.
Ideally, all of these values should be represented in memory exactly the same way:
That would make the game hard to play, since you’d have to think about where your move would end up since it won’t stay on the cell you click.
I think you’re wanting to store them that way so that you can easily check for win conditions, maybe? But that’s the wrong approach. Store the cells as they appear to the player, in a 2d Array (or 1d Array with indexing math. That’s how I’d do it).
Then you can take advantage of symmetries in your win condition code, if you like. But it really couldn’t be much simpler than counting the matching cells in each row, column, and diagonal. That’s just 8 groups of 3.
