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