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

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