校 薪邪褋 胁褘 屑芯卸械褌械 锌芯褋屑芯褌褉械褌褜 斜械褋锌谢邪褌薪芯 讞讬砖讜讘讬讜转 讜住讬讘讜讻讬讜转 - 诪讞诇拽讜转 住讬讘讜讻讬讜转 砖诇 讘注讬讜转 讛讻专注讛 (P, NP, coNP) 懈谢懈 褋泻邪褔邪褌褜 胁 屑邪泻褋懈屑邪谢褜薪芯屑 写芯褋褌褍锌薪芯屑 泻邪褔械褋褌胁械, 胁懈写械芯 泻芯褌芯褉芯械 斜褘谢芯 蟹邪谐褉褍卸械薪芯 薪邪 褞褌褍斜. 袛谢褟 蟹邪谐褉褍蟹泻懈 胁褘斜械褉懈褌械 胁邪褉懈邪薪褌 懈蟹 褎芯褉屑褘 薪懈卸械:
袝褋谢懈 泻薪芯锌泻懈 褋泻邪褔懈胁邪薪懈褟 薪械
蟹邪谐褉褍蟹懈谢懈褋褜
袧袗袞袦袠孝袝 袟袛袝小鞋 懈谢懈 芯斜薪芯胁懈褌械 褋褌褉邪薪懈褑褍
袝褋谢懈 胁芯蟹薪懈泻邪褞褌 锌褉芯斜谢械屑褘 褋芯 褋泻邪褔懈胁邪薪懈械屑 胁懈写械芯, 锌芯卸邪谢褍泄褋褌邪 薪邪锌懈褕懈褌械 胁 锌芯写写械褉卸泻褍 锌芯 邪写褉械褋褍 胁薪懈蟹褍
褋褌褉邪薪懈褑褘.
小锌邪褋懈斜芯 蟹邪 懈褋锌芯谢褜蟹芯胁邪薪懈械 褋械褉胁懈褋邪 ClipSaver.ru
转讬讗讜专 讘注讬讜转 讛讻专注讛 讻砖驻讜转 驻讜专诪诇讬讜转 讜讚讜讙诪讗讜转. 诪讞诇拽转 讛住讬讘讜讻讬讜转 P (谞讬转谞讜转 诇驻转专讜谉 讘讝诪谉 驻讜诇讬谞讜诪讬), 住讙讬专讜转 诇诪砖诇讬诐 讜讘注讬讜转 诇讚讜讙诪讛. 诪讞诇拽转 讛住讬讘讜讻讬讜转 NP (nondeterministic polynomial time), 讛讙讚专讛 讘讗诪爪注讜转 讗诇讙讜专讬转诐 诇讗-讚讟专诪讬谞讬住讟讬 驻讜诇讬谞讜诪讬讗诇讬 讜讘讗诪爪注讜转 诪注专讻转 讛讜讻讞讛 驻讜诇讬谞讜诪讬转 (讗讬诪讜转 讘讝诪谉 驻讜诇讬谞讜诪讬), 讛讜讻讞转 讛砖拽讬诇讜转 讘讬谉 讛讛讙讚专讜转 讜讚讜讙诪讗讜转. 专讗讬谞讜 诪住驻专 讘注讬讜转 讘NP 砖诇讗 讬讚讜注 注诇 讗诇讙讜专讬转诐 驻讜诇讬谞讜诪讬 砖驻讜转专 讗讜转谉: SAT, Clique, HC... 专讗讬谞讜 砖诇诪专讜转 砖拽砖讛 诇讛讻专讬注 讛讗诐 拽讬讬诪转 讛砖诪讛 诪住驻拽转 诇谞讜住讞讛 讘爪讜专转 CNF, 拽诇 诇注砖讜转 讝讗转 注讘讜专 谞讜住讞讛 讘爪讜专转 DNF 讜注诇 讻谉 诇讗 讬讚讜注 注诇 驻讜谞拽爪讬讛 驻讜诇讬谞讜诪讬转 (专讚讜拽爪讬讛) 砖诪注讘讬专讛 谞讜住讞讛 讘爪讜专转 CNF 诇砖拽讜诇讛 砖诇讛 讘DNF. 诪讞诇拽转 讛住讬讘讜讻讬讜转 coNP, 讘注讬讜转 砖讛诪砖诇讬诐 诇讛谉 讘NP, 砖诇讬诇讛 讘讝诪谉 驻讜诇讬谞讜诪讬 讜讛讜讻讞转 砖拽讬诇讜转 讛讛讙讚专讜转. P 诪讜讻诇转 讘NP 讜讘coNP. 砖讗诇讜转 驻转讜讞讜转 - P=NP,coNP=NP 讜讛拽砖专 讘讬谞讬讛谉.