Weihrauch reducibility
કોમ્પ્યુટેબલ વિશ્લેષણમાં, વેઇહરાઉચ રિડ્યુસિબિલિટી એ રજૂ કરેલી જગ્યાઓ પર બહુ-મૂલ્યવાન કાર્યો વચ્ચેની રિડ્યુસિબિલિટીની કલ્પના છે જે કોમ્પ્યુટેશનલ સમસ્યાઓની સમાન કોમ્પ્યુટેશનલ તાકાતને આશરે મેળવે છે. તે મૂળરૂપે ક્લાઉસ વેહરાઉચ દ્વારા 1992 ના અપ્રકાશિત તકનીકી અહેવાલમાં રજૂ કરવામાં આવ્યું હતું. વ્યાખ્યા એ રજૂ કરેલ જગ્યા એ સમૂહની જોડી અને સર્જેક્ટિવ આંશિક કાર્ય છે. ચાલો જગ્યાઓ રજૂ કરીએ અને આંશિક બહુ-મૂલ્યવાન કાર્ય થવા દો. માટે રીઅલાઈઝર એ (સંભવતઃ આંશિક) કાર્ય છે જેમ કે, દરેક માટે,. સાહજિક રીતે, એક અનુભૂતિ કરનાર "જેમ" વર્તે છે પરંતુ તે નામો પર કામ કરે છે. જો આપણે લખીએ છીએ તે માટે એક વાસ્તવિક છે. ચાલો જગ્યાઓ રજૂ કરીએ અને આંશિક બહુ-મૂલ્યવાન કાર્યો થવા દો. આપણે કહીએ છીએ કે જો ત્યાં કોમ્પ્યુટેબલ પાર્શિયલ ફંક્શન્સ હોય તો તે વેઇહરાઉચને ઘટાડી શકાય છે, અને લખી શકાય છે, અને બેયર સ્પેસમાં જોડીને સૂચવે છે. ઘણી વાર, સાહિત્યમાં આપણને દ્વિસંગી કાર્ય તરીકે લખવામાં આવે છે, જેથી જોઇનનો ઉપયોગ ટાળી શકાય. બીજા શબ્દોમાં કહીએ તો, જો ત્યાં બે ગણતરીપાત્ર નકશા હોય જેમ કે જ્યારે પણ માટે ઉકેલ હોય ત્યારે કાર્ય એક વાસ્તવિક છે. નકશાને ઘણીવાર અનુક્રમે આગળ અને પાછળ કાર્યાત્મક કહેવામાં આવે છે. આપણે કહીએ છીએ કે જો બેકવર્ડ ફંક્શનલ પાસે મૂળ ઇનપુટની ઍક્સેસ ન હોય તો તે ભારપૂર્વક વેઇહરાઉચને ઘટાડી શકાય છે અને લખી શકાય છે. પ્રતીકોમાંઃ આ પણ જુઓ વેજ રિડ્યુસિબિલિટી સંદર્ભો કોમ્પ્યુટેબલ વિશ્લેષણ