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

এখানে বিবেচিত ট্রান্সডুসাররা সেই উইকিপিডিয়া কল করে সসীম স্টেট ট্রান্সডুসার্স । ট্রান্সডুসার এর আচরণ , অর্থাৎ যে সম্পর্কটি এটি গণনা করে, সেগুলি লেখা হয় [ টি ] : একটি শব্দ y হল x iff x [ T ] y এর আউটপুট ।টিTT[ টি][T][T]Yyyএক্সxxx [ টি] yx[T]yx[T]y প্রশ্ন: নিম্নলিখিত সমস্যাটি কি …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

নিম্নলিখিত সমস্যা বিবেচনা করুন: একটি ম্যাট্রিক্স আমরা কম্পিউটিংয়ের জন্য গুণিত অ্যালগরিদমের সংখ্যার সংযোজনটি অনুকূল করতে চাই ।MMMv↦Mvv↦Mvv \mapsto Mv আমি ম্যাট্রিক্সের গুণনের জটিলতার সাথে এই সম্পর্কের কারণে এই সমস্যাটিকে আকর্ষণীয় মনে করি (এই সমস্যাটি ম্যাট্রিক্সের গুণনের একটি সীমাবদ্ধ সংস্করণ)। এই সমস্যা সম্পর্কে কি জানেন? এই সমস্যাটি ম্যাট্রিক্সের গুণ গুণটির জটিলতার …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

থেকে মূল্যায়ন কৌশল উইকিপিডিয়া নিবন্ধ: ল্যাম্বদা ক্যালকুলাসে হ্রাস কৌশলটির ধারণাটি একই তবে স্বতন্ত্র। থেকে হ্রাস কৌশল উইকিপিডিয়া নিবন্ধ: এটি কম্পিউটার বিজ্ঞানের মূল্যায়ন কৌশলের ধারণার তুলনায় তবে সূক্ষ্মভাবে পৃথক। এই দুটি নিবন্ধটি ইঙ্গিত করে মূল্যায়ন কৌশল এবং হ্রাস কৌশলগুলির মধ্যে সূক্ষ্ম পার্থক্য কী? এগুলি কি ভিন্ন ডোমেন থেকে কেবল দুটি অনুরূপ …

10 pl.programming-languages  lambda-calculus  semantics 

ইন্টারেক্টেশন কম্বিনেটরগুলির পূর্বে calc-ক্যালকুলাসের জন্য একটি সংকলন লক্ষ্য হিসাবে প্রস্তাব করা হয়েছিল। সেই কাগজটি সম্পূর্ণ calc-ক্যালকুলাস প্রয়োগ করে। এটি আরও জানা যায় যে EAL- টাইপযোগ্য λ-পদগুলির সাবসেটের জন্য λ- ক্যালকুলাসের ইন্টারঅ্যাকশন-নেট এনকোডিংগুলি অনুকূল করা সম্ভব । সেই কাগজটি EAL- টাইপযোগ্য λ-পদার্থকে ইন্টারঅ্যাকশন জালগুলিতে অনুবাদ করে λ-ক্যালকুলাসের উপসেটটি প্রয়োগ করে যা …

10 lambda-calculus  functional-programming  interaction-nets 

Borsuk-ঊলম উপপাদ্য বলেছেন প্রতি ক্রমাগত বিজোড় ফাংশন জন্য যে একটি N- গোলক থেকে ইউক্লিডিয় এন-মহাকাশ, একটি বিন্দু যেমন যে ।x 0 g ( x 0 ) = 0gggx0x0x_0g(x0)=0g(x0)=0g(x_0)=0 সিমন্স এবং সু (২০০২) লেমা ব্যবহার করে পয়েন্টটি আনুমানিক করার জন্য একটি পদ্ধতি বর্ণনা করে । তবে তাদের পদ্ধতির রান-টাইম জটিলতা কী …

10 approximation-algorithms  time-complexity  topology  algebraic-topology 

নিম্নোক্ত term-মেয়াদ, এখানে সাধারণ আকারে: sort = (λabc.(a(λdefg.(f(d(λhij.(j(λkl.(k(λmn.(mhi))l)) (h(λkl.l)i)))(λhi.(i(λjk.(bd(jhk)))(bd(h(λjk.(j (λlm.m)k))c)))))e))(λde.e)(λde.(d(λfg.g)e))c)) গির্জা-এনকোডযুক্ত তালিকার জন্য বাছাই করা অ্যালগরিদমকে কার্যকর করে। এটি, এর ফলাফল: sort (λ c n . (c 3 (c 1 (c 2 n)))) β→ (λ c n . (c 1 (c 2 (c 3 n)))) একইভাবে, sort_below = λabcd.a(λef.f(λghi.g(λj.h(λkl.kj(ikl)))(hi))e(λgh.h)) (λe.d)(λe.b(λf.e(f(λghi.hg)(λgh.cfh)))) …

10 lo.logic  lambda-calculus  type-systems 

যাক প্রশ্নঃQQ গ্রাফ একটি বংশগত বর্গ করা। (বংশগত প্ররোচক subgraphs গ্রহণ থেকে সম্মান সঙ্গে বন্ধ হয়ে গেছে =।) আসুন প্রশ্নঃএনQnQ_n সেট বোঝাতে এনnn মধ্যে -vertex গ্রাফ প্রশ্নঃQQ । আমাদের বলে যে যাক প্রশ্নঃQQ রয়েছে প্রায় সব সব ভগ্নাংশ হলে, গ্রাফ এনnn -vertex গ্রাফ পতনশীল প্রশ্নঃএনQnQ_n 1 পন্থা, যেমন n → …

10 graph-theory 

এ http://www.dharwadker.org/tevet/isomorphism/ সেখানে নির্ধারণের যদি দুটি গ্রাফ isomorphic জন্য একটি আলগোরিদিম একটি উপস্থাপনা। এ ধর্ওয়াদকারের "আকর্ষণীয়" দাবির অনেকসংখ্যক দিক দিয়ে আমরা বলব, আমি এটি বিশ্বাস করতে চাই না। আমার তদন্তে, আমি দেখতে পেয়েছি যে অ্যালগরিদমটি অবশ্যই সঠিক উত্তরটি উত্পন্ন করবে এবং আপনাকে বলবে যে দুটি গ্রাফ আইসোমোরফিক নয় যখন বাস্তবে …

10 graph-isomorphism 

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

10 cc.complexity-theory  decision-trees 

এই ব্লগটি একটি ক্ষুদ্রতর কম্পিউটার ব্যবহার করে "টুইস্টি লিটল ম্যাজস" তৈরি করার কথা বলে। ইউএসটি পেতে উইলসনের অ্যালগরিদম ব্যবহার করে গণনা করা যেতে পারে , তবে সেখানে কতজন আছে তার সূত্র আমার মনে নেই। http://strangelyconsistent.org/blog/youre-in-a-space-of-twisty-little-mazes-all-alike নীতিগতভাবে ম্যাট্রিক্স ট্রি উপপাদ্যটিতে বলা হয়েছে যে গ্রাফের বিস্তৃত গাছগুলির সংখ্যা গ্রাফের ল্যাপ্লাসিয়ান ম্যাট্রিক্সের নির্ধারকের …

10 graph-theory  randomized-algorithms  matrices  tree 

একটি নম্বর দেওয়া যাক । নিম্নলিখিত ভাষা বিবেচনা করুন ।এল এন = {nnnLn={ww|w∈{0,1}n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} কথায় কথায়, দৈর্ঘ্য এর কপির স্ট্রিংগুলির সেট । 2 এনLnLnL_n2n2n2n বিবেচনা করুন নিম্নলিখিত রাষ্ট্র জটিলতা ফাংশন যেমন যে ক্ষুদ্রতম Pushdown অটোমাটা মধ্যে রাজ্যের সংখ্যা স্বীকার …

10 fl.formal-languages  automata-theory  grammars  context-free 

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

10 derandomization  polynomials 

নিম্নলিখিত সমস্যার জটিলতা কি ( পি? এনপি-হার্ড?):∈∈\in ইনপুট: একটি নির্দেশ acyclic গ্রাফ , অনুন্নত প্রান্ত একটি সেট ই ' ⊂ ভী × ভী , এবং দুটি স্বতন্ত্র নোড গুলি এবং টন ।D=(V,E)D=(V,E)D=(V,E)E′⊂V×VE′⊂V×VE'\subset V\times Vsssttt প্রশ্ন: আসুন গ্রাফ যুক্ত করে গঠিত বোঝাতে ডি থেকে প্রান্ত ই ' । সেখান থেকে একটি …

10 graph-algorithms  time-complexity  disjoint-paths 

এটি একটি পুরানো খোলা সমস্যা ডাইরেক্ট-সমষ্টি উপপাদ্য নির্ণায়ক যোগাযোগ জটিলতা হয় যে জন্য ঝুলিতে কিনা, কিনা সমাধানে হয় হয় কোন সমস্যা হওয়ার স্বাধীন দৃষ্টান্ত বার একটি একক উদাহরণস্বরূপ সমাধানে চেয়ে কঠিন। [FKNN95] নিম্নলিখিত ফলাফলগুলি দেখিয়েছেন:টিটিtটিটিt একটি নেতিবাচক ফলাফল: এখানে আংশিক ফাংশন রয়েছে ([O90] এর কারণে) যার নির্বিচারে যোগাযোগ জটিলতা হ'ল …

10 cc.complexity-theory  communication-complexity 

দুটি উপাদানকে এবং এইচ-এর উপর এন এন উপাদানগুলির (যেমন, এস এন এর সদস্য ) দেওয়া, জি , এইচ দ্বারা উত্পন্ন উপগোষ্ঠীর ক্রম গণনা করার জটিলতা কী ? বা কেবল সিদ্ধান্ত নিচ্ছে যে সাবগ্রুপটি অর্ডার এন ! (অর্থাত্, সমস্ত এস এন এর )?ggghhhnnnSnSnS_ng,hg,hg,hn!n!n!SnSnS_n

10 cc.complexity-theory  algebra  gr.group-theory