BPP 문제이지만 RP 또는 co-RP에있는 것으로 알려지지 않은 문제

BPP에 있지만 RP 또는 co-RP에없는 것으로 알려진 자연 문제의 예가 있습니까?

Suresh의 요청에 따라 내 의견을 여기로 옮겼습니다.

양측에서 오류가 필요한 알고리즘 만 알고있는 자연 문제의 예는 다음과 같습니다. 이것은 두 개의 대수 회로가 동일한 지 여부를 결정하는 것이 co-RP에 있다는 사실에서 비롯됩니다.

참조 : 오류의 몇 가지 측면 게시물을 참조하십시오 . (2008 년 12 월 2 일) Lance Fortnow의 블로그에 대한 동일한 질문과 문제의 자연성에 대한 토론을 위해 그의 게시물 아래에있는 주석에 대해 설명합니다.

아마도 더 자연스러운 문제- 에있을 수도 있고 알려진 문제와 밀접한 관련이없는 문제를 찾기 위해 특별히 설계 되지는 않았습니다. 판정 - 문제 2.6로 제공된다 [1] : 프라임 감안 정수 과 및리스트 가역의 매트릭스 위에 , 의해 생성 된 그룹 에는 abelian normal subgroup이없는 order 몫이 있습니까? [1]에서이 문제는 줍니다.c o R P p $\mathsf{BPP} \backslash \mathsf{RP} \cup \mathsf{coRP}$$\mathsf{coRP}$$p$$N$A d × d F p A ≥ N B P $d$$A$$d \times d$$\mathbb{F}_{p}$$A$$\geq N$$\mathsf{BPP}$

아벨 리아 정규 부분 군이없는 지수를 구하는 것은 편심적인 것처럼 보일 수 있지만, 아벨 리아 정규 부분 군이없는 그룹의 클래스 (때로는 준 간단이라고도 함)는 실제로 그룹의 구조 이론의 관점에서 볼 때 상당히 자연 스럽습니다. [2]와 그 참조를 참조하십시오.

[1] L. Babai, R. Beals, A. Seress. 행렬 그룹의 다항 시간 이론 . STOC 2009.

[2] L. Babai, P. Codenotti, Y. Qiao. abelian normal subgroup이없는 그룹에 대한 다항 시간 동형 테스트 . ICALP 2012에 출연합니다.