کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422174 685035 2008 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A Characterization of Constructive Dimension
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A Characterization of Constructive Dimension
چکیده انگلیسی

In the context of Kolmogorov's algorithmic approach to the foundations of probability, Martin-Löf defined the concept of an individual random sequence using the concept of a constructive measure 1 set. Alternate characterizations use constructive martingales and measures of impossibility. We prove a direct conversion of a constructive martingale into a measure of impossibility and vice versa, such that their success sets, for a suitably defined class of computable probability measures, are equal. The direct conversion is then generalized to give a new characterization of constructive dimensions, in particular, the constructive Hausdorff dimension and the constructive packing dimension.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 202, 21 March 2008, Pages 323-337