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

সমস্যাটিকে পি এপিএক্স হিসাবে বলা হয় যদি কিছু ধ্রুবক সি> 0 থাকে তবে P এর জন্য আনুমানিক ফ্যাক্টর 1 + সি এর সাথে বহুবর্ষ-সময়ের আনুমানিক আলগোরিদিম উপস্থিত থাকে। এপিএক্সে পিটিএএস থাকে (কেবল কোনও ধ্রুবক সি> 0 বাছাই করে দেখা হয়) এবং পি contains এপিএক্স এনপিতে রয়েছে? বিশেষত, কিছু আনুমানিক ফ্যাক্টরের …

15 cc.complexity-theory  complexity-classes  apx 

এই প্রশ্নটি একটি প্রদত্ত অ্যারের এলোমেলো পরিবর্তন ফিরিয়ে দেওয়ার জন্য ফিশার-ইয়েটস অ্যালগরিদম সম্পর্কিত। উইকিপিডিয়া পৃষ্ঠা বলছেন যে তার জটিলতা হে (ঢ), কিন্তু আমি মনে করি এটা হে যে (n log n)। প্রতিটি পুনরাবৃত্তিতে i, 1 এবং i এর মধ্যে একটি এলোমেলো পূর্ণসংখ্যা বেছে নেওয়া হয়। কেবল মেমোরিতে পূর্ণসংখ্যার লেখা হ'ল …

15 ds.algorithms  permutations 

একটি টিউরিং মেশিন দ্বারা নির্ধারিত একটি ভাষা এল প্রদান করে যা এটি স্থির করে, এলপিকে এনপিতে রয়েছে কিনা তা অ্যালগরিদমিকভাবে নির্ধারণ করা সম্ভব?

15 cc.complexity-theory  computability  turing-machines 

আমাদের সাম্প্রতিক কাজগুলিতে, আমরা একটি এক্সকিউটিভাল প্রসঙ্গে উত্থাপিত একটি গণ্য সমস্যা সমাধান করেছি যে অনুমানের অধীনে , যেখানে ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP}⊕ এর ই এক্স পি রূপান্তরis⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} । Paper এর একমাত্র কাগজ ⊕⊕P⊕P\mathsf{\oplus{}P} আমরা খুঁজে পেয়েছি যে Beigel-Buhrman-Fortnow ছিল1998 কাগজযে উদ্ধৃত করাজটিলতা চিড়িয়াখানা। আমরা বুঝতে পারি যে আমরা এন ই এক্স …

15 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

আমি লায়াহে একটি অধ্যায় পড়ছিলাম যা আমার কাছে সত্যিকার অর্থে আসে না। আমি বুঝতে পারি যে জিপার্সগুলি গাছের মতো কাঠামোকে নির্বিচারে ট্র্যাভার করতে পারে তবে এ সম্পর্কে আমার কিছু ব্যাখ্যা দরকার। এছাড়াও, জিপারগুলি কোনও ডেটা স্ট্রাকচারে সাধারণীকরণ করা যায়?

15 ds.data-structures  functional-programming  tree 

আমাদের যদি বৃহত (নির্দেশিত) গ্রাফ এবং আরও ছোট মূলের গাছ এইচ থাকে তবে জি আইসোমর্ফিকের এইচ-এর অনুচ্ছেদগুলি সন্ধান করার জন্য সবচেয়ে কার্যকর জটিলতা কোনটি ? আমি subtree isomorphism এর ফলাফল সম্পর্কে অবহিত যেখানে জি এবং এইচ উভয়ই গাছ এবং যেখানে জি প্ল্যানার বা বৃক্ষবৃদ্ধি (এবং অন্যদের) আবদ্ধ আছে তবে এই …

15 ds.algorithms  reference-request  graph-theory 

সমস্যাটি যাক একটি Buchi যন্ত্রমানব হতে একটি ভাষা স্বীকৃতি এল ⊆ Σ ω । আমরা ধরে নিই যে একজন নিম্নলিখিত অর্থে একটি গ্রহণযোগ্যতা কৌশল আছে: সেখানে একটি ফাংশন σ : Σ * → প্রশ্ন যার পাইলট রান ব্যবহার করা যেতে পারে একটি । আমরা নিম্নলিখিত শর্তাবলী দ্বারা এটি আনুষ্ঠানিক:A=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

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

15 cc.complexity-theory  complexity-classes  quantum-computing 

একটি ম্যাট্রিক্স দেওয়া হয়েছে (ধরে নিচ্ছেন এম ≥ n ), কলামগুলির অবস্থান এবং ভিত্তি গণনা করার জন্য দ্রুততম অ্যালগরিদম কী?m×nm×nm \times nm≥nm≥nm \ge n আমি সচেতন যে এটি লিনিয়ার ম্যাট্রয়েড ছেদ দিয়ে সমাধান করা যেতে পারে, যা একটি সময় নির্ঘাটন অ্যালগরিদম এবং একটি হে ( এম এন ω - 1 …

15 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

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

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

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

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

আমি একটি polytope আছে দ্বারা সংজ্ঞায়িত ।PPP{x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} প্রশ্ন: একটি প্রান্তবিন্দু দেওয়া এর , সেখানে প্রতিবেশীদের থেকে অবিশেষে নমুনা করার জন্য একটি বহুপদী সময় আলগোরিদিম এর গ্রাফে ? (মাত্রার বহুমাত্রিক, সমীকরণের সংখ্যা এবং এর উপস্থাপনা । আমি ধরে নিতে পারি যে সমীকরণের সংখ্যাটি …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

প্যারামেট্রিক পলিমারফিজমের জন্য সম্পর্কের শব্দার্থের মর্ম বোঝার কিছু প্রাকৃতিক উপায় আছে কি? আমি সবেমাত্র রিলেশনাল প্যারামিট্রিকটির ধারণাটি পড়তে শুরু করেছি, একটি লা জন রেইনল্ডসের "প্রকার, বিমূর্তি এবং প্যারামেট্রিক পলিমারফিজম", এবং কীভাবে সম্পর্কযুক্ত শব্দার্থকে অনুপ্রাণিত করা হয়েছে তা বুঝতে আমার সমস্যা হচ্ছে। সেট শব্দার্থবিজ্ঞানগুলি আমার কাছে নিখুঁত ধারণা তৈরি করে এবং …

15 type-theory  parametricity 

স্যাট solvers একটি কোয়ান্টিফায়ার দিয়ে বুলিয়ান সূত্রের বৈধতা যাচাইয়ের একটি শক্তিশালী উপায় দেয়। উদাহরণস্বরূপ, এর বৈধতা যাচাই করতে , আমরা সন্তোষজনক কিনা তা নির্ধারণের জন্য একটি স্যাট দ্রাবক ব্যবহার করতে পারি । এর বৈধতা পরীক্ষা করতে , আমরা determine সন্তুষ্টযোগ্য কিনা তা নির্ধারণের জন্য একটি স্যাট দ্রাবক ব্যবহার করতে পারি …

15 ds.algorithms  lo.logic  sat  boolean-functions 

কোনও ভাষার (জেনারালাইজড) তারকা উচ্চতা হ'ল ক্লিন তারকাদের ন্যূনতম বাসা বেঁধে নিয়মিত প্রকাশের মাধ্যমে ভাষার প্রতিনিধিত্ব করতে হয়। রিকল করে একটি সসীম বর্ণমালা উপর একটি বর্ধিত রেগুলার এক্সপ্রেশন সন্তুষ্ট করুন:একজনAA (1) এবং a সমস্ত a ∈ A এর জন্য নিয়মিত এক্সপ্রেশনগুলি বাড়ানো হয়∅ , 1∅,1\emptyset, 1একটিaaa ∈ Aa∈Aa\in A (২) …

15 fl.formal-languages  lower-bounds  regular-expressions