Takahashi's information

まず、等式がどのようになるかを考える。

んーと、

1と2より、

$ c_{1,1}-c_{1,2}=b_1-b_2

4と5より、

$ c_{2,1}-c_{2,2}=b_1-b_2

これで値が一致する式の組ができる。

したがって、2式が一致することが条件の一つとなる。

共通項があれば、引き去ることで式を得られる

a1とa2

互いに一致する3式

(1)-(4)

(2)-(5)

(3)-(6)

a2とa3

(4)-(7)

(5)-(8)

(6)-(9)

a1とa3

(1)-(7)

(2)-(8)

(3)-(9)

b1とb2

(1)-(2)

(4)-(5)

(7)-(8)

b2とb3

(2)-(3)

(5)-(6)

(8)-(9)

b3とb1

(1)-(3)

(4)-(6)

(7)-(9)

以上18式を計算する。

もっと抽象化できないか？

aについて

9つの等式を、bで一致するように並び替えると同じ形になる

b

9つの等式を、3つずつ組にして考える

$ c_{11},c_{21},c_{31}

これらは、2つ選んで取った差の3数がそれぞれ等しい

$ c_{12},c_{22},c_{32}

$ c_{13},c_{23},c_{33}

code:memo.py

import itertools

c1 = list(map(int, input().split()))

c2 = list(map(int, input().split()))

c3 = list(map(int, input().split()))

for i in range(3):

for j in range(3):

# 転置行列

# aについて

# 3つから2つ選ぶ組み合わせはどう作る？

# リストの内容がすべて相等しいかを表すにはどうする？

def is_all_same(l):

if len(l) == 0:

return True

for el in l:

return False

return True

def is_valid_matrix(m):

for row in m:

if not row_valid:

return False

return True

x_valid = is_valid_matrix(x)

y_valid = is_valid_matrix(y)

同じ列の3値は互いに等しい

同じ行の3値は互いに等しい

え？

code: main.py

c = []

for _ in range(3):

row = list(map(int, input().split()))

c.append(row)

def is_same_column(l, index):

if cell != first:

return False

return True

def is_same_row(l, index):

if cell != first:

return False

return True

def judge():

for i in range(3):

if not is_same_column(c, i):

return False

if not is_same_row(c, i):

return False

return True

print("Yes" if judge() else "No")

違うと思うが

どうしてこうなった...

3列について

2つの列を選ぶ

次に、その2つの列の要素の、行が同じものの差を取る

この差が等しくならなければNo

これは証明できる

AC.icon

できたー