Это просто запрос на подтверждение. У меня есть простой ориентированный граф, который слабо связан. Когда я требую, чтобы была ровно одна вершина со степенью вхождения == 0, следует ли из этого, что все узлы в графе достижимы из этой вершины?
Я думаю, что да: когда я сжимаю граф (заменяю все сильно связанные компоненты одной вершиной), результатом будет DAG. Все вершины со степенью вхождения == 0 будут корнями этого DAG. Ex hypothesi, у меня есть только одна такая вершина, следовательно, DAG является деревом. (И это будет одно дерево, а не лес, потому что я начинаю с одного слабосвязного компонента.) q. е. д. Я прав, или я что-то пропустил?