رنگ‌آمیزی فهرستی گراف

در نظریه گراف، که شاخه‌ای از ریاضیات است، رنگ‌آمیزی لیستی نوعی از رنگ‌آمیزی گراف است. در این رنگ‌آمیزی برای هرراس لیستی از رنگ‌ها وجود دارد که آن راس می‌تواند توسط یکی از رنگ‌های این لیست رنگ شود. این شاخه ابتدا توسط ویزینگ ، اردوش، رابین و تیلور مورد مطالعه قرار گرفت و بنیان آن بنا شد.
تعریف
G را یک گراف در نظر بگیرید و برای هر راس مانند v از گراف، (L(v را لیستی از رنگ‌های موجود برای آن راس، تعریف کنید. رنگ‌آمیزی لیستی یک رنگ‌آمیزی انتخابی است که به هر راس مانند v یک رنگ دلخواه از لیست رنگ‌های آن راس ((L(v) متناظر می‌کند. به یک رنگ‌آمیزی لیستی خوب می‌گوییم هرگاه هیچ دو راس مجاوری همرنگ نباشند. یک گراف را k-لیست رنگ‌پذیر می‌نامیم هرگاه مستقل از این که لیست k رنگی رنگ‌های هر راس چیست، یک رنگ‌آمیزی لیستی خوب برای آن وجود داشته‌باشد. عدد رنگی لیستی ((ch(G) گراف G، کوچکترین عدد k است که گراف k، G رنگ‌پذیر است.
به بیان دقیق‌تری، برای یک تابع مانند f که به هر راس مانند v یک عدد صحیح مثبت، (f(v را نسبت می‌دهد، گراف G را f-لیست رنگ‌پذیر می‌نامند، هرگاه مستقل از این که لیست (f(v رنگی هر راس مانند v شامل چه رنگ‌هایی باشد، یک رنگ‌آمیزی لیستی خوب برای آن وجود داشته‌باشد. به طور خاص اگر برای هر راس مانند f(v) = k ،v باشد، گراف k-لیست رنگ‌پذیر می‌باشد.
مثال
مثالی از لیست رنگی گراف در گراف کامل دوبخشی K 3,27 با 3 رنگ برای هر راس. اهمیتی ندارد که کدام رنگ‌ها برای 3 راس وسط انتخاب شود، یکی از ۲۷ راس بیرونی بدون رنگ خواهد ماند، که نشان می‌دهد عدد رنگی لیستی برای گراف K 3,27 حداقل ۴ است.
فرض کنید q یک عدد صحیح مثبت باشد و G یک گراف کامل دوبخشی K q,q q باشد. رنگ‌های موجود را با q 2 عدد دو رقمی مختلف در مبنای q نمایش می‌دهیم. در بخشی از این گراف دو بخشی که q راس دارد، هر راس از گراف را متناظر با مجموعه‌ای از رنگ‌ها در نظر می‌گیریم که رقم باارزش آن‌ها یکسان است. برای مثال به راس شماره‌ی i ام مجموعه رنگ‌های {i0,i1, … ,iq متناظر می‌کنیم. در بخش دیگر از این گراف دو بخشی، به هر راس از q q راس این گراف یک مجموعه از رنگ‌ها مانند {… ,0a, 1b, 2c، به طوری که رقم باارزش آن‌ها متفاوت باشد. به تعداد q q تا مجموعه با چنین خاصیتی وجود دارد، زیرا تعداد q-تایی‌های (…,a,b,c) برابر با q q است. برای مثال اگر q = 2 باشد، گراف دو بخشی K 2,4 خواهیم داشت. در این گراف دو راس واقع در یک بخش این گراف مجموعه رنگ‌های {00,01, {10,11 و 4 راس واقع در بخش دیگر گراف مجموعه رنگ‌های {00,10, {00,11, {01,10, {01,11 را دارند. تصویر روبرو یک مثال بزرگ‌تر را به ازای q = 3 نشان می‌دهد.
عدد رنگی لیستی گراف G از q کوچک‌تر یا مساوی نیست. مستقل از این که چه رنگی برای هر راس انتخاب شود، در بخش بزرگ‌تر راسی که لیست رنگی آن برابر با مجموعه رنگ‌های بخش کوچک‌تر است، نمی‌تواند رنگ شود. برای مثال اگر راس با لیست رنگی {00,01 با 01 و راس با لیست رنگی {10,11 با 10 رنگ شود، سپس راس با لیست رنگی {01,10 با هیچ‌کدام از دو رنگ 01 و 10 نمی‌تواند رنگ شود. بنابراین عدد رنگی لیستی G حداقل q + 1 است.
به طور مشابه، اگر ، گراف کامل دو بخشیk، K n,n -لیست رنگ‌پذیر نیست. فرض کنید 2k-1 رنگ موجود باشد و در یک بخش از گراف هر راس با بقیه رئوس در یک k-تایی از این رنگ‌ها متفاوت باشد. پس هر بخش از گراف باید حداقل از k رنگ استفاده کند، در غیر این‌صورت، بعضی از راس‌ها، بی‌رنگ می‌مانند، اما این شرط باعث می‌شود که دو راس مجاور هم‌رنگ باشند. به طور خاص گراف مسئله سه روستا، 3-لیست رنگ‌پذیر و گراف کامل دوبخشی که هر بخش آن n راس دارد ۴-لیست رنگ‌پذیر است.
ویژگی‌ها
عدد رنگی لیستی (ch(G از قواعد زیر برای گراف G با n راس، عدد رنگی (X(G و ((G :
(ch(G) ≥ (G. یک گراف k لیست رنگ‌پذیر، یک رنگ‌آمیزی لیستی خوب دارد، پس این گراف یک رنگ‌آمیزی معمولی با K رنگ دارد.
(ch(G معمولا، توسط عدد رنگی محدود نمی‌شود، به عبارتی ((ch(G) ≤ f((G به طور معمول برای هیچ تابعی مانند f برقرار نخواهد بود. به طور خاص، همان‌طور که مثال‌های گراف کامل دوبخشی نشان می‌دهد، گراف‌هایی وجود دارد که (G) = 2 ولی (ch(G تقریبا بزرگی دارند.
(ch(G) ≤ (G) ln(n
ch(G) ≤ (G) + 1.
اگر G یک گراف مسطح باشد ch(G) ≤ 5.
اگر G یک گراف مسطح دوبخشی باشد ch(G) ≤ 3.
محاسبه عدد رنگی لیستی
دو مسئله الگوریتمی که مطرح شده‌است:
k-لیست رنگ‌پذیری. تصمیم می‌گیرد که گراف داده شده، به ازای k داده شده، k لیست رنگ‌پذیر است یا نه.
(j, k)-لیست رنگ‌پذیری. تصمیم می‌گیرد که گراف داده شده f-لیست رنگ‌پذیر است یا نه، به ازای یک تابع داده شده
مسئله‌ی k-لیست رنگ‌پذیری در گراف‌های دوبخشی برای هر k ≥ 3
-کامل است، و به طور مشابه برای 4-لیست رنگ‌پذیری در گراف‌های مسطح، 3-لیست رنگ‌پذیری در گراف‌های ، (2, 3)-لیست رنگ‌پذیری برای گراف‌های مسطح دوبخشی.
می‌توان در مشخص کرد که یک گراف 2-لیست رنگ‌پذیر است یا نه. برای این کار به طور مکرر راس‌های درجه صفر یا یک را حذف می‌کنیم تا جایی که به یک گراف با بیشینه برسیم. گراف اولیه k-لیست رنگ‌پذیر است اگر و تنها اگر گراف ساده شده یک دور زوج یا یک باشد که از سه مسیر با نقطه‌ی پایانی مشترک تشکیل شده‌باشد، که طول 2 تا از آن‌ها دو و طول سومی زوج باشد.