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

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

14 ds.data-structures  tree 

অন্য প্রশ্নের জবাবে ল্যাম্বদা ক্যালকুলাসের বিটা তত্ত্বের বর্ধন, এভেজেনিজ উত্তরটি দিয়েছিল: বিটা + বিধি {s = t | গুলি এবং টি অদৃশ্যযোগ্য শর্তাদি বন্ধ রয়েছে} যেখানে এম শব্দটি দ্রবণযোগ্য হয় যদি আমরা এমন শর্তাবলীর সন্ধান পেতে পারি যেগুলিতে এম এর প্রয়োগ আমার সাথে সমান হয় । এভেজেনিজের উত্তরটি ল্যাম্বডা ক্যালকুলাসের …

14 pl.programming-languages  lambda-calculus  lo.logic 

রাইসের উপপাদ্যটিতে বলা হয়েছে যে কয়েকটি টিউরিং মেশিন দ্বারা স্বীকৃত সেটের প্রতিটি অনানুষ্ঠানিক সম্পত্তি অনস্বীকার্য। আমি জটিলতা-তাত্ত্বিক ধানের ধরণের উপপাদ্যের সন্ধান করছি যা আমাদের জানায় যে এনপি সেটের কোন অ-ক্ষণাত্মক বৈশিষ্ট্য অচল able

14 cc.complexity-theory  computability  np 

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

14 process-algebra  ho.history-overview 

পুনরাবৃত্তি ধারণাটি কে প্রবর্তন করেছিলেন ? এটি কোথা থেকে এসেছে এবং এটি কীভাবে কম্পিউটার বিজ্ঞানের উপর প্রভাব ফেলেছিল তা কেউ ব্যাখ্যা করতে পারেন?

14 reference-request  ho.history-overview  recursion 

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

14 cc.complexity-theory  lo.logic  program-verification  program-logic 

জি 2n শীর্ষে একটি গাছ হতে দিন। জি, টো (জি) এর গাছের প্রস্থ = ১. এখন ধরা যাক আমরা একটি গ্রাফ এইচ পেতে জিতে এন প্রান্তগুলি যুক্ত করব। টু (এইচ) এর উপরের উপরের একটি বাঁধনটি এন + ১। এটি মূলত সবচেয়ে ভাল কি সম্ভব? এটি একরকম মনে হয় যে দ্বি …

14 upper-bounds  treewidth 

আমি অতি সংক্ষিপ্ত সুপারস্টারিং সমস্যার জন্য লোভী অনুমান সম্পর্কে শিখেছি । এই সমস্যা, আমরা স্ট্রিং একটি সেট দেওয়া হয় গুলি1, … , এসএনs1,…,sns_1,\dots, s_n এবং আমরা খুঁজে পেতে চান সবচেয়ে কম সুপারস্ট্রিং গুলিss অর্থাত প্রতিটি যেমন যে গুলিআমিsis_i একটি সাবস্ট্রিং হিসাবে প্রদর্শিত হবে গুলিss । এই সমস্যাটি এনপি-হার্ড এবং কাগজগুলির …

14 reference-request  approximation-algorithms  greedy-algorithms 

এক ধরণের তত্ত্বের জন্য, ধারাবাহিকতায়, আমি বোঝাতে চাইছি এটির মধ্যে এমন একটি প্রকার রয়েছে যা জনবসতিপূর্ণ নয়। ল্যামডা ঘনক্ষেত্র দৃঢ় নিয়মমাফিককরণ থেকে, সিস্টেম অনুসরণ FFF এবং সিস্টেম FωFωF_\omega সামঞ্জস্যপূর্ণ হয়। এমএলটিটি + ইনডাকটিভ টাইপগুলিতেও একটি নরমালাইজেশন প্রুফ রয়েছে। যাইহোক, এই সমস্তগুলি পিএর মডেল তৈরির জন্য যথেষ্ট শক্তিশালী হওয়া উচিত, যা …

14 type-theory  proof-theory 

যাক কিছু ভাষা হতে, তাহলে আমরা সংজ্ঞায়িত অন্বিত সঙ্গতি যেমন তোমার দর্শন লগ করা ~ বনাম : ⇔ ∀ এক্স , Y ∈ এক্স * : এক্স তোমার দর্শন লগ করা Y ∈ এল ↔ এক্স বনাম Y ∈ এল এবং ভাগফল monoid এক্স * / ~ এল হয় নামক …

14 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

বুলিয়ান ফাংশনের জন্য , তম ভেরিয়েবলের প্রভাবকে as হিসাবে সংজ্ঞায়িত করা হয়েছে যেখানে x ^ {\ ওপলস আমি} x এর i ম বিট উল্টিয়ে স্ট্রিংটি প্রাপ্ত । চ এর সর্বনিম্ন প্রভাবটি হ'ল rat অপেরাটর্নাম {মিনিআইএনএফ f [চ] ack স্ট্যাক্রেল \ m আরএম ডিফ} {=} মিন_ {আই \ ইন [এন]} \ …

14 reference-request  pr.probability  boolean-functions 

অ্যালগোরিদমের পাঠ্যপুস্তকের পরিচিতির ভিত্তিতে , লোভী অ্যালগরিদমের যথার্থতার জন্য দুটি বৈশিষ্ট্য থাকতে সমস্যা প্রয়োজন: লোভী পছন্দ সম্পত্তি অনুকূল কাঠামো পাল্টা উদাহরণগুলি সহ সহজেই উপস্থিত হওয়া সহজ যার জন্য লোভী পছন্দের সম্পত্তির অভাবের কারণে লোভী সমাধান ব্যর্থ হয়, যেমন 0/1 ন্যাপস্যাক সমস্যা। তবে আমি অন্যান্য সম্ভাবনাটি কল্পনা করা বেশ কঠিন মনে …

14 greedy-algorithms 

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

14 big-list  teaching  intuition 

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

14 type-theory 

এক জনের কথা বলতে পারেন treewidth একটি বুলিয়ান বর্তনী, পুতুল (ছেদচিহ্ন) এ "moralized" গ্রাফ treewidth যেমন সংজ্ঞা নিম্নরূপ প্রাপ্ত: সংযোগ তারের এবং যখনই একটি গেট থাকার আউটপুট ইনপুট হিসেবে (অথবা তদ্বিপরীত); তারগুলি এবং যখনই সেগুলি একই গেটের ইনপুট হিসাবে ব্যবহৃত হয়। সম্পাদনা করুন: সার্কিটের গাছের প্রস্থকে সমতুল্যভাবে বর্ণনা করতে পারে …

14 circuit-complexity  pr.probability  treewidth  arithmetic-circuits