1 changed files with 0 additions and 84 deletions
--- a/main.cpp
+++ b/main.cpp
@ -1,84 +0,0 @@
-#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;
-}