مشخصات کتاب

Parameterized and Exact Computation: 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings

ویرایش: 1 
نویسندگان: Anuj Dawar (auth.),  Venkatesh Raman,  Saket Saurabh (eds.)  
سری: Lecture Notes in Computer Science 6478 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783642174933, 3642174930 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 252 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

کلمات کلیدی مربوط به کتاب پارامتر و دقیق محاسبات: پنجمین سمپوزیوم بین المللی، IPEC 2010، چنای، هند، 13-15 دسامبر 2010. پرونده ها: تحلیل الگوریتم و پیچیدگی مسئله، الگوریتم ها، ریاضیات گسسته در علوم کامپیوتر، نظریه محاسبات، دستکاری نمادین و جبری، محاسبات با دستگاه های انتزاعی

در صورت تبدیل فایل کتاب Parameterized and Exact Computation: 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب پارامتر و دقیق محاسبات: پنجمین سمپوزیوم بین المللی، IPEC 2010، چنای، هند، 13-15 دسامبر 2010. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب پارامتر و دقیق محاسبات: پنجمین سمپوزیوم بین المللی، IPEC 2010، چنای، هند، 13-15 دسامبر 2010. پرونده ها

این کتاب بهترین مقالات منتخب پنجمین سمپوزیوم بین‌المللی محاسبات پارامتری و دقیق، IPEC 2010، که در چنای، هند، در دسامبر 2010 برگزار شد، با داوری است. موضوعات پرداخته شده شامل تحقیقات در تمام جنبه های محاسبات و پیچیدگی پارامتر شده و دقیق، از جمله تکنیک های جدید برای طراحی و تجزیه و تحلیل الگوریتم های پارامتری و دقیق می شود. نظریه پیچیدگی پارامتری رابطه بین پیچیدگی پارامتر شده و طبقه بندی پیچیدگی سنتی. کاربردهای محاسبات پارامتری و دقیق؛ مسائل پیاده سازی الگوریتم های پارامتری و دقیق؛ تقریب پارامتر ثابت. تقریب سریع در زمان نمایی. کرنلیزاسیون کرنل پایین و بالایی

توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed best selected papers of the 5th International Symposium on Parameterized and Exact Computation, IPEC 2010, held in Chennai, India, in December 2010. The 19 revised full papers presented were carefully reviewed and selected from 32 submissions. The topics addressed cover research in all aspects of parameterized and exact computation and complexity, including but not limited to new techniques for the design and analysis of parameterized and exact algorithms; parameterized complexity theory; relationship between parameterized complexity and traditional complexity classifications; applications of parameterized and exact computation; implementation issues of parameterized and exact algorithms; fixed-parameter approximation; fast approximation in exponential time; kernelization lower and upper bounds.

فهرست مطالب

Front Matter....Pages -
The Complexity of Satisfaction on Sparse Graphs....Pages 1-2
Protrusions in Graphs and Their Applications....Pages 3-3
Parameterized Complexity Results in Symmetry Breaking....Pages 4-13
On the Kernelization Complexity of Colorful Motifs....Pages 14-25
Partial Kernelization for Rank Aggregation: Theory and Experiments....Pages 26-37
Enumerate and Measure: Improving Parameter Budget Management....Pages 38-49
On the Exact Complexity of Evaluating Quantified k -CNF....Pages 50-59
Cluster Editing: Kernelization Based on Edge Cuts....Pages 60-71
Computing the Deficiency of Housing Markets with Duplicate Houses....Pages 72-83
A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and Its Algorithmic Application....Pages 84-94
An Improved FPT Algorithm and Quadratic Kernel for Pathwidth One Vertex Deletion....Pages 95-106
Multivariate Complexity Analysis of Swap Bribery....Pages 107-122
Parameterizing by the Number of Numbers....Pages 123-134
Are There Any Good Digraph Width Measures?....Pages 135-146
On the (Non-)existence of Polynomial Kernels for P l -free Edge Modification Problems....Pages 147-157
Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming....Pages 158-169
On the Grundy Number of a Graph....Pages 170-179
Exponential Time Complexity of Weighted Counting of Independent Sets....Pages 180-191
The Exponential Time Complexity of Computing the Probability That a Graph Is Connected....Pages 192-203
Inclusion/Exclusion Branching for Partial Dominating Set and Set Splitting....Pages 204-215
Small Vertex Cover Makes Petri Net Coverability and Boundedness Easier....Pages 216-227
Proper Interval Vertex Deletion....Pages 228-238
Back Matter....Pages -

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Narcissistic Patients and New Therapists: Conceptualization, Treatment, and Managing Countertransference

دانلود کتاب Life Cycles of Coccidia of Domestic Animals

دانلود کتاب Lynch Files: The Forgotten Saga of Victims of Hate Crime

دانلود کتاب The Mozi: A Complete Translation

دانلود کتاب Statistical methods in algorithm design and analysis (thesis)