প্রশ্ন ট্যাগ «boolean-functions»

যে সমস্যাটিতে আমি বর্তমানে কাজ করছি, শব্দটি অপারেটরটির একটি বর্ধন স্বাভাবিকভাবেই ঘটে এবং আমি আগে থেকেই কাজ করেছি কিনা তা জানতে আগ্রহী ছিলাম। প্রথমে আসল-মূল্যবান বুলিয়ান ফাংশনগুলিতে আমি বেসিক শোর অপারেটর সংশোধন করি TεTεT_{\varepsilon}। একটি ফাংশন দেওয়া হয়েছে f:{0,1}n→Rf:{0,1}n→Rf: \{0,1\}^n \to \mathbb{R} এবং , st , , আমরা হিসাবে সংজ্ঞায়িত …

16 boolean-functions  fourier-analysis 

আমরা বলি যে একটি বুলিয়ান ফাংশন একটি জুন্টা যদি এর সর্বাধিক প্রভাবিত করে চলক থাকে।f : { 0 , 1 } n → { 0 , 1 }f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\}kkkfffkkk আসুন a জুন্তা হোক। দ্বারা এর ভেরিয়েবলগুলি চিহ্নিত করুন । ফিক্স স্পষ্টত, অস্তিত্ব আছে যেমন যে অন্তত রয়েছে এর …

16 co.combinatorics  boolean-functions  fourier-analysis  property-testing 

পিটিটাইমে নিম্নলিখিত সমস্যা, বা কোএনপি-হার্ড: দুটি বুলিয়ান এক্সপ্রেশন এবং e 2 ভেরিয়েবলগুলিতে x 1 , … , x n দেওয়া ছাড়াই (যেমন, এক্সপ্রেশনগুলি সম্পূর্ণরূপে ∧ এবং ∨ এর মাধ্যমে নির্মিত ) are ই 1 ≡ ই 2 কিনা তা স্থির করুনই1ই1e_1ই2ই2e_2এক্স1, … , এক্সএনএক্স1,...,এক্সএনx_1,\dots,x_n∧∧\wedge∨∨\veeই1≡ ই2ই1≡ই2e_1 \equiv e_2 , ভেরিয়েবলগুলিতে সমস্ত …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

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

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

স্যাট solvers একটি কোয়ান্টিফায়ার দিয়ে বুলিয়ান সূত্রের বৈধতা যাচাইয়ের একটি শক্তিশালী উপায় দেয়। উদাহরণস্বরূপ, এর বৈধতা যাচাই করতে , আমরা সন্তোষজনক কিনা তা নির্ধারণের জন্য একটি স্যাট দ্রাবক ব্যবহার করতে পারি । এর বৈধতা পরীক্ষা করতে , আমরা determine সন্তুষ্টযোগ্য কিনা তা নির্ধারণের জন্য একটি স্যাট দ্রাবক ব্যবহার করতে পারি …

15 ds.algorithms  lo.logic  sat  boolean-functions 

আমি অরোরা এবং বারাকের কম্পিউটেশনাল জটিলতার বইতে এনইএসপি-র জন্য দুদকের নিম্ন সীমা সম্পর্কে পরিশিষ্ট পড়ছি । 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 

বুলিয়ান ফাংশনের জন্য , তম ভেরিয়েবলের প্রভাবকে as হিসাবে সংজ্ঞায়িত করা হয়েছে যেখানে x ^ {\ ওপলস আমি} x এর i ম বিট উল্টিয়ে স্ট্রিংটি প্রাপ্ত । চ এর সর্বনিম্ন প্রভাবটি হ'ল rat অপেরাটর্নাম {মিনিআইএনএফ f [চ] ack স্ট্যাক্রেল \ m আরএম ডিফ} {=} মিন_ {আই \ ইন [এন]} \ …

14 reference-request  pr.probability  boolean-functions 

আসুন 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 

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

13 reference-request  machine-learning  lg.learning  boolean-functions 

যাক সংবেদনশীলতা সঙ্গে একটি বুলিয়ান ফাংশন হবে এবং ব্লক সংবেদনশীলতা ।s ( f ) b s ( f )চffs ( চ)s(f)s(f)খ s ( চ)bs(f)bs(f) সংবেদনশীলতা-ব্লক সংবেদনশীলতা অনুমান অনুমান রাজ্যের নেই একটি যেমন যে ।∀ f , b s ( f ) ≤ s ( f ) গসি > 0c>0c>0∀ চ, …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

আমরা একটি ফাংশন আছে বলুন , এই ধরনের যে (তাই আমরা মনে করতে পারেন বিতরণ হিসাবে)। এই জাতীয় ফাংশনটির এনট্রপি সংজ্ঞায়িত করা স্বাভাবিক: চ: জেডএন2। আরf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R}{ f ( x ) 2 } x ∈ Z n 2 H ( f ) = - ∑ x ∈ Z n …

12 it.information-theory  boolean-functions  fourier-analysis 

জান্তা শেখার অনুরূপ স্বাদে এখানে একটি সমস্যা রয়েছে: ইনপুট: একটি ফাংশন f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\} , সদস্যপদ ওরাকল দ্বারা প্রতিনিধিত্ব করে, অর্থাত্ একটি প্রদত্ত ওরাকল যা xxx , f(x)f(x)f(x) । গোল: একটি subcube খুঁজুন SSS এর {0,1}n{0,1}n\{0,1\}^n ভলিউমের সাথে |S|=2n−k|S|=2n−k|S|=2^{n-k} এমন |Ex∈Sf(x)|≥0.1|Ex∈Sf(x)|≥0.1\left|\mathbb{E}_{x \in S} f(x) \right| \ge 0.1 । আমরা …

11 machine-learning  lg.learning  boolean-functions  sample-complexity