প্রশ্ন ট্যাগ «oracles»

Http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf দ্বারা যদি একটি PSPACE-সম্পূর্ণ ভাষা হল, ।পি এ = এন পি এএকজনAAপিএকজন= এনপিএকজনPA=NPAP^{A}=NP^{A} তাহলে একটি নির্ণায়ক বহুপদী টাইম ওরাকল, হয় (অভিমানী )।পি বি ≠ এন পি বি পি ≠ এন পিবিBBপিবি। এনপিবিPB≠NPBP^{B}\ne NP^{B}পি। এনপিP≠NPP\ne NP # পি পি ⊆ পি পি ⊆ পি এস পি এ সি ইপিপিPPPP হ'ল …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

আমি জানতে চাই যদি একটি relativized বিশ্বের বিদ্যমান চাই যেখানে । আমিও জানতে যদি একটি relativized বিশ্বের বিদ্যমান আগ্রহী যেখানে ।PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = {\bf PP^B}

11 cc.complexity-theory  oracles  relativization 

লগস্পেস গণনা পুনরায়করণের বিষয়ে একটি গবেষণাপত্রে , লাডনার এবং লিঞ্চ একটি ওরাকল নির্মাণ করেছেন যার সাথে । সাহিত্যে এই শিরাতে আরও কিছু প্যাথলজিকাল উদাহরণ রয়েছে। আমি অপেক্ষাকৃত ছোট স্পেস ক্লাস সম্পর্কিত কিছু কাগজপত্র পড়ছি, এবং এই অঞ্চলের অন্যতম প্রাথমিক সরঞ্জাম হ'ল রাজ্জো-সাইমন-টমপা (আরএসটি) ওরাকল অ্যাক্সেস মেকানিজম যা দাবি করে যে …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

এই প্রশ্নের একটি সুস্পষ্ট উত্তর থাকতে পারে ... তবে যাইহোক প্রশ্ন এখানে's স্বজ্ঞাতভাবে, এটি নিম্নোক্ত কারণযুক্ত বক্তব্য - "সাব্রুটিন এ-এর একটি মেশিন যার পরিবর্তে সাবরুটিন বি রয়েছে এমন একটি মেশিন যেমন একটি সাব্রুটিন এ রয়েছে যা সাব্রুটিন বিতে অ্যাক্সেস পায়" " এই সমস্যাটিকে আনুষ্ঠানিকভাবে সংজ্ঞায়িত করতে, আমি কিছু অপ্রচলিত স্বরলিপি …

11 complexity-classes  oracles 

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

10 lo.logic  type-theory  oracles  halting-problem 

আমি এবং সম্পর্কিত কোনও বিবৃতি খুঁজে ; পয়েন্টার প্রশংসা করা হবে।MAএমএকজন\mathsf{MA}NPRPএনপিআরপি\mathsf{NP}^\mathsf{RP} আমি বিশ্বাস করি তারা সমান: MA⊆NPRPএমএকজন⊆এনপিআরপি\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : মেশিন মার্লিনের স্ট্রিং অনুমান করে এবং ওরাকল আর্থারের মতো স্ট্রিংটি যাচাই করে।NPএনপি\mathsf{NP}RPআরপি\mathsf{RP} NPRP⊆MAএনপিআরপি⊆এমএকজন\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA} : মেরলিন সমস্ত কল সহ calls মেশিনের গ্রহণযোগ্য গণনা এবং সেই সাথে এই কলগুলির ফলাফলগুলি …

10 cc.complexity-theory  oracles 

যাক হতে কোন EXP সম্পূর্ণ সমস্যা। তারপরে, পি এ = এন পি এ ।AAAPA=NPAPA=NPAP^A = NP^A যাক কিছু ওরাকল যে প্রশ্ন যা অ্যাকাউন্ট লাগে হতে এম (পি একটি টি এম) করতে হবে, এবং আমরা পেতে পারেন পি বি ≠ এন পি বি ।BBBMMMPB≠NPBPB≠NPBP^B \neq NP^B প্রশ্ন: পি বনাম বিপিপির জন্য …

10 cc.complexity-theory  oracles  relativization 

অদম্য জেনারেটর নীচে হিসাবে সংজ্ঞায়িত করা হয়: কে একটি এনপির সম্পর্ক হতে দিন এবং এমন একটি মেশিন হন যা গ্রহণ করে । অনানুষ্ঠানিকভাবে, একটি প্রোগ্রাম একটি অদম্য জেনারেটর যদি ইনপুট , এটি সাথে -তে উদাহরণ-সাক্ষী জোড় produces উত্পাদন করে প্রথমে একটি ডিস্ট্রিবিউশন যার অধীনে কোনো বহুপদী সময় প্রতিদ্বন্দ্বী যারা দেওয়া …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

বেশিরভাগ সাহিত্যই নির্দিষ্ট সমস্যার জন্য একক ওরাকলযুক্ত মেশিনগুলির সাথে সম্পর্কিত বলে মনে হয়, তবে কয়েকটি কাগজপত্র পাওয়া যায় যা একাধিক ওরাকলযুক্ত মেশিনগুলি বিবেচনা করে। কোনও ভালো কাগজ বা থিসিস রয়েছে যা এই জাতীয় মেশিনগুলির সম্পর্কে কী জানা আছে তার একটি ওভারভিউ সরবরাহ করে? বিশেষত আমি একাধিক ওরাকল নিয়ে পি-তে আগ্রহী।

10 oracles  turing-machines