অ-অভিন্নতা অনুশীলনে কম্পিউটিং ফাংশনগুলিতে সহায়তা করে কিনা তা জানতে চাই। এটা তোলে দেখানোর জন্য সেখানে ফাংশন আছে সহজ কোন uncomputable ফাংশন নিতে চ ভাষা ও বিবেচনা { 0 চ ( এন ) : এন ∈ ω }, যা স্পষ্টভাবে সহজ নন-ইউনিফর্ম সার্কিট আছে, কিন্তু মোটেই একরূপে গণনাযোগ্য নয়, তবে এটি যে ধরণের ফাংশনে আমি আগ্রহী সেগুলি এটি নয়।
এমন কোনও ফাংশন আছে যা আমরা জানি এটি অ-অভিন্ন হিসাবে গণনা করা যেতে পারে তবে আমরা জানি না যে এটি অভিন্ন হিসাবে গণনা করা যায় (বা কমপক্ষে প্রমাণ করে যে এটি অভিন্ন হিসাবে গণনা করা যায় না তা স্পষ্ট নয়)?
সার্কিটের অ-অভিন্নতা কীভাবে কম্পিউটিং ফাংশনগুলির জন্য ব্যবহার করা যেতে পারে যা সমানভাবে গণনাযোগ্য হিসাবে পরিচিত নয় (প্রায় একই পরিমাণ সংস্থান সহ)?
দয়া করে নোট করুন যে আমি উপরে বর্ণিত নিরবিচ্ছিন্ন মতো প্যাথলজিকাল ফাংশন চাই না, আমি এমন প্রাকৃতিক ফাংশন চাই যা লোকেরা সত্যই কম্পিউটিংয়ে আগ্রহী এবং এটি প্রশংসনীয় যে এটি অভিন্নভাবে গণনা করা যেতে পারে বা হতে পারে।
সম্পাদনা: আমি জানি যে । সুতরাং একটি উত্তর যা ডেরেন্ডোমাইজেশনের ফলাফল নয় তা আমার জন্য আরও আকর্ষণীয়।
সম্পাদনা করুন 2: হিসাবে András Salamon এবং Tsuyoshi ইটো, তাদের উত্তর বলেন , এবং আকর্ষণীয় সমস্যা আছে এস পি একটি দ গুলি ই যে হতে পরিচিত না হয় পি , তাই আনুষ্ঠানিকভাবে তারা আমার কাছে যা জিজ্ঞাসা করেছে তার জবাব দিয়েছে, তবে আমি যে বিষয়ে সত্যিই আগ্রহী তা তার সাথে সহায়তা করে না যেহেতু তারা পি / পি ও এল ওয়াই যে কারণেই সার্কিটের মধ্যে একটি বিচ্ছিন্ন ভাষা কোডিংয়ের সম্ভাবনা। যে ভাষা বিরল নয় সেগুলি আরও আকর্ষণীয় হবে।