تابع  یک تابع احاطه گر 2-رنگین کمانی  برای گراف  نامیده می­شود هرگاه برای هر راس  با شرط  داشته باشیم . وزن یک 2rdf  برابر است با . عدد احاطه گر 2-رنگین کمانی گراف  را که با نماد  نمایش می­دهیم کمترین وزن یک 2rdf در گراف  است. تابع احاطه­گر ماکسیمال 2-رنگین کمانی (m2rdf) برای گراف  یک تابع احاطه­گر 2-رنگین کمانی  می­باشد به­طوری که مجموعه­ی  یک مجموعه­ی احاطه­گر برای گراف  نباشد. وزن یک m2rdf  ...

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

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

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

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

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

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