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

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

22 programming-languages  turing-completeness  loops  imperative-programming 

এটি প্রমাণ করার কোনও নিয়ম আছে কিনা তা জানতে চাই। উদাহরণস্বরূপ, আমি যদি বিতরণ আইন ব্যবহার করি তবে আমি কেবল ।( এ ∨ এ ) ∧ ( এ ∨ ¬ বি )(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg B)

22 logic  propositional-logic 

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

22 algorithms  search-algorithms  arrays  efficiency 

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

22 information-theory  data-compression  primes 

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

22 complexity-theory  optimization  np  approximation 

এটি সুপরিচিত যে হিন্দি-মিলনার ধরণের অনুমিতি ( সরল - টাইপযুক্ত ক্যালকুলাস সহ বহুবিজ্ঞানযুক্ত) নির্ধারিত ধরণের অনুমিতি রয়েছে: আপনি কোনও টিকা ছাড়াই যে কোনও প্রোগ্রামের জন্য নীতিগত প্রকারগুলি পুনর্গঠন করতে পারেন।λλ\lambda হাস্কেল-স্টাইলের টাইপক্ল্যাসগুলি যোগ করা এই সিদ্ধান্তগ্রহণযোগ্যতা সংরক্ষণ করে বলে মনে হয়, তবে আরও সংযোজনগুলি অনির্বাচিত (প্রকারের পরিবার, জিএডিটি, নির্ভরশীল ধরণের, …

22 undecidability  type-theory  type-inference  dependent-types 

প্রশ্ন: কোড তৈরির জন্য কি এমন কোনও পদ্ধতি বা তত্ত্ব আছে যা ম্যাট্রিক্স ঘন হয়ে থাকে এবং কেবল শূন্য এবং এর সাথে পূর্ণ হয়ে গেলে ম্যাট্রিক্স-ভেক্টর গুণকে কার্যকরভাবে প্রয়োগ করে? আদর্শভাবে, অপ্টিমাইজড কোডটি নকলকৃত কাজ হ্রাস করতে পূর্বে গণিত তথ্যের পদ্ধতিগত ব্যবহার করবে। অন্য কথায়, আমি একটি ম্যাট্রিক্স আছে MMM …

22 linear-algebra  matrices  program-optimization 

একটি ওজনযুক্ত, পুনর্নির্দেশিত গ্রাফ দেওয়া হয়েছে: কোন শর্তটি সত্য রাখতে হবে যাতে G এর জন্য একাধিক ন্যূনতম বিস্তৃত গাছ থাকে? আমি জানি যে এমএসটি অনন্য যখন সমস্ত ওজন আলাদা হয় তবে আপনি এই বিবৃতিটি বিপরীত করতে পারবেন না। যদি গ্রাফটিতে একই ওজনযুক্ত বহুবিধ প্রান্ত থাকে তবে একাধিক এমএসটি থাকতে পারে …

22 graphs  graph-theory  weighted-graphs  spanning-trees  minimum-spanning-tree 

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

22 functional-programming 

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

22 algorithms  reference-request  divide-and-conquer 

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

22 algorithms  reductions  satisfiability 

উপর বাছাই আলগোরিদিম ওয়েবসাইট , নিম্নলিখিত দাবি করা হয়: আদর্শ বাছাই করা অ্যালগরিদমের নিম্নলিখিত বৈশিষ্ট্যগুলি থাকবে: স্থিতিশীল: সমান কীগুলি পুনরায় অর্ডার হয় না। অতিরিক্ত স্থানের প্রয়োজন হয়, জায়গায় কাজ করে ।O(1)O(1)O(1) সবচেয়ে খারাপ ক্ষেত্রে মূল তুলনা।O(n⋅lg(n))O(n⋅lg⁡(n))O(n\cdot\lg(n)) সবচেয়ে খারাপ কেস অদলবদল।O(n)O(n)O(n) অভিযোজিত: ডেটা প্রায় বাছাই করা হয় বা যখন কয়েকটি অনন্য …

22 algorithms  sorting 

নিম্নলিখিত আলগোরিদিমিক কাজ বিবেচনা করুন: ইনপুট: একটি ধনাত্মক পূর্ণসংখ্যা nnn , তার উত্তর দিবেন সহ খুঁজুন: ধনাত্মক পূর্ণসংখ্যা x,y,zx,y,zx,y,z যে কমান , সীমাবদ্ধতা সাপেক্ষে যেxy+yz+xzxy+yz+xzxy+yz+xzxyz=nxyz=nxyz=n এই সমস্যার জটিলতা কী? বহু-কালীন অ্যালগরিদম আছে? এটা কি এনপি-হার্ড? এই সমস্যাটি মূলতঃ জিজ্ঞাসা করে: আয়তক্ষেত্রাকার ঘনগুলির মধ্যে যার ভলিউম এবং যার মাত্রা সমস্ত পূর্ণসংখ্যার, …

22 algorithms  optimization  integers 

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

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

ক্রিয়ামূলক প্রোগ্রামিং অবিরাম ডেটা স্ট্রাকচার এবং অপরিবর্তনীয় বস্তু নিয়োগ করে। আমার প্রশ্ন হ'ল এখানে এ জাতীয় ডেটা স্ট্রাকচার কেন গুরুত্বপূর্ণ? আমি নিম্ন স্তরে বুঝতে চাই ডাটা স্ট্রাকচার অবিচল না হলে কী হবে? প্রোগ্রামটি প্রায়শই ক্রাশ হবে?

22 data-structures  functional-programming  programming-paradigms  persistent-data-structure