This procedure takes unbounded time, but with probability 1 it terminates eventually.
Why should it terminate?
Oh now I get what you meant. I first thought you cared about the yes/no ratio. But now I understood you return one answer and terminate.
Why should it terminate?
Oh now I get what you meant. I first thought you cared about the yes/no ratio. But now I understood you return one answer and terminate.