Live data from Hacker News

Magic: The Gathering is Turing Complete

arxiv.org

41–50 of 194 posts

Re: Magic: The Gathering is Turing Complete

#41
post #27

I'd claim strongly, that any game with: - finite number of pieces (eg. cards) - finite number of actions each round - clear endgame criteria is computionally solvable. What comes with randomness is stochasticity, but if that made game unsolvable what about poker (solved for limit heads-up) and even scrabble? Probably it's kind of semantic problem. I'm not complexity nor game theory expert.

Here's a game. It has just one card, it says: "repeat this card's action". Is it solvable?

Re: Magic: The Gathering is Turing Complete

#42
post #27

I'd claim strongly, that any game with: - finite number of pieces (eg. cards) - finite number of actions each round - clear endgame criteria is computionally solvable. What comes with randomness is stochasticity, but if that made game unsolvable what about poker (solved for limit heads-up) and even scrabble? Probably it's kind of semantic problem. I'm not complexity nor game theory expert.

Combat resolution/targeting can get a wee bit out of hand:

https://i.redd.it/wyn3d22evs011.jpg

This is not the worst I've seen, simply what I was able to turn-up on short notice.

EDIT: To clarify (the UI isn't great), what you see above is a selection of the "cards" (creatures/tokens) in play, more are off screen.

Re: Magic: The Gathering is Turing Complete

#43
post #12

"By contrast, the chess problem must be solved by brute force, and the number of steps this takes increases in proportion to an exponential function of the input. " What is this input? Board size?

I think that the number of positions that need to be considered for a brute force exhaustive search are roughly proportional to an exponential function of the number of moves made, so the statement holds true for that.

In reality, the number of possible moves is not constant and depends on the current position.

Re: Magic: The Gathering is Turing Complete

#44
post #21
post #8

Does it actually make sense to say that something that is non-computable is most complex? That seems like a contradiction.

I think you are misunderstanding the article. The point is that when the game is considered as a computation, the problem of figuring out who is going to win is not computable. Like every discussion of the halting problem, this is about whether or not a program exists that can calculate how some other specific program will behave.

I understood that, but question whether it's meaningful to say that is therefore more complex. Complexity theory just doesn't apply? (Or does it?)

Re: Magic: The Gathering is Turing Complete

#45
post #27

I'd claim strongly, that any game with: - finite number of pieces (eg. cards) - finite number of actions each round - clear endgame criteria is computionally solvable. What comes with randomness is stochasticity, but if that made game unsolvable what about poker (solved for limit heads-up) and even scrabble? Probably it's kind of semantic problem. I'm not complexity nor game theory expert.

> I'd claim strongly [...] I'm not complexity nor game theory expert.

Why are you making “strong” claims in a field you admittedly are not an expert in? This is not how polite nor useful conversations happen.

Re: Magic: The Gathering is Turing Complete

#46
post #7
post #3

erm "Though similar to role-playing fantasy games such as Dungeons and Dragons" No MTG is not at all similar to role playing games.

It is similar in lore/setting.

Not sure that's true MTG is not based on any of the DnD settings nor does it have Character Races and Classes.

Re: Magic: The Gathering is Turing Complete

#47
post #16

MtG is played by choosing 60 cards from 20k. Everything is finite. There must be some generalization in order to make it noncomputable. There are probably many games that can somehow encode a halting problem if the board size is made arbitrarily large. EDIT: This from the real abstract sounds very strange: "Our result is also highly unusual in that all moves of both players are forced in the construction. This shows…

> Everything is finite.

No, you can recycle resources and there are cards that remove termination conditions of the game. For example Platinum Angel or Lich's Mastery.

Re: Magic: The Gathering is Turing Complete

#48

I'll see your Magic and raise you Nomic: https://en.m.wikipedia.org/wiki/Nomic

I have never played Nomic, but I can say from experience that Mao is a very fun way to practice game design skills and troll new players at the same time

https://en.wikipedia.org/wiki/Mao_(card_game)

Re: Magic: The Gathering is Turing Complete

#49
Some thoughts about AI: After Chess, Go and StarCraft 1, Magic is definitely an interesting game for AI to tackle next.

While there are certain play patterns, the space of potential actions is extremely large and there is a great number of synergistic interactions between cards that needs to be taken into account.

From an AI perspective Magic is also very hard because it is:

  * Non-deterministic
  * Partially observable
  * Antagonistic

Re: Magic: The Gathering is Turing Complete

#50
While this paper shows that a player can create a game state where deciding the game result is Turing-complete, it does not show that doing so is an optimal strategy under any circumstance (in particular, the setup requires a starting situation where the player can just win the game instead of performing the setup).

So it seems perfectly possible (and in fact highly likely) that this result does not hold if players play optimally, especially if deck selection is included in the strategy.

Post reply on HN