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

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

15 cc.complexity-theory  circuit-complexity  algebraic-complexity 

Razborov-Rudich এর দশকে প্রাকৃতিক নিদর্শনাবলী কাগজ, পৃষ্ঠা 6, অংশ তারা আলোচনা আছে "শক্তিশালী lowerbounds বিরুদ্ধে প্রমাণাদি একঘেয়েমি বর্তনী মডেল" এবং কিভাবে তারা ছবি মধ্যে মাপসই করা, সেখানে নিচের বাক্যগুলো আছেন: এখানে সমস্যাটি গঠনমূলক নয় - এই প্রমাণগুলিতে ব্যবহৃত বৈশিষ্ট্যগুলি সমস্ত সম্ভব - তবে বড়ত্বের শর্তটির কোনও ভাল আনুষ্ঠানিক এনালগ নেই …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

প্রাকৃতিক প্রমাণগুলি বুলিয়ান ফাংশনগুলির সার্কিট জটিলতায় নিম্ন সীমানা প্রমাণ করার প্রতিবন্ধক। তারা সার্কিট জটিলতায় নিম্ন সীমানা প্রমাণ করতে এ জাতীয় কোনও বাধা সরাসরি বোঝায় না । এই জাতীয় বাধা চিহ্নিত করার দিকে কি কোনও অগ্রগতি রয়েছে? একঘেয়ে সেটিং এ অন্য বাধা আছে?মি ও এন ও টি ও এন ইমিণএনণটিণএনইmonotone

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

একটি ভাষায় হয় যদি একটি logspace টুরিং মেশিন যে উপদেশ বহুপদী পরিমাণ সঙ্গে ভাষা সিদ্ধান্ত নেয় বিদ্যমান।L/polyL/polyL/poly আরও তথ্যের জন্য এখানে দেখুন: https://en.wikedia.org/wiki/L/poly প্রশ্ন এর পরিণতি কী ?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

নিম্নলিখিত সাধারণ মনোোটোন সার্কিট মডেলটি বিবেচনা করুন: প্রতিটি গেটটি কেবল একটি বাইনারি OR। একটি ফাংশনের জটিলতা কত যেখানে বুলিয়ান ম্যাট্রিক্স 0 এর সাথে? এটি লিনিয়ার আকার বা সার্কিট দিয়ে গণনা করা যেতে পারে?f ( x ) = A x f(x)=Axf(x)=AxA AAn × n n×nn \times nO ( n )O(n)O(n) আরও …

14 ds.algorithms  circuit-complexity  upper-bounds 

যাক ফাংশন যা মানচিত্র হতে গুলি -gate বর্তনী সি তে এন বিট এবং একটি এন -বিট স্ট্রিং এক্স থেকে সি ( এক্স ) । ধরে নিন যে সার্কিটগুলি অ্যাসাইসিলিক ক্রম হিসাবে এনকোড করা আছে : k : = g ( i , j ) যেখানে i , j , k …

14 cc.complexity-theory  circuit-complexity  circuit-families 

BPP\mathbf{BPP}P\mathbf{P}poly\mathrm{poly} ( সর্বাধিক , + ) ( মিনিট , +(max,+)(\max,+) )(min,+)(\min,+) সেমিরিং হয়ে উঠুক । এর পলিনোমিয়ালের একটি সিকোয়েন্সের একটি শূন্য-প্যাটার্ন হ'ল একটি উপসেট যার জন্য রয়েছে exist এবং যে সমস্ত , , iff । অর্থাৎ ঠিক সেই polynomials এর গ্রাফ সঙ্গে স্থানে আঘাত আবশ্যক । ( "জিরো প্যাটার্ন" কারণ …

14 co.combinatorics  circuit-complexity  algebraic-complexity  arithmetic-circuits  vc-dimension 

Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}আর ই জি ⊆ টি সি 0 এন সি 1 ⊈ টি সি 0 আর ই জি ⊈ টি সি 0TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} in যে in তে নেই এমন কোনও সমস্যার জন্য প্রার্থী আছেন ?টি সি 0RegReg\mathsf{Reg}TC0TC0\mathsf{TC^0} সেখানে একটি শর্তাধীন ফলাফলের ইঙ্গিত যে Reg⊈TC0Reg⊈TC0\mathsf{Reg} …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

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

14 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits  dynamic-programming 

Razborov প্রমাণ একঘেয়েমি ফাংশন ম্যাচিং নেই এমপি । তবে আমরা কি বহু প্রত্যাখ্যানের সাথে বহুতল আকারের সার্কিট ব্যবহার করে ম্যাচিং গণনা করতে পারি? O(nϵ)O(nϵ)O(n^\epsilon) উপেক্ষাগুলির সাথে কোনও মিল / গতির মিল রয়েছে এমন কোনও পি / পলি সার্কিট রয়েছে কি ? প্রত্যাখ্যানের সংখ্যা এবং মিলের আকারের মধ্যে বাণিজ্য-বন্ধ কী?

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

আমরা সঙ্গে এক উৎস নোড DAGs (নির্দেশ acyclic গ্রাফ) বিবেচনা এবং এক লক্ষ্য নোড টি ; সমান্তরাল প্রান্তগুলি একই জোড়ের কোণে যোগদানের অনুমতি রয়েছে। একজন ট - কাটা প্রান্ত যার অপসারণের একটি সেট সব ধ্বংস করে গুলি - টি পাথ চেয়ে দীর্ঘতর ট ; খাটো গুলি - টি পাথ সেইসাথে …

14 cc.complexity-theory  graph-theory  circuit-complexity  directed-acyclic-graph 

যেমনটি সবাই জানে, আর্টের বহুপক্ষীয় সময়ে বহু-একক হ্রাসের জন্য স্যাট সম্পূর্ণ । এটি এখনও সম্পূর্ণNPNP\mathsf{NP} বহু-এক হ্রাস।AC0AC0\mathsf{AC^0} আমার প্রশ্নগুলি হ্রাস জন্য নূন্যতম প্রয়োজনীয় গভীরতা কি? আরও আনুষ্ঠানিকভাবে, অন্তত কি যেমন যে স্যাট হয় -hard wrt অনেকগুলি এক কমানোর?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} এটা আমার কাছে মনে হচ্ছে যে যথেষ্ট হবে? কেউ কি রেফারেন্স জানেন?AC02AC20\mathsf{AC^0_2}

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

আমি অরোরা এবং বারাকের কম্পিউটেশনাল জটিলতার বইতে এনইএসপি-র জন্য দুদকের নিম্ন সীমা সম্পর্কে পরিশিষ্ট পড়ছি । http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf মূল লেমমাসের মধ্যে একটি হ'ল সার্কিট থেকে বহুগুণ বহুত্বরেখায় বহুগুণে বহুগুণে রূপান্তরিত হয় যা বহুগাণিতিক ডিগ্রি এবং কোয়াশিপলিনোমিয়াল কো-কোফিয়েন্টিয়াস সহ, বা সমানভাবে, সার্কিট ক্লাস which, যা কোয়েসিপলিনোমিয়ালি বহু এবং গেটের নীচের স্তরে পলিয়েগারিদমিক …

14 cc.complexity-theory  co.combinatorics  complexity-classes  circuit-complexity  boolean-functions 

ফলাফল 1: লিনিয়াল-মনসুর-নিসান উপপাদ্য বলেছেন যে সার্কিটগুলির দ্বারা গণনা করা ফাংশনের ফুরিয়ার ওজন উচ্চ সম্ভাবনার সাথে ছোট আকারের সাবসেটগুলিতে কেন্দ্রীভূত হয়।AC0AC0\mathsf{AC}^0 ফলাফল 2: এর ফুরিয়ার ওজন ডিগ্রি এন এর সহ-দক্ষতার উপর কেন্দ্রীভূত হয়েছে ।PARITYPARITY\mathsf{PARITY}nnn প্রশ্ন: প্রমাণ করার কোন উপায় আছে (যদি প্রমাণযোগ্য হয়) ফলাফল 1 এবং 2 এর মাধ্যমে / …

14 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

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

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits