全ての $(i,j)$ の組合せについて、$A_{i,j}$ と$A_{j,i}$ の結果が適切に対応しているかを調べます。

2重ループを用いて実装しましょう。$i=j$ のケースの扱いに注意してください。矛盾した結果を見つけたとき、直ちにプログラムを終了するようにすると実装が楽になる場合があります。

実装例(Python)

N=int(input())
A=[input()for i in range(N)]
for i in range(N):
  for j in range(N):
    if i==j:continue
    if A[i][j]=="W":
      if A[j][i]!="L":
        print("incorrect")
        exit()
    elif A[i][j]=="D":
      if A[j][i]!="D":
        print("incorrect")
        exit()
    elif A[i][j]=="L":
      if A[j][i]!="W":
        print("incorrect")
        exit()
print("correct")

N=int(input())
A=[input()for i in range(N)]

for i in range(N):
  for j in range(N):
    if i==j:continue
    if A[i][j]=="W":
      if A[j][i]!="L":
        print("incorrect")
        exit()
    elif A[i][j]=="D":
      if A[j][i]!="D":
        print("incorrect")
        exit()
    elif A[i][j]=="L":
      if A[j][i]!="W":
        print("incorrect")
        exit()
print("correct")