مفهموم کافی توصیفی ویژگی زیرگردایه ای از فلت ها ی یک متروید می باشد که با فلت های اساسی و یک الگوریتم در ارتباط است. این الگوریتم برای ساختار بنای یک متروید دلخواه بر حسب زیر گردایه های کافی توصیفی خاص از فلت ها به کار میرود.

این پایان نامه در چهار فصل اصلی نوشته شده است و هدف اصلی در این پایان نامه یافتن هم-دورهای متروید شکافته شده است. فصل اول به تعاریف و قضایای مقدماتی نظریه گراف و متروید اختصاص یافته است.‎‎ ‎در فصل دوم نوعی از عمل شکافتن به نام عمل شکافتن تعمیم یافته در گراف ها معرفی می شود که زمینه ساز فصل های بعدی می باشد. ابتدا این عمل را روی گراف ها تعریف کرده و سپس به متروید‎های دودویی تعمیم می دهیم و در...

یکی از مباحث مهم در نظریه ی متروید‏، نمایش پذیری و غیر-نمایش پذیری مترویدها روی میدان های مختلف می باشد. در این پایان نامه به بررسی غیر-نمایش پذیری مترویدها روی میدان ‎‎gf(5)‎ ‎ پرداخته و یک اثبات کوتاه برای چنین مترویدهایی مطرح می کنیم. ‎فصل‎ اول شامل مفاهیم و اصطلاحات مقدماتی از نظریه ی گراف و متروید می باشد که به ترتیب از کتاب آشنایی با نظریه ی گراف وست و نظریه ی متروید آکسلی استفاده شده اس...

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

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

این پایان نامه مشتمل بر پنج فصل می باشد که فصل اول آن شامل مفاهیم و تعاریف اولیه از نظریه های گراف و متروید می باشد و فصل دوم به نتایج مورد نیاز پایان نامه اختصاص دارد سپس در فصل سوم به عنوان اولین قضیه ی اصلی ثابت می کنیم که اگر n یک مینور 3-همبند متروید 3-همبند m باشد که در شرط r(m)-r(n)>3 صدق می کند، آن گاه یک مجموعه ی مستقل 3 عضوی در m موجود است که اعضای آن n-منقبض شدنی به طور عمودی در m می...

در این پایان نامه هدف ساختن یک 3-درخت از یک متروید 3-همبند است که با استفاده از معرفی الگوریتم مربوطه ارائه می شود. برای معرفی این الگوریتم نیاز به معرفی مفهوم گل ها در مترویدهای 3-همبند هستیم. گل ها در واقع همان 3-جداسازی های هم ارز در متروید 3-همبند هستند. در واقع یک 3-درخت بطور همزمان می تواند 3-جداسازی های غیر دنباله ای از یک متروید را نمایش دهد. بنابراین برای پیدا کردن یک 3-درخت نیاز به پی...

در این پایان نامه نوع دیگر از مترویدهای به هم آمیخته را معرفی و مطالعه می کنیم.جبر بولی وفیلتر ،ایده آل در مترویدها تعریف میشود.مترویدهای جور شده را معرفی کرده و نشان می دهیم که برای مترویدهای (m(aو (n(bبه طوریکه در شرط زیر صدق کنند: (n|(b?a) =m.(b?aیعنی جور شده باشند،یک چسباندن از mوn تعریف می کنیم که این متروید،متروید l روی a?bبه طوریکه m=l| aوl.b=n باشد.نشان می دهیم که چنین چسباندن برای هر...

یک متروید دودویی است اگر و تنها اگر هیچ مینوری یکریخت با u2,3 که نمایش هندسی آن یک خط چهار نقطه ای است، نداشته باشد. این قضیه توسط بیکسبای توسیع داده شد، او ثابت کرد که هر عنصری در یک متروید همبند غیردودویی در یک u2,4- مینور قرار دارد. این نتیجه بعدها توسط سیمور توسیع داده شد. او نشان داد که هر جفت از عناصر در یک متروید 3- همبند غیر دودویی در یک u2,4- مینور قرار دارند. در این پایان نامه قضیه سی...

در این پایان نامه مترویدهای 3- همبندی که مینیمال هستند و دارای یک تحدید فراگیر ثابت می باشند، مورد مطالعه قرار می گیرند. هدف اصلی این پایان نامه پیدا کردن کران بالای دقیقی برای | e(m?) – e(n) | است که در آن n یک تحدید متروید 3- همبند m است و m? مینور مینیمال 3- همبند m می باشد که n یک تحدید آن است. به علاوه کران مورد نظر را برای حالتی پیدا می کنیم که در آن n یک مینور متروید 3- همبند m است و m? ...