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

যাক একটি ডিগ্রী হতে ঘ বহুপদী মধ্যে এন ভেরিয়েবল উপর এফ 2 , যেখানে ঘ ধ্রুবক (বলতে 2 বা 3)। আমি ক্ষুদ্রতম সূত্র খুঁজে পেতে চাই চ , যেখানে "সূত্র" এবং "সূত্র আকার" সুস্পষ্ট ভাবে সংজ্ঞায়িত করা হয় (যেমন। জন্য বহুপদী ক্ষুদ্রতম সূত্র এক্স 1 এক্স 2 + + এক্স …

28 cc.complexity-theory  formulas 

প্রশ্ন: এসি 0 তে একটি সুস্পষ্ট ফাংশনটির জন্য নিম্নতম সুনির্দিষ্ট সূত্রের আকারটি কম কী ? একটি Ω ( n 2 )Ω(n2)\Omega(n^2) নিম্ন সীমা সহ একটি সুস্পষ্ট ফাংশন আছে ? পটভূমি: বেশিরভাগ নিম্ন সীমাগুলির মতো, সূত্রের আকারের নিম্ন সীমাগুলি এড়ানো শক্ত। আমি আদর্শ ইউনিভার্সাল গেট সেট {এবং, বা না, over এর …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

কে ভেরিয়েবল এবং ক্লজ সহ একটি সন্তুষ্ট সিএনএফ সূত্র হতে দিন । যাক সমাধান স্থান হতে ।F1F1F_1মি এস এফ 1 এফ 1nnnmmmSF1SF1S_{F_1}F1F1F_1 নির্ধারণের সমস্যা, প্রদত্ত বিবেচনা , অন্য CNF ফর্মুলা যেমন ভেরিয়েবল একই সেট দিয়ে F_1 , সঙ্গে S_ {F_2} = S_ {F_1} (হিসাবে একই সমাধান ক্ষেত্র F_1 ), কিন্তু …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

পটভূমি গেটের সেটগুলির উপরে একটি পঠন সূত্র (একে ভিত্তিও বলা হয়) এমন সূত্র যা প্রতিটি ইনপুট ভেরিয়েবল একবার প্রদর্শিত হয়। একবারে পঠন সূত্রগুলি সাধারণত ডি মরগান ভিত্তিতে (যার মধ্যে 2-বিট গেটগুলি এবং এবং ওআর, এবং 1-বিট গেট নয়) রয়েছে এবং সম্পূর্ণ বাইনারি ভিত্তিতে (যাতে 2-বিট গেট রয়েছে) are সুতরাং উদাহরণস্বরূপ, …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

আমি খুব নির্দিষ্ট হতে চাই। কেউ কি আপত্তি বা নীচের প্রস্তাবের প্রমাণ সম্পর্কে জানেন: ∃ পি ∈ জেড [ এক্স ] , এন , কে , সি∈ N ,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in STRUC[\Sigma_{graph}] (min(|G|, |H|) = n, G \not\simeq H), ∃φ∈L(Σgraph),∃φ∈L(Σgraph),\exists …

12 graph-theory  graph-isomorphism  formulas  first-order-logic 

এন ভেরিয়েবল ( ) এর এম পদগুলির একটি মনোোটোন সিএনএফ সূত্র হল , যেখানে প্রতিটি ভেরিয়েবলের কিছু উপসর্গের একটি বা একটি , এবং থেকে রেঞ্জ থেকে । f ( x 1 , … , x n ) = ⋀ C i C i x 1 , … , x n …

10 cc.complexity-theory  circuit-complexity  formulas