直接和定理が決定論的な通信の複雑さを保持するかどうか、つまり、問題の独立したインスタンスを解決することが単一のインスタンスを解決するよりも倍難しいかどうかは、古いオープンな問題です。[FKNN95]は次の結果を示しました:t
- 否定的な結果:決定的な通信の複雑さがである部分関数([O90]による)がありますが、独立したインスタンスでそれを計算すると複雑。T Θ (T + ログtは⋅ ログN )
- 陽性の結果:すべての機能のためにの確定的通信の複雑場合あるその後、計算の複雑度に少なくともされた独立したインスタンスを。F C 、F T Ω (T ⋅ (√
直接和問題に関する他の一般的な肯定的な結果は知りません。ただし、通信の複雑さで通常考慮される特定の問題、たとえば、平等または素性については、直接和定理が成り立つことが知られているようです。
私の質問は、決定論的な通信の複雑性の定理が保持することが知られていない、または保持しないことがわかっている([O90]の関数の横にある)問題の他の例はありますか?
参照:
[FKNN95]TomásFeder、Eyal Kushilevitz、Moni Naor、Noam Nisan:Amortized Communication Complexity。SIAM J. Comput。24(4):736-750(1995)
[O90] 2つのメッセージは、情報を伝えるのにほぼ最適です。アロン・オリツキー。PODC、219-232ページ。ACM、(1990)