সংক্ষেপে: ধরে নিলাম একমুখী ক্রমানুবর্তন রয়েছে, আমরা কি এমন কোনও নির্মাণ করতে পারি যার কোনও ট্র্যাপডোর নেই?
অধিক তথ্য:
ওয়ান-ওয়ে ক্রমুয়েটেশন হ'ল এক অনুক্রম যা গণনা করা সহজ তবে উল্টানো শক্ত ( আরও আনুষ্ঠানিক সংজ্ঞার জন্য ওয়ান-ওয়ে-ফাংশন ট্যাগ উইকি দেখুন)। আমরা সাধারণত বিবেচনা পরিবারের একমুখী বিন্যাস এর, , যেখানে প্রতিটি একটি একমুখী বিন্যাস, একটি অভিনয় সসীম ডোমেইন । একজন ঠেলা দরজা একমুখী বিন্যাস ছাড়া একটি ঠেলা দরজা সেট অস্তিত্ব আছে যে, উপরোক্ত হিসাবে সংজ্ঞায়িত করা হয় এবং বহু সময় ইনভার্টারিং অ্যালগরিদম , যেমন যে সব জন্য , , এবং করতে provided যদি দেওয়া হয় যে দেওয়া ।
আমি জানি যে ওয়ান-ওয়ে ক্রমুটিশনগুলি উত্পন্ন হয় যাতে ট্র্যাপডোর খুঁজে পাওয়া অনুপযুক্ত হয় (তবুও ট্র্যাপডোর বিদ্যমান রয়েছে)। আরএসএ-অনুমানের উপর ভিত্তি করে একটি উদাহরণ এখানে দেওয়া হয়েছে । প্রশ্ন হচ্ছে,
ট্র্যাপডোর (সেট) নেই এমন একমুখী ক্রমানুসারে কি (পরিবারগুলির) পরিবার রয়েছে ?
সম্পাদনা: (আরও ফর্মালাইজেশন)
ধরে নিই যে কিছু কিছু এক-উপায়ে পলিউশন রয়েছে (অসীম) ডোমেন । এটি হ'ল, এখানে একটি সম্ভাব্য বহু-কালীন অ্যালগরিদম (যা ইনপুট উপর কিছু বিতরণ ) যেমন এর জন্য যে কোনও বহু-সময়-বিরোধী , যে কোনও এবং সমস্ত পর্যাপ্ত পরিমাণে বড় পূর্ণসংখ্যা :
(সম্ভাবনাটি এবং \ ম্যাথ্যাকাল {এ} এর অভ্যন্তরীণ মুদ্রা টসসের উপরে নেওয়া হয় ))
প্রশ্নটি হ'ল আমরা কী কোনও একমুখী অনুক্রম , যার জন্য একটি সম্ভাব্য বহুপদী-অ্যালগরিদম যেমন সার্কিটের কোনও বহু-আকারের পরিবারের জন্য , যে কোনও এবং সমস্ত পর্যাপ্ত পরিমাণে বড় পূর্ণসংখ্যা :
(সম্ভাবনাটি এর অভ্যন্তরীণ মুদ্রা টসসের উপরে নেওয়া হয় , যেহেতু ))