Constraint graph
ಕೃತಕ ಬುದ್ಧಿಮತ್ತೆ ಮತ್ತು ಕಾರ್ಯಾಚರಣೆಗಳ ಸಂಶೋಧನೆಯಲ್ಲಿ ನಿರ್ಬಂಧ ತೃಪ್ತಿ ಸಂಶೋಧನೆಯಲ್ಲಿ, ನಿರ್ಬಂಧ ತೃಪ್ತಿ ಸಮಸ್ಯೆಯಲ್ಲಿ ನಿರ್ಬಂಧಗಳ ನಡುವಿನ ಸಂಬಂಧಗಳನ್ನು ಪ್ರತಿನಿಧಿಸಲು ನಿರ್ಬಂಧ ಗ್ರಾಫ್ಗಳು ಮತ್ತು ಹೈಪರ್ಗ್ರಾಫ್ಗಳನ್ನು ಬಳಸಲಾಗುತ್ತದೆ. ನಿರ್ಬಂಧಿತ ರೇಖಾಚಿತ್ರವು ಅಂಶ ರೇಖಾಚಿತ್ರದ ಒಂದು ವಿಶೇಷ ಪ್ರಕರಣವಾಗಿದೆ, ಇದು ಮುಕ್ತ ಚಲಪರಿಮಾಣಗಳ ಅಸ್ತಿತ್ವವನ್ನು ಅನುಮತಿಸುತ್ತದೆ. ನಿರ್ಬಂಧಿತ ಹೈಪರ್ಗ್ರಾಫ್ ನಿರ್ಬಂಧಿತ ತೃಪ್ತಿ ಸಮಸ್ಯೆಯ ನಿರ್ಬಂಧಿತ ಹೈಪರ್ಗ್ರಾಫ್ ಒಂದು ಹೈಪರ್ಗ್ರಾಫ್ ಆಗಿದ್ದು, ಇದರಲ್ಲಿ ಶೃಂಗಗಳು ಅಸ್ಥಿರಗಳಿಗೆ ಅನುಗುಣವಾಗಿರುತ್ತವೆ ಮತ್ತು ಹೈಪರ್ ಎಡ್ಜ್ಗಳು ನಿರ್ಬಂಧಗಳಿಗೆ ಅನುಗುಣವಾಗಿರುತ್ತವೆ. ಅನುಗುಣವಾದ ಅಸ್ಥಿರಗಳು ಕೆಲವು ನಿರ್ಬಂಧಗಳಲ್ಲಿ ಸಂಭವಿಸಿದರೆ ಶೃಂಗಗಳ ಗುಂಪೊಂದು ಹೈಪರ್ ಎಡ್ಜ್ ಅನ್ನು ರೂಪಿಸುತ್ತದೆ. ನಿರ್ಬಂಧಿತ ಹೈಪರ್ಗ್ರಾಫ್ ಅನ್ನು ಪ್ರತಿನಿಧಿಸುವ ಸರಳ ಮಾರ್ಗವೆಂದರೆ ಈ ಕೆಳಗಿನ ಗುಣಲಕ್ಷಣಗಳೊಂದಿಗೆ ಶಾಸ್ತ್ರೀಯ ಗ್ರಾಫ್ ಅನ್ನು ಬಳಸುವುದುಃ ಶೃಂಗಗಳು ಅಸ್ಥಿರಗಳಿಗೆ ಅಥವಾ ನಿರ್ಬಂಧಗಳಿಗೆ ಅನುಗುಣವಾಗಿರುತ್ತವೆ, ಒಂದು ಅಂಚು ವೇರಿಯೇಬಲ್-ವೆರ್ಟೆಕ್ಸ್ ಅನ್ನು ನಿರ್ಬಂಧಿತ-ವೆರ್ಟೆಕ್ಸ್ಗೆ ಮಾತ್ರ ಸಂಪರ್ಕಿಸುತ್ತದೆ, ಮತ್ತು ಅನುಗುಣವಾದ ವೇರಿಯೇಬಲ್ ಅನುಗುಣವಾದ ನಿರ್ಬಂಧದಲ್ಲಿ ಸಂಭವಿಸಿದಲ್ಲಿ ಮತ್ತು ಮಾತ್ರವೇ ವೇರಿಯೇಬಲ್-ವೆರ್ಟೆಕ್ಸ್ ಮತ್ತು ನಿರ್ಬಂಧಿತ-ವೆರ್ಟೆಕ್ಸ್ ನಡುವೆ ಒಂದು ಅಂಚು ಇರುತ್ತದೆ. ಗುಣಲಕ್ಷಣಗಳು 1 ಮತ್ತು 2 ಉಭಯಪಕ್ಷೀಯ ರೇಖಾಚಿತ್ರವನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುತ್ತವೆ. ಶೃಂಗಗಳನ್ನು ವೇರಿಯೇಬಲ್-ವರ್ಟಿಸ್ಗಳು ಮತ್ತು ಹೈಪರ್ ಎಡ್ಜ್ಗಳನ್ನು ಪ್ರತಿ ನಿರ್ಬಂಧ-ವರ್ಟೆಕ್ಸ್ಗೆ ಸಂಪರ್ಕಿಸಲಾದ ವೇರಿಯೇಬಲ್-ವರ್ಟಿಸ್ಗಳ ಸೆಟ್ಗಳಾಗಿ ವ್ಯಾಖ್ಯಾನಿಸುವ ಮೂಲಕ ಹೈಪರ್ಗ್ರಾಫ್ ಅನ್ನು ಮರುಪಡೆಯಲಾಗುತ್ತದೆ. ಪ್ರೈಮಲ್ ಕನ್ಸ್ಟ್ರೈನ್ಟ್ ಗ್ರಾಫ್ ಅಥವಾ ಸರಳವಾಗಿ ಪ್ರೈಮಲ್ ಗ್ರಾಫ್ (ಗೈಫ್ಮನ್ ಗ್ರಾಫ್ ಸಹ) ಒಂದು ನಿರ್ಬಂಧದ ತೃಪ್ತಿ ಸಮಸ್ಯೆಯ ಗ್ರಾಫ್ ಆಗಿದ್ದು, ಅದರ ನೋಡ್ಗಳು ಸಮಸ್ಯೆಯ ಅಸ್ಥಿರಗಳಾಗಿವೆ ಮತ್ತು ಎರಡು ಅಸ್ಥಿರಗಳು ನಿರ್ಬಂಧದಲ್ಲಿ ಒಟ್ಟಿಗೆ ಸಂಭವಿಸಿದರೆ ಅಂಚು ಒಂದು ಜೋಡಿ ಅಸ್ಥಿರಗಳನ್ನು ಸೇರುತ್ತದೆ. ಪ್ರೈಮಲ್ ಕನ್ಸ್ಟ್ರೈನ್ಟ್ ಗ್ರಾಫ್ ವಾಸ್ತವವಾಗಿ ಕನ್ಸ್ಟ್ರೈನ್ಟ್ ಹೈಪರ್ಗ್ರಾಫ್ನ ಪ್ರೈಮಲ್ ಗ್ರಾಫ್ ಆಗಿದೆ. ದ್ವಿ ನಿರ್ಬಂಧದ ರೇಖಾಚಿತ್ರವು ನಿರ್ಬಂಧದಲ್ಲಿ ಒಳಗೊಂಡಿರುವ ಅಸ್ಥಿರಗಳ ಗುಂಪನ್ನು ನಿರ್ಬಂಧದ ವ್ಯಾಪ್ತಿ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ದ್ವಂದ್ವ ನಿರ್ಬಂಧದ ರೇಖಾಚಿತ್ರವು ಸಮಸ್ಯೆಯ ನಿರ್ಬಂಧಗಳಲ್ಲಿ ಒಳಗೊಂಡಿರುವ ಎಲ್ಲಾ ಶೃಂಗಗಳು ನಿರ್ಬಂಧದ ವ್ಯಾಪ್ತಿಗಳಾಗಿರುವ ರೇಖಾಚಿತ್ರವಾಗಿದೆ, ಮತ್ತು ಅನುಗುಣವಾದ ವ್ಯಾಪ್ತಿಗಳು ಸಾಮಾನ್ಯ ಅಸ್ಥಿರಗಳನ್ನು ಹೊಂದಿದ್ದರೆ ಎರಡು ಶೃಂಗಗಳನ್ನು ಅಂಚಿನಿಂದ ಸಂಪರ್ಕಿಸಲಾಗುತ್ತದೆ. ಉಲ್ಲೇಖಗಳು ನಿರ್ಬಂಧಿತ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಅಪ್ಲಿಕೇಶನ್-ನಿರ್ದಿಷ್ಟ ಗ್ರಾಫ್ಗಳು