Обновить main.cpp

main.cpp

@@ -0,0 +1,84 @@
+#include <iostream>
+#include <set>
+#include <string>
+#include <sstream>
+
+using namespace std;
+
+typedef pair<string, string> Pair;
+
+set<Pair> relation;
+set<string> elements;
+
+void inputRelation() {
+    string line;
+    while (getline(cin, line)) {
+        if (line == "end") break;
+        istringstream iss(line);
+        string a, b;
+        if (!(iss >> a >> b)) {
+            cout << "Ошибка ввода: " << line << endl;
+            continue;
+        }
+        relation.insert({a, b});
+        elements.insert(a);
+        elements.insert(b);
+    }
+}
+
+bool isReflexive() {
+    for (const string& x : elements) {
+        if (relation.find({x, x}) == relation.end()) {
+            return false;
+        }
+    }
+    return true;
+}
+
+bool isSymmetric() {
+    for (const Pair& p : relation) {
+        if (relation.find({p.second, p.first}) == relation.end()) { // проходимся по всем парам и ищем хотя бы однк не по условию
+            return false;
+        }
+    }
+    return true;
+}
+
+bool isAntisymmetric() {
+    for (const Pair& p : relation) {
+        if (p.first != p.second) {  // a!=b и есть пара 
+            if (relation.find({p.second, p.first}) != relation.end()) {
+                return false;
+            }
+        }
+    }
+    return true;
+}
+
+bool isTransitive() {
+    for (const Pair& p1 : relation) {
+        for (const Pair& p2 : relation) {
+            if (p1.second == p2.first) {
+                Pair trans = {p1.first, p2.second}; // цикл вложенных пар
+                if (relation.find(trans) == relation.end()) {
+                    return false;
+                }
+            }
+        }
+    }
+    return true;
+}
+
+int main() {
+    cout << "Пары элементов отношения:\n";
+    inputRelation();
+
+    cout << "Рефлексивность: " << (isReflexive() ? "Да" : "Нет") << endl;
+    cout << "Симметричность: " << (isSymmetric() ? "Да" : "Нет") << endl;
+    cout << "Кососимметричность: " << (isAntisymmetric() ? "Да" : "Нет") << endl;
+    cout << "Транзитивность: " << (isTransitive() ? "Да" : "Нет") << endl;
+    cout << "Эквивалентность: " << ((isTransitive() and isReflexive() and isSymmetric()) ? "Да" : "Нет") << endl;
+    cout << "Частичный порядок: " << ((isTransitive() and isReflexive() and isAntisymmetric()) ? "Да" : "Нет") << endl;
+
+    return 0;
+}