加载中…
We prove that deciding the vanishing of the character of the symmetric group is -complete. We use this hardness result to prove that the the square of the character is not contained in , unless the polynomial hierarchy collapses to the second level. This rules out the existence of any (unsigned) combinatorial description for the square of the characters. As a byproduct of our proof we conclude that deciding positivity of the character is -complete under many-one reductions, and hence -hard under Turing-reductions.

生成讲解博客的中文版本

生成AI智能校验的中文版本