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

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

9 type-theory  functional-programming  dependent-types 

একটি স্ট্রিং দেওয়া হয়েছে sss, আমি দীর্ঘতম পুনরাবৃত্তি (কমপক্ষে দুবার) উপসর্গটি খুঁজতে চাই। অর্থাৎ, আমি একটি স্ট্রিং সন্ধান করতে চাইwww যা একটি অনুচ্ছেদে (একটি সংঘবদ্ধ হতে হবে না) sss যেমন যে w=w′⋅w′w=w′⋅w′w=w' \cdot w' । এটাই,wwwএমন একটি স্ট্রিং যার অর্ধেকটি পরপর দু'বার প্রদর্শিত হয়। মনে রাখবেন যেwww এর একটি অনুচ্ছেদে …

9 algorithms  optimization  dynamic-programming  strings  subsequences 

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

9 machine-learning  probability-theory 

আমরা মাঝে মাঝে শুনি "সুইফ্ট ক্লাসিক (ট্রেসিং) জিসি করেন না, এটি আরসি ব্যবহার করে।" তবে আমি নিশ্চিত নই যে সুইফট শব্দার্থবিদ্যায় এমন কিছু আছে কিনা যার জন্য রেফারেন্স গণনা প্রয়োজন। মনে হচ্ছে ট্রেসিং জিসি ব্যবহারের জন্য কেউ নিজের সুইফ্ট সংকলক এবং রানটাইম তৈরি করতে পারে। সুতরাং সুইফ্ট সম্পর্কে "রেফারেন্স-গণনা" ঠিক …

9 semantics  garbage-collection 

ধরা যাক আমার এবং দুটি ফাংশন রয়েছে এবং তা নির্ধারণে আমি আগ্রহীFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. ধরা যাক যে আমার ফাংশনগুলি প্রাথমিক ফাংশনগুলি (বহুভিত্তিক, এক্সফোনেন্টিয়ালস, লগগুলি এবং ত্রিভুজমিত্রিক ফাংশনগুলি) দ্বারা গঠিত, তবে তা নয়, বলুন, টেলর সিরিজ। এই সমস্যাটি কি সিদ্ধান্তযুক্ত? যদি তা না হয়, তবে এটি কি আধা? (আমি …

9 computability  undecidability  mathematical-analysis  computer-algebra 

একটি ইনপুট স্ট্রিং হিসাবে দেওয়া যাক w1w2...wnw1w2...wnw_1w_2...w_n। তারপরে যদি কোনও এনএফএ বর্তমানে থাকেrrr (এবং বর্ণমালা পর্যন্ত ইনপুট পড়েছে wiwiw_i ) তারপরে পরবর্তী ইনপুট প্রতীকটি পড়ার আগে এনএফএ দুটি এনএফএতে বিভক্ত হয়, একজনের অবস্থা রয়েছে rrr এবং অন্যান্য হচ্ছে sss, যদি ধরণের কোনও রূপান্তর থাকে r→ϵsr→ϵsr \xrightarrow{\epsilon} s। ধরণের একটি চক্র …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

গ্রাফগুলির এমন কোনও বৈশিষ্ট্য রয়েছে যার প্রান্ত সেটটি পচে যায় নিখুঁত মিলগুলির একটি বিরক্তিকর ইউনিয়নে? এই জাতীয় গ্রাফগুলির একটি তুচ্ছ শ্রেণি হ'ল নিয়মিত -বিবাহিত গ্রাফ। তাদের প্রান্ত সেট মধ্যে পচা হবে গ্রন্থিচ্যুত নিখুঁত matchings। ddd(n,n)(n,n)(n,n)ddd

9 graph-theory  graphs 

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

9 algorithms  graphs  optimization  packing 

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

9 entropy 

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

9 lambda-calculus  functional-programming  combinatory-logic 

আমার একটা সেট আছে nnnপয়েন্টগুলি যা একটি মেট্রিক স্পেসে সংজ্ঞায়িত করা হয় - সুতরাং আমি পয়েন্টগুলির মধ্যে 'দূরত্ব' পরিমাপ করতে পারি তবে অন্য কিছু নয়। আমি এই সেটটির মধ্যে সর্বাধিক কেন্দ্রীয় পয়েন্টটি সন্ধান করতে চাই, যা আমি অন্যান্য সমস্ত পয়েন্টের নূন্যতম যোগফলের সাথে পয়েন্ট হিসাবে সংজ্ঞায়িত করি। মেট্রিক গণনা ধীর, …

9 complexity-theory  computational-geometry  lower-bounds  search-problem 

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

9 machine-learning  satisfiability  sat-solvers  backtracking 

রিড-সলোমন কোডগুলি ডিকোডিংয়ের জন্য ওয়েলচ-বেরলেক্যাম্প অ্যালগরিদমে, একটিকে পয়েন্টগুলির একটি তালিকা দেওয়া হয় (ai,bi)(ai,bi)(a_i, b_i) সাথে একটি বার্তা উপস্থাপন eee ত্রুটি bibib_i অজানা স্থানে (এবং eeeআলগোরিদিম দেওয়া হয়)। আউটপুটটি প্রদত্ত সমস্ত পয়েন্টের মধ্যে একটি ত্রুটি ঘটেছিল ব্যতীত একটি বহুভুজ যা is পদ্ধতির মধ্যে ফর্মের রৈখিক সমীকরণের একটি সিস্টেম সমাধান করা জড়িত …

9 algorithms  error-correcting-codes 

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

9 terminology  reference-request  history 

নিম্নলিখিত সমস্যা বিবেচনা করুন। দেওয়া: প্রান্তে বাস্তব অ-নেতিবাচক ওজন সহ একটি সম্পূর্ণ গ্রাফ। কার্য: সর্বাধিক ওজনের প্ল্যানার সাবগ্রাফ খুঁজুন। (সম্ভাব্য সমস্ত পরিকল্পনাকারী উপগ্রহের মধ্যে "সর্বোচ্চ")) দ্রষ্টব্য: সর্বাধিক ওজনের সাবগ্রাফ একটি ত্রিভুজ হবে; যদি পুরো গ্রাফটি থাকে তবে এর প্রান্ত থাকবে।nnnm=3n−6m=3n−6m=3n-6 প্রশ্ন: এই সমস্যার জন্য সর্বোত্তম উপলব্ধ অ্যালগরিদম কী? এর সময়-জটিলতা …

9 algorithms  graph-theory  optimization  combinatorics