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

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

ابن­سینا در اشارات «بهترین خاصه» را آن می‏داند که در برگیرنده همه افراد موضوع باشد، نفسی باشد، نه نسبی، و لازم باشد، نه مفارق؛ وی سودبخش ترین خاصه را برای  تعریف آن می‏داندکه افزون بر سه مورد مذکور تعلّقش به موضوع، بدیهی باشد. از نظر خواجه طوسی خاصه را با دو نگاه می توان دید: یکی به خودی خود، دیگر از آن روی که در تعریف جای می گیرد. بهترین خاصه با نگاه نخست،  دارای سه ویژگیِ نخست، و با نگاه دوم،  ...

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

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

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

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

در مسئله طولانی ترین مسیر، هدف یافتن یک مسیر با بیشترین تعداد راس در یک گراف داده شده است. این مسئله‎‎ یک نسخه ی بهینه سازی از مسئله مسیر همیلتونی است‎.‎ . تاکنون تنها برای تعداد اندکی کلاس از گراف ها الگوریتم چندجمله ای برای مسئله طولانی ترین مسیر ارائه شده است. یک گراف مقایسه پذیری است اگر بتوان روی مجموعه رئوس این گراف یک ترتیب جزئی تعریف کرد؛ بطوریکه هر دو راس مجاور در گراف در این ترتیب قاب...

در این پایان نامه ما "گراف های دوبخشی کوهن- مکولی" و نتایج وابسته به آن را مطالعه می کنیم.

در این پژوهش ابتدا رابطه ای پارامتری برای سنجش مقدار درهم تنیدگی بین هر جفت کیوبیت برای گراف هایی با بیش از چهار کیوبیت به دست می آوریم. سپس مقدار درهم تنیدگی بین هر جفت کیوبیت را در گراف های پنج کیوبیتی محاسبه می کنیم. در ادامه ثابت می کنیم که تعداد 1024 گراف سیستم پنج کیوبیتی بر اساس بیشینه ی درهم تنیدگیِ بین هر جفت کیوبیت به 31 دسته و بر اساس تعداد یال های گراف و درجات رئوس به 40 دسته تقسیم م...