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

এক জনের কথা বলতে পারেন treewidth একটি বুলিয়ান বর্তনী, পুতুল (ছেদচিহ্ন) এ "moralized" গ্রাফ treewidth যেমন সংজ্ঞা নিম্নরূপ প্রাপ্ত: সংযোগ তারের এবং যখনই একটি গেট থাকার আউটপুট ইনপুট হিসেবে (অথবা তদ্বিপরীত); তারগুলি এবং যখনই সেগুলি একই গেটের ইনপুট হিসাবে ব্যবহৃত হয়। সম্পাদনা করুন: সার্কিটের গাছের প্রস্থকে সমতুল্যভাবে বর্ণনা করতে পারে …

14 circuit-complexity  pr.probability  treewidth  arithmetic-circuits 

এটি কি জানা যায় যে সার্কিট মূল্যায়ন সমস্যা ? কীভাবে (ইউনিফর্ম )? এন সি 1 এ এল ও জি টি আই এম ই এন সি 1NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} আমরা জানি যে গভীরতা সার্কিটগুলি গভীরতা সার্কিটের সাথে মূল্যায়ন করা যেতে পারে যেখানে সর্বজনীন ধ্রুবক। গভীরতা এই উপায়ে সার্কিট গভীরতা একটি বর্তনী দ্বারা মূল্যায়ন …

14 cc.complexity-theory  reference-request  circuit-complexity 

এডলম্যান 1978 সালে দেখা গেছে যে : একটি বুলিয়ান ফাংশন যদি এর ভেরিয়েবল আকারের একটি সম্ভাব্য বুলিয়ান বর্তনী দ্বারা নির্ণিত করা যেতে পারে , তারপর একটি নির্ণায়ক দ্বারা নির্ণিত করা যেতে পারে এবং মধ্যে আকারের বহুবর্ষের বুলিয়ান সার্কিট ; আসলে, আকারের । BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnMMMfffMMMnnnO(nM)O(nM)O(nM) সাধারণ প্রশ্ন: other অন্য কোন (বুলিয়ান …

13 cc.complexity-theory  circuit-complexity  randomized-algorithms  derandomization  arithmetic-circuits 

এটি জানা যায় যে যদি তবে বহুবচনীয় স্তরক্রমটি Σ P 2 এবং M A = A M তে নেমে আসে ।এনপি। পি/ পিও l ওয়াইNP⊆P/PolyNP\subseteq P/PolyΣপি2Σ2P\Sigma_2^{P}এমএ = এ এমMA=AMMA = AM হলে সবচেয়ে শক্তিশালী পতনগুলি কী ঘটে ?এনইএক্সপি। পি/ পিও l ওয়াইNEXP⊆P/PolyNEXP\subseteq P/Poly

13 circuit-complexity  complexity 

বহুগুণীয় আকারের বুলিয়ান সার্কিটের একটি পরিবার দ্বারা পি / পলি হ'ল সিদ্ধান্ত সমস্যার শ্রেণি। এটি বিকল্পভাবে বহুপাক্ষিক-সময় টুরিং মেশিন হিসাবে সংজ্ঞায়িত করা যেতে পারে যা একটি পরামর্শের স্ট্রিং লাভ করে যা আকারে বহুভুজ এবং এটি সম্পূর্ণ n এর আকারের উপর ভিত্তি করে। বহুগুণীয় আকারের একঘেয়ে বুলিয়ান সার্কিটের পরিবার দ্বারা এমপি …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

টাইম চলমান একটি অ্যালগরিদম দেওয়া , আমরা একে একে tri t ( n ) লগ টি ( এন ) এর আকারের একই সমস্যার জন্য "তুচ্ছ" ইউনিফর্ম সার্কিট পরিবারে রূপান্তর করতে পারি ।t(n)t(n)t(n)≈t(n)logt(n)≈t(n)log⁡t(n)\approx t(n)\log t(n) অন্যদিকে, এটি হতে পারে যে সমস্যাটির জন্য আমাদের অনেক কম ইউনিফর্ম সার্কিট রয়েছে, এমনকি যদি একটি …

13 cc.complexity-theory  circuit-complexity  uniformity 

আসুন the সংখ্যাগরিষ্ঠ ফাংশন, যেমন হলে এবং কেবল যদি । আমি ভাবছিলাম যে নিম্নলিখিত বিষয়গুলির একটি সহজ প্রমাণ আছে কিনা ("সহজ" দ্বারা আমি বোঝাচ্ছি ভ্যালেন্ট ৮৪ এর মতো সম্ভাব্য পদ্ধতিতে বা নেটওয়ার্ক বাছাইয়ের উপর নির্ভর না করা; সম্ভবত সার্কিটের একটি স্পষ্ট, সরল নির্মাণ সরবরাহ):f ( x ) = 1 ∑ …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

যাক একটি বুলিয়ান ফাংশন হবে এন বুলিয়ান ভেরিয়েবল। যাক ছ ( এক্স ) = টি ε ( চ ) ( এক্স ) প্রত্যাশিত মান হতে চ ( Y ) যখন Y থেকে প্রাপ্ত হয় এক্স প্রতিটি সম্ভাব্যতা সঙ্গে সমন্বয় আলোকসম্পাতের দ্বারা ε / 2 ।fffnnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon (f) (x)f(y)f(y)f(y)yyyxxxϵ/2ϵ/2\epsilon/2 আমি ক্ষেত্রে যেখানে …

13 cc.complexity-theory  circuit-complexity  boolean-functions 

এলোমেলো সীমাবদ্ধতা এবং স্যুইচিং উপর ভিত্তি করে বেশ কয়েকটি সুপরিচিত সার্কিট আকার নিম্ন-সীমাবদ্ধ ফলাফল রয়েছে ।AC0AC0\mathsf{AC^0} সার্কিটের জন্য ( জন্য নিম্ন-সীমাবদ্ধ প্রমাণগুলির অনুরূপ) একটি আকারকে নিম্ন-সীমাবদ্ধ করার জন্য আমরা কী একটি স্যুইচিং লেমমা ফলাফল বিকাশ করতে পারি ?TC0TC0\mathsf{TC^0}AC0AC0\mathsf{AC^0} বা approach নিম্ন-সীমা প্রমাণ করার জন্য এই পদ্ধতির ব্যবহারে কোন অন্তর্নিহিত বাধা …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

এবং এন এল ও জি টি আই এম ই হ'ল আমাদের মধ্যে সবচেয়ে ছোট জটিল দুটি শ্রেণি। (নোট করুন যে লোগারিথমিক টাইম হাইয়ারার্কি এল এইচ এ সি 0 এর সমানএবং এগুলি এল এইচ এর প্রথম দুটি স্তর)।ডি এল ও জি টি আই এম ইDLogTime\mathsf{DLogTime}এন এল ও জি টি আই এম …

13 cc.complexity-theory  circuit-complexity 

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

13 cc.complexity-theory  complexity-classes  circuit-complexity 

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

13 cc.complexity-theory  circuit-complexity  machine-learning  ne.neural-evol 

একটি ফাংশন বিবেচনা একটি বুলিয়ান বর্তনী দ্বারা নির্ণিত সঙ্গে আকারের ইনপুট ভিত্তিতে উপর ( গেটের জন্য অগণিত 2 সহ )সি এন এস ( এন ) = পি ও এল ওয়াই ( এন ) { এক্স ও আর , এ এন ডি , এন ও টি } এক্স ও আর , …

12 circuit-complexity  circuits 

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

12 cc.complexity-theory  circuit-complexity  sat  context-free 

যাক একটি (অ-একঘেয়েমি) এর নূন্যতম আকারের গাণিতিক বোঝাতে ( + + , × , - ) সার্কিট কম্পিউটিং একটি প্রদত্ত multilinear বহুপদী চ ( এক্স 1 , ... , x এর এন ) = Σ ই ∈ ই গ ই এন Π আমি = 1 x ই i iক ( …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits