کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4952123 1442016 2017 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Random numbers as probabilities of machine behavior
ترجمه فارسی عنوان
اعداد تصادفی به عنوان احتمالات رفتار ماشین
کلمات کلیدی
ترجمه چکیده
یک راه سودمند برای به دست آوردن اعداد تصادفی الگوریتمی معنی دار، احتمالا بتن، این است که رفتار بالقوه یک ماشین تورینگ و احتمال آن را با توجه به اندازه گیری (یا نیمه اندازه گیری) در فضای ورودی کدهای دودویی را در نظر بگیریم. در این کار مشخصاتی از واقعیات تصادفی تصادفی الگوریتمی را در کلاسهای تصادفی بالاتر به دست می آوریم، به عنوان احتمال وقایع خاصی که می تواند اتفاق بیفتد، زمانی که یک ماشین جهانی اوراکل به صورت احتمالی بر روی یک اوراکل تصادفی اجرا می شود. علاوه بر این ما تجزیه و تحلیل خود را به چند مدل ماشین، از جمله ماشین آلات اوراکل تورینگ، ماشین آلات بدون پیشوند و مدل های برای محاسبات بی نهایت آنلاین است. ما متوجه می شویم که در بسیاری از موارد پیچیدگی ریاضی اموال به طور مستقیم در قدرت تصادفی الگوریتمی احتمال که با آن در هر ماشین داده می شود، منعکس می شود. از سوی دیگر، ما به نمونه های بسیاری اشاره می کنیم که این اتفاق نمی افتد و احتمال یک عدد است که تصادفی الگوریتمی آن حداکثر ممکن نیست (با توجه به پیچیدگی ریاضی آن). در نهایت ما دریافتیم که بر خلاف احتمال توقف یک ماشین جهانی، احتمالاتی از خواص پیچیده تر مانند کل، هماهنگی، محاسبه یا کامل بودن، لزوما همان درجه تورینگ را در مقایسه با ماشین های مختلف جهانی تعریف نمی کنند.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
A fruitful way of obtaining meaningful, possibly concrete, algorithmically random numbers is to consider a potential behavior of a Turing machine and its probability with respect to a measure (or semi-measure) on the input space of binary codes. In this work we obtain characterizations of the algorithmically random reals in higher randomness classes, as probabilities of certain events that can happen when an oracle universal machine runs probabilistically on a random oracle. Moreover we apply our analysis to several machine models, including oracle Turing machines, prefix-free machines, and models for infinite online computation. We find that in many cases the arithmetical complexity of a property is directly reflected in the strength of the algorithmic randomness of the probability with which it occurs, on any given universal machine. On the other hand, we point to many examples where this does not happen and the probability is a number whose algorithmic randomness is not the maximum possible (with respect to its arithmetical complexity). Finally we find that, unlike the halting probability of a universal machine, the probabilities of more complex properties like totality, cofinality, computability or completeness do not necessarily have the same Turing degree when they are defined with respect to different universal machines.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 673, 18 April 2017, Pages 1-18
نویسندگان
, , ,