نمایش مبدأ برای فهرست برخی گراف‌های خاص

این مقاله به معرفی و بیان خواص '''برخی گراف‌های خاص''' می‌پردازد. این گراف‌ها شامل ''گراف هی وود''، ''گراف پترسن''، ''گراف کنزر''، ''گراف‌های <math>n</math>-بعدی'' و ''ماز همپتون'' می‌باشند.
== گراف هی وود ==
[[پرونده:Heawood_small.JPG|frame|left|نامگذاری به نام: [[پرسی جان هیوود]] <br/> تعداد رأس‌ها:۱۴ <br/> تعداد یال‌ها:۲۱<br/> [[عدد رنگی]]:۲ <br/>[[اندیس رنگی]]:۳ <br/> مینیمم طول دور:۶<br/>[[منتظم]]]]گراف هی وود یک گراف  بدون جهت با14 رأس و 21 یال است  . 

گراف هی وود [[گراف منتظم|۳-منتظم]] است و این یعنی از هر راس آن سه یال بیرون آمده است، و همهٔ دورها در آن حداقل 6 و حد اکثر 14 یال دارد . [[عدد تقاطع]] گراف 3 است و کوچکترین [[گراف منتظم]] با این عدد تقاطع است. این گراف به نام [[پرسی جان هی وود]] نامگذاری شده‌است.

این گراف  را هم به صورت دایره مانند می‌توان مشاهده نمود و هم به صورت بیضی مانند، در درون این گراف هر جفت از رأس‌هایش که به هم متصل اند در میانشان چهار راس وجود دارد و به تعداد راس‌هایش در داخل خود مثلث به وجود آورده‌است .<br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/><br/>

== گراف پترسن ==
گراف پترسن یک گراف بدون جهت با ۱۰ رأس و ۱۵ یال است. گرافی کوچک که مثال و مثال نقض مفیدی برای خیلی از مسائل در [[نظریه گراف]] است. این گراف به [[جولیوس پترسن]] نسبت داده شده ولی در حقیقت برای اولین بار، ۱۲ سال زودتر در سال ۱۸۸۶ به وجود آمده بود.

<gallery>
Image:Petersen_small.JPG|نامگذاری به نام: جولیوس پترسن <br/> تعداد رأس‌ها:10 <br/> تعداد یال‌ها: 15 <br/> قطر:2 <br/> مینیمم طول دور:5 <br/> [[عدد رنگی]]:۳ <br/> [[اندیس رنگی]]:۴ <br/> [[منتظم]] <br/> غیرمسطح
Image:Petersen2_small.JPG|عدد تقاطع گراف پترسن 2 است.
Image:Petersen3_small.JPG|گراف پترسن در صفحه می‌تواند به گونه‌ای رسم شود که طول هر یال برابر واحد باشد
Image:Petersen4_small.JPG|گراف پترسن شبه هامیلتونی است.
Image:Petersen5_small.JPG|عدد رنگی گراف پترسن 3 است. یک نمونه رنگ آمیزی با 3 رنگ.
</gallery>

=== ساخت ===
گراف پترسن، [[گراف مکمل]] [[گراف خط]] <math>K_5</math> است. همچنین گراف کنزر <math>KG_{5,2}</math> است به این معنا که اگر برای هر کدام از [[زیرمجموعه|زیرمجموعه‌های]] دو عضوی یک مجموعهٔ ۵ عضوی یک رأس در نظر بگیریم و بین هر دو رأسی که زیرمجموعه‌ها ی نظیرشان ناسازگار باشند یک یال وصل کنیم، گراف پترسن ساخته می‌شود. <br/>
گراف پترسن هم با [[گراف کامل]] <math>K_5</math> و هم با [[گراف دوبخشی]] کامل <math>K_{3,3}</math> [[همومورف]] است. <br/>
متداول‌ترین شیوهٔ رسم گراف پترسن در یک صفحه، یک پنج ضلعی با یک ستارهٔ پنج رأسی درون آن است که هر یک از رأس‌های ستاره به رأس‌های پنج ضلعی با یک یال وصل می‌شود.این شیوهٔ نمایش متقارن است. در این شکل یال‌ها در ۵ نقطه یکدیگر را قطع می‌کنند.(شکل۱) این روش ترسیم بهترین روش برای مینیمم کردن تعداد تقاطع‌ها نیست. روشی دیگر برای کشیدن گراف پترسن با دو نقطهٔ تقاطع وجود دارد که در شکل۲ نشان داده شده‌است. بنابراین [[عدد تقاطع]] گراف پترسن ۲ است. <br/>
گراف پترسن همچنین می‌تواند در صفحه به گونه‌ای رسم شود که همهٔ یال‌ها طول یکسان برابر واحد داشته باشند.(شکل۳) <br/>
=== مسیرها و دورهای همیلتونی ===
گراف پترسن [[مسیر هامیلتونی]] دارد ولی [[دور هامیلتونی]] ندارد.
گراف پترسن کوچکترین گراف شبه هامیلتونی است یعنی اگرچه دور هامیلتونی ندارد، هر کدام از رأس‌هایش که حذف شوند می‌توان یک دور هامیلتونی در آن پیدا کرد.(شکل۴)
<br/><br/><br/><br/><br/>

== گراف نسر(Kneser) ==
[[پرونده:Kneser_small.JPG|frame|left| این گراف با گراف پترسن ایزومورف است.]]

در [[نظریه گراف]] گراف نسر،<math>KG_{n,k}</math>، گرافی است که رأس‌های آن نظیر [[زیرمجموعه|زیرمجموعه‌های]] k عضوی از یک [[مجموعه (ریاضی)|مجموعه ی]] n عضوی است. بین دو رأس یک یال وجود دارد اگر و تنها اگر زیرمجموعه‌های نظیر رأس‌ها ناسازگار باشند(اشتراکشان تهی باشد). این گراف‌ها به نام [[مارتین کنزر]] نامگذاری شده‌اند که برای اولین بار آن‌ها را در سال ۱۹۵۵ بررسی کرد.

=== مثال‌ها ===
* گراف کامل n رأسی گراف نسر <math>KG_{n,1}</math> است.
* گراف <math>KG_{5,2}</math> با گراف پترسن [[ایزومورف]] است.

=== خصوصیات ===
* در گراف نسر هر رأس با انتخاب k از n-k رأس دیگر مجاور است.
* همانگونه که نسر حدس زد [[عدد رنگی]] گراف <math>KG_{n,k}</math> دقیقاً برابر n-۲k+۲ است. Lovasz در سال ۱۹۷۸ و Joshua در سال ۲۰۰۲ برای این فرمول اثبات‌هایی [[توپولوژی]]کی ارائه دادند. در سال ۲۰۰۴ Matoušek اثباتی کاملاً [[ترکیبیات]]ی برای آن پیدا کرد.
* وقتی n بزرگتر مساوی ۳k باشد گراف نسر همیشه [[دور هامیلتونی]] خواهد داشت (چن ۲۰۰۰). محاسبات نشان داده‌اند که همهٔ [[گراف همبند|گراف‌های همبند]] کنزر با n‌های کوچکتر مساوی ۲۷ به جز گراف پترسن، همیلتونی هستند.
* اگر n کوچکتر از ۳k باشد گراف نسر هیچ مثلثی نخواهد داشت.

== گراف‌های n- بعدی ==
[[پرونده:Cubegraph.jpg|frame|left| گراف 4 بعدی]]
[[مکعب|مکعب‌ها]] با ابعاد مختلف می‌توانند گراف در نظر گرفته شوند. مکعب با بعد n را با <math>Q_n</math> نشان می‌دهیم. [[کد گری]] کدی است که هر کد با کد قبلی فقط در یک بیت تفاوت دارد و کد آخر با کد اول نیز در یک بیت متفاوت است. می‌توانیم این مسئله را با استفاده از <math>Q_n</math> حل کنیم. هر کدگری [[دور هامیلتونی]] در <math>Q_n</math> است. می‌توانیم <math>Q_n</math> را از روی <math>Q_{n-1}</math> بسازیم. ابتدا یک کپی از <math>Q_{n-1}</math> رسم می‌کنیم(<math>P_{n-1}</math>). ابتدای بیت‌های <math>Q_{n-1}</math>، صفر و ابتدای بیت‌های <br/> <math>P_{n-1}</math>، یک می‌گذاریم. سپس رأس‌های متناظر <math>Q_{n-1}</math> و <math>P_{n-1}</math> را به هم وصل می‌کنیم.

== سفیروت ==
[[پرونده:Sefirot_kabbalah _small.JPG|thumb|150px|left|درخت زندگی آئین کابالا]]
درخت زندگی سمبل اصلی [[آئین کابالا]] است. در شکل رأس‌ها، ۱۰ [[سفیروت]] (مظهر خدایی) را نمایش می‌دهند(به عقیدهٔ Zohar، جهان در ده کلمه خلق شده‌است). ۲۲ یال(برابر ۲۲ تا حرف [[عبری]] کانال‌هایی هستند که نیروهای یزدانی از نیان آن‌ها عبور می‌کنند.)
این شکل به‌طور عمده بدنهٔ جهان یا نقشه خلقت را نشان می‌دهد.

== ماز همپتون ==
هر مازی نظیر یک گراف است. رأس‌ها را محل‌های تقاطع راه‌ها، و یال‌ها را معادل مسیرها در نظر می‌گیریم.
قدیمی‌ترین ماز باقی مانده در بریتانیا در [[قصر همپتون]] قرار دارد. قابلیت عبور از مازها یک زمانی مسئلهٔ مهمی بود. سؤال این است که آیا [[الگوریتم]]ی وجود دارد که کسی بتواند بدون آنکه از قبل ساختار ماز را بداند، از ماز عبور کند و از هر مسیر دو بار در جهت مخالف عبور کند؟
اولین الگوریتم برای عبور از یک ماز به C.Wiener نسبت داده شده‌است. Tremaux الگوریتمی بهینه تر در سال ۱۸۸۲ ارائه داد. ساده‌ترین و بهترین الگوریتم را Tarry در سال ۱۸۹۵ پیشنهاد داد.

[[پرونده:Hampton_maze.JPG|thumb|left| گراف معادل ماز همپتون]]

== منابع ==
* [https://web.archive.org/web/20080517091956/http://www.math.siu.edu/kocik/graphs/index.htm Graphs we live by]
* [[:en:Kneser_graph]] 
* [[:en:Petersen_Graph]] 
* [[:en:Heawood_graph]] 
[[رده:نظریه گراف]]