Constraint graph
কৃত্রিম বুদ্ধিমত্তা এবং ক্রিয়াকলাপ গবেষণায় সীমাবদ্ধ সন্তুষ্টি গবেষণায়, সীমাবদ্ধ সন্তুষ্টি সমস্যার মধ্যে সীমাবদ্ধতার মধ্যে সম্পর্ক উপস্থাপন করতে সীমাবদ্ধ গ্রাফ এবং হাইপারগ্রাফ ব্যবহার করা হয়। একটি সীমাবদ্ধ গ্রাফ একটি ফ্যাক্টর গ্রাফের একটি বিশেষ কেস, যা মুক্ত চলকের অস্তিত্বের অনুমতি দেয়। সীমাবদ্ধতা হাইপারগ্রাফ একটি সীমাবদ্ধতা সন্তুষ্টি সমস্যার সীমাবদ্ধতা হাইপারগ্রাফ হল একটি হাইপারগ্রাফ যেখানে শীর্ষগুলি চলকগুলির সাথে সামঞ্জস্যপূর্ণ এবং হাইপারজগুলি সীমাবদ্ধতার সাথে সামঞ্জস্যপূর্ণ। শীর্ষগুলির একটি সেট একটি হাইপারএজ গঠন করে যদি সংশ্লিষ্ট ভেরিয়েবলগুলি কিছু সীমাবদ্ধতায় ঘটে। সীমাবদ্ধ হাইপারগ্রাফকে উপস্থাপন করার একটি সহজ উপায় হল নিম্নলিখিত বৈশিষ্ট্যগুলির সাথে একটি ধ্রুপদী গ্রাফ ব্যবহার করাঃ ভার্টিসগুলি পরিবর্তনশীল বা সীমাবদ্ধতার সাথে সামঞ্জস্যপূর্ণ, একটি প্রান্ত কেবল একটি পরিবর্তনশীল-ভার্টেক্সকে একটি সীমাবদ্ধ-ভার্টেক্সের সাথে সংযুক্ত করতে পারে এবং একটি পরিবর্তনশীল-ভার্টেক্স এবং একটি সীমাবদ্ধ-ভার্টেক্সের মধ্যে একটি প্রান্ত থাকে যদি এবং শুধুমাত্র যদি সংশ্লিষ্ট পরিবর্তনশীলটি সংশ্লিষ্ট সীমাবদ্ধতায় ঘটে। বৈশিষ্ট্য 1 এবং 2 একটি দ্বিদলীয় গ্রাফকে সংজ্ঞায়িত করে। হাইপারগ্রাফটি প্রতিটি সীমাবদ্ধতা-ভার্টেক্সের সাথে সংযুক্ত পরিবর্তনশীল-খিলানগুলির সেট হিসাবে শীর্ষগুলিকে পরিবর্তনশীল-খিলান এবং হাইপারএজ হিসাবে সংজ্ঞায়িত করে পুনরুদ্ধার করা হয়। মৌলিক সীমাবদ্ধতা গ্রাফ একটি সীমাবদ্ধ সন্তুষ্টি সমস্যার প্রাথমিক সীমাবদ্ধতা গ্রাফ বা কেবল প্রাথমিক গ্রাফ (গাইফম্যান গ্রাফও) হল সেই গ্রাফ যার নোডগুলি সমস্যার ভেরিয়েবল এবং একটি প্রান্ত এক জোড়া ভেরিয়েবলের সাথে যোগ দেয় যদি দুটি ভেরিয়েবল একটি সীমাবদ্ধতায় একসাথে ঘটে। প্রাথমিক সীমাবদ্ধতা গ্রাফ আসলে সীমাবদ্ধতা হাইপারগ্রাফ-এর প্রাথমিক গ্রাফ। দ্বৈত সীমাবদ্ধতার গ্রাফ একটি সীমাবদ্ধতার সাথে জড়িত চলকগুলির সেটকে সীমাবদ্ধতার সুযোগ বলা হয়। দ্বৈত সীমাবদ্ধতা গ্রাফ হল সেই গ্রাফ যেখানে শীর্ষগুলি সমস্যার সীমাবদ্ধতার সাথে জড়িত সমস্ত সীমাবদ্ধতা ক্ষেত্র এবং দুটি শীর্ষ একটি প্রান্ত দ্বারা সংযুক্ত থাকে যদি সংশ্লিষ্ট ক্ষেত্রগুলির সাধারণ পরিবর্তনশীল থাকে। তথ্যসূত্র সীমাবদ্ধ প্রোগ্রামিং অ্যাপ্লিকেশন-নির্দিষ্ট গ্রাফ