Судя по ссылке, которую вы разместили, я думаю, что это интерпретация для минимального покрытия вершин :
- I : набор всех графиков.
- sol (x) : Множество возможных решений графа x ∈ I , то есть все подмножества вершин, которые покрывают все ребра.
- m (x, y) : значение решения y для экземпляра x . В случае покрытия вершин количество вершин в наборе.