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

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

9 heuristics 

অ্যাডলম্যানের ডিএনএ মডেল বা চেরি এবং কিয়ান এই কাজ ছাড়া অন্য প্রোটিনের উপর ভিত্তি করে কম্পিউটেশনাল মডেলগুলি সংজ্ঞায়িত করে এমন একটি কাঠামো / আনুষ্ঠানিকতা আছে কি ?

9 reference-request  machine-models 

এমন কোন পরিচিত গণনাযোগ্য ট্রান্সসেন্টাল সংখ্যার মতো কী যে এর তম সংখ্যাটি বহুবর্ষের সময় গণনাযোগ্য, তবে ?nnnO(n)O(n)O(n)

9 cc.complexity-theory  comp-number-theory 

রাজবোরভের আনুমানিক পদ্ধতি কী? কেউ কি এর পিছনে একটি উচ্চ স্তরের ওভারভিউ এবং অন্তর্দৃষ্টি দিতে পারে?

9 cc.complexity-theory  circuit-complexity 

আংশিক বহুবর্ষের সময় বা সংক্ষেপে কিউপি হ'ল ডিটারমিনিস্টিক টিউরিং মেশিনের একটি জটিল শ্রেণি। এখানে সুনির্দিষ্ট সংজ্ঞা: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp যদিও βP সীমাবদ্ধ ননডেটেরিনিমিজমের একটি জটিল শ্রেণি class এখানে সুনির্দিষ্ট সংজ্ঞা দেওয়া হয়েছে: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap এটি সহজেই দেখতে পাওয়া যায় যে anyP এর যে কোনও মেশিন QP এর একটি মেশিন দ্বারা অনুকরণ করা যায়, …

9 cc.complexity-theory  complexity-classes 

যাক একটি সীমাবদ্ধ বর্ণমালা হোক। একটি কোড ওভার একটি উপসেট হয় যেমন যে প্রতিটি শব্দের স্বতন্ত্র শব্দের একটি সংযুক্তকরণের হিসাবে প্রতিনিধিত্ব করা যাবে । A কোড হয় সসীম যদিসীমাবদ্ধ সীমাবদ্ধ কোড জন্য স্বীকৃত (ন্যূনতম) অটোমেটা সম্পর্কে কী জানা যায় ? এই ধরনের অটোমাতার কোনও বৈশিষ্ট্য আছে ( না জেনে অটোমেটনের …

9 automata-theory 

একটি সম্পূর্ণ ডিএফএ দেওয়া হয়েছে এ = ( প্রশ্ন , Γ , δ), এফ)একজন=(প্রশ্নঃ,Γ,δ,এফ)A=(Q, \Gamma, \delta, F), আমরা ফাংশনগুলির একটি সংজ্ঞা নির্ধারণ করতে পারি চএকটিচএকটিf_a প্রতিটির জন্য, প্রত্যেকটির জন্য a ∈ Γএকটি∈Γa\in \Gammaএবং সাথে চএকটি: প্রশ্ন → প্রশ্নচএকটি:প্রশ্নঃ→প্রশ্নঃf_a:Q\rightarrow Q, চএকটি( প্রশ্ন)) = δ( প্রশ্ন), ক )চএকটি(কুই)=δ(কুই,একটি)f_a(q)=\delta(q, a)। আমরা এই ধারণাটিকে …

9 automata-theory  regular-language  monoid 

একটি নির্দিষ্ট ভাষার জন্য LLL কিছু বর্ণমালা AAA, আসুন আমরা নীচের সমস্যাটি বিবেচনা করি, যা আমি কল করি LLLঅন্তর্ভুক্তি : ইনপুট: দুটি শব্দ u,v∈A∗u,v∈A∗u, v \in A^* আউটপুট: সেখানে কিনা একটি বিদ্যমান interleaving এরuuu এবং vvv যা আছে LLL। এখানে, দুটি শব্দের একটি ইন্টারলিভিংuuu এবং vvv একটি শব্দ www চিঠিগুলি …

9 cc.complexity-theory  reference-request  regular-language 

যাক একটি জটিলতা বর্গ এবং হতে এর এলোমেলোভাবে সহযোগীর হতে \ mathcal {সি} মতো একই ভাবে সংজ্ঞায়িত \ textrm {BPP} থেকে সম্মান সঙ্গে সংজ্ঞায়িত করা হয় \ textrm {পি । আরো আনুষ্ঠানিকভাবে আমরা polynomially অনেক র্যান্ডম বিট এবং আমরা গ্রহণ সম্ভাব্যতা iff একটি ইনপুট গ্রহণ করতে শেষ হয়ে গেছে অর্থাত …

9 circuit-complexity  randomized-algorithms  derandomization 

আমার প্রশ্নটি "জ্যামিতিক জটিল জটিলতা থিও ভি" এর উপপাদ্যগুলি সম্পর্কে 4.1 এবং 4.2 সম্পর্কে । প্রথম উপপাদ্যটিতে বলা হয়েছে যে এইচএসপি নির্মাণের জন্য একটি এক্সপাসেসি অ্যালগরিদম রয়েছেΔ [ ডিট , এম ]Δ[det,m]\Delta[\text{det},m] (কাগজে সংজ্ঞা দেখুন) অন CC\mathbb{C} (প্রকৃতপক্ষে চারিত্রিক শূন্যের একটি নির্বিচারে বীজগণিতভাবে বন্ধ ক্ষেত্রের উপর)। দ্বিতীয়টি একই সমস্যার জন্য …

9 gct 

একটি গ্রুপের জন্য শক্তিশালী জেনারেটর দেওয়া হয়েছে (G≤Sn,∗)(G≤Sn,∗)(G \leq S_n, *) দৈর্ঘ্যের বিটস্ট্রিংগুলিতে অভিনয় করা nnn এবং একটি উপাদান s∈{0,1}ns∈{0,1}ns \in \{0, 1\}^n, অভিধানের ন্যূনতম উপাদানের গণনা করা কতটা কঠিন G.sG.sG.sএর কক্ষপথ sss ভিতরে GজিG?

9 permutations  gr.group-theory  complexity 

আমি কিছুক্ষণের জন্য টুরিং মেশিনগুলি সম্পর্কে সঠিকভাবে একটি টেপ এবং ঠিক 3 টি রাজ্য (যথা শুরুর রাজ্য) নিয়ে আগ্রহী ছিলাম been q0q0q_0, গ্রহণ রাষ্ট্র qacceptqacceptq_{accept}, এবং প্রত্যাখ্যাত রাষ্ট্র qrejectqrejectq_{reject})। নোট করুন যে আমি স্বেচ্ছাসেবী (সসীম) টেপ বর্ণমালা অনুমোদন করি (অর্থাত টেপ বর্ণমালাটি ইনপুট বর্ণমালার সমানতে সীমাবদ্ধ নয়)। সুবিধার জন্য, এই …

9 automata-theory  turing-machines  cellular-automata 

দিন ΣΣ\Sigma আকারের বর্ণমালা হতে 222, এবং ন্যূনতম ডিএফএগুলি বিবেচনা করুন যার আকার সর্বাধিক দ্বারা আবদ্ধ mmm। দিনf(m)f(m)f(m) এই জাতীয় বিভিন্ন ন্যূনতম ডিএফএর সংখ্যা বোঝান। আমরা এর জন্য একটি বদ্ধ-ফর্মুলা খুঁজে পেতে পারি f(m)f(m)f(m)? যে বিবেচনা করে |Σ|=2|Σ|=2|\Sigma|=2 সর্বাধিক আকারের ডিএফএর স্থানান্তর কার্য mmmএকটি গ্রাফ যেহেতু নোড ডিগ্রি দ্বারা আবদ্ধ …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

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

9 np-complete  open-problem 

কালাইয়ের 2-পৃষ্ঠার সোডা পেপার পাত্তা না দেওয়ার সাথে প্যাটার্ন ম্যাচিংয়ের জন্য একটি সহজ এবং দক্ষ অ্যালগরিদম দেয় (ওয়াইল্ডকার্ড যা একটি চরিত্রের সাথে মেলে)। সংক্ষেপে, এটি সমঝোতার মতোই সহজ। কিন্তু যদি আমরা যত্নশীল না হয়ে একাধিক নিদর্শনগুলি অনুসন্ধান করি তবে কী ঘটে ? আমরা এখনও কোনওভাবে এটিকে এফএফটি-ভিত্তিক কৌশলগুলি দিয়ে সমাধান …

9 ds.algorithms  reference-request  string-matching