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

در این پایان نامه مینورهای حذفی مترویدهایی مثل m‎ را شناسایی می کنیم که برای هر عضو e از مجموعه زمینه ی m، متروید m e یا m/e دودویی باشد. این کلاس از مترویدها دقیقاً با کلاسی از مترویدها مرتبط می باشد که هر عضوش دودویی است و یا به واسطه ی واهلش یک دور-ابرصفحه از متروید دودویی ایجاد می شوند.

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

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

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

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

در این پایان نامه هدف ساختن یک 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 باشد.نشان می دهیم که چنین چسباندن برای هر...

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