Weihrauch reducibility
کمپیوٹیبل تجزیہ میں، ویہراچ ریڈکیوبلٹی نمائندگی شدہ خالی جگہوں پر کثیر قدر والے افعال کے درمیان ریڈکیوبلٹی کا ایک تصور ہے جو کمپیوٹیشنل مسائل کی یکساں کمپیوٹیشنل طاقت کو تقریبا پکڑتا ہے۔ اسے اصل میں کلاؤس ویہراچ نے 1992 کی ایک غیر شائع شدہ تکنیکی رپورٹ میں متعارف کرایا تھا۔ تعریف ایک نمائندگی شدہ جگہ ایک سیٹ اور ایک سرجیکٹو جزوی فنکشن کا جوڑا ہے۔ خالی جگہوں کی نمائندگی کریں اور جزوی کثیر قدر والی فنکشن ہونے دیں۔ کے لیے ایک (ممکنہ طور پر جزوی) فنکشن ایسا ہے کہ، ہر ایک کے لیے،۔ بدیہی طور پر، ایک حقیقت پسند "بالکل اسی طرح" برتاؤ کرتا ہے لیکن یہ ناموں پر کام کرتا ہے۔ اگر ایک حقیقت ساز ہے تو ہم لکھتے ہیں۔ خالی جگہوں کی نمائندگی کی جائے اور جزوی کثیر قدر والے افعال ہونے دیں۔ ہم کہتے ہیں کہ ویہراچ کو کم کیا جا سکتا ہے، اور لکھا جا سکتا ہے، اگر اس طرح کے کمپیوٹیبل جزوی افعال موجود ہیں اور بائر کی جگہ میں جوڑ کی نشاندہی کرتے ہیں۔ اکثر، ادب میں ہمیں بائنری فنکشن کے طور پر لکھا جاتا ہے، تاکہ جوڑ کے استعمال سے بچا جا سکے۔ دوسرے لفظوں میں، اگر دو کمپیوٹیبل نقشے ایسے ہوں کہ فنکشن جب بھی حل ہو اس کے لیے ایک حقیقت ہے۔ نقشوں کو اکثر بالترتیب فارورڈ اور بیک ورڈ فنکشنل کہا جاتا ہے۔ اگر بیک ورڈ فنکشنل کو اصل ان پٹ تک رسائی حاصل نہیں ہے تو ہم کہتے ہیں کہ یہ مضبوطی سے ویہراچ کو کم کرنے اور لکھنے کے قابل ہے۔ علامتوں میں: ویج ریڈکیوبلٹی حوالہ جات کمپیوٹیبل تجزیہ بھی دیکھیں۔