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

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

21 soft-question  teaching  books 

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

21 cc.complexity-theory  structural-complexity 

থেকে Accoring কিলোওয়াট Regan এর নিবন্ধ "কানেক্ট তারা" তিনি শেষ যে এটি এখনও একটি খোলা সমস্যা যেমন যে উপরন্তু, গুণ, এবং comparision অপারেশন রৈখিক সময় গণনীয় হয় পূর্ণসংখ্যার একটি উপস্থাপনা এটি এ উল্লেখ: পূর্ণসংখ্যার একটি প্রতিনিধিত্ব আছে কি তাই যোগ, গুণ এবং তুলনা সব লিনিয়ার সময়ে করণীয়? মূলত, একটি লিনিয়ার …

21 ds.algorithms  ds.data-structures  worst-case 

আমরা সকলেই জানি যে তুলনা ভিত্তিক মডেলটিতে উপাদানগুলির স্বতন্ত্রতা সময়ে করা যায় না। যাইহোক, একটি শব্দ-র‌্যামে, কেউ সম্ভবত আরও ভাল অর্জন করতে পারে।o ( n লগ)এন )ণ(এনলগ⁡এন)o(n\log n) অবশ্যই, যদি কেউ একটি নিখুঁত হ্যাশ ফাংশনটির অস্তিত্ব ধরে নেয় যা রৈখিক সময়ের মধ্যে গণনা করা যায়, আমরা উপাদান স্বতন্ত্রতার জন্য একটি …

21 ds.algorithms 

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

21 soft-question  career 

এই প্রশ্নের উপর কিছুটা যুক্তি দেওয়ার সময় , আমি গ্রাফ কে সমুদ্রের আকর্ষণীয় G=(VG,EG)G=(VG,EG)G = (V_G,E_G)হতে ব্যর্থ হতে পারে তার জন্য বিভিন্ন কারণগুলি সনাক্ত করার চেষ্টা করেছি । এগুলি কেবলমাত্র 2 টি কারণ যা আমি এখনও পর্যন্ত সনাক্ত করতে পেরেছি:kkk কে + 1GGG আকারের একটি চক্র রয়েছে। এটাই সুস্পষ্ট কারণ।k+1k+1k+1 …

21 graph-theory  co.combinatorics  graph-colouring  clique 

O(nlogn)O(n\log n)1+O(n−c)1+O(n^{-c})ccO(n)O(n)( সর্বাধিক - মিনিট ) এন - ( সি + 1 )(max−min)n−(c+1)(\max-\min)n^{-(c+1)}এর আসল মানটির, এবং তারপরে র‌্যাডিক্স বাছাই করুন। তবে রাউন্ডিং সহ মডেলগুলির জটিল জটিল তত্ত্ব রয়েছে এবং এটি আমাকে অবাক করে তোলে, গণনার দুর্বল মডেলগুলি সম্পর্কে কী? সুতরাং, দ্বি-মাত্রিক টিএসপি কতটা নির্ভুলভাবে সংক্ষিপ্ত হতে পারে, গণনার একটি লিনিয়ার …

21 ds.algorithms  approximation-algorithms  sorting  tsp 

এমন কোনও প্রাকৃতিক সমস্যার উদাহরণ রয়েছে যা বিপিপিতে রয়েছে তবে তা আরপি বা কো-আরপিতে নেই বলে জানা যায়?

21 cc.complexity-theory  complexity-classes  randomness 

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

21 fl.formal-languages  regular-language  ct.category-theory 

বহনকারী অ্যালগরিদমকে বহন করে ব্যবহার করে বহু-আকারের গভীরতা 5 (বা 4?) সার্কিট পরিবার ব্যবহার করে আমরা সংযোজন করতে পারি । গভীরতা কমানো সম্ভব? বহনযোগ্য অ্যালগরিদমকে বহন করার চেয়ে আরও গভীরতার সাথে বহুবর্ষীয় আকারের সার্কিট পরিবার ব্যবহার করে আমরা দুটি বাইনারি সংখ্যার সংখ্যানটি গণনা করতে পারি?AC0AC0AC^0 সার্কিট পরিবারগুলির যেখানে 2 বা …

21 cc.complexity-theory  circuit-complexity  lower-bounds  upper-bounds 

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

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

আমরা জানি, -clique ফাংশন একটি (নেয় spanning ) subgraph সম্পূর্ণ এর -vertex গ্রাফ , এবং আউটপুট iff একটি রয়েছে -clique । এই ক্ষেত্রে প্রান্তের সাথে । এটি (রাজবরোভ, অ্যালন-বোপ্পানা) জানা গেছে যে q লেক জন্য এই ফাংশনটির জন্য প্রায় আকারের একরঙা সার্কিট প্রয়োজন । kkkজি ⊆ কে এন এন কে …

21 cc.complexity-theory  optimization  circuit-complexity 

কোন বিশ্বাসযোগ্য জটিলতা / ক্রিপ্টো হাইপোথিসিস যে বহুপদী আকার সার্কিট (অর্থাত subexponential আকার আছে সম্ভাবনা আউট নিয়ম সঙ্গে ε &lt; 1 ) বেষ্টিত গভীর ( ঘ = হে ( 1 ) ) সার্কিট?2O(nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ&lt;1ϵ&lt;1\epsilon<1d=O(1)d=O(1)d = O(1) আমরা জানি যে প্রতি ফাংশন গণনীয় একটি দ্বারা বর্তনী একটি আকার দ্বারা নির্ণিত করা যেতে …

21 cc.complexity-theory  circuit-complexity  bounded-depth 

যে কেউ এর মধ্যে পার্থক্যটি ব্যাখ্যা করতে সক্ষম হতে পারে: বীজগণিত ডেটাটাইপস (যার সাথে আমি মোটামুটি পরিচিত) জেনারালাইজড বীজগণিত ডেটাটাইপগুলি (কীসের ফলে তাদের সাধারণীকরণ করা হয়?) প্ররোচনামূলক প্রকার (যেমন কোক) (বিশেষত প্রেরণামূলক প্রকারের।) আপনাকে ধন্যবাদ।

21 lo.logic  pl.programming-languages  type-theory  dependent-type 

সম্প্রতি, আমি বাছাই করা নন-সংকেত সংখ্যার তালিকার আনুমানিক যোগফলের গণনা করার জন্য সমস্যার উপরে কাজ করেছি। যেকোন স্থির , একটি সময় আনুমানিক স্কিম তৈরি করা হয়েছে যা এটি একটি ps এপসিলন যোগফলের জন্য অ্যাপপ্রক্সিমেশন দেয়। কাগজটি http://arxiv.org/abs/1112.0520 এ পোস্ট করা হয়েছে, যা চূড়ান্ত হয়নি।ও ( লগ এন ) (ϵ &gt; …

21 ds.algorithms  reference-request