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

জটিলতায় কীভাবে প্রত্যয় অ্যারে তৈরি করা যায় তা শিখার পরে আমি প্রত্যয় অ্যারের প্রয়োগগুলি আবিষ্কার করতে আগ্রহী। এর মধ্যে একটি সময়ে দুটি স্ট্রিংয়ের মধ্যে সর্বাধিক দীর্ঘতম স্ট্রাস্টিং সন্ধান করছে । আমি নিম্নলিখিত অ্যালগরিদম ইন্টারনেটে পেয়েছি:ও ( এন))হে(এন)O(N)ও ( এন))হে(এন)O(N) এবং দুটি স্ট্রিংকে স্ট্রিং মার্জবি এ বিএকজনএকজনAবিবিBএকজনখএকজনবিAB প্রত্যয় অ্যারে গণনাএকজনখএকজনবিAB (দীর্ঘতম …

15 algorithms  suffix-array 

একজন Hidoku একটি হল n×nn×nn \times n 1 থেকে কিছু আগে থেকে পূরণ পূর্ণসংখ্যার সঙ্গে গ্রিড n2n2n^2 । লক্ষ্যটি হ'ল গ্রিডে ধারাবাহিক পূর্ণসংখ্যার একটি পথ (1 থেকে n2n2n^2 ) সন্ধান করা। আরো কংক্রিট, গ্রিড প্রতিটি কক্ষে 1 থেকে একটি ভিন্ন পূর্ণসংখ্যা থাকা আবশ্যক n2n2n^2 এবং মান সঙ্গে প্রতিটি সেল z≠n2z≠n2z …

15 complexity-theory  reductions  np-hard 

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

15 algorithms  time-complexity 

দুই বা ততোধিক কাউন্টারযুক্ত কাউন্টার মেশিনগুলি সাধারণত গনন তত্ত্বের কোর্সে কোচিং মেশিনগুলির সমতুল্য হিসাবে দেখানো হয়। তবে ওয়ান-কাউন্টার মেশিন দ্বারা কোন ভাষাগুলি স্বীকৃত হতে পারে তার কোনও আনুষ্ঠানিক বিশ্লেষণ আমি দেখিনি। এই ভাষাগুলি কি প্রাসঙ্গিক মুক্ত ভাষার সমতুল্য (সম্ভবত পিডিএ সম্পর্কিত কোনও চতুর নির্মাণের দ্বারা), বা সেগুলি কি সম্পূর্ণ ভিন্ন …

15 computability  automata 

দৃশ্যত, যদি , এ সমস্ত ভাষা ছাড়া এবং হবে -complete।পি ∅ Σ ∗ এন পিP=NPP=NP{\sf P}={\sf NP}PP{\sf P}∅∅\emptysetΣ∗Σ∗\Sigma^*NPNP{\sf NP} বিশেষত এই দুটি ভাষা কেন? আমরা গ্রহণ বা গ্রহণ না করার সময় আউটপুট দিয়ে তাদের কাছে in তে অন্য কোনও ভাষা হ্রাস করতে পারি না ?PP{\sf P}

15 complexity-theory  np-complete  reductions 

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

15 algorithms  graphs  enumeration 

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

15 computability 

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

15 algorithms  turing-machines 

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

15 combinatorics  discrete-mathematics  trees  average-case  random-walks 

আমি কর্পেন এট আল দ্বারা অ্যালগরিদমের ভূমিকা পড়ছি । এবং আমি 73 পৃষ্ঠায় শুরু করে মাস্টার উপপাদ্যটির বিবৃতিটি পড়ছি । ক্ষেত্রে 3 ক্ষেত্রে নিয়মিততার শর্তও রয়েছে যা উপপাদ্যটি ব্যবহার করার জন্য সন্তুষ্ট হওয়া দরকার: ... 3. যদি f(n)=Ω(nlogba+ε)f(n)=Ω(nlogb⁡a+ε)\qquad \displaystyle f(n) = \Omega(n^{\log_b a + \varepsilon}) কিছু ধ্রুবক জন্য আর যদিε>0ε>0\varepsilon …

15 algorithms  asymptotics  mathematical-analysis  landau-notation  master-theorem 

A কে বি হিসাবে হ্রাস করা যাক, । তাই, টুরিং মেশিন গ্রহণ জন্য একটি ওরাকল অ্যাক্সেস আছে । টুরিং মেশিন গ্রহণ করা যাক হতে এবং জন্য ওরাকল হতে । হ্রাসের ধরণগুলি:এ বি এ এম এ বি ও বিA≤BA≤BA \leq BAAABBBAAAMAMAM_{A}BBBOBOBO_{B} টুরিং হ্রাস: একাধিক প্রশ্নের করতে পারেন । ও বিMAMAM_{A}OBOBO_{B} কার্প …

15 complexity-theory  np-complete  reductions  complexity-classes 

একটি সেট দেওয়া Sএস\mathbf{S} সেট, আমি একটি সেট এটি চাই যেমন যে জোড়া প্রত্যেকে সেট মধ্যে এর অন্তত একটি উপাদান রয়েছে । আমিও চাই সম্ভব কয়েক উপাদান হিসাবে রয়েছে বলে এখনও এই নির্ণায়ক সাক্ষাৎ, যদিও একটির বেশি ক্ষুদ্রতম অস্তিত্ব নাও থাকতে পারে এই সম্পত্তি সঙ্গে (সমাধান অগত্যা অনন্য নয়)।এস এস …

15 algorithms  optimization  sets 

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

15 reference-request  logic  proof-assistants 

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

15 computability  turing-machines  history 

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

15 programming-languages  logic  compilers  type-theory  type-checking