English

A Note on Hardness Frameworks and Computational Complexity of Xiangqi and Janggi

Computational Complexity 2019-04-02 v1

Abstract

We review NP-hardness framework and PSPACE-hardness framework for a type of 2D platform games. We introduce a EXPTIME-hardness framework by defining some new gadgets. We use these hardness frameworks to analyse computational complexity of Xiangqi (Chinese Chess) and Janggi (Korean Chess). We construct all gadgets of the hardness frameworks in Xiangqi and Janggi. In conclusion, we prove that Xiangqi and Janggi are both EXPTIME-complete.

Keywords

Cite

@article{arxiv.1904.00200,
  title  = {A Note on Hardness Frameworks and Computational Complexity of Xiangqi and Janggi},
  author = {Zhujun Zhang},
  journal= {arXiv preprint arXiv:1904.00200},
  year   = {2019}
}

Comments

41 pages, 34 figures