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

وارسی مدل ، یک روش کاملا خودکار و راهکاری مناسب به منظور بررسی و درستی یابی سیستم های نرم افزاری ایمنی-بحرانی پیش از تولید آنهاست. در اینگونه از سیستم ها نمی توان ریسک بروز خطا را حتی برای یک بار پذیرفت. سیستمهای تبدیل گراف ، نمونه ای از پرکاربردترین سیستم های مدلسازی رسمی و نیز راهکاری مناسب به منظور مدلسازی و وارسی سیستم های پیچیده هستند که با بهره گیری از ویژگی گرافیکی بودن، به نحو شایسته ای...

در این نوشتار مدلی برای تعیین زمان بندی بهینه ی چرخشی کارگاهی باز طراحی می شود. برای انجام هر عملیات چندین منبع مورد نیاز است که به طور هم زمان باید از تمامی آن ها استفاده شود. این مسئله از لحاظ پیچیدگی محاسباتی در رده ی مسائل n p-h a r d قرار دارد. ابتدا نشان می دهیم که این مسئله را می توان به مسئله ی رنگ آمیزی دایره یی رئوس یک گراف تبدیل کرد. آنگاه، الگوریتمی در چارچوب روش فراابتکاری جامعه ی ...

فرض کنیم g یک گروه ناآبلی باشد. گراف ناجابجایی $gamma_g$ از g تعریف می شود با مجموعه رئوس g و دو عضو از آن تشکیل یال می دهد اگر باهم جابجا نشوند. در این مقاله ما بعضی از خواص این گراف و ac -گروه n -منظم را معرفی می کنیم. سپس فرمولی برای اندیس سگد گراف ناجابجایی یک گروه متناهی بر حسب اندازه های n و z(g) و g بدست می آوریم. همچنین مشخص می کنیم مقدار اندیس همندی برای هر گروه متناهی برحسب k(g) و اند...

در این مقاله برای نخستین ‌بار معکوسِ مسئلۀ بهینه‎سازی 2- میانۀ پشتیبان[i] بررسی شده است. در این مسئله تعدادی نقطه، مشتری در نظر گرفته می‌شوند و هدف این است که با تغییر پارامترهای مسئله، دو نقطۀ از پیش تعیین شده به‌سمت 2- میانه پشتیبان‌ شدن برود. ابتدا مسائل معکوس (نوع محدودیت بودجه‎ای و نوع حداقل هزینه) 2- میانه پشتیبان درحالت گسسته برای گراف‎های عمومی مدل‎‌سازی ریاضی می‌شود. سپس درحالتی‌که گراف...

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

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

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

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

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