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

সার্কিট জটিলতায় আমাদের বিভিন্ন সার্কিট মডেলের শক্তির মধ্যে পৃথকীকরণ রয়েছে। প্রুফ জটিলতায় আমাদের বিভিন্ন প্রুফ সিস্টেমের শক্তির মধ্যে পৃথকীকরণ রয়েছে। তবে অ্যালগরিদমিকগুলিতে আমাদের এখনও অ্যালগরিদমিক দৃষ্টান্তগুলির শক্তির মধ্যে কেবল কয়েকটি পৃথক্করণ রয়েছে । নীচের আমার প্রশ্নগুলি এই দুটি সমস্যাটির জন্য পরবর্তী সমস্যাটিকে স্পর্শ করা লক্ষ্য করে: লোভী এবং ডায়নামিক প্রোগ্রামিং। …

15 cc.complexity-theory  circuit-complexity  lower-bounds  dynamic-programming 

সহজ আকারে: একটি দ্বিমুখী সসীম যন্ত্রমানব চিনতে পারে vvv -vertex গ্রাফ করে একটি ত্রিভুজ থাকতে o(v3)o(v3)o(v^3) রাজ্যের? বিস্তারিত সুদের এখানে আছেন vvv -vertex গ্রাফ প্রান্ত একটি ক্রম ব্যবহার এনকোড, প্রতিটি প্রান্ত থেকে স্বতন্ত্র ছেদচিহ্ন একজোড়া হচ্ছে {0,1,…,v−1}{0,1,…,v−1}\{0,1,\dots,v-1\} । ধরুন (Mv)(Mv)(M_v) দ্বি-মুখী সসীম অটোমাটা (নির্ণায়ক বা nondeterministic) একটি ক্রম পায়, তাহলে …

15 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

FewP এর বর্গ বহুপদী সমাধান সংখ্যার (ইনপুট আকারে) এ আবদ্ধ সঙ্গে -problems। কোনও - সমস্যা । আমরা এই পর্যবেক্ষণটি কতদূর প্রসারিত করতে পারি তাতে আমি আগ্রহী।NPNPNPNPNPNPfewPfewPfewP সমাধানের সংখ্যার (সাক্ষী) সংখ্যার উপর আধা-বহুপদী আপার উপর আবদ্ধ কোনও প্রাকৃতিক অসম্পূর্ণ সমস্যা আছে কি ? এমন কোনও সম্ভাবনা প্রত্যাখ্যান করে এমন কি কোনও …

15 cc.complexity-theory  np 

যদি আমরা সংজ্ঞায়িত কি হবে পি পি একটি ডিPPAD{\bf PPAD} যেমন যে পরিবর্তে একটি polytime টুরিং-মেশিন / polysize বর্তনী, একটি logspace টুরিং মেশিন অথবা একটি এর একটি সি 0AC0{\bf AC^0} বর্তনী সমস্যা এনকোড? সম্প্রতি ছোট সার্কিটগুলির জন্য সার্কিট সন্তুষ্টির জন্য দ্রুত অ্যালগরিদমগুলি দেওয়া গুরুত্বপূর্ণ হিসাবে প্রমাণিত হয়েছিল , তাই আমি …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

গ্রাফ আইসোমর্ফিিজম ( ) এন পি- ইন্টারমিডিয়েট সমস্যার পক্ষে ভাল প্রার্থী । এন পি- মধ্যবর্তী সমস্যাগুলি উপস্থিত থাকে যদি P = N P না থাকে । আমি প্রাকৃতিক সমস্যা যে জন্য কঠিন খুঁজছি জি আমি Karp হ্রাস অধীনে (একটি গ্রাফ সমস্যা এক্স যেমন যে জি আমি < মি পি এক্স …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

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

15 cc.complexity-theory  complexity-classes 

জানা যায় একটি রেগুলার এক্সপ্রেশন আকার কমানোর হয় এমনকি যদি আমরা ভাষা এর স্পেসিফিকেশন হিসাবে একটি DFA তে আছে PSPACE-সম্পূর্ণ । ভাষা সীমাবদ্ধ হলে ফলাফল কী হবে? এই সমস্যাটিকে একজন দুটি মডেল বিবেচনা করতে পারেন: ইনপুটটি ভাষার সমস্ত স্ট্রিং হয় এবং আমরা সমস্ত স্ট্রিংয়ের দৈর্ঘ্যের যোগফলের সাহায্যে ইনপুট আকার পরিমাপ …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

আমি আশা করছিলাম যে কেউ কেউ আমাকে ব্যাখ্যা করতে সক্ষম হবেন কেন সাবসেট পণ্য সমস্যাটি হ'ল এনপি-হার্ড, যখন সাবসেটের সমষ্টি সমস্যা দুর্বলভাবে এনপি-হার্ড। সাবসেটের যোগফল: দেওয়া এবং , a মতো একটি উপসেট আছে কি ?X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\}TTTX′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = T সাবসেট প্রোডাক্ট: দেওয়া এবং , সেখানে কি X '} x_i …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

আমি সাধারণত বাকের-গিল-সলোভে এবং কোহেন দ্বারা ব্যবহৃত জোর করে পদ্ধতিতে আগ্রহী। কৌশলটি নিজেই বা এর ব্যবহার সম্পর্কে আমি যতটা উত্স পেতে পারি তার জন্য আমি সন্ধান করছি। কারও কি পরামর্শ আছে?

15 cc.complexity-theory  set-theory 

সম্ভাব্য প্রুফ সিস্টেম কে সাধারণত এম এ এর সীমাবদ্ধতা হিসাবে উল্লেখ করা হয় , যেখানে আর্থার কেবল এফ ( এন ) এলোমেলো বিট ব্যবহার করতে পারে এবং কেবলমাত্র জি ( এন ) বিট পরীক্ষা করতে পারে মেরিলিন প্রেরিত প্রুফ সার্টিফিকেট (দেখুন, http://en.wikedia.org/wiki/Interactive_proof_system#PCP )।পিসিপি[ চ( এন ) , ছ( এন ) …

15 cc.complexity-theory  pcp  interactive-proofs 

F = { F 1 , F 2 , … , F n }F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\} একটি সেট সেট U = { e 1 , e 2 , … , e n }U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\} কোথায় সেটগুলির সংগ্রহ বিবেচনা করুন | এফ আই | |Fi||F_i| ≪ ≪\ll nnn এবং e i ∈ F iei∈Fie_i …

15 cc.complexity-theory  np-hardness  set-cover  packing 

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

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

আমরা জানি যে DPLL ভিত্তিক স্যাট-solvers এর unsatisfiable দৃষ্টান্ত সঠিকভাবে উত্তর দিতে ব্যর্থ (পায়রা গর্ত নীতি), যেমন "সেখান থেকে একটি injective ম্যাপিং উপর করতে ": এন + 1 এনPHPPHP\mathrm{PHP}n+1n+1n+1nnn PHPn+1n:=⎛⎝⋀i∈[n+1] ⋁j∈[n] pi,j⎞⎠∧⎛⎝⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j)⎞⎠PHPnn+1:=(⋀i∈[n+1] ⋁j∈[n] pi,j)∧(⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j))\mathrm{PHP^{n+1}_{n}} := \left(\bigwedge_{i\in[n+1]} \ \bigvee_{j\in[n]} \ p_{i,j}\right) \wedge \left(\bigwedge_{i\neq i'\in[n+1]} \ \bigwedge_{j\in[n]} \ …

15 cc.complexity-theory  lo.logic  proof-complexity 

নিম্নলিখিত সমস্যার গণ্য জটিলতা কী: প্রদত্ত দুটি জটিল ম্যাট্রিক্স একটি এবং বি চেক যদি একটি বিন্যাস ম্যাট্রিক্স হয় পি যেমন যে: বি = পি একটি পি টি ।n × nএন×এনn\times nএকজনএকজনAবিবিBপিপিPখ = পিএ পিটি।বি=পিএকজনপিটি।B = P A P^T. যদি এটি সহায়তা করে তবে কেউ ধরে নিতে পারে যে এবং বি …

15 cc.complexity-theory  np-hardness  cg.comp-geom  linear-algebra  permutations 

নিম্নলিখিত সমস্যাটি বিবেচনা করুন: একটি প্রশ্নের গ্রাফ G=(V,E)G=(V,E)G = (V, E) এবং একটি রেফারেন্স গ্রাফ , আমরা ইনজেকশন ম্যাপিং খুঁজে পেতে চাই যা সংখ্যাকে হ্রাস করে প্রান্ত যেমন যে । এটি সাবগ্রাফ্ট আইসোমর্ফিজম সমস্যার একটি সাধারণীকরণ যেখানে আমরা অনুচ্ছেদে কয়েকটি অনুপস্থিত প্রান্ত পর্যন্ত আইসোমর্ফিক হওয়ার অনুমতি দিই এবং অনুপস্থিত প্রান্তের …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism