数列が一致しているかを判定するコードにおける、TrueとFalseの判定についての疑問

Question

a = [
[1,1,3,8],
[1,3,8,1],
[1,1,1,1]
]
x = [1,3,8,1]

pos_of_x = -1
for i in range(3):
    is_x = True
    for j in range(4):
        if a[i][j] != x[j]:
            is_x = False

    if is_x:
        pos_of_x = i + 1
        break
    
print(pos_of_x)

上記のような、aとxの数列を比較した際に、aの何列目の数列がxと合致しているかを調べるコードについて質問です。
12,13行目の、

if a[i][j] != x[j]:
    is_x = False

という書き方だと、a[0][0]とx[0]が一致するので、is_xはfalseとならず、Trueとなるのですが、

print(pos_of_x)

で出力されるのは、このコードの目的通り、合致した数列を判定することに成功していて、「2」です。

このように、is_xがTrueとなったにも関わらず、15~17行目の、

if is_x:
    pos_of_x = i + 1
    break

この部分が機能しないのはなぜでしょうか？
おそらく、プログラミング初心者の私がまだ学習していないことや、forの二重ループやif文についての大きな認識ミスがあると思うのですが、教えていただきたいです。

Answer 1

        if a[i][j] != x[j]:
            is_x = False

という書き方だと、a[0][0]とx[0]が一致するので、is_xはfalseとならず、Trueとなるのですが、

この部分の理解が間違えています。
不一致だったときにfalseにはしていますが、trueにしているのがループの外ですから、一致した場合にtrueになりません。
この処理は「i列目のリストの中に1つでも一致しないカラムがあればfalseにする」という処理になっています。

Comments

[Ringman]

丁寧なご回答ありがとうございました！

私は、二重ループについて、
[0][0]、[0][1]、[0][2]、[0][3]、[1][0]、[1][1]・・・
というように、単に数字が繰り返されているだけと認識していましたが、
今回の場合でいうと、
i が 0 のとき、 is_x は False、 i が 1 のとき、 is_x は True
というように、あくまで、外側のループの一回ごとに真偽の判定が行われているのですね！

私が陥っていた考え方のミスを正して下さり、本当にありがとうございました！これからもプログラミングの学習を頑張っていきます！！

Answer 2

for i in range(3):
    is_x = True
    for j in range(4):
        if a[i][j] != x[j]:
            is_x = False
        print(i, j, is_x)
    if is_x:
        pos_of_x = i + 1
        break

を動かしてみればわかるでしょう。

Comments

[Ringman]

ご回答ありがとうございました！

考え方の過ちに気が付くきっかけとなるご回答でした！非常に助かりました！！ありがとうございました！！

Answer 3

for j in range(4):

    if a[i][j] != x[j]:
        is_x = False

ここでFalseになってしまってるんでは

Comments

[Ringman]

ご回答ありがとうございました！

私は、二重ループについての考え方を大きく誤っており、その誤りに気付くきっかけとなるご回答でした！ありがとうございました！！