後日記：単数選択ならこんな複雑な実装は必要ない。各インスタンスに選択されているかどうかのフラグを持たせる必要などなく、、_active_instanceの記憶保持のみで、「定数時間」要件はいずれも実現できる。任意のインスタンスが選択状態かどうかは、_active…