From e87a8c64bc365cefcbe2876cc00b909299765226 Mon Sep 17 00:00:00 2001 From: Andrew Guschin Date: Tue, 7 Jun 2022 23:28:05 +0400 Subject: First version of report --- checker.py | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 checker.py (limited to 'checker.py') diff --git a/checker.py b/checker.py new file mode 100644 index 0000000..cb0186b --- /dev/null +++ b/checker.py @@ -0,0 +1,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) \ No newline at end of file -- cgit v1.2.3