回答:
Sureshの要求後に私のコメントをここに移動しました。
両側でエラーを必要とするアルゴリズムのみを知っている自然な問題の例は、次のとおりです。これは、2つの代数回路が同一であるかどうかを決定することがco-RPにあるという事実に基づいています。
参照:投稿「エラーの多くの側面」を参照してください。(2008年12月2日)Lance Fortnowのブログでの同じ質問と、問題の自然性に関する議論のための彼の投稿の下のコメントについて。
アーベル正規サブグループを持たない商を求めることは奇妙に思えるかもしれませんが、アーベル正規サブグループを持たないグループのクラス(セミシンプルとも呼ばれます)は、グループの構造理論の観点から実際にはかなり自然です。[2]およびその中の参考文献を参照してください。
[1] L.ババイ、R。ビールス、A。セレス。行列グループの多項式時間理論。STOC 2009。
[2] L.ババイ、P。コデノッティ、Y。チャオ。アーベル正規サブグループのないグループの多項式時間同型テスト。表示するには、ICALP 2012。