প্রশ্ন ট্যাগ «circuit-complexity»

ডি বেরা, এফ। গ্রিন এবং এস হোমার (জুন 2007 এর এসিএম সাইন্ট নিউজের খণ্ড 36, নং 2) দ্বারা "ছোট গভীরতা কোয়ান্টাম সার্কিট" সমীক্ষায় আমি নিম্নলিখিত বাক্যটি পড়েছি: ধ্রুপদী সংস্করণ (যেখানে এবং দরজা সবচেয়ে ধ্রুবক Fanout আছে) তুলনায় provably দুর্বল ।QAC0QAC0QAC^0ANDANDANDORORORAC0AC0AC^0 এই দাবির জন্য একটি রেফারেন্স অনুপস্থিত। আমি এই শ্রেণীর ডাকব …

23 cc.complexity-theory  circuit-complexity 

গভীরতা -3 ফলাফলের সাম্প্রতিক কাস্মের আলোকে (যা অন্যান্য জিনিসের মধ্যে একটি গভীরতা -3 গাণিতিক সার্কিটের জন্য নির্ণায়ক over ), আমি নিচের প্রশ্নগুলোর আছে: Grigoriev এবং Karpinski প্রমাণিত একটি কোনো গভীরতা -3 গাণিতিক বর্তনী কম্পিউটিং এর নির্ণায়কের জন্য আবদ্ধ নিম্ন সসীম ক্ষেত্র ওভার ম্যাট্রিক্স (যা আমি অনুমান, এছাড়াও স্থায়ী জন্য ধারনা …

22 circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant 

সাধারণ গাণিতিক সার্কিট সম্পর্কে আমাদের জ্ঞানের অবস্থা বুলিয়ান সার্কিট সম্পর্কে আমাদের জ্ঞানের অবস্থার সাথে সমান বলে মনে হয়, অর্থাৎ আমাদের ভাল নিম্ন-সীমানা নেই। অন্যদিকে আমাদের একঘেয়ে বুলিয়ান সার্কিটের জন্য ক্ষুদ্রতর আকারের নিম্ন-সীমা রয়েছে । মনোোটোন গণিত সার্কিট সম্পর্কে আমরা কী জানি ? আমাদের কি তাদের জন্য একই রকম ভাল নিম্ন-সীমা …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

যখন অবধি সীমিত 000 - 111 ইনপুট, যে {+,×}{+,×}\{+,\times\} -circuit F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n) নির্ণয় কিছু ফাংশন F:{0,1}n→NF:{0,1}n→NF:\{0,1\}^n\to \mathbb{N} । একটি প্রাপ্ত বুলিয়ান ফাংশন, আমরা শুধু আউটপুট গেট হিসেবে fanin -1 থ্রেশহোল্ড গেট যোগ করতে পারেন। ইনপুটের a∈{0,1}na∈{0,1}na\in\{0,1\}^n , ফলে প্রান্তিক মানের {+,×}{+,×}\{+,\times\} -সার্কিট এরপরে F ( a ) ≥ t হলে আউটপুট …

21 circuit-complexity  arithmetic-circuits  cc-complexity-theory 

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

21 cc.complexity-theory  circuit-complexity  parity 

বহনকারী অ্যালগরিদমকে বহন করে ব্যবহার করে বহু-আকারের গভীরতা 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 

এন সিNC\mathsf{NC} দক্ষতার parallelizable ধারণা ধারন করে, এবং এটি এক ব্যাখ্যা ঐ সময়ের মধ্যে সমাধেয় হয় সমস্যার হয় ব্যবহার কিছু ধ্রুবক জন্য সমান্তরাল প্রসেসর , । যদি একটি অনুরূপ জটিলতা বর্গ যেখানে সময় হল আমার প্রশ্ন হচ্ছে এবং প্রসেসর সংখ্যা । খালি শূন্য প্রশ্ন হিসাবে:ও ( এন কে ) সি …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

(ভন নিউমান একটি অ্যালগরিদম দিয়েছেন যা একটি নমনীয় পক্ষপাতিত্বকারী মুদ্রার অ্যাক্সেস দেওয়া ন্যায্য মুদ্রাকে সিমুলেট করে। বেষ্টিত।) ধরুন আমাদের পক্ষপাতিত্বের সাথে অভিন্ন কয়েন রয়েছে । পক্ষপাতিত্ব হ্রাস করার সময় লক্ষ্য একটাই কয়েন টস সিমুলেট করা।nnnδ=P[Head]−P[Tail]δ=P[Head]−P[Tail]\delta=P[Head]-P[Tail] সিমুলেশনটি নিম্নলিখিত অর্থে দক্ষ হতে হবে: বহুপদী সময়ে চলমান একটি অ্যালগরিদম এলোমেলো বিট দেখে এবং …

21 cc.complexity-theory  circuit-complexity  pr.probability 

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

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

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

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

যাক REGREG\mathsf{REG} সব নিয়মিত ভাষার বর্গ করা। আর ই জি ⊄ এ সি 0 এ সি 0 ∩ আর ই জিAC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}REG⊄AC0REG⊄AC0\mathsf{REG} \not\subset \mathsf{AC}^0AC0∩REGAC0∩REG\mathsf{AC}^0 \cap \mathsf{REG}

20 circuit-complexity  regular-language