دانلود کتاب The Computational Complexity of Equivalence and Isomorphism Problems (به فارسی: پیچیدگی محاسباتی مسائل هم ارزی و ایزومورفیسم) نوشته شده توسط «Thomas Thierauf (eds.)»
اطلاعات کتاب پیچیدگی محاسباتی مسائل هم ارزی و ایزومورفیسم
موضوع اصلی: ریاضیات محاسباتی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Thomas Thierauf (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2000
تعداد صفحه: 135
حجم کتاب: 1 مگابایت
کد کتاب: 3540410325 , 9783540410324
نوبت چاپ: 1
توضیحات کتاب پیچیدگی محاسباتی مسائل هم ارزی و ایزومورفیسم
یک مدل محاسباتی چارچوبی برای انجام محاسبات بر اساس قوانین خاص مشخص شده در برخی از داده های ورودی است. این مدل‌ها برای مثال از تئوری خودکار، نظریه زبان رسمی، منطق یا نظریه مدار می‌آیند. قدرت محاسباتی چنین مدلی را می توان با ارزیابی مشکلات خاص با توجه به آن مدل قضاوت کرد.
نظریه محاسبات مطالعه دشواری ذاتی مسائل محاسباتی، یعنی پیچیدگی محاسباتی آنهاست. این تک نگاری پیچیدگی محاسباتی مسائل رضایت‌پذیری، هم ارزی و تقریباً هم ارزی را با توجه به مدل‌های محاسباتی مختلف تحلیل می‌کند. به طور خاص، فرمول های بولی، مدارها، و انواع مختلف برنامه های انشعاب در نظر گرفته می شوند.
A computational model is a framework for doing computations according to certain specified rules on some input data. These models come for example from automata theory, formal language theory, logic, or circuit theory. The computational power of such a model can be judged by evaluating certain problems with respect to that model.
The theory of computations is the study of the inherent difficulty of computational problems, that is, their computational complexity. This monograph analyzes the computational complexity of the satisfiability, equivalence, and almost-equivalence problems with respect to various computational models. In particular, Boolean formulas, circuits, and various kinds of branching programs are considered.
دانلود کتاب «پیچیدگی محاسباتی مسائل هم ارزی و ایزومورفیسم»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.