Недавно наткнулся на задачу в которой требовалось найти количество пар вершин в ориентированном графе, у которых есть хотя бы один общи предок. Другими словами у вершин (i, j) предок k, если i и j достижимы из k. У кого какие идеи есть?