فرض کنید g گرافی با مجموعه رئوس v باشد. زیرمجموعه d از v یک مجموعه احاطه گر است هرگاه هر راس از v-d با راسی از d مجاور باشد. افراز دماتیک رئوس عبارت است از افراز رئوس به مجموعه های احاطه گر. بیشترین تعداد مجموعه در چنین افرازی، عدد دماتیک g نامیده میشود. فرض گنید f تابعی باشد که به رئوس گراف مقادیر 0، 1 و 2 را نسبت می دهد. هرگاه هر راس با مقدار 0 با راسی با مقدار 2 مجاور باشد، به چنین تابعی تا...

...

فرض کنید یک گراف ساده با مجموعه رئوس مجموعه یالهای باشد. همسایگی باز رأس عبارت است از و همسایگی بسته آن برابر است با . فرض کنید یک تابع حقیقی مقدار بر باشد. در این صورت را وزن تابع می نامند. تابع را یک تابع احاطه گر (تام) علامت دار در نامند هرگاه به ازای هر ، ( ). مینیمم وزن در میان تمام توابع احاطه گر (تام) علامت دار را عدد احاطه ای (تام) علامت دار نامیده و با ( ) نشان می دهند. تابع احاطه گر (...

گراف g را با مجموعه رئوس و یالهای v وe در نظر بگیرید توابع f و g را به ترتیب از v و e به {1-و1} تعریف کنید.تابع g را یک تابع k-زیراحاطه گر تام یالی علامتدار است هرگاه بر ای حداقل k یال از g مجموع وزن یالهای موجود در همسایگی یالی باز آنها بزرگتر یا مساوی یک باشد. مینیمم وزن g از g را عدد k-زیراحاطه ای تام یالی علامتدار تابع f را یک تابع بد گویند هرگاه بازای هر راس از g مجموع وزن رئوس موجود در هم...