Неориентированный граф: понятие и матрица достижимости