কোন অ-নিয়মিত ভাষা

উদাহরণস্বরূপ, আমি জানি যে অ নিয়মিত ভাষা হয় । আমি এর মতো আরও উদাহরণ জানতে চাই। $a^nb^n$ $AC^0$

complexity-theory regular-languages circuits

প্যালিনড্রোমস (

)

{w w^{R}}

$\{w w^R\}$

— ভোর

কি

A C^{0}

$AC^0$

— ভনব্র্যান্ড

@ ভনব্র্যান্ড,

হ'ল ধ্রুবক গভীরতা সার্কিট এবং / বা আনবাউন্ডেড ফ্যান-ইন এর গেটগুলি বর্গ। অর্থাৎ, সার্কিটের প্রতিটি গেট হয় একটি "এবং" বা "বা" গেট এবং এটি সীমাহীন সংখ্যক ইনপুট আসার অনুমতি দেয়

A C^{0}

$AC^0$

— নিকোলাস মানকুসো

ভাষাগুলি নির্দোষ অন্তর্নিহিত পরামর্শের চেয়ে আরও জটিল হতে পারে। $AC^0$

একথাও ঠিক যে, রয়েছে , যা অ প্রসঙ্গ-মুক্ত। $AC^0$ $\{a^n b^n c^n\}$
প্রতিটি অখণ্ড ভাষা অ-ইউনিট ; উদাহরণস্বরূপ, থমকে থাকা সমস্যাটি অখণ্ডতায় প্রকাশিত। $AC^0$
যোগসূত্রটি ক্যারি-লুকোহেড অ্যাডারের সাহায্যে প্রয়োগ করা যেতে পারে । এখানে ইনপুটটি দুটি সংখ্যার প্রতিনিধিত্ব করে এমন বিটস এবং আউটপুটটিতে তার রয়েছে (সমানভাবে, প্রতিটি আউটপুট বিট উপলব্ধি করা যাবে ) $AC^0$ $2n$ $n+1$ $AC^0$
মাল্টিপ্লেক্সিং: হয় । $\{w x: |w|=2^n, |x|=n, w[x] = 1\}$ $AC^0$

একটি মাল্টিপ্লেজার ভেরিয়েবলের উপর একটি ফাংশন যা ভেরিয়েবলের একটির মানকে ছাড়িয়ে যায় , যেখানে সূচক ভেরিয়েবল দ্বারা নির্ধারিত হয় । (সূচকটি যদি অ্যানারিতে লেখা থাকে তবে একই জিনিস রয়েছে)) $2^n+n$ $2^n$ $n$
3 এসএটি সূত্রের গণনা । $AC^0$

ইনপুটটিতে ভেরিয়েবল থাকে, তার পরে কিছু ধারা থাকে, প্রত্যেকটিতে তিনটি অক্ষর থাকে, যেখানে প্রতিটি আক্ষরিকই চলকের সূচক (একরকম বা বাইনারি হয় না, কিছু যায় না) এবং কিছুটা সম্ভব প্রত্যাখাতকে নির্দেশ করে। আপনি মাল্টিপ্লেক্সারের সাহায্যে আক্ষরিক মূল্যায়ন করতে পারেন এবং তারপরে ওআর এর একটি স্তর এবং তারপরে একটি বড় এবং শীর্ষে যোগ করতে পারেন। $n$
তে সংখ্যাগরিষ্ঠ থাকে না তবে এতে আনুমানিক সংখ্যাগরিষ্ঠ থাকে: আউটপুট যদি হয় তবে সংখ্যাগরিষ্ঠের সমান এমন একটি ফাংশন $AC^0$ শূন্য বা একটি। আজটাই রচিত "ইউনিফর্ম ধ্রুবক-গভীরতা সার্কিট সহ আনুমানিক গণনা" দেখুন। $\geq \frac{1}{2}+ \varepsilon$

, লজিক্যাল অপারেশন, সংযুক্তকরণের ও রচনা অধীনে বন্ধ করা হয় তাই আপনি উদাহরণ উপরে একত্রিত করতে পারেন। এখন আপনার এবং অন্যান্য সার্কিট নিম্ন সীমাগুলিরজন্য কিছুটা শ্রদ্ধা বোধ করা উচিত! $AC^0$ $Parity \notin AC^0$

— sdcvvc
সূত্র

আপনার এই সম্পর্কে কিছু রেফারেন্স আছে? বিশেষত যে অ্যানারি থামার সমস্যাটি

। যেহেতু

, আমি এটি পাই না (আমি যেখানে আছি সেখানে দেরি হয়ে গেছে, এটি আমার অজুহাত হতে পারে)।

A C^{0}

$AC^0$

A C^{0} \subseteq A C = N C \subseteq P

$AC^0 \subseteq AC = NC \subseteq P$

— পল জিডি

এটি ননউনিফর্ম

(যেমন

), যেখানে ইনপুট দৈর্ঘ্যের সাথে সার্কিটটি নির্বিচারে পরিবর্তিত হতে পারে।

A C^{0}

$AC^0$

P / p o l y

$P/poly$

— sdcvvc

@ পেলজিডি, এটি অরোরা এবং বারাক পাঠ্যে লেখা আছে।

— নিকোলাস মানকুসো

মাল্টিপ্লেক্সিং AC0 এ রয়েছে এমন কোনও প্রমাণের জন্য আপনার কাছে কি কোনও রেফারেন্স রয়েছে?

— অ্যালেক্স গ্রিলো

@ অ্যালেক্স গ্রিলো, দুর্ভাগ্যক্রমে না; আমি মনে করি এটি লোককাহিনী। কেবল

।

⋁_{i = 0}^{2^{n} - 1} (x = i \land w [i] = 1)

$\bigvee_{i=0}^{2^n-1} (x=i \wedge w[i]=1)$

— sdcvvc