лекция 5 проблема изоморфизма графов илья пономаренко лекториум