diff options
Diffstat (limited to 'checker.py')
| -rw-r--r-- | checker.py | 28 |
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 |