رنگ‌آمیزی فهرستی گراف
در نظریه گراف، که شاخه‌ای از ریاضیات است، رنگ‌آمیزی لیستی نوعی از رنگ‌آمیزی گراف است. در این رنگ‌آمیزی برای هرراس لیستی از رنگ‌ها وجود دارد که آن راس می‌تواند توسط یکی از رنگ‌های این لیست رنگ شود. این شاخه ابتدا توسط ویزینگ، اردوش، رابین و تیلور مورد مطالعه قرار گرفت و بنیان آن بنا شد.
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-لیست رنگ‌پذیر می‌باشد.
فرض کنید "q" یک عدد صحیح مثبت باشد و "G" یک گراف کامل دوبخشی "K" باشد. رنگ‌های موجود را با "q" عدد دو رقمی مختلف در مبنای q نمایش می‌دهیم. در بخشی از این گراف دو بخشی که "q" راس دارد، هر راس از گراف را متناظر با مجموعه‌ای از رنگ‌ها در نظر می‌گیریم که رقم باارزش آن‌ها یکسان است. برای مثال به راس شمارهٔ i ام مجموعه رنگ‌های {i0,i1, … ,iq} متناظر می‌کنیم. در بخش دیگر از این گراف دو بخشی، به هر راس از "q" راس این گراف یک مجموعه از رنگ‌ها مانند {... ,0a, 1b, 2c}، به طوری که رقم باارزش آن‌ها متفاوت باشد. به تعداد "q" تا مجموعه با چنین خاصیتی وجود دارد، زیرا تعداد q-تایی‌های (...,a,b,c) برابر با "q" است. برای مثال اگر q" = 2" باشد، گراف دو بخشی "K" خواهیم داشت. در این گراف دو راس واقع در یک بخش این گراف مجموعه رنگ‌های {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 است.
به‌طور مشابه، اگر formula_1، گراف کامل دو بخشی"k"، "K"-لیست رنگ‌پذیر نیست. فرض کنید 2k-1 رنگ موجود باشد و در یک بخش از گراف هر راس با بقیه رئوس در یک "k"-تایی از این رنگ‌ها متفاوت باشد. پس هر بخش از گراف باید حداقل از "k" رنگ استفاده کند، در غیر این‌صورت، بعضی از راس‌ها، بی‌رنگ می‌مانند، اما این شرط باعث می‌شود که دو راس مجاور هم‌رنگ باشند. به‌طور خاص گراف مسئله سه روستا، 3-لیست رنگ‌پذیر و گراف کامل دوبخشی که هر بخش آن n رأس دارد ۴-لیست رنگ‌پذیر است. عدد رنگی لیستی (ch("G" از قواعد زیر برای گراف "G" با "n" راس، عدد رنگی ("X("G و بیشینه درجه (Δ("G" :
دو مسئله الگوریتمی که مطرح شده‌است: مسئلهٔ "k"-لیست رنگ‌پذیری در گراف‌های دوبخشی برای هر "k" ≥ 3 formula_3-کامل است، و به‌طور مشابه برای 4-لیست رنگ‌پذیری در گراف‌های مسطح، 3-لیست رنگ‌پذیری در گراف‌های بدون مثلثی، (2, 3)-لیست رنگ‌پذیری برای گراف‌های مسطح دوبخشی.
می‌توان در زمان خطی مشخص کرد که یک گراف 2-لیست رنگ‌پذیر است یا نه. برای این کار به‌طور مکرر راس‌های درجه صفر یا یک را حذف می‌کنیم تا جایی که به یک گراف با بیشینه درجه‌ی دو برسیم. گراف اولیه k-لیست رنگ‌پذیر است اگر و تنها اگر گراف ساده شده یک دور زوج یا یک گراف تتا باشد که از سه مسیر با نقطهٔ پایانی مشترک تشکیل شده‌باشد، که طول 2 تا از آن‌ها دو و طول سومی زوج باشد.