blob: cb0186bc27de56348617297ebc052e974c7d9338 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
import sys
def compare_data(data):
posa = data["posa"]
bigalke = data["bigalke-jung"]
bauer = data["bauer"]
print(f"Поша: {len(posa)}, Бигалке-Юнг: {len(bigalke)}, Бауэр: {len(bauer)}")
print(f"Поша & Бауэр: {len(posa & bauer)}, Поша & Бигалке-Юнг: {len(posa & bigalke)}")
print(f"Совпадают ли пересечения? {posa & bauer == posa & bigalke}")
print(f"Поша & Бауэр <= Поша & Бигалке-Юнг? {posa & bauer <= posa & bigalke}")
print(f"Поша & Бауэр >= Поша & Бигалке-Юнг? {posa & bauer >= posa & bigalke}")
print(f"Графы Поша являются подмножеством графов Бигалке-Юнга? {posa <= bigalke}")
print(f"Графы Поша являются подмножеством графов Бауэра? {posa <= bauer}")
print(f"Симм. разность Бауэр и Поша: {bauer ^ posa}")
print(f"Графы Бауэра являются подмножеством графов Бигалке-Юнга? {bauer <= bigalke}")
print(f"Симм. разность Бауэр и Бигалке-Юнга: {bauer ^ bigalke}")
d = {}
for line in sys.stdin:
if line.startswith("g6"):
_, type, graph = line.strip().split(":")
d[type] = d.get(type, set()) | {graph}
compare_data(d)
|
