প্রশ্ন ট্যাগ «cc.complexity-theory»

প্রাকৃতিক সংখ্যার ব্যবধানে একটি প্রাইম থাকে কিনা তা সিদ্ধান্ত নেওয়ার জটিলতা কী? এরিটোস্টেসিসের সিভির একটি বৈকল্পিক একটি O~(L)O~(L)\tilde O(L) অ্যালগরিদম দেয়, যেখানে LLL অন্তর্বর্তের দৈর্ঘ্য এবং অন্তরটির প্রারম্ভিক বিন্দুতে বহু-লোগারিদমিক কারণগুলি আড়াল করে; আমরা কি আরও ভাল করতে পারি ( একা পরিপ্রেক্ষিতে )?এল∼∼\simLLL

14 cc.complexity-theory  ds.algorithms  nt.number-theory  comp-number-theory 

একটি ভাষায় হয় যদি একটি 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 

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

14 cc.complexity-theory  approximation-algorithms  soft-question  proof-assistants 

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

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

নিম্নলিখিত সমস্যার জটিলতা কী? ইনপুট : HHH একটিহ্যামিল্টনিয়ান পথমধ্যেKnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 টি শীর্ষ কোণের একটি উপসেট ধনাত্মক পূর্ণসংখ্যা kkk ক্যোয়ারী : মেলানো MMM মতো কি প্রতিটি (v,u)∈R(v,u)∈R(v,u) \in R , dG(v,u)≤kdG(v,u)≤kd_G(v,u) \leq k ? (যেখানে G=([n],M∪H)G=([n],M∪H)G = ([n], M\cup H) ) এই সমস্যাটি নিয়ে আমি একটি বন্ধুর সাথে আলোচনা …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

সেখানে প্রাথমিক গাণিতিক অপারেশন একটি এর নির্ধারক গনা প্রয়োজন নূন্যতম কত খোঁজার কোন কাজ হয়েছে দ্বারা এন ক্ষুদ্র ও সংশোধন করা হয়েছে জন্য ম্যাট্রিক্স এন ? উদাহরণস্বরূপ, জন্য এন = 5 ।nnnnnnnnnn=5n=5n=5

14 cc.complexity-theory  linear-algebra  determinant 

ননডেটেরিনিজম গতি-নির্ধারণকারী গণনা করা যায়? যদি হ্যাঁ, কত? অ-নির্ধারিততা দ্বারা গতি বাড়িয়ে ডিটারমিনিস্টিক গণনা দ্বারা আমি ফর্মের ফলাফলগুলি বোঝাতে চাইছি: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) যেমন কিছু DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) ননডেটেরিনিজম দ্বারা নির্জনিক গণনার সর্বাধিক পরিচিত স্পিড-আপ ফলাফল কী? কি ΣPkTime(n)ΣkPTime(n)\mathsf{\Sigma^P_kTime}(n) বা এমনকি ATime(n)ATime(n)\mathsf{ATime}(n) স্থানে NTime(n)NTime(n)\mathsf{NTime}(n) ? ধরে নিন যে সাব-কোয়াড্র্যাটিক টাইম …

14 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

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 

যে কোনও স্বেচ্ছাসেবী এনপি সম্পূর্ণ ভাষার জন্য কি পলটাইম সুপারসেটের পরিপূরকটিও অনন্ত? একটি তুচ্ছ সংস্করণ যা সুপারসেটকে অসীম পরিপূরক হিসাবে বাধ্যতামূলক করে না /cs//q/50123/42961 এ জিজ্ঞাসা করা হয়েছে এই প্রশ্নের উদ্দেশ্য পূরণকল্পে, আপনি যে অনুমান করতে পারেন । ভোর যেমন ব্যাখ্যা করেছেন, যদি পি = এন পি হয় তবে উত্তরটি …

14 cc.complexity-theory  np-complete  structural-complexity 

অবিচ্ছিন্ন সময় হ'ল সময়ের জটিলতার নিখুঁত নিম্নতম সমাপ্তি। কেউ ভাবতে পারেন: অমনোযোগী এমন কি এমন কিছু আছে যা নিয়মিত সময়ে গণনা করা যায়? যদি আমরা টুরিং মেশিনের মডেলটির সাথে লেগে থাকি, তবে খুব বেশি কিছু করা যায় না, কারণ উত্তর কেবলমাত্র ইনপুটটির একটি ধ্রুবক দৈর্ঘ্যের প্রাথমিক বিভাগের উপর নির্ভর করতে …

14 cc.complexity-theory  ds.algorithms  time-complexity 

ভেরিয়েবল এর একটি ভেক্টর x⃗ x→\vec{x}এবং A → x ≤ b দ্বারা নির্দিষ্ট লিনিয়ার সীমাবদ্ধতার একটি সেট বিবেচনা করুন ।Ax⃗ ≤bAx→≤bA\vec{x}\leq b তদতিরিক্ত, দুটি পলিটোপ বিবেচনা করুন P1P2={(f1(x⃗ ),⋯,fm(x⃗ ))∣Ax⃗ ≤b}={(g1(x⃗ ),⋯,gm(x⃗ ))∣Ax⃗ ≤b}P1={(f1(x→),⋯,fm(x→))∣Ax→≤b}P2={(g1(x→),⋯,gm(x→))∣Ax→≤b}\begin{align*} P_1&=\{(f_1(\vec{x}), \cdots, f_m(\vec{x}))\mid A\vec{x}\leq b\}\\ P_2&=\{(g_1(\vec{x}), \cdots, g_m(\vec{x}))\mid A\vec{x}\leq b\} \end{align*} যেখানে 's এবং g এর …

14 cc.complexity-theory  linear-algebra  linear-programming  polytope 

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 

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

14 cc.complexity-theory  counting-complexity  search-problem