Constraint graph
செயற்கை நுண்ணறிவு மற்றும் செயல்பாட்டு ஆராய்ச்சியில் கட்டுப்பாடு திருப்தி ஆராய்ச்சியில், கட்டுப்பாடு திருப்தி சிக்கலில் உள்ள கட்டுப்பாடுகளுக்கு இடையிலான உறவுகளைக் குறிக்க கட்டுப்பாடு வரைபடங்கள் மற்றும் ஹைப்பர் கிராஃப்கள் பயன்படுத்தப்படுகின்றன. ஒரு கட்டுப்பாடு வரைபடம் என்பது ஒரு காரணி வரைபடத்தின் ஒரு சிறப்பு வழக்கு, இது இலவச மாறிகள் இருப்பதை அனுமதிக்கிறது. கட்டுப்பாடு ஹைப்பர் கிராஃப் ஒரு கட்டுப்பாடு திருப்தி சிக்கலின் கட்டுப்பாடு ஹைப்பர் கிராஃப் என்பது ஒரு ஹைப்பர் கிராஃப் ஆகும், இதில் செங்குத்துகள் மாறிகளுடன் ஒத்திருக்கின்றன, மேலும் ஹைப்பர் விளிம்புகள் கட்டுப்பாடுகளுடன் ஒத்திருக்கின்றன. தொடர்புடைய மாறிகள் சில கட்டுப்பாடுகளில் நிகழ்கின்றன என்றால் செங்குத்துகளின் தொகுப்பு ஒரு உயர் விளிம்பை உருவாக்குகிறது. கட்டுப்பாடு ஹைப்பர் கிராஃப்பைப் பிரதிநிதித்துவப்படுத்துவதற்கான ஒரு எளிய வழி பின்வரும் பண்புகளைக் கொண்ட ஒரு கிளாசிக்கல் கிராஃப்பைப் பயன்படுத்துவதாகும்ஃ செங்குத்துகள் மாறிகள் அல்லது கட்டுப்பாடுகளுடன் ஒத்திருக்கின்றன, ஒரு விளிம்பு ஒரு மாறி-வெர்டெக்ஸை ஒரு கட்டுப்பாடு-வெர்டெக்ஸுடன் மட்டுமே இணைக்க முடியும், மேலும் ஒரு மாறி-வெர்டெக்ஸ் மற்றும் ஒரு கட்டுப்பாடு-வெர்டெக்ஸுக்கு இடையே ஒரு விளிம்பு உள்ளது, தொடர்புடைய மாறி தொடர்புடைய கட்டுப்பாடில் ஏற்பட்டால் மட்டுமே. பண்புகள் 1 மற்றும் 2 ஒரு இருதரப்பு வரைபடத்தை வரையறுக்கின்றன. செங்குத்துகளை மாறி-செங்குத்துகள் என்றும், உயர் விளிம்புகளை ஒவ்வொரு கட்டுப்பாடு-வெர்டெக்ஸுடன் இணைக்கப்பட்ட மாறி-செங்குத்துகளின் தொகுப்புகள் என்றும் வரையறுப்பதன் மூலம் ஹைப்பர் கிராஃப் மீட்கப்படுகிறது. ஒரு கட்டுப்பாடு திருப்தி சிக்கலின் முதன்மையான கட்டுப்பாடு வரைபடம் அல்லது வெறுமனே முதன்மையான வரைபடம் (கைஃப்மேன் வரைபடம்) என்பது சிக்கலின் மாறிகள் மற்றும் இரண்டு மாறிகள் ஒன்றாக ஏற்பட்டால் ஒரு விளிம்பு ஒரு ஜோடி மாறிகளுடன் இணைக்கும் வரைபடமாகும். முதன்மையான கட்டுப்பாடு வரைபடம் உண்மையில் கட்டுப்பாடு ஹைபர் கிராஃப்பின் முதன்மையான வரைபடமாகும். இரட்டை கட்டுப்பாடு வரைபடம் ஒரு கட்டுப்பாட்டுடன் தொடர்புடைய மாறிகளின் தொகுப்பு கட்டுப்பாடு நோக்கம் என்று அழைக்கப்படுகிறது. இரட்டை கட்டுப்பாடு வரைபடம் என்பது செங்குத்துகள் அனைத்தும் சிக்கலின் கட்டுப்பாடுகளில் ஈடுபடும் கட்டுப்பாடு அளவுகோல்களாக இருக்கும் வரைபடமாகும், மேலும் தொடர்புடைய அளவுகோல்கள் பொதுவான மாறிகளைக் கொண்டிருந்தால் இரண்டு செங்குத்துகள் ஒரு விளிம்பால் இணைக்கப்படுகின்றன. குறிப்புகள் கட்டுப்பாடு நிரலாக்க பயன்பாடு-குறிப்பிட்ட வரைபடங்கள்