Изменения

==Определение класса <tex>NP</tex>-трудных задач==

Язык <tex>L</tex> называется <tex>NP</tex>-трудным (<tex>NPH</tex>), если для любого языка <tex>L_{1}</tex> принадлежащего <tex>NP</tex>, <tex>L1</tex> сводится по Карпу к <tex>L</tex> (<tex>L_{1}\le L</tex>).