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

এটি সম্ভবত বেশ সহজ, তবে স্ট্যান্ডার্ড পোস্ট চিঠিপত্রের সমস্যাটি বিবেচনা করুন: প্রদত্ত এবং β 1 , ... , β এন , সূচকের একটা ক্রম এটি আমি 1 , ... , আমি K যেমন যে α আমি 1 ⋯ α আমি কে = β আমি 1 ⋯ β আমি কে । …

12 computability  fl.formal-languages 

সি # এবং .NET এর জেনেরিকের ভিত্তি সম্পর্কে সর্বাধিক উল্লেখযোগ্য গবেষণা কাগজপত্রগুলি কী কী?

12 pl.programming-languages 

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

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

যাক দ্বারা চিহ্নিত সব গ্রাফ যে মহাজাতি একটি পৃষ্ঠ এম্বেড করা যেতে পারে সেট যেমন যে সব ছেদচিহ্ন বাইরের মুখে অবস্থিত । উদাহরণস্বরূপ, হ'ল গ্রাফের সেট। গ্রাফের কোনও ক্রিয়াকলাপ দ্বারা উপরের করে আবদ্ধ করা পারে ?জি কে কে জি 0 জি কে কেk ∈ Nk∈Nk\in\mathbb{N}জিটGkG_kটkkজি0G0G_0জিটGkG_kটkk অন্যান্য দিক স্পষ্টত রাখা না, …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

আমি এসপি জর্ডান, ডি গোসেটে পড়েছি, পি জে লাভের " স্টম্পাস্টিক হ্যামিলটোনিয়ানস এবং মার্কোভ ম্যাট্রিক্সের সমস্যাগুলিQMAQMAQMA " যে সম্ভাবনা কম ।QMA⊆AMQMA⊆AMQMA \subseteq AM আমি এই দাবি সম্পর্কে অবাক হয়েছিল। তাহলে এবং এ এম এর মধ্যে সঠিক সম্পর্কটি কী?QMAQMAQMAAMAMAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

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

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

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

12 ds.algorithms  graph-theory  graph-algorithms  treewidth 

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

12 ds.algorithms  reference-request  approximation-algorithms 

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

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

জি একটি সংযুক্ত গ্রাফ হতে দিন। জি নিম্নলিখিত ধরণের হলে সমস্ত সংযুক্ত সাবগ্রাফ গণনা করার জটিলতা কী ? জি সাধারণ। জি প্ল্যানার। জি দ্বিপক্ষীয়। আমি কোনও কাঠামো বা ... এর যত্ন নিই না, কেবলমাত্র সমস্ত সংযুক্ত সাবগ্রাফ গণনা করা দরকার! আমি জি এর ঠিক কে নোড সহ সমস্ত সংযুক্ত সাবগ্রাফ …

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

যুক্তি গণনা করে, কেউ দেখিয়ে দিতে পারে যে 1 ভেরিয়েবলের ডিগ্রি এন এর বহুবচন রয়েছে (যেমন, ফর্মের যার সার্কিট জটিলতা n রয়েছে। এছাড়াও, কেউ দেখিয়ে দিতে পারেন যে এক্স এন এর মতো একটি বহুপথের জন্য কমপক্ষে লগ 2 এন গুণ করা প্রয়োজন (আপনার প্রয়োজন কেবলমাত্র উচ্চ পর্যায়ে উচ্চতর ডিগ্রি অর্জনের …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

t : ∀x.∃y.(¬(x = 0) ⇒ x = S(y))মার্টিন-লোফের টাইপ থিওরিতে একটি পদ দেওয়া হয়েছে , এর মূল্য কী, অপারেটর w(t(0))যেখানে wঅস্তিত্বের ধরণের শর্তটি প্রত্যক্ষ করে?

12 lo.logic  type-theory  proof-theory 

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

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

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

12 cc.complexity-theory  complexity-classes 

ক্লিফোর্ড গ্রুপ কোয়ান্টাম অপারেটরদের কোয়ান্টাম অপারেশন দ্বারা উত্পন্ন হয়: নিয়ন্ত্রিত- Z , হাডামারড , এবং ফেজ ( )।=|0⟩⟨0|+i|1⟩⟨1|=|0⟩⟨0|+i|1⟩⟨1|= |0\rangle\langle0| + i |1\rangle\langle1| এই গেটগুলির মধ্যে কেবল গঠিত একটি সার্কিট একটি ক্লাসিকাল কম্পিউটারে দক্ষতার সাথে সিমুলেশন করা যায়। তবে, আমি যদি সঠিকভাবে বুঝতে পারি তবে ক্লিস্টফোর্ড গ্রুপ অপারেশনগুলি ব্যবহার করে সমস্ত …

12 quantum-computing