T>NP-полная = эквивалентна классу NP-полных задач (т.е. сводима к одной из них)
T>NP-трудная = стопудово полиномиально неразрешима

Ну вот я и говорю, что она NP-трудна. А вот NP-полноты в ней на первый взгяд действительно не видно.

С уважением,
Алексей