نمایش مبدأ برای گراف (ساختار داده)

[[پرونده:گراف غیر بازه‌ای.jpg|جایگزین=گرافی با ۵ راس و ۷ یال|بندانگشتی|گرافی با ۵ راس و ۷ یال]]
یک '''گراف'''<ref>{{یادکرد فرهنگستان|مصوب=گراف|بیگانه=graph|بیگانه در فارسی=|حوزه=ریاضی|دفتر=نخست|بخش=فارسی|سرواژه=گراف}}</ref> {{به انگلیسی|graph}} در [[علوم رایانه]]، [[ساختمان داده‌ها|داده‌ساختاری]] انتزاعی است که به صورت گراف [[گراف جهت‌دار|جهت دار]] و [[گراف (ریاضی)|بدون جهت]] پیاده‌سازی می‌شود و. هدفش به کارگیریِ مفهوم [[گراف (ریاضی)|گراف]] از [[ریاضیات]] و به خصوص نظریه گراف است.

یک '''[[داده ساختار]] گراف''' اساساً از یک مجموعهٔ متناهیِ [[زوج مرتب|زوج‌های مرتب]] موسوم به '''یال''' شامل واحدهایی به نام '''رأس''' یا '''گره''' تشکیل می‌شود؛ همان‌طور که در ریاضیات به ازای یک یال (u,v) می‌گوییم که u به v می‌رود یا u و v مجاورند. همچنین می‌توان به هر یال یک گراف یک عدد نسبت داد که در این صورت [[گراف وزن‌دار|گراف وزن دار]] به وجود می‌آید.

== عملیات‌ها ==
عملیات ابتدایی ارائه شده توسط یک ساختار داده گراف G معمولاً شامل:<ref>{{Cite journal|last=Bowyer|first=A|date=2002-11|title=LEDA—a platform for combinatorial and geometric computing Kurt Mehlhorn and Stefan Näher, Cambridge University Press, Cambridge, UK, 1999, £50 ($80), 1018 pages, {{شابک|0-521-56329-1}}|url=http://dx.doi.org/10.1016/s0010-4485(01)00159-2|journal=Computer-Aided Design|volume=34|issue=13|pages=1047–1048|doi=10.1016/s0010-4485(01)00159-2|issn=0010-4485}}</ref>
* مجاورت (''G'', ''x'', ''y''): امتحان اینکه آیا یک یال از رأس x به رأس y وجود دارد؛
* همسایه‌ها (''G'', ''x''):لیست تمام رأس‌ها را به طوری که یک یال از رأس x به رأس y وجود دارد؛
* درج راس(''G'', ''x'') :راس x را در صورت عدم وجود اضافه می‌کند؛
* حذف راس (''G'', ''x'') :راس x را در صورت وجود حذف می‌کند؛
* درج یال (''G'', ''x'', ''y''): یک یال از رأس x به رأس y اضافه می‌کند؛
* حذف یال (''G'', ''x'', ''y''): یال از رأس x به رأس y را در صورت وجود حذف می‌کند؛
* گرفتن ارزش راس (''G'', ''x''): مقدار مربوط به رأس x را برمی‌گرداند؛
* مقداردهی راس (''G'', ''x,v'') :مقدار مربوط به رأس x را v قرار می‌دهد.

در [[گراف وزن‌دار|گراف وزن دار]] دستورهای زیر نیز وجود دارد:
* گرفتن ارزش یال (''G'', ''x,y''):مقدار مربوط به یال گذرنده از (x, y) را بازمی‌گرداند؛
* مقدار دهی یال (''G'', ''x'', ''y'', ''v''): مقدار مربوط به لبه (x, y) را به v تنظیم می‌کند.

== نمایش گراف‌ها ==
ساختار داده‌های مختلفی برای نمایش گراف‌ها در عمل استفاده می‌شود:

=== [[لیست مجاورت]]<ref>{{Cite journal|last=Goodrich|first=Michael T.|last2=Tamassia|first2=Roberto|date=2001|title=Teaching internet algorithmics|url=http://dx.doi.org/10.1145/364447.364561|journal=Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education - SIGCSE '01|location=New York, New York, USA|publisher=ACM Press|doi=10.1145/364447.364561|isbn=1-58113-329-4}}</ref> ===
راس‌ها به عنوان سوابق یا اشیا ذخیره می‌شوند و هر رأس لیستی از رأس‌های مجاور را ذخیره می‌کند. این ساختار داده‌ها اجازه ذخیره‌سازی داده‌های اضافی در رأس‌ها را می‌دهد. داده‌های اضافی را می‌توان ذخیره کرد اگر یال‌ها نیز به عنوان اشیا ذخیره شوند، در این صورت هر رأس یال‌های حادث بر خود را ذخیره می‌کند و هر یال رأس حاد خود را ذخیره می‌کند.

=== [[ماتریس مجاورت]] ===
یک ماتریس دو بعدی، که در آن ردیف‌ها نشان دهنده رأس مبدأ و ستون‌ها نشان دهنده راس مقصد هستند. داده‌ها در یال‌ها و رأس‌ها باید در خارج از ماتریس ذخیره شوند. فقط هزینه یک یال می‌تواند بین هر جفت رأس ذخیره شود.

=== [[ماتریس وقوع]] ===
یک ماتریس بولی دو بعدی، که در آن ردیف‌ها نشان دهنده رأس‌ها و ستون هانشان دهنده یال‌ها هستند. ورودی‌ها نشان می‌دهند که آیا رأس یک ردیف به یال یک ستون متصل است یا خیر.

جدول زیر، هزینه [[پیچیدگی زمانی]] را برای انجام عملیات مختلف در گراف‌ها، برای هر یک از این نمایش‌ها، | V | نشان دهنده تعداد رأس‌ها و | E | تعداد لبه هاست.
{| class="wikitable"
|+
!
!لیست پیوندی
!ماتریس مجاورت
!ماتریس وقوع
|-
|ذخیره گراف
|<math>O(|V|+|E|)</math>
|<math>O(|V|^2)</math>
|<math>O(|V|\cdot|E|)</math>
|-
|درج راس
|<math>O(1)</math>
|<math>O(|V|^2)</math>
|<math>O(|V|\cdot|E|)</math>
|-
|درج یال
|<math>O(1)</math>
|<math>O(1)</math>
|<math>O(|V|\cdot|E|)</math>
|-
|حذف راس
|<math>O(|E|)</math>
|<math>O(|V|^2)</math>
|<math>O(|V|\cdot|E|)</math>
|-
|حذف یال
|<math>O(|V|)</math>
|<math>O(1)</math>
|<math>O(|V|\cdot|E|)</math>
|-
|سؤال: آیا رأس X و Y مجاور هستند؟

(فرض بر این است که موقعیت ذخیره‌سازی آن‌ها شناخته شده‌است)
|<math>O(|V|)</math>
|<math>O(1)</math>
|<math>O(|E|)</math>
|}
هر سه راه قابل اجرا برای [[گراف جهت‌دار|گراف جهت دار]] و بدون جهت است. نمایش '''لیست مجاورت''' معمولاً ترجیح داده می‌شود چرا که یک روش فشرده برای نمایش [[گراف کم یال|گراف‌های کم یال]] فراهم می‌کند. اگر گراف [[گراف متراکم|متراکم]] یا همان '''پر یال''' باشد، نمایشِ '''ماتریس مجاورت''' مقدم است. همچنین در مواقعی که نیاز داریم سریعاً بدانیم که آیا به ازای دو رأس داده شده
یال متصل‌کنندهٔ بینشان وجود دارد یا خیر، از لیست مجاورت استفاده می‌کنیم.
طبقه‌بندی انواع دوگان [[گراف دوگان]] گراف‌هایی که تاکنون در علوم مختلف تعریف و استفاده شده‌اند، بر اساس نحوه استخراج به دو گروه بر مبنای گراف اولیه و مفهومی تقسیم‌بندی شده‌اند. در ادامه وجه تسمیه و مشخصات آن‌ها شرح داده شده‌اند.

این نوع دوگان گراف از گراف اولیه استخراج می‌شود. به عبارت این نوع دوگان گراف از گراف اولیه دیگر بعد از اینکه گراف اولیه بر اساس دیدگاه‌های رایج آن استخراج شد، سپس دوگان گراف آن بر اساس قوانین خاصی استخراج می‌شود. در این طبقه دو نوع دوگان یعنی دوگان گراف ورونی و دوگان گراف خطی را می‌توان گنجاند.
دوگان گراف ورونی
تعریف: دوگان گراف ورونی یک [[گراف مسطح]]، گرافی است که گره‌های آن نماهای گراف اولیه بوده و یال‌های آن بیانگر ارتباطات همجواری در گراف اولیه باشد
این نوع دوگان دارای ویژگی‌های زیر است:
-دوگان گراف ورونی یک گراف مسطح یک گراف مسطح است (که ممکن است یال موازی و حلقه نیز داشته باشد(.
- اگر G یک [[همبندی (نظریه گراف)|گراف همبند]] وG‘، دوگان گراف ورونی آن باشد، آنگاه G نیز، دوگان گراف ورونیG‘ خواهد بود.
-- دوگان‌های گراف ورونی یک گراف منحصر به فرد نیستند ویک گراف می‌تواند چندین دوگان گراف ورونی غیر یک ریخت داشته باشد. زیرا با تغییر نمایش گراف اولیه دوگان گراف ورونی آن نیز تغییر می‌کند
این نوع دوگان گراف بیشتر در مسائلی که در آن‌ها نیاز به تقسیم‌بندی فضا است استفاده شده‌است. به عنوان مثال الگوریتم تولید پلیگون‌های تیسن از روی تعدا نقاط یمی از موارد کاربرد این نوع دوگان است.
از دوگان ورونی گراف برای تقریب الگوریتم‌های کوتاه‌ترین مسی بر مبنای معیار فاصله استفاده کرده‌اند. چون تعداد گره‌ها در دوگان ورونی گراف به مراتب کمتر از گراف اولیه است، به همین دلیل آن‌ها نشان داده‌اند که جواب تقریبی مسئله کوتاه‌ترین مسیر بر مبنای فاصله را می‌توان در دوگان ورونی گراف اولیه محاسبه کرد.

Wallgrun<ref name=":0">{{یادکرد کتاب|نشانی=http://dx.doi.org/10.1007/978-3-642-10345-2_6|عنوان=Global Mapping: Minimal Route Graphs Under Spatial Constraints|نام خانوادگی=Wallgrün|نام=Jan Oliver|تاریخ=2009-11-10|ناشر=Springer Berlin Heidelberg|شابک=9783642103025|مکان=Berlin, Heidelberg|صفحات=113–146}}</ref> نشان داده‌است که از دوگان ورونی گراف می‌توان در مسائل طراحی حرکت رباتها استفاده برد. طراحی حرکت یک ربات در یک محدوده بسته باید بر اساس مشاهدات لحظه‌ای ربات انجام شود به نحوی که بدون برخورد با موانع و دیوارها با پیمودن کوتاه‌ترین مسیر به مقصد مورد نظر برسد. وی نشان داده‌است که ربات مورد نظر باید بر روی دوگان ورونی گراف مشاهداتش حرکت کند. وی همچنین چگونگی استخراج این دوگان ورونی گراف را بر اساس مشاهدات ربات بیان کرده‌است.<ref name=":0" />

== الگوریتم‌های گراف ==
الگوریتم‌های گراف زمینهٔ مهم علاقه در علوم رایانه به حساب می‌آیند. برخی از عملیاتِ مربوط به گراف‌ها عبارتند از: پیدا کردن مسیری بین دو گره، مانند [[جستجوی عمق اول]] و [[جستجوی سطح اول]] و پیدا کردن کوتاهترین مسیر از یک گره به دیگری، مانند [[الگوریتم دیکسترا]]. یک روش برای پیدا کردن کوتاهترین مسیر بین هر گره و تمام گره‌های دیگر هم وجود دارد به نام [[الگوریتم فلوید-وارشال]].
{{ساختمان داده‌ها}}

== جستارهای وابسته ==
* [[پیمایش گراف]]
* [[پایگاه داده‌های گراف]]
* [[نظریه گراف]]
* [[الگوریتم جستجوی عمق اول|جستجوی عمق اول]]
* [[الگوریتم جستجوی اول سطح|جستجوی سطح اول]]

== منابع ==
{{پانویس}}
{{یادکرد|فصل= 26|کتاب=[[مقدمه‌ای بر الگوریتم‌ها]]|ناشر= MIT Press and McGraw-Hill|شهر= |کوشش= |ویرایش= 2nd edition |سال= 2001 |شابک=0-262-03293-7 |نویسنده= [[توماس اچ کورمن]]، [[Charles E. Leiserson]], [[رونالد ریوست]]، and [[کلیفورد استین]]|نویسندگان سایر بخش‌ها=|ترجمه=|صفحه=696–697 |زبان=en |مقاله= |ژورنال= |نشریه= |تاریخ= |دوره= |شماره= |شاپا=}}

[[رده:ساختمان داده]]
[[رده:گراف‌ها]]
[[رده:نوع داده انتزاعی]]
[[رده:نظریه گراف]]