اگر gیک گراف ساده متناهی باشد و برای راس vیک مجموعه(لیست) متناهی از رنگ ها تخصیص داده شده باشد، مساله اصلی پیدا کردن شرایطی است که تحت آن شرایط بتوان گراف gرا با این تخصیص لیستی طوری رنگ آمیزی کرد که رئوس مجاور رنگ متمایز دریافت کنند.شرط لازم برای چنین رنگ آمیزی شرط هال نامیده می شود.