Andere Kunden interessierten sich auch für
![Analiz ustojchiwosti zadach i algoritmow celochislennogo programmirowaniq]( "Analiz ustojchiwosti zadach i algoritmow celochislennogo programmirowaniq")
Analiz ustojchiwosti zadach i algoritmow celochislennogo programmirowaniq33,99 €![Analiz nekotoryh zadach teorii uprugosti dlq neodnordnyh obolochek]( "Analiz nekotoryh zadach teorii uprugosti dlq neodnordnyh obolochek")
Analiz nekotoryh zadach teorii uprugosti dlq neodnordnyh obolochek52,99 €![Issledowanie neodnorodnyh raspredelitel'nyh zadach teorii raspisanij]( "Issledowanie neodnorodnyh raspredelitel'nyh zadach teorii raspisanij")
Issledowanie neodnorodnyh raspredelitel'nyh zadach teorii raspisanij45,99 €![Metod granichnyh älementow dlq ällipticheskih zadach]( "Metod granichnyh älementow dlq ällipticheskih zadach")
Metod granichnyh älementow dlq ällipticheskih zadach33,99 €![Komp'üternoe modelirowanie zadach neftedobychi w neodnorodnoj srede]( "Komp'üternoe modelirowanie zadach neftedobychi w neodnorodnoj srede")
Komp'üternoe modelirowanie zadach neftedobychi w neodnorodnoj srede39,99 €![Zamknutye klassy funkcij mnogoznachnoj logiki]( "Zamknutye klassy funkcij mnogoznachnoj logiki")
Zamknutye klassy funkcij mnogoznachnoj logiki52,99 €![Ustojchiwost' wektornyh zadach diskretnoj optimizacii]( "Ustojchiwost' wektornyh zadach diskretnoj optimizacii")
Ustojchiwost' wektornyh zadach diskretnoj optimizacii32,99 €
Interes k dokazatel'stwu äxponencial'nyh werhnih ocenok dlq NP-trudnyh zadach w poslednie neskol'ko desqtiletij ostaetsq na stabil'no wysokom urowne. Odnim iz naibolee horosho izuchennyh podhodow k dokazatel'stwu takih ocenok qwlqetsq metod rasschepleniq. Vperwye dannyj metod byl predlozhen w 1960 godu Däwisom i Patnemom i sformulirowan w bolee sowremennom wide Däwisom, Lodzhemannom i Lawländom 1962 godu. Ego osnownaq ideq zaklüchaetsq w rasscheplenii whodnogo primera zadachi na neskol'ko bolee prostyh primerow, takih chto, postroiw reshenie dlq kazhdogo iz nih, wozmozhno za polinomial'noe wremq postroit' reshenie dlq ishodnogo primera. V rabote priwodqtsq neskol'ko nowyh podhodow k razrabotke i analizu algoritmow rasschepleniq dlq zadach bulewoj logiki. Opisywaetsq komp'üternaq programma dlq awtomaticheskogo analiza wremeni raboty takih algoritmow. Takzhe pokazywaetsq, kak s pomosch'ü ispol'zowaniq zapominaniq diz#ünktow i kombinirowannyh mer slozhnosti poluchat' bolee sil'nye werhnie ocenki na wremq raboty.