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

২০০ 2006 এর একসময় (আমার মনে হয়) হ্যান্ডেল এবং ইনভার্টার গ্রাফগুলি পরিচালনা করার জন্য এআইজিআইআর লাইব্রেরি প্রকাশের পরে, কিছু সার্কিট স্যাট সলভার 2006-2008 সালে প্রকাশিত হয়েছিল এবং কয়েকটি স্যাট রেস / প্রতিযোগিতায় এআইজি ট্র্যাক ছিল। তবে তার পর থেকে মনে হচ্ছে ফোকাস পুরোপুরি এসএমটি বা ক্লাসাল এসএটি সলভারগুলিকে উন্নত করার …

18 satisfiability  circuits  sat-solvers 

স্থাপন: backreferences সহ নিয়মিত প্রকাশ অবিচ্ছিন্ন ভাষা (1-বর্ণমালা বর্ণমালা) এই সেটিংসে নিম্নলিখিত সমস্যাটি কি স্থিতিযুক্ত: পিছনে উল্লেখ সহ একটি নিয়মিত প্রকাশ দেওয়া, এটি কি একটি নিয়মিত ভাষার সংজ্ঞা দেয়? উদাহরণস্বরূপ, (aa+)\1একটি নিয়মিত ভাষা সংজ্ঞা (aa+)\1+দেয় , যখন না। কোনটি কেস তা আমরা সিদ্ধান্ত নিতে পারি? সংক্ষিপ্ততার জন্য, "ব্যাকরেফারেন্স সহ নিয়মিত …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

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

18 algorithms  satisfiability  approximation  decision-problem 

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

18 dependent-types  hoare-logic 

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

18 lambda-calculus  programming-paradigms 

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

18 type-theory  dependent-types 

আমার কাছে ইতিহাসের একটি ছোট প্রশ্ন রয়েছে, যেমন শিরোনামটি বলে, আমি এর প্রাথমিক ব্যবহারগুলি সন্ধান করছি কম্পিউটার বিজ্ঞানে গাছের (ডেটা স্ট্রাকচার হিসাবে, অনুসন্ধান ট্রি, যাই হোক না কেন) সন্ধান করছি।

18 data-structures  reference-request  trees  history 

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

18 computability  memory-management  memory-hardware 

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

18 computability 

র্যান্ডমাইজড কুইক বাছাই হল দ্রুত বাছাইয়ের একটি এক্সটেনশন যেখানে পিভট উপাদানটি এলোমেলোভাবে চয়ন করা হয়। এই অ্যালগরিদমের সবচেয়ে খারাপতম সময়ের জটিলতা কী হতে পারে। আমার মতে এটি O(n2)O(n2)O(n^2) হওয়া উচিত , কারণ এলোমেলোভাবে বেছে নেওয়া পিভটটি বাছাই বা বিপরীত সাজানো ক্রমে নির্বাচন করা হলে সবচেয়ে খারাপ পরিস্থিতি ঘটে । তবে …

18 algorithm-analysis  runtime-analysis  sorting  quicksort 

বলা হচ্ছে যে 'ইউজিন গুস্টম্যান' নামে একটি কম্পিউটার প্রোগ্রাম একটি 13 বছর বয়সের বালকের অনুকরণ করার জন্য বিকাশ করেছে, তিনি 33 শতাংশ বিচারককে মানুষ হিসাবে মানিয়েছিলেন এবং এইভাবে টুরিং টেস্টে উত্তীর্ণ হন। কম্পিউটার প্রোগ্রাম, একটি চ্যাটবট, 13 বছর বয়সের ইউক্রেনীয় ছেলে বলে ভান করছিল যার জন্য ইংরেজি ছিল দ্বিতীয় ভাষা …

18 reference-request  artificial-intelligence  history  turing-test 

কমপক্ষে আমার নিজস্ব রেফারেন্স পাঠ্যপুস্তকে (হপক্রফ্ট + উলম্যান 1979) টিউরিং মেশিনের (টিএম) প্রাথমিক সংজ্ঞাটি হ'ল ডিস্ট্রিমেন্টিক। তাই থামার সমস্যাটি সম্পর্কে আমার নিজের বোঝাপড়াটি মূলত ডিটারমিনিস্টিক টিএম এর জন্য, যদিও আমি সচেতন যে এটি অন্যান্য ধরণের অটোমেটার জন্য বিবেচিত হতে পারে। আমি আরও লক্ষ্য করেছি যে স্থিরতাবাদ প্রায়শই টিএম বা থামানো …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

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

18 algorithms  data-structures  time-complexity  computational-geometry 

কোনও ভাষা প্রসঙ্গ-মুক্ত কিনা তা পরীক্ষা করার জন্য কি অ্যালগরিদম / পদ্ধতিগত পদ্ধতি আছে? অন্য কথায়, বীজগণিত আকারে নির্দিষ্ট কোন ভাষা দেওয়া হয়েছে ( ) এর মতো কিছু মনে করুন, পরীক্ষা করুন যে ভাষাটি প্রসঙ্গ-মুক্ত কিনা? । কল্পনা করুন যে আমরা ছাত্রদের তাদের সমস্ত বাড়ির কাজগুলিতে সহায়তা করার জন্য একটি …

18 algorithms  formal-languages  context-free  decision-problem 

পক্ষপাতদুষ্ট NNN পার্শ্বযুক্ত ডাই দেওয়া, কীভাবে পরিসীমাটিতে একটি এলোমেলো সংখ্যা একটি করে [1,N][1,N][1,N]তৈরি করা যায়? মরা মুখগুলির সম্ভাব্যতা বন্টন জানা যায় না, যা জানা যায় তা হ'ল প্রতিটি মুখের একটি ননজারো সম্ভাবনা থাকে এবং সম্ভাব্যতা বিতরণ সমস্ত ছোঁড়ায় একই হয় (বিশেষত, ছোঁড়াটি স্বাধীন)। এই সুস্পষ্ট সাধারণীকরণ ছাড়া কিছুই না অন্যায্য …

18 probability-theory  randomized-algorithms  random-number-generator