Pythonでトーナメントの準優勝者を求める。本当にindexはout of rangeしてますか・・・？

Question

前提・実現したいこと

選手1から2^Nまでの2^N人の選手がトーナメントに参加し、準優勝者に該当するindexを求めたいです。2^N人にはそれぞれ異なる値のレーティングが与えられており、２人の選手が対戦するとレーティングの高い者が必ず勝ちます。また、トーナメントは完全２分木の形をしています。
python(3.8.2)を用いて、これを求めたいです。
※出典:Atcoder Beginner Contest 188　問題C-ABC Tournament

発生している問題・エラーメッセージ

Traceback (most recent call last):
  File "./Main.py", line 11, in <module>
    if a[2*j]>a[2*j+1]:
list index out of range

該当のソースコード

n=int(input())
a=list(map(int,input().split()))

b=list(a)

x=int(2**(n-1))
i=0
for i in range(n-1):
  j=0
  for j in range(x):
    if a[2*j]>a[2*j+1]:
      del a[2*j+1]
    elif a[2*j]<a[2*j+1]:
      del a[2*j]
  x=int(x/2)
  
if a[0]>a[1]:
  print(b.index(a[1]))
elif a[0]<a[1]:
  print(b.index(a[0]))

試したこと

１０行目のrange(x)をrange(x-1) などに変えると、エラーは発生せずに実行されましたが、望んでいる通りの実行ではなく、またなぜそのような実行がされるのか分かりませんでした。（例：3 (改行）8 3 9 1 2 4 5 6と入力すると、4が出力されました）。
また、１１行目～１４行目（２個目のforループの中身）を削除し、print(j)と書いて実行してみたところ、jの動作は正常であることが確認できました。

補足情報（FW/ツールのバージョンなど）

超初心者ですが、どうぞよろしくお願いいたします。

Answer 1

del文で負けた人を削除してますから、リストはどんどん短くなりますが、そこのところ考慮してないのでは？

Comments

[nia48]

ご返信ありがとうございます。
delによってリストを短くすると同時に、１５行目のx=int(x/2)によって、xの値も小さくしているのですが、ダメなのでしょうか・・・？　私の中では、例を用いると、
<i=0のとき>
a=[8,3,9,1,2,4,5,6]→a=[8,9,4,6]、x=8→x=4
<i=1のとき>
a=[8,9,4,6]→a=[9,6], x=4→x=2
・・・・

となるため、range(x)のxが自動的に小さくなり、forの範囲内にあると考えております。

[TakaiY]

すみません、ちゃんと見てませんでした。 その通りですね。

ただ、その場合xの初期値は、8でなくて4ではないですか？

[nia48]

あ、そうです。打ち間違えました、大変失礼しました。
x=int(2**(n-1))によって、初期値を４にし、j=0,1,2,3という風にループします。
これでも範囲から外れてしまうのでしょうか？？

[xail2222]

外れますね。
delでaが短くなっていくのだからj=0の時はx*2-1までaはあるかもしれませんが
j=x-1の時には、既に0～x-2まで処理が終わってるのだから、x-1配列長が減ってることになります。
つまりj=x-1の時には(x*2-1)-(x-1)=xになってるということですね。
２*j=2*(x-1)は、xより大抵大きいと思いますよ。

[nia48]

あ、本当ですね（汗）
jの値が増えていくのと同時に、配列長も短くなっていくから、jがある程度の値になると配列の長さを超えてしまうんですね。
もう一度考え直してみます。勉強になりました。
TakaiYさま、xail2222さま、ありがとうございました。

[xail2222]

回答はTakaiYさんの指摘どうりで短くなる事に対する考慮不十分ですね。ループの最中に対象となる配列が短くなっていく事に対してうまく処理するテクニックもあるのですが勉強のようですので頑張って下さい