26.09 Хранение графов: нюансы реализации. Доказательство корректности и асимптотики dfs

Матрица смежности: разница между вектором векторов и двумерным статическим массивом. Особенности в реализации вектора из bool. Список смежности. Двумерная таблица как частный случай графа. Как писать dfs в этом случае. Доказательство того, что dfs посетит все достижимые вершины и только их. Доказательство асимптотики алгоритма.