نمایش مبدأ برای قضیه ویزینگ

در [[نظریه گراف]]، '''قضیه ویزینگ''' (به نام [[وادیم ویزینگ]] {{به انگلیسی|[[:en:Vadim G. Vizing|Vadim G. Vizing]]}} نامگذاری شده که آن را در سال ۱۹۶۴ منتشر کرد) بیان می‌کند که یال‌های هر [[گراف ساده]] را می‌توان با حداکثر یکی بیشتر از بیشترین [[درجه (نظریه گراف)|درجه]] {{math|Δ}} رئوس گراف [[رنگ‌آمیزی یالی|رنگ]] کرد.

همواره حداقل {{math|Δ}} رنگ لازم است، بنابراین گراف‌های ساده را می‌توان به دو رده افراز کرد: گراف‌های «ردهٔ اول» آنهایی هستند که {{math|Δ}} رنگ، برای رنگ‌آمیزی آن‌ها کافی است و گراف‌های «ردهٔ دوم» آن‌هایی هستند که {{math|Δ + ۱}} رنگ، برای رنگ‌آمیزی آن‌ها لازم است.

== مثال‌ها ==
هنگامی که {{math|1=Δ = ۱}} است، گراف {{math|G}} خود یک تطابق است که هیچ دو یال مجاوری ندارد و [[رنگ‌آمیزی گراف|عدد رنگی]] یالی آن یک است. پس، تمام گراف‌های با {{math|1=Δ(''G'') = ۱}} جزء گرافهای ردهٔ اول هستند.

هنگامی که {{math|1=Δ = ۲}} است، گراف {{math|G}} [[اجتماع مجموعه‌های مجزا|اجتماع مجموعه‌های مجزای]] [[مسیر (نظریه گراف)|مسیرها]] و [[دور (نظریه گراف)|دورها]] است. اگر همهٔ دورها زوج باشند، آن‌ها می‌توانند ۲-رنگ پذیر یالی باشند با تغییر تناوبی دو رنگ، پیرامون هر دور. هر چند، اگر حداقل یک دور فرد وجود داشته باشد، هیچ ۲-رنگ آمیزی یالی ممکن نیست. پس، یک گراف با {{math|1=Δ = ۲}} جزء گراف‌های ردهٔ اول است اگر و تنها اگر [[گراف دوبخشی|دوبخشی]] باشد.

قضیهٔ ویزینگ در حالت کلی برای [[گراف چندگانه|گراف‌های چندگانه]] برقرار نمی‌باشد. برای مثال، گراف چندگانهٔ حاصل از مضاعف کردن هر یال یک مثلث، بیشینه درجهٔ چهار دارد اما نمی‌توان آن را با کمتر از شش رنگ، رنگ‌آمیزی کرد.

== رده‌بندی گراف‌ها ==
چندین نویسنده شرایطی را برای رده‌بندی برخی گراف‌ها به ردهٔ اول یا ردهٔ دوم ارائه کرده‌اند اما رده‌بندی کاملی ارائه نشده‌است. برای مثال اگر مجموعهٔ رئوس با بیشینه درجهٔ {{math|Δ}} در گراف {{math|G}} یک [[مجموعه مستقل]] باشد، یا به‌طور کلی‌تر [[زیرگراف القایی]] این رئوس یک جنگل باشد، آنگاه {{math|G}} باید جزء گراف‌های ردهٔ اول باشد.

اردوش و ویلسون (۱۹۷۷) نشان دادند که [[تقریباً همه|تقریباً همهی]] گراف‌ها جزء ردهٔ اول هستند. پس، در مدل اردوش-رنیِ {{به انگلیسی|[[:en:Erdős–Rényi model|Erdős–Rényi model]]}} گراف‌های تصادفی، که تقریباً تمام گراف‌های {{math|n}}-راسی برابر هستند، {{math|''p''(''n'')}} را احتمال کشیده شدن یک گراف {{math|n}}-راسی از توزیع گراف‌های ردهٔ اول تعریف می‌کنیم، در نتیجه اگر {{math|n}} به بینهایت میل کند {{math|''p''(''n'')}} به یک نزدیک می‌شود. برای حدود بهتری که {{math|''p''(''n'')}} به یک همگرا باشد، به {{harvtxt|Frieze|Jackson|McDiarmid|Reed|1988}} رجوع شود.

== گراف‌های مسطح ==
ویزینگ (۱۹۶۵) نشان داد که هر [[گراف مسطح]] جزو گراف‌های ردهٔ اول است اگر بیشترین درجهٔ رئوس گراف حداقل هشت باشد. در مقابل او مشاهده کرد که به ازاء هر بیشترین درجهٔ بین دو تا پنج، گراف مسطحی وجود دارد که جزو گراف‌های ردهٔ دوم باشد. برای درجهٔ دو، هر دور فردی چنین گراف است و برای درجهٔ سه و چهار و پنج گراف‌های مورد نظر از [[اجسام افلاطونی]] با جایگزین کردن یک یال به جای دو یال مجاور می‌توانند ساخته شوند.

در '''حدس گراف‌های مسطح ویزینگ'''، ویزینگ (۱۹۶۵) بیان می‌کند که گراف‌های سادهٔ مسطح که بیشترین درجهٔ رئوس آن‌ها شش یا هفت است، جزء گراف‌های ردهٔ اول هستند، و این موارد ممکن باقی‌مانده را تمام می‌کند. سندرز و ژاو (۱۹۶۵) با نشان دادن ردهٔ اول بودن تمام گراف‌های مسطح با بیشترین درجهٔ رئوس هفت، تقریباً حدس گراف‌های مسطح ویزینگ را اثبات کردند. بنابراین، تنها حالت حدس که حل نشده باقی‌مانده این است که بیشترین درجه، شش باشد. این حدس شامل دلایلی برای [[رنگ‌آمیزی کامل گراف|حدس رنگ‌آمیزی کامل گراف]] است.

گراف‌های مسطح ردهٔ دوم که با زیربخش‌های اجسام افلاطونی ساخته می‌شوند منظم نیستند: آن‌ها رئوس درجهٔ دو دارند همانطور که رئوس با درجهٔ بالاتر دارند. [[قضیه چهاررنگ]]، روی رنگ‌آمیزی راسی گراف‌های مسطح، معادل این گزاره است که هر گراف ۳-منظمِ مسطحِ بدون [[یال برشی]] جزء گراف‌های ردهٔ اول هستند (تایت ۱۸۸۰). این گزاره بعد از اثبات [[قضیه چهار رنگ]] توسط اپل و هاکن (۱۹۷۶) درست شناخته شد.

== گراف‌های روی رویه‌های غیرمسطح ==
در سال ۱۹۶۹، [[برانکو گرانبام]] {{به انگلیسی|[[:en:Branko Grünbaum|Branko Grünbaum]]}} حدس زد که تمام گراف‌های ۳-منظم با برازش [[چندوجهی]] روی هر [[خمینهٔ جهت‌دار]] دو بعدی مانند [[چنبره]]، باید جزو گراف‌های ردهٔ اول باشد. در این زمینه، برازش چندوجهی یک [[برازش گراف]] است که در آن هر ناحیه از برازش از نظر توپولوژیکی یک دیسک است و به طوری که [[گراف دوگان|گرافِ دوگانِ]] برازش ساده است، بدون حلقه و یال چندگانه. در صورت درست بودن، این حدس یک تعمیم قضیهٔ چهار رنگ است که توسط تایت، نشان داده شد معادل این گزاره است که گراف‌های ۳-منظم با برازش چندوجهی روی یک [[کره (هندسه)|کره]]، جزء رده اول هستند. اگرچه کُچُل (۲۰۰۹) نشان داد که حدس غلط است اگر [[اسنارک|اسنارکی]] {{به انگلیسی|[[:en:Snark (graph theory)|snark]]}} که دارای برازش چندوجهی بر روی رویهٔ جهت‌دار بالادسته وجود داشته باشد. بر این اساس، او همچنان نشان داده است که دانستن اینکه برازش چندوجهی جزو گراف‌ها ردهٔ اول است، [[ان‌پی کامل]] است.

== الگوریتم‌ها ==
میسرا و گرایز (۱۹۹۲) یک الگوریتم با زمان چندجمله‌ای برای رنگ‌آمیزی هر گراف با {{math|Δ + ۱}} رنگ ارائه کردند، که {{math|Δ}} بیشینه درجهٔ گراف است. پس، الگوریتم برای گراف‌های ردهٔ دوم از تعداد رنگ‌های بهینه استفاده می‌کند، و حداکثر یکی بیشتر از تعداد رنگ‌های مورد نیاز برای همهٔ گراف‌ها. الگوریتم آن‌ها از روشی یکسان با اثبات اصلی ویزینگ برای قضیه‌اش پیروی می‌کند: این الگوریتم از یک گراف رنگ نشده شروع می‌کند، و سپس به‌طور مکرر راهی را برای رنگ‌آمیزی دوباره گراف پیدا می‌کند تا تعداد یال‌های رنگ شده را یک عدد افزایش دهد.

به‌طور خاص‌تر، فرض کنید که {{math|''uv''}} یک یال رنگ نشده در یک گراف نیمه رنگ شده باشد. الگوریتم میسرا و گرایز ممکن است به عنوان ساخت یک [[شبه جنگل]] {{به انگلیسی|[[:en:Pseudoforest|Pseudoforest]]}} جهت‌دار {{math|P}} (یک گراف که هر رأس آن حداکثر یک یال خارج‌شونده دارد.) روی همسایه‌های {{math|u}} تفسیر شود: برای هر همسایهٔ {{math|p}} از {{math|u}}، الگوریتم یک رنگ {{math|c}} را می‌یابد که توسط هیچ یک از یال‌های مجاور {{math|p}} استفاده نشده‌است، رأس {{math|q}} را می‌یابد (در صورت وجود) که یال {{math|uq}} رنگ {{math|c}} را دارد و {{math|pq}} را به عنوان یک یال به {{math|P}} اضافه می‌کند. دو حالت وجود دارد:
* اگر شبه جنگل {{math|P}} که به این روش ساخته می‌شود شامل یک مسیر از {{math|v}} به {{math|w}} باشد که هیچ یال خروجی در {{math|P}} نداشته باشد، آنگاه رنگ {{math|c}} وجود دارد که در هر دو {{math|u}} و {{math|w}} قابل استفاده است. رنگ‌آمیزی دوباره یال {{math|uw}} با رنگ {{math|c}} اجازه می‌دهد که رنگ‌های یال باقی‌مانده در طول مسیر یک گام انتقال یابند: برای هر رأس {{math|p}} در مسیر، یال {{math|up}} رنگی را که قبلاً توسط تالی {{math|p}} در مسیر استفاده شده بود را می‌گیرد. این منجر به یک رنگ‌آمیزی جدید می‌شود که شامل یال {{math|uv}} نیز هست.
* از سوی دیگر، اگر مسیری که از {{math|v}} شروع می‌شود در شبه جنگل {{math|P}} منجر به یک دور شود، فرض کنید {{math|w}} همسایهٔ {{math|u}} در شبه جنگل {{math|P}} باشد در جایی که مسیر به دور می‌پیوندد، فرض کنید {{math|c}} رنگ یال {{math|uw}} باشد، و فرض کنید {{math|d}} رنگی باشد که توسط هیچکدام از یال‌های راس {{math|u}} استفاده نشده‌است. آنگاه جابجا کردن رنگ‌های {{math|c}} و {{math|d}} روی یک [[زنجیر کمپ]] {{به انگلیسی|[[:en:Kempe chain|Kempe chain]]}} یا دور را می‌شکند یا یالی که در آن مسیر به دور می‌پیوندد، منجر به حالت قبلی می‌شود.

با برخی از ساختمان داده‌های ساده برای پیگیری رنگ‌هایی استفاده شده و قابل استفاده در هر رأس، می‌توان ساختن {{math|P}} و گام‌های رنگ‌آمیزی دوباره الگوریتم را با زمان {{math|O(''n'')}} پیاده‌سازی کرد، که {{math|n}} تعداد رئوس گراف ورودی است. چون در هر تکرار این گام‌ها تعداد یال‌های رنگ شده یکی افزایش می‌یابد، باید این گام‌ها را {{math|m}} بار تکرار کرد، پس زمان مجموع برابر است با {{math|O(''mn'')}}.

در یک [[گزارش فنی]] منتشر نشده، گابو و همکاران (۱۹۸۵) ادعای ارائهٔ یک محدودیت زمانی <math>O(m\sqrt n\log n)</math> سریع‌تر را برای مسئلهٔ رنگ‌آمیزی یکسان با {{math|Δ + ۱}} رنگ را کردند.

== تاریخچه ==
در هر دو گوتین و تافت (۲۰۰۰) و سافیر (۲۰۰۸)، ویزینگ اشاره کرد که کارش انگیخته شده توسط یکی از قضایای شانون (۱۹۴۹) است که نشان می‌دهد گراف‌های چندگانه می‌توانند با حداکثر {{math|(۳/۲)Δ}} رنگ، رنگ‌آمیزی شوند. هر چند حالا قضیه ویزینگ جزء مواد استاندارد بسیاری از کتاب‌های نظریه گراف است، ویزینگ در ابتدا برای انتشار نتایجش مشکل داشت، و مقاله‌اش در یک مجلهٔ گمنام به نام Diskret. Analiz. چاپ شد.

== جستارهای وابسته ==
* [[قضیه بروکس]] {{به انگلیسی|[[:en:Brooks' theorem|Brooks' theorem]]}}، رنگ‌آمیزی رأسی را به بیشترین درجه مرتبط می‌کند.

== منابع ==
{{پانویس}}
* {{یادکرد ویکی|عنوان =Vizing's theorem |پیوند =http://en.wikipedia.org/wiki/Vizing's_theorem  |زبان =انگلیسی| بازیابی =۲۰ آذر ۱۳۹۲}}
* {{citation
 | last1 = Frieze | first1 = Alan M. | author1-link = Alan M. Frieze
 | last2 = Jackson | first2 = B.
 | last3 = McDiarmid | first3 = C. J. H.
 | last4 = Reed | first4 = B. | author4-link = Bruce Reed (mathematician)
 | doi = 10.1016/0095-8956(88)90065-2
 | issue = 2
 | journal = [[Journal of Combinatorial Theory]] | series = Series B
 | mr = 961145
 | pages = 135–149
 | title = Edge-colouring random graphs
 | volume = 45
 | year = 1988}}.

== پیوند به بیرون ==
* [http://planetmath.org/?op=getobj&from=objects&id=6932 اثبات قضیه ویزینگ] در [[پلنت‌مث]].

[[رده:رنگ‌آمیزی گراف]]
[[رده:قضیه‌ها در نظریه گراف]]