قضیه زمردی قضیه ای در نظریه جمعی اعداد است و بیان می دارد که اگر مجموعه ی a از اعداد طبیعی دارای چگالی باناخ بالایی مثبت باشد، آنگاه a تصاعدهای حسابی به طول دلخواه را شامل است. در این پایان نامه به بررسی اثبات های مختلف از قضیه زمردی می پردازیم. ابتدا اثبات نظریه ارگودیک فوستنبرگ را در حالت k=3 به طور کامل و در حالت k دلخواه برای سیستم های آمیختگی ضعیف و فشرده ثابت می کنیم. سپس اثبات آنالیز فور...

حلقه جابجایی r دارای ویژگی (a) است اگر هر ایده آل با تولید متناهی مشمول در z(r) دارای پوچساز ناصفر باشد. ما در این رساله بعد از بررسی حلقه های جابجایی دارای ویژگی (a) ، این تعریف را به حلقه های ناجابجایی توسیع می دهیم: حلقه ناجابجایی r از راست (چپ ) دارای ویژگی (a) است ، اگر برای هر ایده آل دو طرفه با تولید متناهی i که (i?z_r (r))i?z_l (r) آنگاه عضو (0?b?r)0?a?r وجود داشته باشد به طوری که (b...

یک گراف قویاً منظم با پارامترهای ( v, k, ?, µ ) که باsrg-( v; k; ?; µ) نمایش داده می شود، گرافی k-منظم از مرتبه ی v است، به طوری که هر دو رأس مجاور آن ? همسایه مشترک و هر دو رأس غیر مجاور آن µ همسایه مشترک دارند. گراف های قویاً منظم یکی از مهم ترین و جالب ترین خانواده از گراف های منظم هستند که ارتباط زیادی با دیگر ساختارهای ترکیبیاتی مانند آرایه های متعامد، مربع های لاتین و طرح ها دارند به طور...

در این پایان نامه جوانب مختلف سیستمهای انعکاسی آفین را در نظر می گیریم. ابندا یک روش ترکیبیاتی و محاسباتی برای طبقه بندی سیستمهای ریشه آفین توسیع یافته از نوع کاهش یافته عرضه می کنیم. با استفاده از این روش، سیستمهای آفین توسیع یافته از نوع کاهش یافته و پوچی 4 را طبقه بندی می کنیم. سپس برای اولین بار یک نمایش برای گروه وایل و یک نمایش برای گروه وایل هذلولوی نظیر به سیستمهای انعکاسی آفین از نوع a...

در سرتاسر این پایان نامه، تمام حلقه ها جابه جایی و یکدار و همه مدول ها یکانی هستند. هدف از این پایان نامه تحقیق در مورد مدول های با طیف نوتری است. یک مدول را با طیف نوتری نامند، هرگاه مجموعه های بسته طیف آن نسبت به توپولوژی زاریسکی( که همان چندگوناهای زیرمدول ها هستند) در شرط زنجیر کاهشی صدق کنند. در فصل اول به معرفی مفهوم اشباع زیرمدول ها می پردازیم. سپس مدول های پر اول را تعریف کرده و ثابت م...

بنا به قضیه شانون مادامی که نرخ ارسال اطلاعات کمتر از ظرفیت کانال باشد‏، خطای ناشی از حضور پارازیت را می توان با ارایه ساختارهایی مناسب به مقداردلخواه کاهش داد. در میان کدهای تصحیح کننده خطا‎ کدهای شبه دوری با ماتریس بررسی توازن خلوت ‏جزء کدهای بلوکی خطی هستند. عملکرد برخی از کدهای این خانواده بسیار نزدیک به حد شانون است ‏و در حال حاضر از نظر عملکرد بهترین ساختار شناخته شده می باشند. ساخت کدهای...

فرض کنید‎ g گرافی ساده و همبند‏، و ‎s={s_1,…s_k} زیرمجموعه ای ازv(g) باشد. برای هر رأس ‎v از ‎g کد متریک v‎ نسبت به ‎‎s عبارت است از بردار-kتایی r(v?s)?(d(v,s_1 ),…,d(v,s_k ) ). که در آن d(v,s_i )فاصله‎‏ ی بین دو رأس ‎‎v و ‎s_i ‏‎در‎ گراف‎‎‎ g است. اگر کدهای متریک رأس های متمایز g نسبت به ‎‎s از هم متمایز باشند، ‎‎s یک مجموعه کاشف‎ برای‎‎ gنامیده می شود. در بین مجموعه های کاشف، مجموعه های ب...

رنگ آمیزی گراف فازی یکی از مهم ترین مسائل بهینه سازی ترکیبیاتی است. بسیاری از مثال های عملی مانند جدول زمانی، خوشه بندی شبکه ها و کنترل نور ترافیک‏ را می توان به عنوان مسأله رنگ آمیزی مدل بندی کرد. ‎ مسأله رنگ آمیزی فازی متشکل از تعیین عدد رنگی از یک گراف فازی و تابع رنگ آمیزی مرتبط با آن است. ‎ در این پژوهش‏، ابتدا مفاهیم و مقدمات اولیه فازی بیان می شود، سپس گراف فازی و مکمل آن توضیح داده می...

در این پایان نامه آزمون گروهی ایستا را ارائه می دهیم و همچنین سه نوع از ماتریس های دودویی را به عنوان ابزار مهم در فهم و ساختن آزمون گروهی ایستا تعریف می کنیم. نشان می دهیم که آزمون گروهی ایستا برای شناسایی دو بیمار از میان 2t نفر نیاز به حداقل 2t آزمون دارد. از گراف ها در ساختار آزمون گروهی ایستا استفاده می کنیم و نشان می دهیم که تحت شرایطی روی اندازه گروه می توان با استفاده از گراف پترسن تعمی...

تسهیم راز یکی از موضوعات مهم رمزنگاری است که در امنیت اطلاعات کاربرد دارد. چندین روش برای ساخت طرح های تسهیم راز وجود دارد. یکی از این روش ها مبتنی بر نظریه کدگذاری است. هر کد خطی می تواند برای ساخت طرح های تسهیم راز مورد استفاده قرار بگیرد. ساختار دسترسی طرح تسهیم راز مبتنی بر یک کد‏، کدکلمه های کمینه دوگان آن کد است. در این پایان نامه ابتدا چند ساختار از کدهایی که مسأله پوشش تحت شرایط خاص برا...