کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4950582 | 1440713 | 2017 | 17 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Robust simulations and significant separations
ترجمه فارسی عنوان
شبیه سازی قوی و جداسازی قابل توجه
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
ترجمه چکیده
اثبات نتایج ما نیازمند چند ایده جدید است، از جمله یک اثبات کاملا متفاوت از قضیه سلسله مراتبی برای زمان چند جمله ای غیر جبرانی نسبت به آنچه قبلا شناخته شده است.
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Proving our results requires several new ideas, including a completely different proof of the hierarchy theorem for non-deterministic polynomial time than the ones previously known.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 256, October 2017, Pages 149-159
Journal: Information and Computation - Volume 256, October 2017, Pages 149-159
نویسندگان
Lance Fortnow, Rahul Santhanam,