Seol mar théacs é seo: Computational complexity