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

ইনপুট আকারের তুলনায় বেশ কয়েকটি প্রসেসরের প্রয়োজন হয় না এমন একটি সমান্তরাল অ্যালগরিদম ব্যবহার করে কোনও সমস্যার গণ্য জটিলতা হ্রাস করার জন্য কী (স্ল্যাশ আপনি একটি উদাহরণ সরবরাহ করতে পারেন) সম্ভব?

10 cc.complexity-theory  dc.parallel-comp 

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

10 ds.algorithms 

বিশেষত, আমি মেশিন লার্নিং সিস্টেমগুলি সম্পর্কে জানার জন্য সংস্থানগুলি জিজ্ঞাসা করছি যা অপারেশনের সময় তাদের নিজ নিজ বিশ্বাসের নেটওয়ার্কগুলি (বা সমমানের) আপডেট করতে পারে। আমি এমনকি কয়েকটি পেরিয়েছি, যদিও আমি সেগুলি বুকমার্ক করতে ব্যর্থ হয়েছি। আপনি যেমন কল্পনা করতে পারেন, ইন্টারনেটে অনুসন্ধান করা এটি বরং চ্যালেঞ্জিং বিষয়।

10 reference-request  machine-learning  lg.learning  ai.artificial-intel  online-learning 

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

10 fl.formal-languages  automata-theory  regular-language  nfa 

এটি 70 এর দশকের প্রথম থেকেই জানা যায় NPNP{\bf NP} এবং E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) সমান নয় (কারণ EE{\bf E} বিপরীতে, বহু-সময় বহু-এক হ্রাস অধীনে বন্ধ হয় না NPNP{\bf NP})। আমি যতদূর জানি, তবে এখনও এটি উন্মুক্ত রয়েছে যে একটি শ্রেণি অন্য শ্রেণীর উপসেট হয়, বা সেগুলি অতুলনীয়, যার অর্থNP−ENP−E{\bf NP}-{\bf E} …

10 cc.complexity-theory  complexity-classes  np-complete 

আমি কিছু সময়ের জন্য কম্বিনেটরি লজিক, ল্যাম্বদা ক্যালকুলাস, ফাংশনাল প্রোগ্রামিংয়ের মতো বিভিন্ন বিষয়ে আগ্রহী এবং সেগুলি অধ্যয়ন করছি। তবে, "থিওরি অফ কম্পিউটিশন" এর বিপরীতে যা "গণনাযোগ্যতা" প্রশ্নের উত্তর দেওয়ার চেষ্টা করে অর্থাত্‍ যে বিষয়গুলি বিভিন্ন বাধার সাথে তুলনা করা যায় / করা যায় না, আমি "থিওরি অফ প্রোগ্রামিং" এর এনালগটি …

10 soft-question  pl.programming-languages  lambda-calculus  big-picture  combinatory-logic 

তা অজানা P⊆CSLP⊆CSLP\subseteq CSL অথবা P⊈CSLP⊈CSLP\not\subseteq CSL, কোথায় PPP একটি ডিস্ট্রিমেন্টিক ট্যুরিং মেশিনে বহু ভাষার সময়ে নির্ধারিত সমস্ত ভাষার সেট এবং CSLCSLCSL এটি প্রসঙ্গ-সংবেদনশীল ভাষার শ্রেণি, সমতুল্য হিসাবে পরিচিত NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)), লিনিয়ার-সীমানা অটোমেটা দ্বারা সিদ্ধান্ত নেওয়া ভাষাগুলি। অনেক খোলা প্রশ্নের জন্য, সেখানে একটি উত্তর দিকে একটা প্রবণতা (হয় একটি লা "সবচেয়ে …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

দিন HALTnHALTnHALT_n দৈর্ঘ্যের স্ট্রিং বোঝায় 2n2n2^n দৈর্ঘ্যের ইনপুটগুলির জন্য থামানো সমস্যার সত্য সারণীর সাথে সম্পর্কিত nnn। যদি কোলমোগোরভ জটিলতার ক্রম হয় K(HALTn)K(HALTn)K(HALT_n) ছিল O(1)O(1)O(1), তারপরে পরামর্শের একটি স্ট্রিং অসম্পূর্ণভাবে প্রায়শই ব্যবহৃত হবে এবং সেই স্ট্রিংটির হার্ড-কোডেড একটি টিএম সমাধান করতে সক্ষম হবে HALTHALTHALT অভিন্ন অসীম প্রায়শই, যা আমরা জানি এটি …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

ধরুন আমি একটি বুলিয়ান বর্তনী আছে যে নির্ণয় কিছু ফাংশন । ধরুন যে সার্কিটটি AND, OR, এবং ফ্যান-ইন এবং ফ্যান-আউট দিয়ে সর্বাধিক 2 এ গেট নয় atesCCCচ: { 0 , 1}এন→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\} যাক একটি প্রদত্ত ইনপুট করা আবশ্যক। প্রদত্ত এবং , আমি মূল্যায়ন করতে …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

K-FLIP SAT প্যারামাইট্রাইজড সমস্যাটি হিসাবে সংজ্ঞায়িত করা হয়েছে: ইনপুট: একটি 3-সিএনএফ সূত্রφφ\varphi সঙ্গে এনnn ভেরিয়েবল এবং একটি সত্য কাজ σ: [ এন ] → { 0 , 1 }σ:[n]→{0,1}\sigma : [n] \to \{0,1\} পরামিতি: টkk প্রশ্ন: আমরা কি কার্যনির্বাহিত করতে পারি?σσ\sigma একটি তৃপ্তিযুক্ত দায়িত্ব σ′σ′\sigma' জন্য φφ\varphi সর্বাধিক সত্যের মূল্য …

10 parameterized-complexity  fixed-parameter-tractable 

বলুন যে আমি হোমোপি টাইপ তত্ত্বে কাজ করি এবং আমার পড়াশোনার একমাত্র বিষয়গুলি প্রচলিত বিভাগসমূহ categories সমতুল্যতা এখানে ফ্যান্ট্যাক্টর এবং যা বিভাগগুলির সমতা প্রদান করে ime । প্রাকৃতিক আইসোর্ফিজমগুলি রয়েছে এবং যাতে এই ফান্টেক্টর এবং "বিপরীত" ফান্ট্যাক্টর থাকে ইউনিট ফান্টারে রূপান্তরিত হয়।এফ: ডি ⟶ সিএফ:ডি⟶সিF:{\bf D}\longrightarrow{\bf C}জি : সি ⟶ …

10 type-theory  ct.category-theory  dependent-type  equivalence  homotopy-type-theory 

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

10 ds.algorithms  approximation-algorithms  linear-programming  primal-dual 

আমি ডিএফএর সামান্য সাধারণীকরণে আগ্রহী। যথারীতি আমাদের স্টেট-সেট , সসীম বর্ণমালা \ সিগমা , একটি \ সিগমা ^ * অ্যাকশনটি ডু- ডেল্টা দ্বারা Q- এ সংজ্ঞায়িত করা হয়েছে: Q \ গুণ \ সিগমা \ রাইটারো কি , এবং প্রাথমিক অবস্থা q_0 ; তবে সাধারণ টার্মিনাল সেটের পরিবর্তে, আমরা Q- এর …

10 automata-theory  dfa 

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

10 reference-request  lg.learning  boolean-functions 

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

10 cc.complexity-theory