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

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

10 ds.algorithms  greedy-algorithms 

আপডেট: মনে হচ্ছে এই সমস্যাটি অধ্যয়ন করা হয়েছে এবং সম্প্রতি সমাধান হয়েছে, এই উইকি নিবন্ধটি দেখুন: http://en.wikedia.org/wiki/Tree_walking_automaton এবং এই সমীক্ষা: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf মনে করুন যে শব্দের সাধারণ সেট, set 0,1 * * এর পরিবর্তে আমাদের শব্দগুলি রৈখিক নয় বরং কিছু গাছের কাঠামোর উপর দেওয়া হয়েছে। আমাদের মেশিনগুলি "হারিয়ে যাওয়া" রোধ …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

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

10 soft-question  advice-request  career 

সমস্যা বিবৃতি : যাক এ (সম্ভাব্য nondeterministic) pushdown যন্ত্রমানব হতে হবে এবং দিন হতে তার ইনপুট বর্ণমালা। st শব্দ আছে কি? by যে দ্বারা গৃহীত ?এমMMএকজনA\cal Aডাব্লু ∈একজন*w∈A∗w \in \cal A^*| ডাব্লু | ≤কে|w|≤k|w| \leq kএমMM এই সমস্যাটি কি এনপি-সম্পূর্ণ? এটি পড়াশোনা করা হয়েছে? এমন কোনও শব্দ খুঁজে পাওয়ার অনুমতি …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

গ্রাফ মডুলার পচানোর সময় , বেশিরভাগ লেখক 11-ভার্টেক্স গ্রাফ ব্যবহার করেন, যা আমি উইকিপিডিয়া থেকে অনুলিপি করি। প্রশ্নটি হ'ল এর মূল ডিজাইনার কে (কারা)। (আমি উইকিপিডিয়ায় এই গ্রাফটি কে আঁকিয়েছি তা জিজ্ঞাসা করছি না, তবে এর মূল উত্স।) উইকিপিডিয়া পৃষ্ঠাটি 2006 সালের ডিসেম্বরে তৈরি করা হয়েছিল। আমি যে প্রাথমিক উত্সটি …

9 reference-request  graph-theory 

[1] এ, গ্যারি এট আল। ইউক্লিডিয়ান টিএসপির এনপি-সম্পূর্ণতার কাজ করার ক্ষেত্রে পরবর্তীকালে স্কোয়ার রুটস সমস্যার সমষ্টি হিসাবে কী পরিচিত হবে তা চিহ্নিত করুন identify প্রদত্ত পূর্ণসংখ্যা এবং , যদি নির্ধারণ করেএকটি1,একটি2, … ,একটিএনa1,a2,…,ana_1, a_2, \ldots, a_nএলLLএকটি1--√+ +একটি2--√+ ⋯ +একটিএন--√&lt; এলএকটি1+ +একটি2+ +⋯+ +একটিএন&lt;এল\sqrt{a_1} + \sqrt{a_2} + \cdots + \sqrt{a_n} < …

9 reference-request  cg.comp-geom  na.numerical-analysis 

দিন জি ∼ জি ( এন ,এন- 1 / 2)G∼G(n,n−1/2)G \sim G(n, n^{-1/2}) এলোমেলো গ্রাফ হতে ≈এন3 / 2≈n3/2\approx n^{3/2}প্রান্ত। খুব উচ্চ সম্ভাবনা সহ,জিGG প্রচুর আছে 444-cycles। আমাদের লক্ষ্য এইগুলির যে কোনও একটিকে আউটপুট দেওয়া444- যত তাড়াতাড়ি সম্ভব সাইকেল। ধরা যাক আমাদের অ্যাক্সেস আছে জিGG সংলগ্ন তালিকা ফর্মটিতে, আমরা স্থির …

9 graph-theory  graph-algorithms  property-testing  random-graphs 

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

9 cc.complexity-theory  ds.algorithms  time-complexity 

টিসিএসে এক ধরণের ফলাফল রয়েছে যা সাধারণত বুটস্ট্র্যাপিং ফলাফল বলে । সাধারণভাবে, এটি ফর্ম হয় যদি প্রস্তাব থাকে, তবে প্রস্তাব ধরে রাখেএকজনAAএকজন'A′A' যেখানে এবং প্রস্তাবগুলি একই রকম দেখতে পাওয়া যায়, এবং আপাতদৃষ্টিতে "দুর্বল" তখন , যার কারণেই আমরা এই ধরণের ফলাফলের নাম রাখি। আমাকে কয়েকটি কংক্রিট উদাহরণ দেওয়া যাক:একজনAAএকজন'A′A'একজনAAএকজন'A′A' উপপাদ্য। …

9 cc.complexity-theory 

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

9 pl.programming-languages  type-theory  algebra 

গডেলের প্রথম অসম্পূর্ণতা উপপাদ্যের একটি দুর্বল রূপ, গডেলের পদ্ধতিতে লম্বা, জড়িত এবং কোথাও পরিবর্তে স্বজ্ঞাত হবার প্রত্যক্ষ প্রমাণগুলির মধ্যে থামানো সমস্যার অনস্বীকার্যতার উপর ভিত্তি করে একটি সহজ এবং স্বজ্ঞাত প্রমাণ রয়েছে - উদাহরণস্বরূপ https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof কে এই প্রবন্ধটি প্রথম প্রস্তাব করেছিল এবং কোন নিবন্ধ বা বইতে এটি প্রথম প্রকাশিত …

9 cc.complexity-theory  lo.logic  halting-problem 

একটি স্থির আকারের অ্যারে ব্যবহার করে দুটি স্ট্যাক দক্ষতার সাথে প্রয়োগ করা যেতে পারে: স্ট্যাক # 1 বাম প্রান্ত থেকে শুরু হয়ে ডানদিকে বৃদ্ধি পায় এবং স্ট্যাক # 2 ডান প্রান্ত থেকে শুরু হয়ে বাম দিকে বৃদ্ধি পায়। তিনটি স্ট্যাকের জন্য কি একই রকম? আরও সুনির্দিষ্টভাবে, নিম্নলিখিত শর্তাবলী দ্বারা তিনটি …

9 ds.data-structures  lower-bounds 

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

9 fl.formal-languages 

গাণিতিক বিশ্লেষণ, অবিচ্ছিন্ন গণিত ব্যবহার করে আনুষ্ঠানিক ভাষার সমস্যাগুলি সমাধান করার জন্য কিছু ফলাফল রয়েছে কিনা। উদাহরণস্বরূপ, একটি প্রাসঙ্গিক মুক্ত ভাষা এবং নিয়মিত ভাষার জন্য ছেদটি শূন্যতার সমস্যা সমাধান করা।

9 fl.formal-languages  automata-theory  context-free 

সম্ভাব্য চেকযোগ্য প্রমাণগুলির মাপের সর্বাধিক পরিচিত অ্যাসিম্পটোটিক উপরের সীমাগুলি কী কী? আদর্শভাবে, আমি এই বিস্তৃত প্রশ্নে সমসাময়িক জরিপের সন্ধান করছি, তবে যদি এটি না হয় তবে আমি বিশেষত 3-স্যাট এর অপ্রয়োজনীয়তা সম্পর্কে আগ্রহী। 7/8 + ε-3-SAT 3-SAT এই প্রতিশ্রুতি দিয়ে আসুন যে যদি ধারাগুলির 7/8 + ε ভগ্নাংশটি সন্তুষ্ট হয় …

9 cc.complexity-theory  reference-request  np-hardness  pcp