Программное решение при помощи перебора:
for x in range(2):
for y in range(2):
for z in range(2):
for w in range(2):
f = not (w <= y) or (x <= z) or not x
if f == 0:
print(x, y, z, w)Программа выведет в результате для соответствующих столбцов x,y,z,w:
1 0 0 0
1 1 0 0
1 1 0 1
Столбец с тремя единицами x может стоять только первым в исходной таблице, так как в остальных столбцах есть уже по нулю.
Столбец с тремя нулями z может стоять только четвертым в исходной таблице, так как в остальных столбцах есть уже по единице.
Обновим данные в соответствии с выше указанным выводом:
x y w z
1 0 0 0
1 1 0 0
1 1 1 0
Строка 1000 соответствует второй строке таблицы, строка 1100 - третьей, а строка 1110 - первой.
Следовательно, столбец w будет стоять первым, а столбец z - вторым.
Ответ: xywz.
Программное решение при помощи генерации комбинаций:
from itertools import product, permutations
def f(x, y, z, w):
return not (w <= y) or (x <= z) or not x
combs = [list(map(int, c)) for c in product('01', repeat=7)]
for c1, c2, c3, c4, c5, c6, c7 in combs:
t = [(c1, c2, 1, c3), (c4, 0, c5, c6), (c7, 1, 0, 0)]
if len(t) == len(set(t)):
for xyzw in permutations('xyzw'):
res = [f(**dict(zip(xyzw, r))) for r in t]
if res == [0] * 3:
print(xyzw)Ответ: xywz.