তাত্ত্বিক কম্পিউটার বিজ্ঞান

একজন প্ল্যানার গ্রাফ গ্রাফ যা সমতল এমবেড করা যেতে পারে, উত্তরণ প্রান্ত থাকার ছাড়া হয়। যাক একটি হতে ট -uniform-hypergraph, অর্থাত্ একটি hypergraph যেমন আকার ট যে তার সব hyperedges আছে।G=(X,E)G=(X,E)G=(X,E)kkk বিমানে হাইপারগ্রাফগুলি এম্বেড করার বিষয়ে কিছু কাজ হয়েছে (গুচ্ছ বা অন্য কোনও প্রয়োগের প্রসঙ্গে) তবে প্রায়শই, কেবলমাত্র ডেটা বিমানে …

12 graph-theory  planar-graphs  hypergraphs  embeddings  generalizations 

আমি প্রমাণ প্রচেষ্টার অংশ আছে । প্রুফ প্রয়াসটিতে com-পরিপূর্ণ সমস্যা 3-নিয়মিত ভার্টেক্স কভারটি স্যাট থেকে কর্প হ্রাস রয়েছে ।⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus একটি ঘন গ্রাফ , হ্রাস একটি সিএনএফ সূত্র দুটি নিম্নলিখিত বৈশিষ্ট্য রয়েছে:GGGFFF FFF সর্বাধিক সন্তোষজনক কার্য রয়েছে।111 FFF কেবলমাত্র এর ভার্টেক্স কভারের সংখ্যাটি বিজোড় হলেই সন্তুষ্ট হয়।GGG …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

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

11 quantum-computing  randomized-algorithms 

স্পেস-হায়ারার্কি উপপাদ্য থেকে এটি জানা যায় যে যদি স্থান-গঠনমূলক হয় তবে DSPACE ( ) DSPACE ( সমান নয় ।fff2 f ( n ) f ( n ) )2f(n)2f(n)2f(n)f(n))f(n))f(n)) এখানে, ডিএসপিএসিই ( আমি বোঝাচ্ছি যে সমস্ত সমস্যার শ্রেণি যা স্পেস সমাধান হতে পারে কিছু নির্দিষ্ট বর্ণমালা সহ একটি ট্যুরিং মেশিন দ্বারা। …

11 cc.complexity-theory  complexity-classes 

আমি সরল ল্যাম্বডা ক্যালকুলাসের জন্য এবং লজিকাল ফ্রেমওয়ার্কের জন্য পৃথক শর্তাদি ও প্রকার সহ বংশগত বিকল্প সম্পর্কে পড়েছি । আমি ভাবছি, মহাবিশ্বের শ্রেণিবিন্যাসের সাথে নির্ভরশীল টাইপড সিস্টেমে বংশগত বিকল্পের কোনও উদাহরণ রয়েছে কি? যেমন যেখানে টি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 

"বৃহত্তম সংখ্যার গেমের নাম দিন" দুজন খেলোয়াড়কে গোপনে একটি সংখ্যা লিখতে বলে এবং বিজয়ী হলেন ব্যক্তি যিনি বৃহত্তর সংখ্যা লিখেছিলেন। গেমটি খেলোয়াড়দের সাধারণত একটি পর্যায়ে মূল্যায়ন করা ফাংশন লিখতে দেয়, সুতরাং লিখতেও এটি একটি গ্রহণযোগ্য জিনিস হবে।222222222^{2^{2^{2}}} ব্যাসি বিভার ফাংশন, মান বৃহত মানগুলির জন্য (জেডএফসি, বা কোনও যুক্তিসঙ্গত ধারাবাহিক অক্সোমেটিক …

11 computability  undecidability 

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

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

সাধারণ প্রশ্ন স্পেস হায়ারার্কি উপপাদ্যটি কি অ-ইউনিফর্ম গণনাকে সাধারণীকরণ করে? এখানে আরও কয়েকটি নির্দিষ্ট প্রশ্ন রয়েছে: এল / পি ও এল ওয়াই। পিএসপিএ সিই/ পিওএলওয়াইL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly সমস্ত স্থান গঠনমূলক ফাংশনের জন্য , ?D S P A C E ( o ( f ( n ) ) ) / p …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

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

11 lo.logic  pl.programming-languages  lambda-calculus 

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

11 cc.complexity-theory  linear-algebra  polynomials 

মোনাডিক ফার্স্ট অর্ডার লজিক, যিনি সিদ্ধান্ত সমস্যার মোনাডিক ক্লাস হিসাবেও পরিচিত, যেখানে সমস্ত পূর্বাভাসকারী একটি যুক্তি গ্রহণ করে। এটি অ্যাকারম্যান দ্বারা নির্ধারণযোগ্য হিসাবে দেখানো হয়েছিল এবং এটি এনএক্সপিটাইম-সম্পূর্ণ । তবে, তাত্ত্বিক সীমাবদ্ধতা থাকা সত্ত্বেও 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 

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

11 fl.formal-languages  automata-theory  prefix-free-code  nfa 

যাক কোনো সসীম গঠন করা। এর প্রথম অর্ডার তত্ত্বটি কোয়ান্টিফায়ার র‌্যাঙ্ককে বেঁধে রেখেছে, এই অর্থে যে একটি আছে is যেমন সমস্ত সঙ্গে নেই একটি সঙ্গে এবং ? φ ∈ টি কিউ আর ( φ ) > কিউ φ ′ ∈ টি কিউ আর ( φ ′ ) ≤ কিউ φ …

11 co.combinatorics  lo.logic  relational-structures 

আমি রৈখিক ধরণের সিস্টেমগুলি আরও ভালভাবে বুঝতে লিনিয়ার যুক্তি বোঝার চেষ্টা করছি। যাইহোক, যখন আমি নিয়ম পড়া, আমি এটা পিছনে একটি স্বজ্ঞা পেতে হিসাবে আমি মোডাল যুক্তিবিজ্ঞান সম্পন্ন করেছি ব্যর্থ - অর্থ একটি প্রয়োজন বোধ করা হয় হিসাবে ক্রিপকির ফ্রেম একটি প্রত্যেক পৌঁছানো বিশ্বের জন্য প্রয়োজন বোধ করা হয় [ …

11 lo.logic  type-theory  linear-logic