8クイーン問題について

Question

8クイーン問題を学習しているのですが、わからない箇所があります。
なぜ、reversed(col)でリストを逆順に並べているのでしょうか？
全体的に流れがつかめていないので、困っています。
よろしくお願いいたします。

N = 8 

# 斜めのチェック
def check(x, col):
    for i, row in enumerate(reversed(col)): #ここがわかりません
        if (x + i + 1 == row) or (x - i - 1 == row): 
            return False #配置不可
    return True

def search(col):
    if len(col) == N: 
        print(col)
        return

    for i in range(N):
        if i not in col: 
            if check(i, col):
                col.append(i)
                search(col)
                col.pop()

search([])

Answer 1

colの反転を横軸/rowを縦軸にし、それぞれの和を並べると:

  | 4  3  2  1  0
--+---------------
0 | 4  3  2  1  0
1 | 5  4  3  2  1
2 | 6  5  4  3  2
3 | 7  6  5  4  3
4 | 8  7  6  5  4

同じ数が 右下がりナナメ に並びます

colの反転を横軸/rowを縦軸にし、それぞれの差を並べると:

  | 4  3  2  1  0
--+---------------
0 | 4  3  2  1  0
1 | 3  2  1  0 -1
2 | 2  1  0 -1 -2
3 | 1  0 -1 -2 -3
4 | 0 -1 -2 -3 -4

同じ数が 右上がりナナメ に並びます

これを使って"斜めのチェック"をやってます。

[追記] コメントつけてみた

N = 8 

# 斜めのチェック
def check(x, col):
    for i, row in enumerate(reversed(col)): #ここがわかりません
        if (x + i + 1 == row) or (x - i - 1 == row): 
            return False #配置不可
    return True

# 8-queenのルールを満足するcolを生成する
def search(col):
    if len(col) == N: # colの要素数がN個に達したら
        print(col)    #   プリントして
        return        #   終了

    for i in range(N):        # i = 0, 1, ... N-1 に対し
        if i not in col:      #   col中にiが含まれないときに限り
            if check(i, col): #     そのiをcolに追加しても8-queen のルールに反しないなら
                col.append(i) #       colの末尾に追加し
                search(col)   #       検索を続け
                col.pop()     #       colの末尾から取り除く(次のiを試みる)

search([])

Comments

[lime_penguins]

ご回答ありがとうございます！
私は再帰が苦手で全体的にうまく流れが掴めないのですが、
このプログラムの流れをざっくりと説明していただくことは可能でしょうか。
お手数ですが、よろしくお願いいたします。

[episteme]

ざっくりとコメントをつけてみた(追記)

[lime_penguins]

追記もしていただきありがとうございます！
何度も申し訳ありません。やはり斜めのチェックのところでつまずいてしまいます…。

①for i, row in enumerate(reversed(col)):
なぜここで「colの反転を横軸/rowを縦軸」と読み取ることができるのか

②if (x + i + 1 == row) or (x - i - 1 == row):
ここで右下がり斜め、右上がり斜めにあるか確認しているというのはわかります。
しかし、なぜ (x + i + 1 == row)、(x - i - 1 == row)という式になるのでしょうか。
具体的な数字を入れていただけると大変助かります。

この２点をずっと考えているのですが、なかなか理解することができませんでした。
初心的な質問ですが、お答えいただけると嬉しいです。
よろしくお願いいたします。

[episteme]

> この２点をずっと考えているのですが、なかなか理解することができませんでした。

あなたの理解 を 他人が代行する ことはできんでしょ。