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

নির্ধারণ - ভাষার বর্গ হতে একটি ভাষা আছে যেমন যে এবং অসীম অনেকের জন্য , এবং দৈর্ঘ্য সমস্ত উদাহরণ একমত । (এটি হ'ল এটি ভাষাগুলির শ্রেণি যা "অসম্পূর্ণভাবে প্রায়শই সমাধান করা যায়"ioioioSUBEXPSUBEXPSUBEXPLLLL′∈∩ε>0TIME(2nε)L′∈∩ε>0TIME(2nε)L' \in \cap_{\varepsilon > 0} TIME(2^{n^{\varepsilon}})nnnLLLL′L′L'nnn সেখানে একটা ওরাকল কি যেমন যে - SUBEXP ^ একজন ? যদি আমরা …

30 cc.complexity-theory  sat  oracles 

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

28 cc.complexity-theory  oracles  relativization 

সাধারণভাবে, একটি ওরাকলের জন্য ক্যোরি-টেপ একটি টিএম এর স্পেস-জটিলতার দিকে গণনা করে। যাইহোক, কেবল একটি লিখন-কেবল ওরাকল-টেপ (যেমন এল-স্পেস হ্রাস ব্যবহৃত হয়) অনুমতি দেওয়ার পক্ষে এটি প্রশংসনীয় বলে মনে হচ্ছে। যেমন একটি নির্মাণ দরকারী? এটি কি কোনও বিশেষভাবে অযৌক্তিক ফলাফল দেয়?

20 cc.complexity-theory  space-bounded  oracles 

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

18 computability  oracles  random-oracles 

ধরুন TTT হল একটি ধ্রুবক-ডিগ্রি গাছ যার কাঠামো আমরা জানি না know সমস্যা আউটপুট গাছ TTT ফর্ম প্রশ্নের জিজ্ঞাসা করে: "নোড করে xxx নোড থেকে পথে মিথ্যা aaa নোডের bbb ?"। ধরে নিন যে প্রতিটি প্রশ্নের উত্তর একটি ওরাকল দ্বারা ধ্রুব সময়ে দেওয়া যেতে পারে। আমরা এর মান, nnnগাছে নোডের …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

আমি শুধু পড়া " ? গুণকনির্ণয় পূর্ণসংখ্যা একটি দ্বারা NP-সম্পূর্ণ সমস্যা " প্রশ্ন ... তাই আমি আমার খ্যাতি কিছু :-) ব্যয় আরেকটি প্রশ্ন জিজ্ঞাসা সিদ্ধান্ত নিয়েছে থাকার পি ( প্রশ্নঃ তুচ্ছ হয় ) ≈ 1 :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 যদি এমন একটি ওরাকল হয় যা …

18 cc.complexity-theory  oracles  factoring 

পটভূমি এটা তোলে পরিচিত একটি ওরাকল অস্তিত্ব আছে যে যেমন যে, ।A AAP S P A C E A ≠ P H APSPACEA≠PHAPSPACE^A \neq PH^A এটি এমনকি জানা যায় যে বিচ্ছেদটি একটি এলোমেলো ওরাকেলের সাথে সম্পর্কিত। অনানুষ্ঠানিকভাবে, কেউ এটির অর্থ ব্যাখ্যা করতে পারে যে অনেকগুলি ওরাকল রয়েছে যার জন্য এবং …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

মাইক এবং আইকের "কোয়ান্টাম গণনা এবং কোয়ান্টাম তথ্য" তে গ্রোভারের অ্যালগরিদমটি দুর্দান্তভাবে ব্যাখ্যা করা হয়েছে। তবে গ্রোভারের অ্যালগরিদমের জন্য বইটিতে এবং সমস্ত ব্যাখ্যা আমি অনলাইনে খুঁজে পেয়েছি, গ্রোভারের ওরাকল কীভাবে নির্মিত তা সম্পর্কে কোনও উল্লেখ নেই বলে মনে হয়, যদি না আমরা ইতিমধ্যে না জানি যে আমরা কোন রাজ্যের সন্ধান …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

জটিলতা তত্ত্বে ওরাকলগুলি দেখা দেওয়ার সবচেয়ে সাধারণ উপায়টি হ'ল : একটি নির্দিষ্ট ওরেकल নির্দিষ্ট সীমাবদ্ধ সংস্থানযুক্ত একটি টুরিং মেশিনের জন্য উপলব্ধ করা হয়, এবং একটি কীভাবে ওরাকল যন্ত্রটির গণ্য শক্তি বাড়ায় তা অধ্যয়ন করে। ইনপুট অংশ হিসাবে , যদিও অন্য উপায় আছে যা কখনও কখনও ওরাকলগুলি ঘটে । উদাহরণস্বরূপ, ধরুন …

14 cc.complexity-theory  oracles 

"প্রচলিত রেফারেন্স স্ট্রিং এবং র‌্যান্ডম ওরাকল মডেল অন অস্বীকারের শিরোনাম" শীর্ষক একটি গবেষণাপত্রে রাফায়েল পাস লিখেছেন: আমরা লক্ষ করেছি যে আরও [র‌্যান্ডম ওরাকল] মডেলটিতে স্ট্যান্ডার্ড শূন্য-জ্ঞান সংজ্ঞা অনুযায়ী সুরক্ষা প্রমান করার সময়, সিমুলেটারটির একটি সরল মডেল সিমুলেটারের দুটি সুবিধা রয়েছে, যথা, সিমুলেটরটি দেখতে পাচ্ছে যে পক্ষগুলি ওরেकलকে কী মান দেয়। …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

সহজভাবে বলুন: ওরাকলসের সাথে টুরিং মেশিন এবং ওরাকলগুলির সাথে ইউনিফর্ম সার্কিট পরিবারগুলির মধ্যে কী যোগাযোগ রয়েছে? প্রদত্ত ওরাকল টুরিং মেশিনের জন্য একই গণনামূলক মডেলটি পাওয়ার জন্য কীভাবে পরবর্তী সংজ্ঞা দেওয়া হয়? এটি প্রাথমিক প্রশ্ন হতে পারে, তবে কোথায় সন্ধান করা উচিত তা স্পষ্ট নয় এবং আমার ভিত্তি ভাল মানের মর্টার …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

থামার সমস্যাটি অসমর্থিত হিসাবে সুপরিচিত। তবে, থামার সমস্যা সম্পর্কে তাত্পর্যপূর্ণভাবে "সংক্ষেপণ" তথ্য সরবরাহ করা সম্ভব, যাতে এটি সংক্ষেপিত করা গণনাযোগ্য। আরও স্পষ্টভাবে, টিউরিং মেশিনের বিবরণ এবং একটি বিট পরামর্শ থেকে টুরিং মেশিনগুলির সমস্ত এর জন্য থামানো সমস্যার উত্তর উল্লেখ করা সম্ভব , এবং ধরে নেওয়া সম্ভব পরামর্শের রাজ্যটি বিশ্বাসযোগ্য - …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

আমি বুহরমন এবং হোমার "সুপারপলিনিমিয়াল সার্কিট, প্রায় বিরল ওরাকলস এবং এক্সফোনেনশিয়াল হায়ারার্কি" এর একটি কাগজ পড়ছিলাম । পৃষ্ঠাগুলি 2 এর নীচে তারা মন্তব্য করেছেন যে কান্নানের ফলাফলগুলি বোঝায় যে আকারের সার্কিট নেই। আমি জানি যে , just কেবলমাত্র , এবং আমি আরও জানি যে কান্নানের ফলাফল এমন যে । অবশ্যই, …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

না ধরে?এন পিএন পি∩সি ও এন পি= এন পিNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP} স্পষ্টত , কিন্তু এটা আমার মনে হচ্ছে যে এন পি ∩ গ ণ এন পি যার ফলে আমাকে বিশ্বাস এই সত্য "নির্ণায়ক" হয়।এন পিএন পি≠ এন পিNPNP≠NP\mathsf{NP^{NP}\neq NP}এন পি ∩ সি ও এন পিNP∩coNP\mathsf{NP\cap coNP} একটি সহজ প্রমাণ আছে …

12 cc.complexity-theory  complexity-classes  oracles 

গ্রেগ কুপারবার্গের জটিলতা প্রাণিবিদ্যায় বলা হয়েছে যে এখানে একটি ভাষা রয়েছে যা - অন্য কথায়, in গণিত \ বিপিপি ^ এক্স ^ nsub \ mathsf {P} ^ {\ mathsf {NP} ^ X} - তবে এই ফলাফলের জন্য কোনও রেফারেন্স দেয় না। কেন এই ধরে? বা কোথায় প্রমাণ পাওয়া যাবে?XXXBPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation