موضوع فارسی :الگوریتم های محاسبات محلی دقیق و تقریبی
موضوع انگلیسی :Exact and approximate local computation algorithms
تعداد صفحه :40
فرمت فایل :PDF
سال انتشار :2008
زبان مقاله : انگلیسی
محاسبات محلی در پیوستن به درختان و یا درختان بیش از حد بدون دور نشان داده شده است به یک ساختار جبری خاص مرتبط است، به نام ارزیابی
جبر و مقابله. بسیاری از مدل های این ساختار جبری اعم از نظریه احتمال به تجزیه و تحلیل عددی، رابطه وجود دارد
پایگاه داده ها و منطق های مختلف کلاسیک و غیر کلاسیک. به نظر می رسد که بسیاری از مدل های جالب از جبری ارزیابی ممکن است
به دست آمده از semiring نگاشت ارزش دارد. در این مقاله ما مطالعه و بررسی چگونگی جبری ارزیابی توسط semirings و چگونه ناشی از
ساختار جبر ارزیابی به ساختار جبری از semiring مربوط می شود. به طور خاص، C-semirings با idempotent
ضرب القاء جبری ارزیابی idempotent و بنابراین اجازه معماری کارآمد برای محاسبات محلی است.
همچنین مهم semirings که نیم گروه ضربی است در یک اتحادیه از گروه های جاسازی شده است. آنها را وادار به جبری ارزیابی
با تقسیم تا حدی تعریف شده است. برای این جبری ارزیابی، معماری شناخته شده برای شبکه های بیزی اعمال می شود. ما همچنین
گسترش چارچوب محاسباتی به طور کلی به اجازه می دهد اشتقاق از مرزهای و تقریب، برای زمانی که محاسبات دقیق است
امکان پذیر است.