First version of report

1 files changed, 28 insertions, 0 deletions

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