2-NEXPTIME- সম্পূর্ণ সমস্যা

Question

আমাদের একটি সমস্যা আছে এবং আমরা একটি অ্যালগরিদম পেয়েছি যা 2-নেফটাইম টাইম বলে মনে হচ্ছে।

নিম্ন সীমাটি সন্ধান করতে আমি 2-নেপসটাইম-সম্পূর্ণ সমস্যাগুলি জানতে চাই।

আমি সাহিত্যে মূলত এ জাতীয় দুটি সমস্যা পেয়েছি:

• আকারের সমাধান হিসাবে পিসিপি কম কিনা $2^{2^n}$
• এবং আকারের বর্গক্ষেত্রের স্থায়ী সমস্যা $2^{2^n}$

তবে আমি আমার এই সমস্যাগুলি এনকোড করতে পারিনি। সুতরাং আমি অন্যান্য 2-এনএক্সপিটাইম-সম্পূর্ণ সমস্যাগুলি জানতে চাই, প্রথমে এই শ্রেণীর সম্পর্কে আরও স্বীকৃতি পেতে হবে এবং দ্বিতীয়ত ভাল ক্ষেত্রে নিম্ন সীমাটি প্রমাণ করে।

2-এনএক্সপিটাইম এর একটি বিস্তৃত ওভারভিউ পাওয়ার জন্য আমি এখানে উদ্দেশ্য সমস্যাটি সরবরাহ করি না।

ধন্যবাদ

Comments

কনজেক্টিভ কোয়েরি ইউনিয়নগুলিতে পুনরাবৃত্ত ডাটাবেস প্রোগ্রামগুলি অন্তর্ভুক্ত (চৌধুরী / ওয়ার্ডি 1997)। অন্যান্য যুক্তি বা ডাটাবেস সমস্যাগুলিও থাকতে হবে যা 2 এনএক্সপি-সম্পূর্ণ, তবে অন্য কোনও নির্দিষ্ট সমস্যা মনে নেই।

— আন্দ্রেস সালামন

@ অ্যান্ড্রেসালামন আপনার উত্তরের জন্য আপনাকে ধন্যবাদ। আপনার নির্দেশিত রেফারেন্সটি আমি খুঁজে পাইনি। আমি যা পেয়েছি তা লেখকগণের পূর্ববর্তী একটি কাগজ ছিল যা জানিয়েছিল যে এই সমস্যাটি 2-এক্সপ-সম্পূর্ণ (এবং 2-এনএক্সপি নয়)। আমি কিছু অনুপস্থিত করছি.?

— ই

আপনি ঠিক বলেছেন, আমি ফলাফলটি ভুল করেছিলাম: সমস্যাটি 2 এক্সপি-সম্পূর্ণ-

— অ্যান্ড্রেস সালামন

আমি সর্বদা এটি 2NExpTime এর পরিবর্তে N2ExpTime হিসাবে লিখব, যেহেতু "2" এবং "Exp" উভয়ই ওপরের সময়সীমার মানকে বোঝায়, যখন "এন" মেশিনের মডেলকে বোঝায়। মাঝখানে মেশিনের মডেলটি রাখা স্বাভাবিক বলে মনে হয় না।

— মাক

দয়া করে 2 length 2 ^ n এর চেয়ে কম দৈর্ঘ্যের সমাধান সহ পিসিপি-র 2-NEXPTIME- সম্পূর্ণতার জন্য আমাকে কী রেফারেন্স দিতে পারেন?

— কর্টো

Answer 1

সুস্পষ্ট এন 2 এক্সপ্লেক্স সমস্যাটি অবশ্যই 2 এক্সপি সময় সীমাবদ্ধ ননডেটেরিমেন্টিক টিউরিং মেশিনের শব্দ গ্রহণযোগ্যতার সমস্যা। এটি 2xp টাইলিংয়ের মতো শক্ত / সহজ হতে পারে, কারণ এ জাতীয় টুরিং মেশিনের সংমিশ্রণের সংমিশ্রণের জন্য আপনাকে দ্বিগুণ-তাত্পর্যপূর্ণ বড় গ্রিড (প্রতিটি দৈর্ঘ্যের 2 এক্সপি মেমরি টেপের অনেকগুলি কনফিগারেশন 2xp) সংজ্ঞায়িত করতে হবে যা ভরাট হয় একটি অ-নিরস্তিক পদ্ধতিতে। অনুশীলনে, N2Exp নিম্ন সীমানা দেখানো প্রায়শই এই জাতীয় গ্রিড তৈরি করতে (এবং এটি গাছ বা অপর্যাপ্ত কাঠামোর অন্য কোনও বিষয় নয় তা নিশ্চিত করে) ফোটায়। "এন" (ননডেটরাইনিমিজম) প্রায়শই সমস্যার অন্তর্নিহিত অংশ এবং আপনার যথেষ্ট পরিমাণে বড় গ্রিড একবার পাওয়া সম্ভব হয় না (যদি না হয় তবে প্রথমে প্রথমে 2 এক্সপেন করতে পারে)।

আর একটি ব্যবহারিক N2ExpTime- সম্পূর্ণ সমস্যাটি এক্সপ্রেশনাল ডেসক্রিপশন লজিক্স (ডিএল) এ যুক্তিযুক্ত। বিশেষত, ডিএল$\mathcal{SROIQ}$এটি ডাব্লু 3 সি ওডব্লিউএল 2 ওয়েব ওন্টোলজি ভাষার মানটি এন 2 এপ্সপটাইম-সম্পূর্ণ (ইয়েভজেনি কাজাকভ: আরআইকিউ এবং এসআরআইকিউ এসইউইকিউ-এর চেয়ে কঠোর। কেআর 2008: 274-284)। আপনি সম্ভবত হ্রাস ব্যবহার করতে চান এটি এখন কোনও সমস্যা নয়, কারণ অনেকগুলি বৈশিষ্ট্যের কারণে যুক্তির সংজ্ঞাটি কিছুটা অযাচিত। জন্য প্রকৃত নিম্ন সীমাবদ্ধ প্রমাণ$\mathcal{SROIQ}$2-এক্সপ্রেস টাইলিং হ্রাস দ্বারাও করা হয়েছে। তবে, আপনার সমস্যার উপর নির্ভর করে নির্মাণটি দেওয়া হয়েছে$\mathcal{SROIQ}$ কীভাবে এত বড় গ্রিড তৈরি করতে হয় তা দেখতে অনুপ্রেরণামূলক হতে পারে।

টাইলিংটি আরও একটি সাধারণ প্যাটার্ন দেখায়: এন 2 এক্সপ্রেস সত্যিই এনপির মতো, আপনার খুব বড় দক্ষতার উদাহরণগুলি খুব দক্ষতার সাথে এনকোড করার জন্য একটি উপায় খুঁজে বের করতে হবে। নীতিগতভাবে, আপনি যে কোনও এনপি সমস্যা মাপার চেষ্টা করতে পারেন। টাইলিং সুন্দর হওয়ার কারণটি হ'ল আপনাকে কেবল এই ক্ষেত্রে গ্রিডের আকার স্কেল করতে হবে (যা বরং অভিন্ন)।

অন্যদিকে, যদি আপনার সমস্যাটি কেবলমাত্র 2 এক্সপ্রেসটাইম-সম্পূর্ণ হয়, তবে আপনি একটি দ্রুত স্থান-সীমিত বিকল্প টিউরিং মেশিন সিমুলেশন নিয়ে দূরে সরে যেতে পারেন । আপনার যদি 2 এক্সপ্রেস গ্রিড তৈরি করতে সমস্যা হয় তবে আপনি ক্ষতিকারক আকার পেতে পারেন, তবে এটি চেষ্টা করার মতো হতে পারে।