Talk:Or++

The computational class proof is wrong

In order to implement cyclic tag, the enqueuing needs to be conditional on the head of the queue, or on the element most recently dequeued; if you do the pushes unconditionally it doesn't implement cyclic tag (and thus isn't TC). --ais523 20:53, 2 August 2024 (UTC)