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

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

10 computability  turing-machines  formal-grammars 

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

10 algorithms  formal-grammars  context-free  parsing 

নিম্নলিখিত সমস্যাটি বিবেচনা করুন যার ইনপুট উদাহরণটি একটি সাধারণ গ্রাফ এবং প্রাকৃতিক পূর্ণসংখ্যার কে ।জিGGটkk এমন কোনও সেট যে জি - এস দ্বিপক্ষীয় এবং | এস | ≤ কে ?S⊆V(G)S⊆V(G)S \subseteq V(G)জি - এসG−SG - S| এস| ≤কে|S|≤k|S| \leq k আমি দেখাতে চাই যে এই সমস্যাটি 3-স্যাট, কে- সিলেকুই, কে- …

10 complexity-theory  np-complete  reductions 

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

10 data-structures  runtime-analysis  heaps  amortized-analysis 

maximize f(x)subject to Ax=bmaximize f(x)subject to Ax=b\text{maximize } f(\mathbf{x}) \quad\text{subject to } \mathbf{Ax} = \mathbf{b} কোথায় f(x)=∑i=1N1+x4i(∑Ni=1x2i)2−−−−−−−−−−−−−⎷,f(x)=∑i=1N1+xi4(∑i=1Nxi2)2,f(\mathbf{x}) = \sum_{i=1}^N\sqrt{1+\frac{x_i^4}{\left(\sum_{i=1}^{N}x_i^2\right)^2}}, x=[x1,x2,...,xN]T∈RN×1x=[x1,x2,...,xN]T∈RN×1\mathbf{x} = [x_1,x_2,...,x_N]^T \in \mathbb{R}^{N\times 1} এবং।A∈RM×NA∈RM×N\mathbf{A} \in \mathbb{R}^{M\times N} আমরা দেখতে পারি যে উত্তল এবং ফর্ম হল । এটি এও দেখাতে পারে যে আবদ্ধ । আমি জানি যে উত্তোলন সর্বাধিকীকরণের …

10 optimization 

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

10 algorithms  number-theory 

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

10 compilers  computer-architecture 

বেনাম (ল্যাম্বদা) ফাংশনগুলি কী কী? একটি কার্যনির্বাহী প্রোগ্রামিং ভাষাতে বেনামে ফাংশনের আনুষ্ঠানিক সংজ্ঞা কী? আমার সহজ কথায়, যখন আমি স্কিম / লিস্পে প্রোগ্রামিং করছি আমি বলব একটি বেনাম (ল্যাম্বডা) ফাংশন এমন একটি ফাংশন যা সনাক্তকারীকে আবদ্ধ নয়। লাম্বদা ফাংশন সম্পর্কে আপনি আনুষ্ঠানিকভাবে যা বলতে পারেন তা কি? আমি মনে করি …

10 logic  programming-languages  lambda-calculus  functional-programming 

এমন কি প্রোগ্রামিং ভাষা আছে (বা যুক্তি) যা একটি ফাংশন কার্যকর করতে পারে (বা প্রকাশ করতে পারে) যদি এবং কেবল যদি একটি কম্পিউটেবল বাইজেক্টিক ফাংশন হয়? fচ: এন → এনf:N→Nf:\mathbb{N}\to \mathbb{N}চff

10 reference-request  programming-languages  logic  reversible-computing 

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

10 reference-request 

নিম্নলিখিতগুলি প্রমাণ করার জন্য আমি সত্যিই আপনার সহায়তা চাই। তাহলে তারপর ।পি = এন পিNTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} এখানে, হ'ল সময়ে এবং মেশিন দ্বারা সিদ্ধান্ত নেওয়া যায় এমন সমস্ত ভাষার শ্রেণি হ'ল সমস্ত ভাষার শ্রেণি যা এর বহুপদী সময়গুলিতে একটি ডিস্ট্রিমেন্টিক টিউরিং মেশিন দ্বারা সিদ্ধান্ত নেওয়া যেতে পারে ।ও ( এন …

10 time-complexity  complexity-classes  p-vs-np 

আমি কম্পিউটারের জটিলতায় কোর্স করি। আমার সমস্যা হ'ল আমি রিলেটিভেশন পদ্ধতিটি বুঝতে পারি না । দুর্ভাগ্যক্রমে, এখনও পর্যন্ত কোনও সাফল্য না পেয়ে আমি অনেক পাঠ্যপুস্তকে কিছুটা স্বজ্ঞাততা খুঁজে পাওয়ার চেষ্টা করেছি। যদি কেউ এই বিষয়টিতে আলোকপাত করতে পারে তবে আমি প্রশংসা করব যাতে আমি নিজেই চালিয়ে যেতে সক্ষম হব। নিম্নলিখিত …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

ধরুন আমার কাছে রেড রেঞ্জ থেকে আঁকা প্রান্তের ওজনযুক্ত একটি নির্দেশক গ্রাফ রয়েছে যেখানে ধ্রুবক। আমি যদি ডিজজস্ট্রার অ্যালগরিদম ব্যবহার করে সবচেয়ে সংক্ষিপ্ত পথটি খুঁজতে চেষ্টা করি, তবে আমি কীভাবে অ্যালগরিদম / ডেটা কাঠামোটি সংশোধন করে সময়ের জটিলতা উন্নত করতে পারি ?কে[1,…,K][1,…,K][1,\dots, K]KKKO(|V|+|E|)O(|V|+|E|)O(|V|+|E|)

10 algorithms  data-structures  shortest-path  weighted-graphs 

আমার একটি সমস্যা রয়েছে যা একটি অ্যাসাইনমেন্ট সমস্যায় হ্রাস করা যেতে পারে। (আগের প্রশ্নে আমি এটি কীভাবে করব তা জানতে পেরেছি)) যার অর্থ আমাদের এজেন্টদের একটি সেট এবং কাজের একটি সেট টি পাশাপাশি একটি ব্যয় ফাংশন সি ( আই , জে ) রয়েছে । আমাদের একটি অ্যাসাইনমেন্ট সন্ধান করতে হবে …

10 algorithms  graph-theory  assignment-problem 

আমি উইকিপিডিয়ার পড়তে যে একীকরণ satisfability সমস্যা সমাধানের একটি প্রক্রিয়া। একই সাথে, আমি জানি যে এই জাতীয় সমাধানকারীদের "SAT solvers" বা "SMT solvers" বলা হয়। সুতরাং, তারা কি একই জিনিসটির জন্য আলাদা নাম রয়েছে? আপনি যদি বলেন যে এগুলি আলাদা, দয়া করে আমার চিকিত্সার কোনও ত্রুটি চিহ্নিত করুন।

10 terminology  sat-solvers  unification