دانلود کتاب Feasible Computations and Provable Complexity Properties
49,000 تومان
محاسبات امکان پذیر و ویژگی های پیچیدگی قابل اثبات
| موضوع اصلی | ریاضیات محاسباتی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Society for Industrial Mathematics |
| تعداد صفحه | 73 |
| حجم فایل | 425 کیلوبایت |
| کد کتاب | 9780898710274,0898710278 |
| نویسنده | Juris Hartmanis |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1987 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
محاسبات امکان پذیر و ویژگی های پیچیدگی قابل اثبات
مروری بر تحولات جاری در تحقیق در مورد محاسبات امکان پذیر. و در نظر گرفتن این حوزه تحقیقاتی در رابطه با خواص قابل اثبات پیچیدگی محاسبات.
نویسنده با تعریف و بحث در مورد کاهش کارآمد بین مشکلات شروع می کند و خانواده ها و زبان های کامل متناظر NL، DCSL، CSL، P، NP، PTAPE، EXPTIME، و EXPTAPE را در نظر می گیرد. تعاریف و نتایج به طور یکنواخت به خانوادههای طبیعی سادهتر محاسباتی زبانها مانند NL، P، و CSL با استفاده از کاهشهای محدود نواری Log n گسترش داده میشوند.
مسئله تعیین اینکه چه چیزی را می توان و چه چیزی را نمی توان به طور رسمی در مورد زمان اجرای الگوریتم ها اثبات کرد، مورد بحث قرار گرفته و به مشکل ایجاد محدودیت های زمانی دقیق برای محاسبات ماشین تورینگ یک نواری مربوط می شود، و عدم توانایی در اثبات رسمی زمان اجرا برای الگوریتم ها سپس مربوط به وجود شکاف در سلسله مراتب کلاس های پیچیدگی است.
بحث پایانی در مورد این احتمال است که P=NP معروف؟ مسئله مستقل از بدیهیات سیستم های ریاضی رسمی مانند نظریه مجموعه ها است.
An overview of current developments in research on feasible computations; and a consideration of this area of research in relation to provable properties of complexity of computations.
The author begins by defining and discussing efficient reductions between problems and considers the families and corresponding complete languages of NL, DCSL, CSL, P, NP, PTAPE, EXPTIME, and EXPTAPE. Definitions and results are uniformly extended to computationally simpler natural families of languages such as NL, P, and CSL by using Log n-tape bounded reductions.
The problem of determining what can and cannot be formally proven about running times of algorithms is discussed and related to the problem of establishing sharp time bounds for one-tape Turing machine computations, and the inability to formally prove running times for algorithms is then related to the presence of gaps in the hierarchy of complexity classes.
The concluding discussion is on the possibility that the famous P=NP? problem is independent of the axioms of formal mathematical systems such as set theory.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.