Проблема изоморфной вложимости

Проблема изоморфной вложимости (Isomorphic embedding problem) - для двух графов [math]\displaystyle{ G }[/math] и [math]\displaystyle{ G' }[/math] требуется установить, существует ли в графе [math]\displaystyle{ G' }[/math] подграф (в сильном смысле, порожденный подграф), изоморфный [math]\displaystyle{ G }[/math].