加载中…
In this note, we prove a version of Tarui’s Theorem in communication complexity, namely . Consequently, every measure for leads to a measure for , subsuming a result of Linial and Shraibman that problems with high mc-rigidity lie outside the polynomial hierarchy. By slightly changing the definition of mc-rigidity (arbitrary instead of uniform distribution), it is then evident that the class of problems with low mc-rigidity equals . As $BP\cdot PP^{cc} \subseteq PSPACE^{cc}$, this rules out the possibility, that had been left open, that even polynomial space is contained in .

生成讲解博客的中文版本

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