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

সেখানে অস্তিত্ব আছে LLL , একটি NP- বা পি-সম্পূর্ণ ভাষায় প্রতিসাম্য দলের কিছু পরিবার আছে (অথবা groupoid সেটে, কিন্তু তারপর আলগোরিদিমিক প্রশ্ন আরো খোলাখুলি হয়ে) (বহুপদী সময়) ভারপ্রাপ্ত যেমন কয়েকটি কক্ষপথ রয়েছে, যেমন বড় যথেষ্ট জন্য এবং কিছু , এবং যেমন যে G_n দেওয়া উত্পন্ন করা যেতে পারে এন দক্ষতার?GnGnG_nLn={l∈L∣|l|=n}Ln={l∈L∣|l|=n}L_n …

14 np  algebra  gr.group-theory  complexity  symmetry 

নিম্নলিখিত সমস্যার জটিলতা কী? ইনপুট : HHH একটিহ্যামিল্টনিয়ান পথমধ্যেKnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 টি শীর্ষ কোণের একটি উপসেট ধনাত্মক পূর্ণসংখ্যা kkk ক্যোয়ারী : মেলানো MMM মতো কি প্রতিটি (v,u)∈R(v,u)∈R(v,u) \in R , dG(v,u)≤kdG(v,u)≤kd_G(v,u) \leq k ? (যেখানে G=([n],M∪H)G=([n],M∪H)G = ([n], M\cup H) ) এই সমস্যাটি নিয়ে আমি একটি বন্ধুর সাথে আলোচনা …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

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

14 np-hardness  np-complete  unique-solution  promise-problems 

সেখানে প্রাথমিক গাণিতিক অপারেশন একটি এর নির্ধারক গনা প্রয়োজন নূন্যতম কত খোঁজার কোন কাজ হয়েছে দ্বারা এন ক্ষুদ্র ও সংশোধন করা হয়েছে জন্য ম্যাট্রিক্স এন ? উদাহরণস্বরূপ, জন্য এন = 5 ।nnnnnnnnnn=5n=5n=5

14 cc.complexity-theory  linear-algebra  determinant 

এমন কি আকর্ষণীয় সমস্যা রয়েছে যা তবে এন সি 2 তে পরিচিত নয় ? 'দ্রুত সমান্তরাল অ্যালগরিদমগুলির সাথে সমস্যাগুলির একটি অঙ্গশাস্ত্র' পত্রিকায় কুক উল্লেখ করেছেন যে এমআইএস কেবল in তে পরিচিত ছিল তবে এটি পরে নামিয়ে আনা হয়েছে । আমি ভাবছি যে পলিওগ-গভীরতার সমান্তরাল অ্যালগরিদমগুলির সাথে অন্য কোনও সমস্যা আছে …

14 complexity-classes  dc.parallel-comp 

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

14 functional-programming  haskell 

যাক উপর সব ভাষার পরিবার হতে Σ পরিতৃপ্ত পাম্পিং সম্পত্তি নিয়মিত ভাষার। যথা: প্রত্যেকের জন্য এল ∈ এল , একটি হল এন ∈ এন ম প্রত্যেক শব্দ W ∈ এল , | ডাব্লু | > এন আকারে w = x y z আকারে লেখা যেতে পারে যেখানে: 1. | y …

14 reference-request  fl.formal-languages  automata-theory 

ননডেটেরিনিজম গতি-নির্ধারণকারী গণনা করা যায়? যদি হ্যাঁ, কত? অ-নির্ধারিততা দ্বারা গতি বাড়িয়ে ডিটারমিনিস্টিক গণনা দ্বারা আমি ফর্মের ফলাফলগুলি বোঝাতে চাইছি: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) যেমন কিছু DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) ননডেটেরিনিজম দ্বারা নির্জনিক গণনার সর্বাধিক পরিচিত স্পিড-আপ ফলাফল কী? কি ΣPkTime(n)ΣkPTime(n)\mathsf{\Sigma^P_kTime}(n) বা এমনকি ATime(n)ATime(n)\mathsf{ATime}(n) স্থানে NTime(n)NTime(n)\mathsf{NTime}(n) ? ধরে নিন যে সাব-কোয়াড্র্যাটিক টাইম …

14 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

নিয়মিত ভাষা L এর বর্গের ভিতরে কি কোনও "সুন্দর" শ্রেণিবিন্যাস L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots (সীমাবদ্ধ হতে পারে) আছে ? এখানে সুন্দর করে, প্রতিটি শ্রেণিবিন্যাসের ক্লাসগুলি বিভিন্ন অভিব্যক্তি / শক্তি / জটিলতা ক্যাপচার করে। এছাড়াও, প্রতিটি শ্রেণীর সদস্যপদ কিছু উপাদান দ্বারা "সুন্দরভাবে" প্রদর্শিত হয় (তারার উচ্চতার সমস্যা থেকে …

14 automata-theory  regular-language  regular-expressions 

Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}আর ই জি ⊆ টি সি 0 এন সি 1 ⊈ টি সি 0 আর ই জি ⊈ টি সি 0TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} in যে in তে নেই এমন কোনও সমস্যার জন্য প্রার্থী আছেন ?টি সি 0RegReg\mathsf{Reg}TC0TC0\mathsf{TC^0} সেখানে একটি শর্তাধীন ফলাফলের ইঙ্গিত যে Reg⊈TC0Reg⊈TC0\mathsf{Reg} …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

প্রাথমিক প্রতিসম বহুপদী -th সব এর সমষ্টি পণ্য স্বতন্ত্র ভেরিয়েবল। আমি এই বহুবর্ষের একঘেয়ে গণিত সার্কিট জটিলতায় আগ্রহী। একটি সাধারণ গতিশীল প্রোগ্রামিং অ্যালগরিদম (পাশাপাশি নীচে চিত্র 1) ও (নট) গেটগুলির সাথে একটি (+, \ বার) সার্কিট দেয়।এস এন কে ( এক্স 1 , … , এক্স এন ) ( এন …

14 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits  dynamic-programming 

আমি এই প্রশ্নগুলি সম্পর্কে ভাবছিলাম: একটি টাইপযুক্ত ল্যাম্বডা ক্যালকুলাস আছে যা সামঞ্জস্যপূর্ণ এবং ট্যুরিং সম্পূর্ণ? /cs/65003/if-%CE%BB-xxx-has-a-type-then-is-the-type-system-inconsistent এবং ইতিমধ্যে টাইপযুক্ত সেটিং-এ সম্পর্কিত প্রশ্নের উত্তর দিতে কিছু শক্ত আছে ! আরও সুনির্দিষ্টভাবে, আমি জানতে আগ্রহী যে আমরা নিম্নলিখিত পদ্ধতিতে অবসানহীনতা থেকে টুরিং-সম্পূর্ণতা পুনরুদ্ধার করতে পারি কিনা: প্রশ্ন: প্রদত্ত (খাঁটি) λλ\lambda -term ttt …

14 lambda-calculus  combinatory-logic 

যে কোনও স্বেচ্ছাসেবী এনপি সম্পূর্ণ ভাষার জন্য কি পলটাইম সুপারসেটের পরিপূরকটিও অনন্ত? একটি তুচ্ছ সংস্করণ যা সুপারসেটকে অসীম পরিপূরক হিসাবে বাধ্যতামূলক করে না /cs//q/50123/42961 এ জিজ্ঞাসা করা হয়েছে এই প্রশ্নের উদ্দেশ্য পূরণকল্পে, আপনি যে অনুমান করতে পারেন । ভোর যেমন ব্যাখ্যা করেছেন, যদি পি = এন পি হয় তবে উত্তরটি …

14 cc.complexity-theory  np-complete  structural-complexity 

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

14 lo.logic  pl.programming-languages  type-theory  automated-theorem-proving 

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

14 soft-question  teaching  books