توضیحات
Parameterized Complexity in the Polynomial Hierarchy was co-recipient of the E.W. Beth Dissertation Prize 2017 for outstanding dissertations in the fields of logic, language, and information. This work extends the theory of parameterized complexity to higher levels of the Polynomial Hierarchy (PH). For problems at higher levels of the PH, a promising solving approach is to develop fixed-parameter tractable reductions to SAT, and to subsequently use a SAT solving algorithm to solve the problem. In this dissertation, a theoretical toolbox is developed that can be used to classify in which cases this is possible. The use of this toolbox is illustrated by applying it to analyze a wide range of problems from various areas of computer science and artificial intelligence.
————————————————————–
ترجمه ماشینی :
پیچیدگی پارامتری در سلسله مراتب چند جمله ای ، به عنوان جایزه پایان نامه E.W. Beth 2017 برای پایان نامه های برجسته در زمینه های منطق ، زبان و اطلاعات همراه بود. این کار تئوری پیچیدگی پارامتری را به سطوح بالاتر سلسله مراتب چند جمله ای (PH) گسترش می دهد. برای مشکلات در سطوح بالاتر از pH ، یک روش حل امیدوار کننده ایجاد کاهش قابل استفاده پارامتری ثابت به SAT و متعاقباً استفاده از الگوریتم حل SAT برای حل مشکل است. در این پایان نامه ، یک جعبه ابزار نظری تهیه شده است که می تواند برای طبقه بندی این موارد امکان پذیر باشد. استفاده از این جعبه ابزار با استفاده از آن برای تجزیه و تحلیل طیف گسترده ای از مشکلات از زمینه های مختلف علوم کامپیوتر و هوش مصنوعی نشان داده شده است.
tag : دانلود کتاب پیچیدگی پارامتری در سلسله مراتب چند جمله ای: گسترش تئوری پیچیدگی پارامتری به سطوح بالاتر سلسله مراتب , Download پیچیدگی پارامتری در سلسله مراتب چند جمله ای: گسترش تئوری پیچیدگی پارامتری به سطوح بالاتر سلسله مراتب , دانلود پیچیدگی پارامتری در سلسله مراتب چند جمله ای: گسترش تئوری پیچیدگی پارامتری به سطوح بالاتر سلسله مراتب , Download Parameterized Complexity in the Polynomial Hierarchy: Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy Book , پیچیدگی پارامتری در سلسله مراتب چند جمله ای: گسترش تئوری پیچیدگی پارامتری به سطوح بالاتر سلسله مراتب دانلود , buy پیچیدگی پارامتری در سلسله مراتب چند جمله ای: گسترش تئوری پیچیدگی پارامتری به سطوح بالاتر سلسله مراتب , خرید کتاب پیچیدگی پارامتری در سلسله مراتب چند جمله ای: گسترش تئوری پیچیدگی پارامتری به سطوح بالاتر سلسله مراتب , دانلود کتاب Parameterized Complexity in the Polynomial Hierarchy: Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy , کتاب Parameterized Complexity in the Polynomial Hierarchy: Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy , دانلود Parameterized Complexity in the Polynomial Hierarchy: Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy , خرید Parameterized Complexity in the Polynomial Hierarchy: Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy , خرید کتاب Parameterized Complexity in the Polynomial Hierarchy: Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy ,
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.