Thử thách này là để nâng đỡ tinh thần của mod Alex A. của chúng tôi , người thường sai .
Giả sử bạn có một người bạn tên Alex, người cần sự giúp đỡ về logic và toán học cơ bản, cụ thể là tương đương toán học .
Anh ta đưa cho bạn một danh sách các phương trình có dạng [variable] = [variable]trong đó a [variable]luôn luôn là một chữ cái viết hoa từ A đến Z (không phải chữ thường, không phải số, cũng không phải thứ gì khác). Có một phương trình cho mỗi dòng trong danh sách ngoại trừ một dòng duy nhất chỉ nói therefore.
Tất cả các phương trình trên thereforelà cơ sở , sự kiện được coi là đúng. Tất cả các phương trình dưới đây thereforelà các đề xuất chưa được xác minh, các sự kiện mà Alex đang cố gắng suy ra từ các cơ sở, và chúng có thể hoặc không thể đúng.
Ví dụ, trong phương trình này liệt kê các mệnh đề kết luận duy nhất A = Cxảy ra là đúng:
A = B
B = C
therefore
A = C
Đó là công việc của bạn để nói với Alex nếu tất cả các đề xuất của anh ấy tuân theo logic từ các cơ sở nhất định. Đó là, bạn cần nói với Alex nếu anh ta sai hoặc đúng trong kết luận của mình.
Viết chương trình / hàm lấy một chuỗi danh sách các phương trình như được mô tả và in / trả về
Alex is right
nếu tất cả các kết luận tuân theo logic từ các cơ sở, và nếu không thì kết quả đầu ra
Alex is wrong
nếu bất kỳ kết luận nào không hợp lý theo sau các cơ sở.
Mã ngắn nhất tính bằng byte thắng.
Hãy chắc chắn để ý những trường hợp này:
Biến luôn luôn bằng chính họ. ví dụ
B = A therefore A = A X = Xkết quả trong
Alex is right.Các biến có mối quan hệ không xác định không thể được coi là bằng nhau. ví dụ
P = Q therefore E = Rkết quả trong
Alex is wrong.Khi không có phương trình sau
therefoređó thì kết luận là không đúng sự thật . ví dụD = C thereforevà
thereforecả hai kết quả trong
Alex is right.Khi không có phương trình nào trước
therefoređó thì chỉ có thể tự suy ra. ví dụtherefore R = Rkết quả
Alex is right, nhưngtherefore R = Wkết quả trong
Alex is wrong.
Thêm ví dụ
Alex là trường hợp sai: (cách nhau bởi các dòng trống)
A = B
C = D
therefore
A = C
A = L
E = X
A = I
S = W
R = O
N = G
therefore
G = N
L = I
R = O
S = A
X = X
X = E
D = K
D = Q
L = P
O = L
M = O
therefore
K = L
A = B
therefore
B = C
Z = A
S = S
therefore
A = Z
A = A
S = A
A = S
Z = A
Z = A
K = L
K = X
therefore
X = P
L = X
L = P
therefore
A = B
B = C
A = C
therefore
A = A
B = B
C = C
D = D
E = E
F = F
G = G
H = H
I = I
J = J
K = K
T = I
L = L
M = M
N = N
O = O
P = P
Q = Q
R = R
S = S
T = T
U = U
V = V
W = W
X = X
Y = Y
Z = Z
A = B
B = C
C = D
D = E
E = F
F = G
G = H
H = I
I = J
J = K
K = L
L = M
M = N
N = O
O = P
P = O
Q = R
R = S
S = T
T = U
U = V
V = W
W = X
X = Y
Y = Z
therefore
A = Z
therefore
C = D
T = Y
A = Z
P = Q
therefore
E = R
therefore
R = WAlex là trường hợp đúng:
H = J
therefore
J = H
K = L
K = X
therefore
L = X
C = B
B = A
therefore
A = B
K = L
K = X
K = P
therefore
L = X
L = P
X = P
A = Y
Y = Q
Q = O
therefore
O = Y
O = A
C = C
therefore
C = C
A = B
B = A
therefore
A = B
B = A
A = B
B = C
C = D
therefore
A = A
A = B
A = C
A = D
B = A
B = B
B = C
B = D
C = A
C = B
C = C
C = D
D = A
D = B
D = C
D = D
therefore
A = A
B = B
C = C
D = D
E = E
F = F
G = G
H = H
I = I
J = J
K = K
L = L
M = M
N = N
O = O
P = P
Q = Q
R = R
S = S
T = T
U = U
V = V
W = W
X = X
Y = Y
Z = Z
D = I
F = H
J = M
therefore
M = J
D = I
H = F
A = B
B = C
C = D
D = E
E = F
F = G
G = H
H = I
I = J
J = K
K = L
L = M
M = N
N = O
O = P
P = Q
Q = R
R = S
S = T
T = U
U = V
V = W
W = X
X = Y
Y = Z
therefore
Z = A
F = R
G = I
W = L
A = B
B = C
therefore
A = C
B = A
therefore
A = A
X = X
P = P
C = G
M = C
therefore
D = C
therefore
therefore
therefore
R = Rtherefore\nTABS < SPACES->Alex is right
Alex is wrongXác minh tất cả các trường hợp thử nghiệm.