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

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

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

জটিলতা চিড়িয়াখানাটি EXP এ এন্ট্রিতে নির্দেশ করে যে যদি L = P হয় তবে PSPACE = এক্সপি P যেহেতু NPSPACE = Savitch দ্বারা PSPACE, যতটা আমি বলতে পারেন অন্তর্নিহিত প্যাডিং যুক্তি হল যে দেখানোর জন্য প্রসারিত ( এন এল = পি ) ⇒ ( PSPACE = EXP ) । (NL=P)⇒(PSPACE=EXP).(\text{NL} …

35 cc.complexity-theory  conditional-results 

আমরা যখন স্ট্যান্ডার্ড পাঠ্যপুস্তকগুলি বা traditionতিহ্য অনুসরণ করি, আমাদের বেশিরভাগ লোক অ্যালগরিদম শ্রেণির প্রথম কয়েকটি বক্তৃতায় বিগ-ওহ নোটেশনের নিম্নলিখিত সংজ্ঞাটি : সম্ভবত আমরা তার সমস্ত পরিমাণ সহ পুরো তালিকাটি দেই:f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)).f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)). f = O(g) \mbox{ iff } (\exists c > 0)(\exists n_0 \geq 0)(\forall n \geq n_0)(f(n) …

35 ds.algorithms  soft-question  teaching 

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

35 ds.algorithms  functional-programming  ds.data-structures  pl.programming-languages 

জটিলতায় সবচেয়ে অবাক করা ফলাফলগুলি কী ছিল? আমি মনে করি অপ্রত্যাশিত / আশ্চর্যজনক ফলাফলের তালিকা থাকা কার্যকর হবে be এর মধ্যে উভয়ই ফলাফল রয়েছে যা অবাক করা ছিল এবং কোথাও থেকে বেরিয়ে এসেছিল এবং ফলাফলগুলিও মানুষের প্রত্যাশার চেয়ে আলাদা হয়েছিল। সম্পাদনা : প্রদত্ত তালিকা Gasarch, লুইস, ও জটিলতা ব্লগ (@Zeyu …

35 cc.complexity-theory  big-list 

সাইটে সর্বাধিক আলোচিত প্রশ্নগুলির একটি হ'ল এটি চার্চ-টিউরিং থিসিসকে অস্বীকার করার অর্থ কী হবে । এটি আংশিক কারণ কারণ দার্শোভিটস এবং গুরেভিচ হ'ল ২০০ the সালে চার্চ-টিউরিং থিসিসের বুলেটিন অফ সিম্বলিক লজিকের প্রমাণ প্রকাশ করেছিলেন। (আমি এখানে এ নিয়ে আলোচনা করব না, তবে একটি লিঙ্ক এবং বিস্তৃত মন্তব্যের জন্য দয়া …

35 soft-question  lo.logic  church-turing-thesis 

অনেকে বিশ্বাস করেন যে BPP=P⊆NPBPP=P⊆NP\mathsf{BPP} = \mathsf{P} \subseteq \mathsf{NP} । তবে আমরা কেবল জানি যে BPPBPP\mathsf{BPP} বহুবর্ষীয় স্তরক্রমের দ্বিতীয় স্তরে, অর্থাৎ BPP⊆ΣP2∩ΠP2BPP⊆Σ2P∩Π2P\mathsf{BPP}\subseteq \Sigma^ \mathsf{P}_2 \cap \Pi^ \mathsf{P}_2 । দেখানোর দিকে এক পদক্ষেপ BPP=PBPP=P\mathsf{BPP} = \mathsf{P}হ'ল প্রথমে একে বহুত্বক্রমিক স্তরক্রমের প্রথম স্তরে নামিয়ে আনা, অর্থাৎ BPP⊆NPBPP⊆NP\mathsf{BPP} \subseteq \mathsf{NP} । সংশ্লেষের অর্থ …

34 cc.complexity-theory  randomness  randomized-algorithms  nondeterminism  barriers 

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

34 cc.complexity-theory  cr.crypto-security  conditional-results  factoring 

সেখানে একটি ডাটা স্ট্রাকচার যে একটি unordered অ্যারে লাগে আইটেম, এ preprocessing সঞ্চালিত হয় কিছু উপাদান: ও উত্তর প্রশ্ন তালিকায়, খারাপ সময় প্রতিটি প্রশ্নের সাথে ?ও ( এন ) এক্স ও ( লগ এন )nnnO(n)O(n)O(n)xxxO(logn)O(log⁡n)O(\log n) আমি সত্যিই মনে করি সেখানে নেই, সুতরাং একটি প্রমাণ যে স্বাগত জানানো হয়।

34 ds.data-structures  sorting 

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

34 soft-question  research-practice  paper-review 

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

34 ds.algorithms  approximation-algorithms 

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

34 soft-question  ho.history-overview 

অনুমান করা এটি সাধারণ প্রশ্ন নয়, তবে ভাবছেন যে কেউ এই উপাদানটি স্পষ্টভাবে অর্থবহ উপায়ে সম্বোধনের জন্য তৈরি করা হয়েছে seen

34 soft-question  teaching 

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

34 ds.algorithms  graph-theory  directed-acyclic-graph 

মার্ক প্রভু কয়েকটি উদাহরণ সংগ্রহ বহুপদী টাইম কমানোর থেকে "নিয়মিত অভিব্যক্তি" মিলে যাওয়া বিভিন্ন দ্বারা NP-হার্ড সমস্যার । বহুপাক্ষিক-সময় যাচাইকরণগুলি কল্পনা করা এক বিশাল লাফ নয়। আন্ডারগ্রাজুয়েটদের বা অন্যান্য ক্ষেত্রের বন্ধুদের যারা দেওলালীকারের গবেষণাপত্র নিয়ে সাম্প্রতিক কোন্দলটি বুঝতে চেয়েছিলেন তাদের কাছে এনপি-সম্পূর্ণ ক্লাসটি আপনি কীভাবে চিত্রিত করবেন?

34 np-hardness  big-list