ধরুন একটি বুলিয়ান ভাষা, ওভার সসীম স্ট্রিং হয় { 0 , 1 } । যাক এল এন মধ্যে স্ট্রিং সংখ্যা হতে এল দৈর্ঘ্য সঙ্গে এন । জন্য একটি ফাংশন ঘ ( এন ) ইতিবাচক বাস্তব সংখ্যার ধনাত্মক পূর্ণসংখ্যা থেকে এল হয়েছে উপরের ঘনত্ব ঘ ( এন ) যদি এল এন ≤ 2 এন ঘ ( এন ) সব ভালোই বড় জন্য এন ।
কোনও পি-সম্পূর্ণ বুলিয়ান ভাষায় উচ্চ ঘনত্ব ?
প্রেরণা
সমতা উপরের ঘনত্ব আছে । হ্যাঁ (সমস্ত সসীম বাইনারি স্ট্রিংয়ের ভাষা) এর উচ্চ ঘনত্ব 1 থাকে। যে কোনও সীমাবদ্ধ ভাষার উচ্চ ঘনত্ব 0 থাকে।
একটি বিচ্ছিন্ন ভাষা এর বৈশিষ্ট্য রয়েছে যে সেখানে একটি বহুপদী পি ( এন ) রয়েছে যা এল এন - এল এন - 1 ≤ পি ( এন ) সকল এন এর জন্য । তাহলে এল একটি বিক্ষিপ্ত ভাষা, তারপর এল এন ≤ পি 1 ( এন ) একটি বহুপদী জন্য পি 1 যে এর চেয়ে ডিগ্রী এক তদ্বুর্ধ্ব পি , তাই উপরের ঘনত্ব এল শূন্য।
জিন-ইয়ে এবং ডি। শিবকুমার দেখিয়েছেন যে পি = এল (= লোগস্পেস) না থাকলে একটি পি-সম্পূর্ণ ভাষা স্পার হতে পারে না। পি = সহ-পি, যেহেতু পরিপূরক অপ্রয়োজনীয় কোনও ভাষা পি-এল না হলে পি-সম্পূর্ণ হতে পারে না unless
একটি সাধারণ বৈষম্য দ্বারা (উদাহরণস্বরূপ রোজার এবং শোয়েনফিল্ড 1962 এর করোলারি 2 দেখুন ), প্রাইমসের উপরের ঘনত্ব । প্রশ্নগুলি কি প্রাইমস, ফ্যাক্টরিংগুলি পি-হার্ড হিসাবে পরিচিত? প্রাইমস পি-হার্ড কিনা তা আলোচনা করে (এটি বর্তমানে উন্মুক্ত বলে মনে হচ্ছে)।
কোনও অর্থে, জটিলতার শ্রেণীর জন্য সম্পূর্ণ (বা সর্বজনীন) ভাষাতে শ্রেণীর সমস্ত কাঠামো থাকে। সুতরাং আমার অস্থায়ী হাইপোথিসিসটি, কাই এবং শিবকুমারের ফলাফলের বুনো এক্সপ্লোলেশনের উপর ভিত্তি করে এমন হবে যে এই জাতীয় ভাষাগুলি খুব বেশি বিচ্ছিন্ন হতে পারে না। বিচ্ছিন্ন ভাষাগুলি সংজ্ঞায়িত করা সাধারণ বহুপদী বাউন্ড খুব সীমাবদ্ধ বলে মনে হয়, তাই আমি এমন বাউন্ড সম্পর্কে জিজ্ঞাসা করছি যা কিছুটা কম সীমাবদ্ধ।
কাজ নিম্নতা Fortnow, Hemaspaandra এবং অন্যান্যদের দ্বারা এছাড়াও সম্ভবত সম্পর্কিত হয়।
প্রশ্নটি পি ব্যতীত অন্য ক্লাসগুলির বিষয়ে জিজ্ঞাসা করা যেতে পারে, তবে আমি কোনও ফলাফল মনে করতে পারি না যা বলে, এস্যাট এর ঘনত্ব প্রতিষ্ঠা করবে । প্রাসঙ্গিক সাহিত্যের দিকে নির্দেশকরা সবচেয়ে স্বাগত জানায়।
প্রাপ্তি স্বীকার
সম্পর্কিত প্রশ্নগুলি প্রাইমগুলির শর্তসাপেক্ষ ঘনত্বও দেখুন । দুর্ভাগ্যক্রমে অসুস্থ-প্রশ্নযুক্ত, এই প্রশ্নের পূর্ববর্তী সংস্করণে সহায়ক মন্তব্যের জন্য @ স্যুওশি ইটো এবং @ কাভেহকে ধন্যবাদ জানাই।