প্রশ্ন ট্যাগ «polynomial-time»

আমি বহু-অ্যালগরিদম জুড়ে এসেছি যা 2 এসএটি সমাধান করে। আমি এটি বকবক করে দেখেছি যে 2 এস্যাট পি তে রয়েছে যেখানে স্যাট দৃষ্টান্তের সমস্ত (বা আরও অনেক) এনপি-সম্পূর্ণ। এই সমস্যাটি কী আলাদা করে তোলে? কী এত সহজ করে তোলে (এনএল-সম্পূর্ণ - পি এর চেয়েও সহজ)?

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

ক্রমাগত অপ্টিমাইজেশন সাহিত্য এবং টিসিএস সাহিত্যের দ্বারা আমি বিভ্রান্ত হয়ে পড়েছি যেগুলি সম্পর্কে (ধ্রুবক) গাণিতিক প্রোগ্রামগুলির (এমপি) দক্ষতার সাথে সমাধান করা যায়, এবং কোনটি পারে না। অবিচ্ছিন্ন অপ্টিমাইজেশন সম্প্রদায়টি দাবি করছে যে সমস্ত উত্তল প্রোগ্রামগুলি দক্ষতার সাথে সমাধান করা যেতে পারে তবে আমি বিশ্বাস করি যে তাদের "দক্ষ" এর সংজ্ঞা …

31 ds.algorithms  optimization  linear-programming  semidefinite-programming  polynomial-time 

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

30 cc.complexity-theory  linear-algebra  linear-programming  semidefinite-programming  polynomial-time 

নিম্নোক্ত সমস্যার জন্য পরিচিত একটি ডিস্ট্রিমেন্টিক পলিনোমিয়াল-টাইম অ্যালগরিদম: ইনপুট: একটি প্রাকৃতিক সংখ্যা (বাইনারি এনকোডিংয়ে)nnn আউটপুট: একটি মৌলিক সংখ্যা ।p>np>np > n (লিওনার্ড অ্যাডলম্যানের উন্মুক্ত সমস্যার একটি তালিকা অনুসারে, সমস্যাটি 1995 সালে উন্মুক্ত ছিল))

25 cc.complexity-theory  open-problem  nt.number-theory  polynomial-time  primes 

নোট অল ইকুয়াল -স্যাট সমস্যা (এনএই এস্যাট), বুলিয়ান ভেরিয়েবলের একটি সেট উপরে একটি ক্লাসের প্রদান করে যেমন প্রতিটি অনুচ্ছেদে বেশিরভাগ আক্ষরিক অন্তর্ভুক্ত থাকে, জিজ্ঞাসা করে যে ভেরিয়েবলগুলির সত্য নির্ধারিত রয়েছে কিনা? প্রতিটি অনুচ্ছেদে অন্তত একটি সত্য এবং কমপক্ষে একটি মিথ্যা আক্ষরিক থাকে।কে সি এক্স কেkkkkkkCCCXXXkkk প্ল্যানার Nae -SAT সমস্যা Nae …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

সেখানে কোনো প্রাকৃতিক সমস্যা পি , যার জন্য সব থেকে বহুল পরিচিত চলমান সময় বেঁধে ফর্ম হল , যেখানে α একটি হল অযৌক্তিক ধ্রুবক?O(nα)O(nα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

বিবেচনা করুন ভাষা ।EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} জানা যায় যে কোনও সাবলোগেরিথমিক-স্পেস অল্টারনেটিং টুরিং মেশিন (এটিএম) (এসপিপিওভস্কি, 1994) দ্বারা স্বীকৃত হতে পারে না । (সদস্যদের জন্য সাবলোগারিথমিক স্পেস ব্যবহার করে এমন একটি এটিএম রয়েছে তবে সমস্ত অ-সদস্যের জন্য নয়!)EQUALITYEQUALITY \mathtt{EQUALITY} অন্যদিকে, ফ্রেইভাল্ডস (1981) দেখিয়েছিল …

21 space-bounded  polynomial-time 

(এই একটি ফলো-আপ এই প্রশ্নের এবং তার উত্তর ।) আমার কাছে নিম্নলিখিত সম্পূর্ণ আনমোডুলার (টিইউ) পূর্ণসংখ্যার লিনিয়ার প্রোগ্রাম (আইএলপি) রয়েছে। এখানে ইনপুট অংশ হিসেবে দেওয়া সমস্ত ধনাত্মক পূর্ণসংখ্যা। X i j ভেরিয়েবলের একটি নির্দিষ্ট উপসেটটি শূন্যে সেট করা আছে, এবং বাকিগুলি ইতিবাচক অবিচ্ছেদ্য মানগুলি নিতে পারে:ℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},wxijxijx_{ij} কমান ∑mj=1cj∑ℓi=1xij∑j=1mcj∑i=1ℓxij\sum_{j=1}^{m}c_{j}\sum_{i=1}^{\ell}x_{ij} বিষযে: ∑mj=1xij=ni∀i∑j=1mxij=ni∀i\sum_{j=1}^{m}x_{ij}=n_{i}\,\,\forall …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

কুবালা Babai সম্প্রতি প্রমাণ গ্রাফ Isomorphism সমস্যা quasipolynomial সময় হয় । তার দেখুন আলাপ শিকাগো বিশ্ববিদ্যালয়ের, জেরেমি Kun দ্বারা আলোচনা থেকে নোট GLL পোস্টে 1 , GLL পোস্ট 2 , GLL পোস্টে 3 । ল্যাডনারের উপপাদ্য অনুসারে, যদি পি। এনপিপি≠এনপিP \neq NP তবে এনপিআমিএনপিআমিNPI খালি নই, অর্থাৎ এনপিএনপিNP এমন সমস্যা …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

আমি একটি নির্দিষ্ট সমস্যা সমাধানের চেষ্টা করছি, এবং আমি ভেবেছিলাম আমি অটোমাতা তত্ত্বটি ব্যবহার করে এটি সমাধান করতে সক্ষম হতে পারি। আমি ভাবছি, অটোমাতার কোন মডেলগুলির বহুগুণে কন্টেন্ট কনটেন্ট থাকে? অর্থাত্ আপনার যদি মেশিনগুলি আপনি দক্ষতার সাথে এল ( এম 1 ) ⊆ এল ( এম 2 ) পরীক্ষা করতে …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

kkk -cycle সমস্যা নিম্নরূপ: উদাহরণ: একটি আনইরেক্টার্ড গ্রাফ GGG সহ nnn শিখর এবং to পর্যন্ত কিনারা ।(n2)(n2)n \choose 2 প্রশ্ন: জি-তে কি (যথাযথ) সাইকেল রয়েছে ?kkkGGG পটভূমি: কোনও স্থির kkk , আমরা ও (এন ^ 2) সময়ে 2 2k2k2k সাইকেলটি সমাধান করতে পারি ।O(n2)O(n2)O(n^2) রাফেল ইয়াস্টার, উরি জুইক: এমনকি সাইকেল …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

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

থিম: ধরে নেওয়া যাক ETA-সমানতা আমরা যে আছে (\x -> ⊥) = ⊥ :: A -> B। প্রুফ: ⊥ = (\x -> ⊥ x)এটা-সমতা এবং (\x -> ⊥ x) = (\x -> ⊥)ল্যাম্বদার নীচে হ্রাস দ্বারা। হাস্কেল 2010 রিপোর্ট, বিভাগ 6.2 seqদুটি সমীকরণ দ্বারা ফাংশন নির্দিষ্ট করে : seq :: …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

উত্তর: জানা নেই। জিজ্ঞাসিত প্রশ্নগুলি প্রাকৃতিক, উন্মুক্ত এবং দৃশ্যত কঠিন; প্রশ্নটি এখন একটি সম্প্রদায়ের উইকি। সংক্ষিপ্ত বিবরণ প্রশ্নটি জটিলতা ক্লাসের অন্তর্গত ভাষা PPP ভাষাগুলিকে পৃথক করে দুটি টি পরিপূরক সাবক্লাসে ট্যুরিং মেশিন (টিএম) সিদ্ধান্ত গ্রহণের মাধ্যমে এই ভাষাগুলি গ্রহণ করার চেষ্টা করে: জিনস্টিক ভাষা এবং টিএমএস (যেটি বৈধতা / বোঝার …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

আমরা প্রদত্ত জেনারেল বুলিয়ান সূত্র (সিএনএফ-স্যাট), একটি প্রদত্ত ডিএনএফ সূত্র, এমনকি একটি প্রদত্ত 2 এসএটি সূত্র একটি # পি-সম্পূর্ণ সমস্যা হিসাবে সন্তোষজনক নিয়োগের সংখ্যা গণনা করার সমস্যাটি আমরা জানি । এখন, কোনও সিএনএফ-স্যাট বিবেচনা করুন কোনও নেতিবাচক আক্ষরিক (না , সর্বদা এ )। সিদ্ধান্তের সমস্যাটি খুব সহজ (সমস্ত ভেরিয়েবলগুলি সত্যে …

13 sat  counting-complexity  polynomial-time  monotone