{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreichypghgxjwy4h7pxvwtlzup4ocwc6dwxrlfcoslpc4tffsrx5tiy",
    "uri": "at://did:plc:4rgrdigiftglskeax4wvmsev/app.bsky.feed.post/3mg7en4kunve2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreiflo6xt7is6b2iafwghkjahlgggocme5jwjsbeuqqwcywuvjhmszm"
    },
    "mimeType": "image/png",
    "size": 24783
  },
  "path": "/abs/2603.02863v1",
  "publishedAt": "2026-03-04T01:00:00.000Z",
  "site": "https://arxiv.org",
  "tags": [
    "Orazio Nicolosi",
    "Federico Pisciotta",
    "Lorenzo Bresolin"
  ],
  "textContent": "**Authors:** Orazio Nicolosi, Federico Pisciotta, Lorenzo Bresolin\n\nMotivated by the results for Magic: The Gathering presented in [CBH20] and [Bid20], we study a computability problem related to optimal play in Yu-Gi-Oh! Trading Card Game, a popular card game developed and published by Konami. We show that the problem of establishing whether, from a given game state, a computable strategy is winning is undecidable. In particular, not only do we prove that the Halting Problem can be reduced to this problem, but also that the same holds for the Kleene's $\\mathcal{O}$, thereby demonstrating that this problem is actually $Π^1_1$-complete. We extend this last result to all strategies with a reduction on the set of countable well orders, a classic $\\boldsymbolΠ^1_1$-complete set. For these reductions we present two legal decks (according to the current Forbidden & Limited List of Yu-Gi-Oh! Trading Card Game) that can be used by the player who goes first to perform them.",
  "title": "Optimal play in Yu-Gi-Oh! TCG is hard"
}