Я хотел бы добавить к исчерпывающему ответу JɛE, что, насколько мне известно, нет нижних границ для коэффициента аппроксимации для этой задачи. Насколько нам известно, может существовать алгоритм аппроксимации, который всегда дает приближение с постоянным множителем (даже если род очень мал).
O(n1−ε)Ggenus(G)≤g∗genus(G)≥g∗+1g∗nGkN=nkGG′genus(G′)≤Ng∗genus(G′)≥N(g∗+1)genus(G′)N=(Nn)k/k+1=|V(G′)|k/k+1=|V(G′)|1−εε=1/(k+1)N(g∗+1)Ng∗g∗+1g∗