Хотите знать, можем ли мы доказать следующее или если оно уже доказано, где я могу получить доказательство?
Пусть v1, v2, v3 ... vn и t - n + 1 вершина в направленномграф.v1, v2, v3 ... vn образуют направленный ациклический граф.t связан с каждым из v1, v2, v3 ... vn.Теперь, поскольку v1, v2, v3 ... v4 связаны ациклическим образом, если существует цикл, он будет включать t.Можем ли мы показать, что все циклы длины больше 3 всегда будут включать цикл длины 3. Помните, что t связан с каждым v1, v2 ... vn и нет парного цикла.
Объяснение проблемыдалее.
Скажем, ациклический ориентированный граф вершин v1, v2, v3..vn равен v1-> v2-> v3 -> ... vn.Каждый v имеет ребро к t.Скажем, есть цикл t-> v1-> v2-> v3-> t.Такой цикл, кажется, обязательно включает в себя цикл длиной 3, это либо t-> v1-> v2-> t, либо t-> v2-> v3-> t.Но не в состоянии доказать это.
Спасибо