প্রশ্ন ট্যাগ «cc.complexity-theory»

সেখানে কোনো প্রাকৃতিক সমস্যা পি , যার জন্য সব থেকে বহুল পরিচিত চলমান সময় বেঁধে ফর্ম হল , যেখানে α একটি হল অযৌক্তিক ধ্রুবক?O(nα)O(nα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

এটি একটি ক্লাসিক ফলাফল যে ইনপুট ভেরিয়েবলগুলি থেকে PARITY গণনা করে এমন প্রতিটি ফ্যান-ইন সার্কিটের আকার কমপক্ষে এবং এটি তীক্ষ্ণ। (আমরা আকারটিকে ও এবং গেটের সংখ্যা হিসাবে সংজ্ঞায়িত করি)) প্রমাণটি গেট-বিলোপকরণ দ্বারা হয় এবং মনে হয় যদি আমরা স্বেচ্ছাচারী ফ্যান-ইনকে অনুমতি দিই তবে এটি ব্যর্থ হয়। এই মামলায় কী পরিচিত?3 …

21 cc.complexity-theory  circuit-complexity  parity 

f(n)f(n)f(n) সি > 0limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 এটি স্পষ্ট যে যে কোনও ভাষার জন্য এটি ধারণ করে যে প্রতিটি অতিপরিচ্ছন্ন সময় বেঁধে । আমি অবাক হই, এই বিবৃতিটির কথোপকথনটি কি সত্য? মানে, যদি আমরা জানি জন্য যে superpolynomial সময় বেঁধে , এটা পরোক্ষভাবে নেই ? অন্য কথায়, এটি কি সত্য যে যেখানে …

21 cc.complexity-theory  ds.algorithms  complexity-classes 

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

21 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

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

21 cc.complexity-theory  complexity-classes  lambda-calculus  typed-lambda-calculus 

গুণনের সময় জটিলতায় সবচেয়ে ভাল ওপেন বাউন্ডটি হ'ল মার্টিন ফারারের আবদ্ধ , যা সংযোজনের রৈখিক সময়ের জটিলতার চেয়ে বেশি। আমাদের কাছে কী প্রমাণ রয়েছে যে সংখ্যার চেয়ে সহজাতভাবে সংযোজন সহজ?এন লগএন 2ও ( লগ*এন )nlog⁡n2O(log∗⁡n)n\log n2^{O(\log^* n)}

21 cc.complexity-theory  time-complexity 

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

21 cc.complexity-theory  structural-complexity 

এমন কোনও প্রাকৃতিক সমস্যার উদাহরণ রয়েছে যা বিপিপিতে রয়েছে তবে তা আরপি বা কো-আরপিতে নেই বলে জানা যায়?

21 cc.complexity-theory  complexity-classes  randomness 

বহনকারী অ্যালগরিদমকে বহন করে ব্যবহার করে বহু-আকারের গভীরতা 5 (বা 4?) সার্কিট পরিবার ব্যবহার করে আমরা সংযোজন করতে পারি । গভীরতা কমানো সম্ভব? বহনযোগ্য অ্যালগরিদমকে বহন করার চেয়ে আরও গভীরতার সাথে বহুবর্ষীয় আকারের সার্কিট পরিবার ব্যবহার করে আমরা দুটি বাইনারি সংখ্যার সংখ্যানটি গণনা করতে পারি?AC0AC0AC^0 সার্কিট পরিবারগুলির যেখানে 2 বা …

21 cc.complexity-theory  circuit-complexity  lower-bounds  upper-bounds 

নিম্নলিখিত যুক্তি বিবেচনা করুন: যাক বোঝাতে Kolmogorov জটিলতা এর স্ট্রিং এক্স । চৈতিনের অসম্পূর্ণতা উপপাদ্যটি তা বলেK(x)K(x)K(x)xxx যে কোনও ধারাবাহিক এবং পর্যাপ্ত শক্তিশালী আনুষ্ঠানিক সিস্টেম একটি ধ্রুবক টি উপস্থিত রয়েছে (কেবলমাত্র আনুষ্ঠানিক সিস্টেম এবং তার ভাষার উপর নির্ভর করে) যেমন কোনও স্ট্রিংয়ের জন্য এক্স , এস প্রমাণ করতে পারে না …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

আমরা জানি, -clique ফাংশন একটি (নেয় spanning ) subgraph সম্পূর্ণ এর -vertex গ্রাফ , এবং আউটপুট iff একটি রয়েছে -clique । এই ক্ষেত্রে প্রান্তের সাথে । এটি (রাজবরোভ, অ্যালন-বোপ্পানা) জানা গেছে যে q লেক জন্য এই ফাংশনটির জন্য প্রায় আকারের একরঙা সার্কিট প্রয়োজন । kkkজি ⊆ কে এন এন কে …

21 cc.complexity-theory  optimization  circuit-complexity 

কোন বিশ্বাসযোগ্য জটিলতা / ক্রিপ্টো হাইপোথিসিস যে বহুপদী আকার সার্কিট (অর্থাত subexponential আকার আছে সম্ভাবনা আউট নিয়ম সঙ্গে ε &lt; 1 ) বেষ্টিত গভীর ( ঘ = হে ( 1 ) ) সার্কিট?2O(nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ&lt;1ϵ&lt;1\epsilon<1d=O(1)d=O(1)d = O(1) আমরা জানি যে প্রতি ফাংশন গণনীয় একটি দ্বারা বর্তনী একটি আকার দ্বারা নির্ণিত করা যেতে …

21 cc.complexity-theory  circuit-complexity  bounded-depth 

অ্যান্ড ওআর গেটটি একটি গেট যা দুটি ইনপুট দেওয়া হয় এবং তাদের এবং এবং এর ওআর প্রদান করে। সার্কিটগুলি কেবল অ্যান্ড অ্যান্ড গেটের বাইরে তৈরি করা হয়েছে, বিনা ব্যতীত, নির্বিচারে গণনা করতে সক্ষম? আরও সুনির্দিষ্টভাবে বলা যায় যে বহুপক্ষীয় সময়ের গণনা লগস্পেসটি কী অ্যান্ড এন্ড ও ও সার্কিটের জন্য হ্রাসযোগ্য? …

21 cc.complexity-theory  circuit-complexity 

লুকা ট্রেভিসন দেখিয়েছিলেন যে সিউডোর্যান্ডম জেনারেটরের কতগুলি নির্মাণকে বাস্তবে এক্সট্রাক্টর নির্মাণ হিসাবে বিবেচনা করা যেতে পারে: http://www.cs.berkeley.edu/~luca/pubs/extractor-full.pdf একটি অর্থবহ কথাবার্তা আছে? অর্থাত, নিষ্কাশনকারীদের "প্রাকৃতিক" নির্মাণগুলি কি সিউডোরানডম জেনারেটর (পিআরজি) নির্মাণ হিসাবে বিবেচনা করা যেতে পারে? এক্সট্রাক্টর নির্মাণগুলি পিআরজিগুলিতে বিতরণের সাথে সামঞ্জস্যপূর্ণ বলে মনে হয় (যেমন কোনও পার্থক্যকারী তাদের প্রায় সকলের …

21 cc.complexity-theory  pseudorandomness  pseudorandom-generators  extractors 

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

21 cc.complexity-theory  complexity-classes  graph-isomorphism