در این مقاله ابتدا گراف های بازه ای را تعریف و سپس مسأله ی پیداکردن هسته روی گراف های بازه ای و درخت های بازه ای را بررسی می کنیم. یک هسته در یک گراف بازه ای، مسیری از بازه های متصل به هم است که مجموع فاصله های تمام بازه ها تا این مسیر کمینه شود. نشان می دهیم بازه هایی که روی  هسته ی یک درخت  قرار دارند نمی توانند بازه ای غیر ماکسیمال باشند. سپس الگوریتمی با پیچیدگی زمانی o(n) برای پیداکردن هست...

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

Graph coloring is a way of coloring the vertices of a graph such that no two adjacent vertices have the same color. Graph coloring problem (GCP) is about finding the smallest number of colors needed to color a given graph. The smallest number of colors needed to color a graph G, is called its chromatic number. GCP is a well-known NP-hard problems and, therefore, heuristic algorithms are usually...

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

در این تحقیق, ابتدا با تعریف ابرگراف, ابرگراف جهت دار و ابرمسیر آشنا خواهیم شد. سپس الگوریتمی را برای به دست آوردن کوتاه ترین ابرمسیر روی یک ابرگراف جهت دار معرفی خواهیم کرد. در ادامه الگوریتم هایی معرفی می شوند که با استفاده از آن ها می توانیم k‎ تا از کوتاه ترین ابرمسیرها را از راس مبدا s به راس مقصد t‎ به دست آوریم و این الگوریتم ها از نظر زمان اجرا با هم مقایسه می شوند. بعد از آن یکی از کار...

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

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

این آزمایش در سال1394 در قالب طرح فاکتوریل و بصورت کاملا تصادفی اجرا شد. میوه ها در 2مرحله و به فاصله  زمانی  15 روزه به سردخانه انتقال داده شدند و پس از بسته بندی به 3دسته و با 3تکرار  تقسیم شدند. و خصوصیات کمی و کیفی شامل جرم تر، مواد جامد محلول، تغییرات درصد ماده خشک، تغییرات وزن جعبه، تغییرات جرم ماده خشک آنها بلافاصله پس از برداشت ارزیابی شد. نتایج بدست آمده نشان داد که طی دوره انبارمانی ب...

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