প্রশ্ন ট্যাগ «reference-request»

সিএমএসএল মোনাডিক সেকেন্ড অর্ডার লজিক গণনা করছে, অর্থাত্ গ্রাফিকের একটি যুক্তি যেখানে ডোমেনটি শীর্ষে এবং প্রান্তগুলির সেট, সেখানে শীর্ষবিন্দু-ভার্টেক্স সংলগ্নতা এবং প্রান্ত-প্রান্তিক ঘটনাগুলির পূর্বাভাস রয়েছে, প্রান্ত, শীর্ষ, প্রান্ত সেট এবং প্রান্তবিন্দুর উপর পরিমাপ রয়েছে সেট, এবং সেখানে একটি বিধেয় নয় আকার কিনা যা প্রকাশ এস হল এন মডিউল পি ।কার্ডএন …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

লিনিয়ার প্রোগ্রামিং অবশ্যই আজকাল খুব ভাল বোঝা গেছে। আমাদের প্রচুর কাজ রয়েছে যা সম্ভাব্য সমাধানগুলির কাঠামো এবং সর্বোত্তম সমাধানগুলির কাঠামোকে চিহ্নিত করে। আমাদের দৃ strong় দ্বৈততা, বহু-কালীন অ্যালগরিদম ইত্যাদি রয়েছে তবে এলপিগুলির ন্যূনতম সর্বাধিক সমাধান সম্পর্কে কী জানা যায় ? বা, সমতুল্য, সর্বাধিক ন্যূনতম সমাধান? (এটি আসলে কোনও গবেষণামূলক প্রশ্ন …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

ম্যাথওভারফ্লোতে আমি এই প্রশ্নটি কয়েক সপ্তাহ আগে জিজ্ঞাসা করেছি , কিন্তু আমি কোনও উত্তর পাইনি। এখানে পাশের দৈর্ঘ্যের -ডি-গ্রিডের সাহায্যে আমি d এলডটস এবং ই = \ {((এ, বি, সি), ((এ, বি, সি), সহ গ্রাফ বোঝাতে চাইছি ( x, y, z)) | মাঝারি | কুড়াল | + | দ্বারা | …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

অ্যালগরিদম দ্বারা অভিন্ন এলোমেলো সমাধান ফিরে পেয়ে সর্বাধিক পরিচিত আনুমানিক অনুপাত নিয়ে সমস্যাগুলি কী? আমি পারমিট ফ্লো শপের সমস্যার জন্য এ জাতীয় একটি উদাহরণ জানি : কাগজ "এ বিন্যাস ফ্লো কর্মশালার পরিকল্পনা জন্য টাইট সীমার বিশ্বনাথ Nagarajan এবং বচন Sviridenko" প্রমাণিত কাজ যে র্যান্ডম ক্রম গ্যারান্টি 2 √এফ| পিইআরমি | …

12 ds.algorithms  reference-request  approximation-algorithms 

আমি এই সমস্যার কোনও নাম বা কোনও রেফারেন্স খুঁজছি। একটি ভারী গ্রাফ দেওয়া n = | পর্যন্ত শীর্ষে অবস্থিত একটি বিভাজন সন্ধান করুন ভি | কাটা প্রান্তের মান সর্বাধিক করার জন্য এস 1 , … , এস এন সেট করে : সি ( এস 1 , … , এস এন …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

ক্লে ম্যাথমেটিক্স ইনস্টিটিউটে স্টিফেন এ কুকের ব্যাখ্যা অনুসারে সম্প্রতি আমাকে বনাম সমস্যা সম্পর্কে মনে করিয়ে দেওয়া হয়েছিল ।এন পিPP\mathsf{P}NPNP\mathsf{NP} এটি আমার আগ্রহ প্রকাশ করেছে এবং আমি এটি সম্পর্কে আরও জানতে চাই। প্রথম পদক্ষেপটি সমস্যাটির আরও গভীর উপলব্ধি এবং সাধারণভাবে অঞ্চলটির বোঝা অর্জন করা হবে। আপনি কি এমন কোনও বই বা …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

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

12 reference-request  soft-question 

আর কি কি সমস্যার ভাষায় গ্রাফ isomorphism চেয়ে ভিন্ন হয় ? আপনি কিছু রেফারেন্স দিতে পারেন?এনপি∩ সি ও এ এমNP∩coAMNP\cap coAM আপডেট: আমি উল্লেখ করতে ভুলে গেছি যে আমি যে ভাষাগুলিতে তে পরিচিত না তাদের আগ্রহী ।গ ও এনপিcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

এমএজে কম্পিউটিংয়ের জন্য circuit over ওভার সার্কিটের সর্বনিম্ন বৃক্ষ প্রস্থ কত ?{∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} এখানে এমএজে in আউটপুট 1 যদি এর ইনপুটগুলির কমপক্ষে অর্ধেক ইনপুট হয় ।1:{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\}111 আমি কেবল সার্কিটের আকার সম্পর্কে (বহুত্ববাদী হওয়া উচিত) যত্ন নিয়েছি এবং কোনও ইনপুট কেবল একবার পড়তে হবে যদিও কোনও ইনপুট গেটের ফ্যান-আউট নির্বিচারে …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

আমি সরল ল্যাম্বডা ক্যালকুলাসের জন্য এবং লজিকাল ফ্রেমওয়ার্কের জন্য পৃথক শর্তাদি ও প্রকার সহ বংশগত বিকল্প সম্পর্কে পড়েছি । আমি ভাবছি, মহাবিশ্বের শ্রেণিবিন্যাসের সাথে নির্ভরশীল টাইপড সিস্টেমে বংশগত বিকল্পের কোনও উদাহরণ রয়েছে কি? যেমন যেখানে টিr ইউ ই : এসই টি0: এসই টি1: এসই টি2True:Set0:Set1:Set2 True : Set_0 : Set_1:Set_2 …

11 reference-request  lo.logic  pl.programming-languages  type-theory  lambda-calculus 

আমি নিয়মিত ভাষা অন্তর্ভুক্ত ক্লাসিক সমস্যা আগ্রহী। একটি রেগুলার এক্সপ্রেশন দেওয়া , আমরা দ্বারা বোঝাতে এল ( ই ) নিয়মিত এটি যুক্ত ভাষা। (রেগুলার এক্সপ্রেশন একটি নির্দিষ্ট বর্ণমালা রয়েছে Σ অপারেশন ইউনিয়ন, Kleene তারকা এবং সংযুক্তকরণের সঙ্গে,।)ইEEএল ( ই))L(E)L(E)ΣΣ\Sigma ইনপুট: দুটি নিয়মিত এক্সপ্রেশন এবং E 2 প্রশ্ন: এটি কি সত্য …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

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

11 reference-request  lo.logic  automated-theorem-proving  program-verification  first-order-logic 

আমার কাছে nnn বাইনারি ভেক্টর S={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\} এবং একটি টার্গেট ভেক্টর t=1kt=1kt = 1^k যা সর্বজনীন ভেক্টর। অনুমান যদি ttt উপাদানের একটি রৈখিক সমন্বয় হিসেবে লেখা যেতে পারে SSS উপর Z/qZZ/qZ\mathbb{Z}/q\mathbb{Z} সবার জন্য মৌলিক ক্ষমতা qqq , তারপর ttt একটি রৈখিক সমন্বয় …

11 reference-request  linear-algebra  finite-fields 

একটি antichain একটি DAG একটি উপসেট একটি ⊆ ভী ছেদচিহ্ন যে pairwise পৌঁছানো যাবে না, যথা, কোন হয় বনাম ≠ বনাম ' ∈ একজন যেমন যে বনাম থেকে যোগাযোগ করা যাবে বনাম ' মধ্যে ই । আংশিক ক্রম তত্ত্বের ডিলওয়ার্থের উপপাদ্য থেকে , এটি জানা যায় যে যদি ডিএজি-র আকার …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order 

একটি ভাষা হতে দিন এবং two একটি বৈশিষ্ট্যটি দুটি প্যারামিটারের সাথে বৈশিষ্ট্যযুক্ত যে সমস্ত এবং , উপাদান ফেরত দেয় যদি এবং কেবলমাত্র এবং উভয়ই এর উপাদান হয় তবে :চ : ΣLএলLf:Σ⋆×Σ⋆→Σ⋆চ:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxএক্সxyYyfচfx y এলLএলLxএক্সxyYyLএলL f(x,y)∈L⟺x∈L∧y∈L.চ(এক্স,Y)∈এল⟺এক্স∈এল∧Y∈এল।f(x,y)\in L \iff x\in L\wedge y\in L . প্রশ্ন সাহিত্যে এই জাতীয় ক্রিয়াকলাপের কোনও নাম আছে …

11 reference-request  fl.formal-languages