در این پایان نامه گراف های کیلی یکانی را تعریف می کنیم.و به بررسی تعدادی از ویژگی های این گراف می پردازیم.در ابتدا تعاریف ومفاهیم مقدماتی را بیان می کنیم در بخش اول فصل دوم، بعضی از قضایا که برای گراف برقرار است را بیان می کنیم و در بخش دوم این فصل عددرنگی عدد خوشه عدد استقلال قطر و تعداد مثلث های گراف xn را به دست می اوریم و نشان می دهیم xn متقارن و همبندی راسی برابر با ?(n) می باشد.در فصل سوم...

در این پایان نامه, ابتدا به طور مختصر گراف های قویاً منظم را معرفی می کنیم. مفهوم گراف های قویاً منظم جهت دار را به عنوان تعمیمی از گراف های قویاً منظم معرفی کرده و آن ها را مورد مطالعه قرار می دهیم. در ادامه, از جبر مجاورت اسکیم ها, گراف های قویاً منطم جهت دار می سازیم. برای این منظور, اسکیم ها و جبر مجاورت آن ها را مورد بررسی قرار می دهیم.

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

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

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

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

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

روابط بین یک مجموعه ی خودوارون که یک دوتایی (p,i) است به طوری که pیک مجموعه ی ناتهی و i یک زیر مجموعه از جایگشت های خودوارون p است را با گراف ها بیان می کنیم. و رابطه ای که ساختارهای انعکاسی و مجموعه های خودوارون نیمه منظم با هم دارند را بررسی می کنیم. نشان می دهیم متناظر با یک سیستم یه تایی اشتاینر یک شبه گروه نیمه متقارن خودتوان وجود دارد و برعکس از هر شبه گروه نیمه متقارن خودتوان می توان ب...

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