কোকের মতো প্রুফ সহকারী ব্যবহার করে জটিলতার তত্ত্বের উপপাদাগুলি এবং প্রমাণগুলি আনুষ্ঠানিকভাবে যাচাই করার জন্য কোন চলমান প্রকল্প রয়েছে কি? এটি করার কোনও সীমানা আছে?
অথবা অন্য শব্দের সঙ্গে, আমরা আছে যে প্রতি ভাষার জন্য এবং বি , একটি ≤ পি বি বা বি ≤ পি একটি ?একজনএকজনAবিবিBক ≤পিবিএকজন≤পিবিA \leq_p Bখ ≤পিএকজনবি≤পিএকজনB \leq_p A
সেখানে অস্তিত্ব আছে LLL , একটি NP- বা পি-সম্পূর্ণ ভাষায় প্রতিসাম্য দলের কিছু পরিবার আছে (অথবা groupoid সেটে, কিন্তু তারপর আলগোরিদিমিক প্রশ্ন আরো খোলাখুলি হয়ে) (বহুপদী সময়) ভারপ্রাপ্ত যেমন কয়েকটি কক্ষপথ রয়েছে, যেমন বড় যথেষ্ট জন্য এবং কিছু , এবং যেমন যে G_n দেওয়া উত্পন্ন করা যেতে পারে এন দক্ষতার?GnGnG_nLn={l∈L∣|l|=n}Ln={l∈L∣|l|=n}L_n …
ইন নুড়ি খেলা একটি লাইন সেখানে n + 1 নোড এন মাধ্যমে 0 লেবেল খেলা নোড 0. একটি নুড়ি দিয়ে শুরু হয় যদি নোড একটি নুড়ি আমি, আপনি যোগ করতে অথবা নোড আমি + 1 থেকে একটি নুড়ি অপসারণ করতে পারেন আছে। লক্ষ্যটি হ'ল নোড এন-তে একটি নুড়ি স্থাপন করা, …
এটি জানা যায় যে যদি তবে বহুবচনীয় স্তরক্রমটি Σ P 2 এবং M A = A M তে নেমে আসে ।এনপি। পি/ পিও l ওয়াইNP⊆P/PolyNP\subseteq P/PolyΣপি2Σ2P\Sigma_2^{P}এমএ = এ এমMA=AMMA = AM হলে সবচেয়ে শক্তিশালী পতনগুলি কী ঘটে ?এনইএক্সপি। পি/ পিও l ওয়াইNEXP⊆P/PolyNEXP\subseteq P/Poly
তাঁর কম্পিউটার কম্পিউটেশনাল কমপ্লেক্সে গ্রন্থে , এফএনপিকে নিম্নলিখিতভাবে সংজ্ঞায়িত করেছেন: ধরুন, , এনপি-র একটি ভাষা । প্রস্তাব 9.1 দ্বারা, একটি বহুপাক্ষিক-সময় সিদ্ধান্তগ্রহণযোগ্য, বহুভিত্তিক সুষম সম্পর্কযুক্ত আর এল রয়েছে যা সমস্ত স্ট্রিংয়ের জন্য x : আর এল ( x , y ) এর সাথে একটি স্ট্রিং y থাকে এবং যদি কেবল …
পি বনাম এনপি সমস্যা সম্পর্কিত স্টিফেন কুকের গবেষণাপত্রে, [1] তিনি নিম্নলিখিত বিষয়গুলি লিখেছেন [2]: সম্ভাব্যতা থিসিস: একটি প্রাকৃতিক সমস্যাটির যদি একটি বহু-কালীন অ্যালগরিদম থাকে তবে একটি সম্ভাব্য অ্যালগরিদম থাকে। আমার প্রশ্ন হ'ল " প্রাকৃতিক সমস্যা" বলতে কী বোঝায় তিনি (বা সাধারণভাবে সত্যই কোনটি বোঝায়) ? সমস্যাগুলি প্রাকৃতিক হওয়ার বিষয়ে কথা …
আসলে কোন সমস্যা আছে যা করে EXP সময় সম্পূর্ণ হলে যে বোঝা একজন নেই ডি টি আমি এম ই ( 2 ণ ( এন ) ) ?একজনAAএকজনAADTIএমই( 2)ও ( এন ))DTIME(2o(n))DTIME(2^{o(n)}) আমি সচেতন যে সময় অনুক্রমের উপপাদ্য দ্বারা, আছি এ অন্তর্ভুক্ত নেই ই = ডি টি আমি এম ই ( …
একটি গ্রুপের জন্য শক্তিশালী জেনারেটর দেওয়া হয়েছে (G≤Sn,∗)(G≤Sn,∗)(G \leq S_n, *) দৈর্ঘ্যের বিটস্ট্রিংগুলিতে অভিনয় করা nnn এবং একটি উপাদান s∈{0,1}ns∈{0,1}ns \in \{0, 1\}^n, অভিধানের ন্যূনতম উপাদানের গণনা করা কতটা কঠিন G.sG.sG.sএর কক্ষপথ sss ভিতরে GজিG?
আমাদের একটি সমস্যা আছে এবং আমরা একটি অ্যালগরিদম পেয়েছি যা 2-নেফটাইম টাইম বলে মনে হচ্ছে। নিম্ন সীমাটি সন্ধান করতে আমি 2-নেপসটাইম-সম্পূর্ণ সমস্যাগুলি জানতে চাই। আমি সাহিত্যে মূলত এ জাতীয় দুটি সমস্যা পেয়েছি: আকারের সমাধান হিসাবে পিসিপি কম কিনা 22এন22এন2^{2^n} এবং আকারের বর্গক্ষেত্রের স্থায়ী সমস্যা 22এন22এন2^{2^n} তবে আমি আমার এই সমস্যাগুলি …
এনএক্সপি পি / পলিতে রয়েছে কিনা তা জানা যায়নি। প্রকৃতপক্ষে প্রমাণ করে যে এনএক্সপি পি / পলিতে নেই, ড্যারানডমাইজেশনে কিছু অ্যাপ্লিকেশন থাকতে পারে। সবচেয়ে ছোট ইউনিফর্ম শ্রেণি সি কোনটির জন্য এটি প্রমাণ করতে পারে যে সি পি / পলিতে নেই? পি / পলিতে কো-এনএক্সপি অন্তর্ভুক্ত নেই তা দেখানো হবে কি …