• بازدید : 24 views
  • بدون نظر
این فایل در ۲۳اسلاید قابل ویرایش تهیه شده وشامل موارد زیر است:

در رشتهٔ ریاضیات و در زیرشاخهٔ نظریه گراف، یک ‍‍‍‍‍‍‍‍‍‍درخت پوشا T، از گراف همبند و بدون جهت G درختی است که شامل تمام رئوس و حداقل برخی یال‌ها می‌باشد. به بیان ساده‌تر می‌توان گفت، درخت پوشای G درختی است که مجموعه‌ای از یال‌ها را شامل می‌شود در حالی که تمام رئوس را پوشش می‌دهد. در واقع تمام رئوس G در درخت پوشا وجود دارند به شرطی که هیچ دوری ایجاد نشود و درخت همبند نیز باشد.

درخت پوشای گراف همبند G را می‌توان این‌گونه نیز تعریف کرد:

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

درخت پوشای بیشینه
درخت کمینه‌ای که شامل حداقل k رأس باشد
درخت پوشای کمینه‌ای که حداکثر k یال به ازای هر رأس دارد
درخت پوشایی که بیشترین تعداد برگ را دارد
درخت پوشایی با کم‌ترین تعداد برگ (مربوط می‌شود به مسئلهٔ مسیر همیلتونی)
اگر گراف همبند باشد (یعنی از هر نقطه بتوان به یک نقطه دلخواه دیگر رسید) ولی دور نداشته باشد (یعنی هیچ نقطه‌ای از دوراه به نقطهٔ بعدی نرسد) می‌گویند گراف درختی است. درخت و ماتریس درخت در رشته‌های مختلفی مانند شیمی مهندسی برق و علم محاسبه کاربرد دارد. کیرشهف در سال ۱۸۴۷ میلادی هنگام حل دستگاههای معادلات خطی مربوط به شبکه‌های الکتریکی درختها را کشف و نظریه درختها را بارور کرد. کیلی در سال ۱۸۵۷ میلادی درختها را در ارتباط با شمارش ایزومرهای مختلف هیدروکربنها کشف کرد.
اضافه نمودن حتی یک یال به درخت پوشا باعث ایجاد دور می‌شود، چنین دوری را یک دور اساسی نامیده‌اند. برای هر یالی، دور اساسی مجزایی وجود دارد. بنابراین می‌توان گفت یک ارتباط یک به یک بین دورهای اساسی و یال‌هایی که در درخت پوشا شرکت نمی‌کنند وجود دارد. برای درخت همبندی با V تا رأس، هر درخت پوشایی V-1 یال خواهد داشت، در نتیجه هر گرافی با E یال، E-V-1 دور اساسی خواهد داشت. برای هر درخت پوشای داده شده این دورها، پایه‌ای برای فضای دوری تشکیل می‌دهند.

مفهوم دور اساسی مفهومی دوگان به نام مجموعه برش اساسی دارد. با حذف هر یک از یال‌ها در درخت پوشا، رئوس به دو دستهٔ مجزا تقسیم می‌شوند. مجموعه برش اساسی این‌گونه تعریف شده‌است: مجموعهٔ یال‌هایی که باید از گراف جدا شوند تا به تقسیم مشابهی برسیم. در نتیجه به طور دقیق V-1 مجموعه برش اساسی وجود دارد، هر یک برای یکی از یال‌های درخت پوشا. دوگان بین دو مفهوم دور اساسی و مجموعه برش اساسی از آنجا ایجاد شد که، یال‌های ایجاد کننده دور که در درخت پوشا نیستند، فقط می‌توانند در مجموعه برش‌هایی از دیگر رئوس در دور حاضر شوند؛ و بر عکس: یال‌های موجود در مجموعه برش فقط می‌توانند در دورهایی ظاهر شوند که شامل یال مربوط به مجموعه برش هستند.
جنگل پوشا، نوعی زیر درخت می‌باشد که مفهوم درخت پوشا را تعمیم داده‌است. دو تعریف متداول برای آن وجود دارد: جنگل پوشا زیر درختی است که شامل درخت پوشا در هر یک از بخش‌های همبند آن می‌باشد. به عبارت دیگر، زیر درخت بیشینه‌ای است که دور ندارد. این تعریف بیشتر در علوم کامپیوتر و بهینه سازی کاربرد دارد. تعریف دیگر که در نظریهٔ گراف‌ها کاربرد دارد، این‌گونه‌است: جنگل پوشا هر زیر درختی است که هم جنگل است (یعنی دور ندارد) و هم پوشا (یعنی شامل تمام رئوس می‌شود).

عتیقه زیرخاکی گنج