Algebraic decision diagram
ಬೀಜಗಣಿತದ ನಿರ್ಧಾರ ರೇಖಾಚಿತ್ರ (ಎ. ಡಿ. ಡಿ.) ಅಥವಾ ಬಹು-ಟರ್ಮಿನಲ್ ಬೈನರಿ ನಿರ್ಧಾರ ರೇಖಾಚಿತ್ರ (ಎಂ. ಟಿ. ಬಿ. ಡಿ. ಡಿ.), ಒಂದು ದತ್ತಾಂಶ ರಚನೆಯಾಗಿದ್ದು, ಇದನ್ನು ಬೂಲಿಯನ್ ಕಾರ್ಯವನ್ನು ಸಾಂಕೇತಿಕವಾಗಿ ಪ್ರತಿನಿಧಿಸಲು ಬಳಸಲಾಗುತ್ತದೆ, ಅದರ ಕೋಡೋಮೈನ್ ಅನಿಯಂತ್ರಿತ ಸೀಮಿತ ಸೆಟ್ ಎಸ್. ಎ. ಡಿ. ಡಿ ಎಂಬುದು ಕಡಿಮೆಯಾದ ಕ್ರಮಬದ್ಧ ಬೈನರಿ ನಿರ್ಧಾರ ರೇಖಾಚಿತ್ರದ ವಿಸ್ತರಣೆಯಾಗಿದೆ, ಅಥವಾ ಸಾಹಿತ್ಯದಲ್ಲಿ ಸಾಮಾನ್ಯವಾಗಿ ಬೈನರಿ ನಿರ್ಧಾರ ರೇಖಾಚಿತ್ರ (ಬಿ. ಡಿ. ಡಿ.) ಎಂದು ಹೆಸರಿಸಲಾಗಿದೆ, ಇದು ಟರ್ಮಿನಲ್ ನೋಡ್ಗಳನ್ನು ಬೂಲಿಯನ್ ಮೌಲ್ಯಗಳು 0 (ಎಫ್. ಎ. ಎಲ್. ಎಸ್. ಇ.) ಮತ್ತು 1 (ಟಿ. ಆರ್. ಯು. ಇ.) ಗೆ ಸೀಮಿತಗೊಳಿಸಲಾಗಿಲ್ಲ. ಟರ್ಮಿನಲ್ ನೋಡ್ಗಳು ಸ್ಥಿರಾಂಕಗಳ ಗುಂಪಿನಿಂದ ಯಾವುದೇ ಮೌಲ್ಯವನ್ನು ತೆಗೆದುಕೊಳ್ಳಬಹುದು ಎಸ್. ವ್ಯಾಖ್ಯಾನ ಎ. ಡಿ. ಡಿ. ಯು ಬೂಲಿಯನ್ ಕಾರ್ಯವನ್ನು ಸ್ಥಿರಾಂಕಗಳ ಒಂದು ಸೀಮಿತ ಗುಂಪಿನಿಂದ ಪ್ರತಿನಿಧಿಸುತ್ತದೆ ಎಸ್, ಅಥವಾ ಬೀಜಗಣಿತದ ರಚನೆಯ ವಾಹಕ. ಎ. ಡಿ. ಡಿ. ಯು ಬೇರೂರಿರುವ, ನಿರ್ದೇಶಿಸಲಾದ, ಅಸೈಕ್ಲಿಕ್ ಗ್ರಾಫ್ ಆಗಿದ್ದು, ಇದು ಬಿ. ಡಿ. ಡಿ. ಯಂತಹ ಹಲವಾರು ನೋಡ್ಗಳನ್ನು ಹೊಂದಿದೆ. ಆದಾಗ್ಯೂ, ಒಂದು ಬಿಡಿಡಿಗಿಂತ ಭಿನ್ನವಾಗಿ, ಒಂದು ಎಡಿಡಿ ಎರಡಕ್ಕಿಂತ ಹೆಚ್ಚು ಟರ್ಮಿನಲ್ ನೋಡ್ಗಳನ್ನು ಹೊಂದಿರಬಹುದು, ಅವು ಸೆಟ್ ಎಸ್ನ ಅಂಶಗಳಾಗಿವೆ. ಒಂದು ಎ. ಡಿ. ಡಿ. ಯನ್ನು ಒಂದು ಬೂಲಿಯನ್ ಫಂಕ್ಷನ್ ಅಥವಾ ವೆಕ್ಟರಿಯಲ್ ಬೂಲಿಯನ್ ಫಂಕ್ಷನ್ ಎಂದು ಸಹ ನೋಡಬಹುದು, ಫಂಕ್ಷನ್ನ ಕೋಡೋಮೈನ್ ಅನ್ನು ವಿಸ್ತರಿಸುವ ಮೂಲಕ, ಕೆಲವು ಪೂರ್ಣಾಂಕ n ನೊಂದಿಗೆ ಮತ್ತು ಅದಕ್ಕೆ. ಆದ್ದರಿಂದ, ಬೂಲಿಯನ್ ಬೀಜಗಣಿತದ ಪ್ರಮೇಯಗಳು ಎ. ಡಿ. ಡಿ. ಗೆ ಅನ್ವಯಿಸುತ್ತವೆ, ವಿಶೇಷವಾಗಿ ಬೂಲೆಯ ವಿಸ್ತರಣೆಯ ಪ್ರಮೇಯ. ಪ್ರತಿಯೊಂದು ನೋಡ್ ಅನ್ನು ಬೂಲಿಯನ್ ವೇರಿಯೇಬಲ್ನಿಂದ ಲೇಬಲ್ ಮಾಡಲಾಗಿದೆ ಮತ್ತು ಎರಡು ಹೊರಹೋಗುವ ಅಂಚುಗಳನ್ನು ಹೊಂದಿದೆಃ 1-ಅಂಚು ಇದು TRUE ಮೌಲ್ಯಕ್ಕೆ ವೇರಿಯೇಬಲ್ನ ಮೌಲ್ಯಮಾಪನವನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ ಮತ್ತು FALSE ಗೆ ಅದರ ಮೌಲ್ಯಮಾಪನಕ್ಕಾಗಿ 0-ಅಂಚು. ಒಂದು ಎ. ಡಿ. ಡಿ. ಯು ಬಿ. ಡಿ. ಡಿ. ಯ (ಅಥವಾ ರಿಡ್ಯೂಸ್ಡ್ ಆರ್ಡರ್ಡ್ ಬಿ. ಡಿ. ಡಿ.) ಅದೇ ಕಡಿತ ನಿಯಮಗಳನ್ನು ಬಳಸುತ್ತದೆಃ ಯಾವುದೇ ಐಸೊಮಾರ್ಫಿಕ್ ಸಬ್ಗ್ರಾಫ್ಗಳನ್ನು ವಿಲೀನಗೊಳಿಸಿ, ಮತ್ತು ಎರಡು ಮಕ್ಕಳ ಐಸೊಮಾರ್ಫಿಕ್ ಆಗಿರುವ ಯಾವುದೇ ನೋಡ್ ಅನ್ನು ತೆಗೆದುಹಾಕುತ್ತದೆ. ಎಡಿಡಿಗಳು ನಿರ್ದಿಷ್ಟ ವೇರಿಯೇಬಲ್ ಕ್ರಮದ ಪ್ರಕಾರ ಅಂಗೀಕೃತವಾಗಿರುತ್ತವೆ. ಮ್ಯಾಟ್ರಿಕ್ಸ್ ವಿಭಜನೆ ಒಂದು ADDಯನ್ನು ಅದರ ಸಹಘಟಕಗಳ ಪ್ರಕಾರ ಮ್ಯಾಟ್ರಿಕ್ಸ್ನಿಂದ ಪ್ರತಿನಿಧಿಸಬಹುದು. ಅನ್ವಯಗಳ ಎಡಿಡಿಗಳನ್ನು ಮೊದಲು ವಿರಳ ಮ್ಯಾಟ್ರಿಕ್ಸ್ ಗುಣಾಕಾರ ಮತ್ತು ಚಿಕ್ಕದಾದ ಮಾರ್ಗ ಕ್ರಮಾವಳಿಗಳಿಗಾಗಿ (ಬೆಲ್ಮನ್-ಫೋರ್ಡ್, ಪುನರಾವರ್ತಿತ ಚೌಕಟ್ಟು ಮತ್ತು ಫ್ಲಾಯ್ಡ್-ವಾರ್ಶಲ್ ಕಾರ್ಯವಿಧಾನಗಳು) ಜಾರಿಗೆ ತರಲಾಯಿತು. ದ್ವಿಮಾನ ನಿರ್ಧಾರ ರೇಖಾಚಿತ್ರ ಶೂನ್ಯ-ನಿಗ್ರಹಿತ ನಿರ್ಧಾರ ರೇಖಾಚಿತ್ರ ಉಲ್ಲೇಖ ರೇಖಾಚಿತ್ರ ಗ್ರಾಫ್ ದತ್ತಾಂಶ ರಚನೆಗಳನ್ನು ಸಹ ನೋಡಿ.