，P也是co-RP的子集，而co-RP则是co-NP的子集。我们尚未知道这一些是否是严格子集（也就是说，这一些集合是否相等或不相等）。然而，一般我们相信P = BPP这个推测是真实的，这样一来的话RP，co-RP，P就全部都是相等的了。如果我们又假设P ≠ NP的话，这就代表说RP严格包含于NP（也就是RP ≠ NP）。我们还不知道是否RP = co-RP，抑或是否RP是NP和co-NP的交集的子集合，不过这些都可以由P = BPP这件事情推论出来。一个比较自然的例子确定此问题在co-RP里面但是尚不知