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

এই প্রশ্নটি তাত্ত্বিক কম্পিউটার বিজ্ঞান স্ট্যাক এক্সচেঞ্জ থেকে স্থানান্তরিত হয়েছিল কারণ এটি কম্পিউটার সায়েন্স স্ট্যাক এক্সচেঞ্জে উত্তর দেওয়া যেতে পারে। 7 বছর আগে স্থানান্তরিত । আমি এই আকর্ষণীয় প্রশ্ন ছিল। মানুষের দ্রুততম বর্ধমান ক্রিয়া কোনটি? এটা কি ব্যভার বেভার ? আমরা মতো ফাংশনগুলি জানি x2এক্স2x^2, তবে এই ফাংশনটি চেয়ে ধীর …

24 computability 

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

24 complexity-theory  graph-theory  np-complete 

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

24 algorithms  terminology  reference-request  decision-problem 

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

24 algorithms  efficiency  primes 

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

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

এই উত্তরে আন্ড্রেজ বাউয়ারের এই বিবৃতি হিসাবে একই চিন্তাভাবনা বরাবর হাস্কেল সম্প্রদায় বিভাগের তত্ত্ব দ্বারা অনুপ্রাণিত হয়ে অনেকগুলি কৌশল তৈরি করেছে, যার মধ্যে মনাদ সর্বাধিক পরিচিত তবে মনদেসে বিভ্রান্ত হওয়া উচিত নয় । মধ্যে সম্পর্ক কি functors SML এবং functors শ্রেণী তত্ত্ব? যেহেতু আমি অন্যান্য ভাষা যেমন হাস্কেল বা ওসিএএমএল …

24 programming-languages  functional-programming  category-theory 

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

24 complexity-theory  np-complete  terminology 

ধীরে ধীরে বিশ্লেষণটি কি অ্যালগোরিদমের মূল স্ট্রিম বিশ্লেষণের পথ খুঁজে পেয়েছিল ? অ্যালগরিদম ডিজাইনারদের কি তাদের অ্যালগোরিদমগুলিতে স্মুটেড বিশ্লেষণ প্রয়োগ করা সাধারণ?

24 algorithms  complexity-theory  algorithm-analysis 

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

24 turing-machines  quantum-computing 

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

23 algorithms  np-complete  reductions  traveling-salesman  sudoku 

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

23 programming-languages  mathematical-foundations  church-turing-thesis 

আমি আন্দ্রেজ বাউয়ারের " কনস্ট্রাকটিভ গণিত গ্রহণের পাঁচটি পর্যায় " দেখছিলাম এবং তিনি বলেছিলেন যে দ্বন্দ্বের দ্বারা দুটি ধরণের প্রমাণ রয়েছে (বা দুটি বিষয় যা গণিতবিদগণ দ্বন্দ্বের দ্বারা প্রমাণকে ডাকে): ধরে নিন মিথ্যা ... ব্লা ব্লা ব্লাহ, দ্বন্দ্ব। সুতরাং পি সত্য।PPPPPP ধরুন সত্য ... ব্লা ব্লা ব্লা, দ্বন্দ্ব। সুতরাং পি …

23 halting-problem  coq 

এটি সংসদীয় কোডের একটি অংশ section .text global _start ;must be declared for using gcc _start: ;tell linker entry point mov edx, len ;message length mov ecx, msg ;message to write mov ebx, 1 ;file descriptor (stdout) mov eax, 4 ;system call number (sys_write) int 0x80 ;call kernel mov eax, …

23 assembly 

অমীমাংসিত কম্পিউটার বিজ্ঞানের সমস্যার তালিকায় আমি উইকিপিডিয়ায় ছিলাম এবং এটি পেয়েছিলাম: পাবলিক-কী ক্রিপ্টোগ্রাফি কি সম্ভব? আমি ভেবেছিলাম আরএসএ এনক্রিপশন জনসাধারণের কী ক্রিপ্টোগ্রাফির একটি রূপ? কেন এটি একটি সমস্যা?

23 cryptography 

কম্পিউটার বিজ্ঞানের ব্ল্যাক হোলের মতো Like আমরা কেবল তাদের অস্তিত্ব জানতে পারি তবে যখন তাদের একটি রয়েছে তখন আমরা কখনই জানতে পারি না যে সেগুলির মধ্যে একটি।

23 halting-problem  correctness-proof