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

সর্বনিম্ন ব্যান্ডউইথ সমস্যাটি হ'ল গ্রাফিক নোডের ক্রম সংখ্যার ক্রম খুঁজে পাওয়া যা কোনও দুটি সংলগ্ন নোডের মধ্যে বৃহত্তম দূরত্বকে হ্রাস করে। একজন -caterpillar একটি গাছ সর্বাধিক দৈর্ঘ্য প্রান্ত অসংলগ্ন করা পাথ ক্রমবর্ধমান দ্বারা প্রধান পথ থেকে গঠিত তার নোড থেকে ( চুল দৈর্ঘ্য বলা হয়)। সর্বনিম্ন ব্যান্ডউইথ সমস্যাটি 2-শুঁয়োপোকা জন্য …

34 cc.complexity-theory 

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

34 ds.algorithms  approximation-algorithms  linear-programming  primal-dual  semidefinite-programming 

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

34 cc.complexity-theory  big-list 

যদি কেউ ট্যুরিং মেশিনগুলিকে একটি সীমাবদ্ধ টেপ (যেমন সীমিত স্পেস ব্যবহার করতে ) সীমাবদ্ধ করে , তবে থামার সমস্যাটি মূলত কারণ বেশ কয়েকটি পদক্ষেপের পরে (যা রাষ্ট্র, এবং সংখ্যা থেকে গণনা করা যেতে পারে) এবং বর্ণমালা আকার), একটি কনফিগারেশন পুনরাবৃত্তি করা আবশ্যক।এসSSএসপ্রশ্নঃQQএসSS অন্যান্য প্রাকৃতিক ট্যুরিং মেশিনের বিধিনিষেধগুলি কি থেমে যাওয়ার …

33 turing-machines  decidability 

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

33 soft-question  algebra  advice-request  ct.category-theory 

আমি আশ্চর্য, কি (বর্তমানে) বৃহত্তম সংখ্যা , এই ধরনের একটি প্রাকৃতিক সমস্যা নিম্নলিখিত বৈশিষ্ট্য সঙ্গে পরিচিত:টটk একটি অ্যালগরিদম ইতিমধ্যে সমস্যার জন্য পাওয়া গেছে।ও ( এন)ট)হে(এনট)O(n^k) যে কোনও স্থির না এর জন্য অ্যালগরিদম একই সমস্যার জন্য পরিচিত। (দ্রষ্টব্য যে একটি দ্রুত অ্যালগরিদম উপস্থিত পারে, কেবল এটি এখনও জানা যায়নি, তাই আমি …

33 cc.complexity-theory  ds.algorithms 

আমার একটা historicalতিহাসিক প্রশ্ন আছে। আমি এই তথ্যের জন্য রেফারেন্সটি নির্ধারণ করার চেষ্টা করছি যে গ্রাফের 3- বর্ণচিহ্ন (বিকল্পভাবে, প্রদত্ত গিগ জন্য বর্ণনীয়তা ) এনপি-হার্ড।k ≥ 3kkkk≥3k≥3k\geq 3 লোভনীয় উত্তর হ'ল "কার্পের মূল কাগজ", তবে এটি ভুল। এখানে একটি স্ক্যান রয়েছে: সম্মিলিত সমস্যাগুলির মধ্যে হ্রাসযোগ্যতা, কার্প (1972) । এটি প্রমাণ …

33 np-hardness  ho.history-overview 

দেখুন সাধারণ জ্ঞান বিন্দু থেকে, এটা বিশ্বাস করা যে অ নিয়তিবাদ যোগ সহজ উল্লেখযোগ্যভাবে তার ক্ষমতা, অর্থাত, প্রসারিত চেয়ে অনেক বড় । সর্বোপরি, অ-নির্ধারণবাদ তাত্পর্যপূর্ণ সমান্তরালতাটিকে মঞ্জুরি দেয় যা নিঃসন্দেহে খুব শক্তিশালী বলে মনে হয়। পিP\mathsf{P}পিএন পিNP\mathsf{NP}পিP\mathsf{P} অন্যদিকে, আমরা যদি just to সাথে কেবল অ-অভিন্নতা যুক্ত করি , তবে অন্তর্দৃষ্টি …

33 cc.complexity-theory  complexity-classes  big-picture 

আমরা "জানি" নাম স্টিভ কুকের জন্য এবং named নামটি নামকরণ করা হয়েছিল। আমি যদি ভুল না হয়ে যাই তবে স্টিভ কুক নিক পাইপেনজারের সম্মানে এনসির নাম ঘোষণা করেছিলেন এবং আমাকে বলা হয়েছিল যে বিপরীতটিও সত্য is যাইহোক, আমি DCFLs বা নিশান এর প্রমাণ উপর পারেন স্টিভ কুকের কাগজে এই আধুনিক …

33 cc.complexity-theory  ho.history-overview 

কয়েক বছর আগে, জোয়েল ফ্রেডম্যান গ্রোথেন্ডিক সহকারীবিদ্যার সাথে লোয়ার সার্কিটের সীমানা সম্পর্কিত কিছু কাজ করেছিলেন (কাগজগুলি দেখুন: http://arxiv.org/abs/cs/0512008 , http://arxiv.org/abs/cs/0604024 )। চিন্তার এই লাইনটি বুলিয়ান জটিলতায় কোনও নতুন অন্তর্দৃষ্টি এনেছে, না এটি গাণিতিক কৌতূহল থেকে যায়?

33 cc.complexity-theory  lower-bounds  circuit-complexity  boolean-functions 

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

33 pl.programming-languages  type-theory  type-systems 

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

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory 

"নির্ধারণবাদ বনাম ননডেটেরিনিজম এবং সম্পর্কিত সমস্যাগুলির বিষয়ে" (প্রক্টর আইইইইইসি ফোকস, পৃষ্ঠা ৪২৯-৩৩৮, 1983), পল, পিপ্পেঞ্জার, সেজেমেরডি এবং প্রমাণ করেছেন যে । এন টি আমি এম ই ( এন ) ≠ ডি টি আমি এম ই ( এন )NTIME(n)≠DTIME(n)\mathsf{NTIME}(n)\neq\mathsf{DTIME}(n) এটি আমার প্রশ্নের উত্তর কে = 1 দিয়ে দেয়। অন্য স্থির কে …

33 cc.complexity-theory 

আমি কমপ্যুটেবিলিটি এবং লজিকের উপর একবার ক্লাস নিয়েছি। উপাদানগুলিতে জটিলতা / গণনাযোগ্যতা ক্লাস (আর, আরই, কো-আরই, পি, এনপি, লগস্পেস, ...) এবং লজিক্সের মধ্যে পারস্পরিক সম্পর্ক অন্তর্ভুক্ত ছিল (প্রাক্কলিত ক্যালকুলাস, প্রথম আদেশের যুক্তি, ...)। পারস্পরিক সম্পর্কের ক্ষেত্রে এক ক্ষেত্রের বেশ কয়েকটি ফলাফল অন্তর্ভুক্ত ছিল, যা অন্য ক্ষেত্রের কৌশলগুলি ব্যবহার করে প্রাপ্ত …

33 cc.complexity-theory  lo.logic  computability 

এই প্রশ্নটি জিনেট উইংয়ের কাছে কম্পিউটার বিজ্ঞানে তার পিসিএএসটি উপস্থাপনার পরে জিজ্ঞাসা করা হয়েছিল । "একটি পদার্থবিজ্ঞানের দৃষ্টিকোণ থেকে, আমাদের কাছে কি সর্বোচ্চ পরিমাণের তথ্য থাকতে পারে?" (তাত্ত্বিক কম্পিউটার বিজ্ঞানের সম্প্রদায়ের জন্য একটি দুর্দান্ত চ্যালেঞ্জ প্রশ্ন যেহেতু আমি মনে করি এটি "তথ্য কী?") প্রশ্নটি উত্থাপন করে "তথ্য কী?" এই পরিপ্রেক্ষিতে …

33 it.information-theory  physics