دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Parameterized and Exact Computation: 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
دانلود کتاب محاسبه پارامتر شده و دقیق: هشتمین سمپوزیوم بین المللی ، IPEC 2013 ، سوفیا آنتیپولیس ، فرانسه ، 4-6 سپتامبر 2013 ، مقالات منتخب بازبینی شده
مشخصات کتاب
Parameterized and Exact Computation: 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
ویرایش: 1 نویسندگان: Russell Impagliazzo, Ramamohan Paturi (auth.), Gregory Gutin, Stefan Szeider (eds.) سری: Lecture Notes in Computer Science 8246 Theoretical Computer Science and General Issues ISBN (شابک) : 9783319038971, 9783319038988 ناشر: Springer International Publishing سال نشر: 2013 تعداد صفحات: 385 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب محاسبه پارامتر شده و دقیق: هشتمین سمپوزیوم بین المللی ، IPEC 2013 ، سوفیا آنتیپولیس ، فرانسه ، 4-6 سپتامبر 2013 ، مقالات منتخب بازبینی شده: تحلیل الگوریتم و پیچیدگی مسئله، الگوریتم ها، محاسبات عددی، ریاضیات گسسته در علوم کامپیوتر، ساختارهای داده، کاربردهای ریاضی در علوم کامپیوتر
در صورت تبدیل فایل کتاب Parameterized and Exact Computation: 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبه پارامتر شده و دقیق: هشتمین سمپوزیوم بین المللی ، IPEC 2013 ، سوفیا آنتیپولیس ، فرانسه ، 4-6 سپتامبر 2013 ، مقالات منتخب بازبینی شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبه پارامتر شده و دقیق: هشتمین سمپوزیوم بین المللی ، IPEC 2013 ، سوفیا آنتیپولیس ، فرانسه ، 4-6 سپتامبر 2013 ، مقالات منتخب بازبینی شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل هشتمین
سمپوزیوم بین المللی محاسبات پارامتری و دقیق، IPEC 2013، در
سوفیا آنتیپولیس، فرانسه، در سپتامبر 2013 است.
29 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و بررسی شدند
از بین 58 ارسال انتخاب شده است. موضوعات پرداخته شده شامل
تحقیقات در تمام جنبه های الگوریتم های پارامتری/دقیق و پیچیدگی
می شود، از جمله تکنیک های جدید برای طراحی و تجزیه و تحلیل
الگوریتم های پارامتری شده و دقیق، نتایج با پارامتر ثابت،
نظریه پیچیدگی پارامتر، رابطه بین پیچیدگی پارامتری شده و سنتی.
طبقه بندی پیچیدگی، کاربردهای محاسبه پارامتری و دقیق، و مسائل
پیاده سازی الگوریتم های پارامتری و دقیق.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference
proceedings of the 8th International Symposium on
Parameterized and Exact Computation, IPEC 2013, in Sophia
Antipolis, France, in September 2013.
The 29 revised full papers presented were carefully reviewed
and selected from 58 submissions. The topics addressed cover
research in all aspects of parameterized/exact algorithms and
complexity including but are not limited to new techniques
for the design and analysis of parameterized and exact
algorithms, fixed-parameter tractability results,
parameterized complexity theory, relationship between
parameterized complexity and traditional complexity
classifications, applications of parameterized and exact
computation, and implementation issues of parameterized and
exact algorithms.
فهرست مطالب
Front Matter....Pages -
Exact Complexity and Satisfiability....Pages 1-3
The Parameterized Complexity of Fixpoint Free Elements and Bases in Permutation Groups....Pages 4-15
Parameterized Complexity of Two Edge Contraction Problems with Degree Constraints....Pages 16-27
Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem....Pages 28-40
The Fine Details of Fast Dynamic Programming over Tree Decompositions....Pages 41-53
On Subexponential and FPT-Time Inapproximability....Pages 54-65
Multi-parameter Complexity Analysis for Constrained Size Graph Problems: Using Greediness for Parameterization....Pages 66-77
Chain Minors Are FPT....Pages 78-83
Incompressibility of H -Free Edge Modification....Pages 84-96
Contracting Few Edges to Remove Forbidden Induced Subgraphs....Pages 97-109
Fixed-Parameter and Approximation Algorithms: A New Look....Pages 110-122
Subgraphs Satisfying MSO Properties on z -Topologically Orderable Digraphs....Pages 123-136
Computing Tree-Depth Faster Than 2 n ....Pages 137-149
Faster Exact Algorithms for Some Terminal Set Problems....Pages 150-162
Parameterized Algorithms for Modular-Width....Pages 163-176
A Faster FPT Algorithm for Bipartite Contraction....Pages 177-188
On the Ordered List Subgraph Embedding Problems....Pages 189-201
A Completeness Theory for Polynomial (Turing) Kernelization....Pages 202-215
On Sparsification for Computing Treewidth....Pages 216-229
The Jump Number Problem: Exact and Parameterized....Pages 230-242
On the Hardness of Eliminating Small Induced Subgraphs by Contracting Edges....Pages 243-254
Hardness of r - dominating set on Graphs of Diameter ( r + 1)....Pages 255-267
Amalgam Width of Matroids....Pages 268-280
On the Parameterized Complexity of Reconfiguration Problems....Pages 281-294
FPT Algorithms for Consecutive Ones Submatrix Problems....Pages 295-307
Upper Bounds on Boolean-Width with Applications to Exact Algorithms....Pages 308-320
Speeding Up Dynamic Programming with Representative Sets....Pages 321-334
Completeness Results for Parameterized Space Classes....Pages 335-347
Treewidth and Pure Nash Equilibria....Pages 348-360
Algorithms for k -Internal Out-Branching....Pages 361-373
Back Matter....Pages -
