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

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

24 soft-question  ds.data-structures  survey  books 

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

24 big-list  books 

সম্পাদনা (v2): আমি সমস্যা সম্পর্কে যা জানি তার শেষে একটি বিভাগ যুক্ত করা হয়েছে। সম্পাদনা (v3): শেষে প্রান্তিক ডিগ্রি উপর আলোচনা যোগ করা হয়েছে। প্রশ্ন এই প্রশ্নটি মূলত একটি রেফারেন্স অনুরোধ। সমস্যা সম্পর্কে আমি বেশি কিছু জানি না। আমি জানতে চাই যে এই সমস্যার বিষয়ে পূর্ববর্তী কোনও কাজ হয়েছে কিনা …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

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

24 soft-question  big-picture 

এটি এই প্রশ্নের সাথে সম্পর্কিত কি প্রতিটি এনপি ভাষার সদস্যতার স্বাক্ষরের আকারটি ইতিমধ্যে পরিচিত? কিছু প্রাকৃতিক (কমপ্লিট) সমস্যার ক্ষেত্রে রৈখিক দৈর্ঘ্যের সাক্ষী থাকে: জন্য একটি সন্তোষজনক নিয়োগ , জন্য ইত্যাদি এস এ টি এইচ এ এম পি এ টি এইচএন পিNP\mathsf{NP}এসএ টিSATSATএইচএ এমপিএ টিএইচHAMPATHHAMPATH জটিলতা শ্রেণীর " রৈখিক দৈর্ঘ্যের সাক্ষীদের …

24 cc.complexity-theory  complexity-classes  np 

কোন ভাষায় জন্য উপর Σ * , নির্ধারণ এল 1 / 2 = { x এর ∈ Σ * : এক্স Y ∈ এল , Y ∈ Σ | এক্স | } । কথায়, এল 1 / 2 সব নিয়ে গঠিত এক্স , যার জন্য একটা হল Y সমান দৈর্ঘ্য …

24 fl.formal-languages  automata-theory 

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

24 quantum-computing 

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

24 cc.complexity-theory  ds.algorithms  reference-request 

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

24 ds.algorithms  reference-request  lo.logic  sat 

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

24 quantum-computing  reference-request  fault-tolerance 

প্রকার ও প্রোগ্রামিং ভাষার ভাষা সাব টাইপিংয়ের ক্ষেত্রে বেশ খানিকটা আলোকপাত করে, তবে যতদূর আমি বলতে পারি, সাব টাইপিং বিশেষত মৌলিক বলে মনে হয় না। সাবটাইপিং কি নির্ভরশীল ধরণের চেয়ে বেশি কিছু দেয়? নির্ভরশীল ধরণের সাথে কাজ করা আরও বেশি কাজ হতে বাধ্য, তাই আমি বুঝতে পারি কেন সাব টাইপগুলি …

24 lo.logic  pl.programming-languages  type-theory 

অবিচলিত বিবাহ সমস্যা: http://en.wikedia.org/wiki/Stable_marriage_problem আমি সচেতন যে কোনও এসএমপি-র উদাহরণ হিসাবে, গ্যাল-শাপলি অ্যালগরিদম দ্বারা ফিরিয়ে দেওয়া ছাড়াও আরও অনেক স্থিতিশীল বিবাহ সম্ভব। তবে, যদি আমাদের কেবল , পুরুষ / মহিলাদের সংখ্যা দেওয়া হয় তবে আমরা নিম্নলিখিত প্রশ্নটি জিজ্ঞাসা করি - আমরা কি এমন একটি অগ্রাধিকার তালিকা তৈরি করতে পারি যা …

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

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

24 reference-request  graph-theory  co.combinatorics  treewidth 

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

24 graph-theory  counting-complexity  reductions  permanent 

যদি এইচ থেকে নিজে কোনও হোমোরিজম হ'ল একটি গ্রাফিক এইচ একটি গ্রাফ is জি একটি subgraph এইচ জি মূল হলে এইচ মূল এবং একটি homomorphism এইচ থেকে G থেকে আছে http://en.wikipedia.org/wiki/Core_%28graph_theory%29 একটি গ্রাফ জি দেওয়া হয়েছে, এর মূলটি খুঁজে পেতে সবচেয়ে ভাল সঠিক সঠিক অ্যালগরিদম কী?

24 ds.algorithms  graph-theory  graph-algorithms