{"product_id":"postroenie-algoritmow-dlq-zadach-bulewoj-logiki-von-alexandr-kulikow","title":"Postroenie algoritmow dlq zadach bulewoj logiki","description":"\u003cp\u003eInteres 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783843303262\"\u003e\u003ch3\u003epri pomoschi awtomatizacii, kombinirowannyh mer slozhnosti i zapominaniq diz#ünktow\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783843303262","offer_id":39469139427421,"sku":"9783843303262","price":49.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/c15d6e85-f222-4f6c-b1aa-92288ee8c1b9.jpg?v=1757742134","url":"https:\/\/shop.autorenwelt.de\/products\/postroenie-algoritmow-dlq-zadach-bulewoj-logiki-von-alexandr-kulikow","provider":"Autorenwelt Shop","version":"1.0","type":"link"}