Alexandr Kulikow

Postroenie algoritmow dlq zadach bulewoj logiki

pri pomoschi awtomatizacii, kombinirowannyh mer slozhnosti i zapominaniq diz#ünktow

• Broschiertes Buch

Produktbeschreibung

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: LAP LAMBERT Academic Publishing
• Seitenzahl: 100
• Erscheinungstermin: 28. Oktober 2010
• Russisch
• Abmessung: 220mm x 150mm x 6mm
• Gewicht: 167g
• ISBN-13: 9783843303262
• ISBN-10: 3843303266
• Artikelnr.: 62677732

Autorenporträt

Kandidat fiziko-matematicheskih nauk, mladshij nauchnyj sotrudnik POMI, koordinator Computer Science kluba pri POMI RAN.