Weihrauch reducibility
গণনাযোগ্য বিশ্লেষণে, ওয়েইহরাউচ রিডিউসিবিলিটি হল উপস্থাপিত জায়গাগুলিতে বহু-মূল্যবান ফাংশনের মধ্যে রিডিউসিবিলিটির একটি ধারণা যা মোটামুটিভাবে গণনামূলক সমস্যার অভিন্ন গণনামূলক শক্তিকে ধারণ করে। এটি মূলত ক্লাউস ওয়েইহরাউচ দ্বারা একটি অপ্রকাশিত 1992 প্রযুক্তিগত প্রতিবেদনে চালু করা হয়েছিল। সংজ্ঞা একটি উপস্থাপিত স্থান হল একটি সেট এবং একটি সার্জেক্টিভ আংশিক ফাংশনের জোড়া। স্থানগুলি প্রতিনিধিত্ব করা যাক এবং একটি আংশিক বহু-মূল্যবান ফাংশন হতে দিন। একটি রিয়েলাইজার হল এমন একটি (সম্ভবত আংশিক) ফাংশন যা প্রত্যেকের জন্য। স্বজ্ঞাতভাবে, একজন রিয়েলাইজার "ঠিক যেমন" আচরণ করে তবে এটি নামের উপর কাজ করে। যদি একটি বাস্তববাদী হয় তবে আমরা লিখি। স্থানগুলি প্রতিনিধিত্ব করা যাক এবং আংশিক বহু-মূল্যবান ফাংশন হতে দিন। আমরা বলি যে ওয়েইহরাউচ হ্রাসযোগ্য, এবং লিখুন, যদি এমন কোথাও গণনাযোগ্য আংশিক ফাংশন থাকে এবং বেয়ার স্পেসে জয়েনকে বোঝায়। প্রায়শই, সাহিত্যে আমরা বাইনারি ফাংশন হিসাবে লিখিত দেখতে পাই, যাতে জয়েনের ব্যবহার এড়ানো যায়। অন্য কথায়, যদি দুটি গণনাযোগ্য মানচিত্র থাকে যাতে ফাংশনটি যখনই একটি সমাধান হয় তার জন্য একটি বাস্তববাদী হয়। মানচিত্রগুলিকে প্রায়শই যথাক্রমে সামনের দিকে এবং পিছনের দিকে কার্যকরী বলা হয়। আমরা বলি যে দৃঢ়ভাবে ওয়েইহরাউচ হ্রাসযোগ্য, এবং লিখুন, যদি পশ্চাৎপদ কার্যকারিতার মূল ইনপুটের অ্যাক্সেস না থাকে। প্রতীকেঃ আরও দেখুন ওয়েজ রিডিউসিবিলিটি রেফারেন্স গণনাযোগ্য বিশ্লেষণ