Понятие NP-трудной и NP-полной задачи — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Определение класса NP-трудных задач)
Строка 1: Строка 1:
==Определение класса <tex>NP</tex>-трудных задач==  
+
==Определение класса NP-трудных задач==  
Язык <tex>L</tex> называется <tex>NP</tex>-трудным (<tex>NPH</tex>), если для любого языка <tex>L_{1}</tex>, принадлежащего <tex>NP</tex>, <tex>L_{1}</tex> сводится по Карпу к <tex>L</tex> (<tex>L_{1}\le L</tex>).
+
Язык <tex>L</tex> называется '''NP'''-трудным ('''NPH'''), если для любого языка <tex>L_{1}</tex>, принадлежащего '''NP''', <tex>L_{1}</tex> сводится по Карпу к <tex>L</tex> (<tex>L_{1}\le L</tex>).
  
 
==Определение класса <tex>NP</tex>-полных задач==
 
==Определение класса <tex>NP</tex>-полных задач==
 
Язык L называется <tex>NP</tex>-полным (<tex>NPC</tex>), если он является <tex>NP</tex>-трудным и принадлежит классу <tex>NP</tex>.
 
Язык L называется <tex>NP</tex>-полным (<tex>NPC</tex>), если он является <tex>NP</tex>-трудным и принадлежит классу <tex>NP</tex>.

Версия 09:37, 3 мая 2010

Определение класса NP-трудных задач

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

Определение класса [math]NP[/math]-полных задач

Язык L называется [math]NP[/math]-полным ([math]NPC[/math]), если он является [math]NP[/math]-трудным и принадлежит классу [math]NP[/math].