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

যাক একটি ভাষা হতে, এবং সংজ্ঞায়িত দ্বারা iff । আমি এর জন্য একটি রেফারেন্স অনুসন্ধান করছি:L⊆A∗L⊆A∗L \subseteq A^*fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}fL(x,y)=1fL(x,y)=1f_L(x, y) = 1x⋅y∈Lx⋅y∈Lx\cdot y \in L প্রস্তাব. নিয়মিত যদি এর নির্ধারক যোগাযোগ জটিলতা ধ্রুবক থাকে।LLLfLfLf_L অন্য কথায়, নিয়মিত যদি জন্য একটি দু-প্লেয়ার প্রোটোকল উপস্থিত থাকে তবে …

9 reference-request  communication-complexity  regular-language 

আমাদের একটি সমস্যা আছে এবং আমরা একটি অ্যালগরিদম পেয়েছি যা 2-নেফটাইম টাইম বলে মনে হচ্ছে। নিম্ন সীমাটি সন্ধান করতে আমি 2-নেপসটাইম-সম্পূর্ণ সমস্যাগুলি জানতে চাই। আমি সাহিত্যে মূলত এ জাতীয় দুটি সমস্যা পেয়েছি: আকারের সমাধান হিসাবে পিসিপি কম কিনা 22এন22এন2^{2^n} এবং আকারের বর্গক্ষেত্রের স্থায়ী সমস্যা 22এন22এন2^{2^n} তবে আমি আমার এই সমস্যাগুলি …

9 complexity-classes  time-complexity  complexity 

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

9 type-theory 

দিন UUU উপর ইউনিফর্ম বিতরণ হতে পারে nnn বিট, এবং যাক DDD বিতরণ শেষ হতে পারে nnn বিট যেখানে বিটগুলি স্বতন্ত্র এবং প্রতিটি বিট হয় 111 সম্ভাবনা সহ 1/2−ϵ1/2−ϵ1/2-\epsilon। এটি কি সত্য যে পরিসংখ্যানের মধ্যবর্তী দূরত্বDDD এবং UUU হয় Ω(ϵn−−√)Ω(ϵn)\Omega(\epsilon \sqrt{n}), কখন n≤1/ϵ2n≤1/ϵ2n \le 1/\epsilon^2?

9 pr.probability 

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

9 big-list  algebraic-topology 

১৯৯১ সালের একটি দুর্দান্ত কাগজ রয়েছে যার মধ্যে বিভিন্ন গ্রাফিক-ক্লাস-পরিবার সম্পর্কে তিনটি চিত্র রয়েছে যা তাদের জন্য ক্রোম্যাটিক সূচক নির্ধারণের কঠোরতা সম্পর্কে জ্ঞাত showing এর পরে কি কোনও খবর আছে? একটি সীমাবদ্ধ ক্রোম্যাটিক নম্বর সহ গ্রাফগুলি সম্পর্কে যা আমি জানি তার মধ্যে আমি সবচেয়ে আগ্রহী। আমার কৌতূহলটি /mathpro/238448/hyper راف-edge-colouring দ্বারা …

9 graph-theory  np-hardness  graph-colouring 

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

9 computability 

আমি স্কনহেজ – স্ট্র্যাসেন পূর্ণসংখ্যার গুণিত অ্যালগরিদম বাস্তবায়নের চেষ্টা করছি, তবে পুনরাবৃত্তির পদক্ষেপে একটি হোঁচট খেয়েছি hit আমি একটি মান আছে সঙ্গে বিট এবং আমি গনা করতে চান । আমি মূলত চিন্তা ধারণা একটি বাছাই ছিল ট যেমন যে 4 ^ ট \ geq 2n , বিভক্ত এক্স মধ্যে 2 …

9 ds.algorithms 

এনএক্সপি পি / পলিতে রয়েছে কিনা তা জানা যায়নি। প্রকৃতপক্ষে প্রমাণ করে যে এনএক্সপি পি / পলিতে নেই, ড্যারানডমাইজেশনে কিছু অ্যাপ্লিকেশন থাকতে পারে। সবচেয়ে ছোট ইউনিফর্ম শ্রেণি সি কোনটির জন্য এটি প্রমাণ করতে পারে যে সি পি / পলিতে নেই? পি / পলিতে কো-এনএক্সপি অন্তর্ভুক্ত নেই তা দেখানো হবে কি …

9 complexity 

এটি হ'ল ডিটারমিনিস্টিক গণনার গতিবিধি নির্ধারণের জন্য একটি অনুসরণ । এটা কি প্রশংসনীয় যে ননডেটেরিনিজম (বা আরও সাধারণভাবে পর্যায়ক্রমে) কোনও সাধারণ চতুষ্কোণ গতিবেগকে ডিটারমিনিস্টিক গণনার গতি বাড়িয়ে দেবে? বা এর মতো কোনও কিছুর জন্য কোনও জ্ঞাতনীয় ত্রুটিযুক্ত পরিণতি রয়েছে DTime(n2) ⊆ এন টি আই এম ই ( এন )ডিটিআমিমিই(এন2)⊆এনটিআমিমিই(এন)\mathsf{DTime}(n^2) \subseteq …

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

উইকিপিডিয়া [১] বলেছে যে ফ্রেজের প্রমাণগুলির আকারের জন্য সর্বাধিক পরিচিত নিম্ন আবদ্ধটি চতুর্ভুজযুক্ত, এবং ফ্রিজ প্রুফের রেখার সংখ্যার জন্য কোনও সুপারলাইনার নিম্ন সীমা নেই। প্রশ্নাবলী: 1) বর্ধিত ফ্রিজ প্রুফের লাইনের সংখ্যার জন্য সর্বাধিক পরিচিত নিম্ন বন্ডটি কী? 2) বর্ধিত ফ্রিজ প্রমাণগুলির আকারের জন্য সর্বাধিক পরিচিত নিম্ন বন্ডটি কী? এটি কি …

9 proof-complexity 

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

9 automata-theory  turing-machines  regular-language  space-bounded 

একটি নির্দিষ্ট নির্দেশিত গ্রাফ দেওয়া হয়েছে (ডিগ্রাফ) ডিDD, -COLORING সিদ্ধান্ত সমস্যা জিজ্ঞেস একটি ইনপুট digraph কিনা করার জন্য একটি homomorphism হয়েছে । (একটি homomorphism করার একটি ম্যাপিং হয় এর থেকে যে সংরক্ষণ পরিধির মধ্যে, যে, যদি একজন চাপ হয় , তারপর একজন চাপ হয় ।)ডিDDজিGGডিDDজিGGডিDDচffভী( ছ )V(G)V(G)ভী( ডি )V(D)V(D)u vuvuvজিGGচ( …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

একদিকে, গডেলের দ্বিতীয় অসম্পূর্ণতা তত্ত্বটি বলে যে কোনও মৌলিক গাণিতিক বক্তব্য প্রকাশের পক্ষে যথেষ্ট শক্তিশালী যে কোনও ধারাবাহিক তত্ত্ব তার নিজস্ব ধারাবাহিকতা প্রমাণ করতে পারে না। অন্যদিকে, চার্চ-রোজারের একটি আনুষ্ঠানিক (পুনর্লিখন) সিস্টেমের সম্পত্তি আমাদের জানায় যে এটি সামঞ্জস্যপূর্ণ, এই অর্থে যে সমস্ত সমীকরণ খণ্ডনযোগ্য নয়, উদাহরণস্বরূপ, কে≠≠\neqআমি , যেহেতু তাদের …

9 lo.logic  type-theory  lambda-calculus 

আমি ক্রিপ্টোগ্রাফিতে এই প্রশ্নটি দেখার পর থেকে আমি বিভিন্ন সময় নিম্নলিখিত প্রশ্নটি নিয়ে ভাবছিলাম । প্রশ্ন দিন RRRএকটি TFNP সম্পর্ক হতে। একটি এলোমেলো ওরাকল পি / পলি ভাঙতে সহায়তা করতে পারেRRRঅ-তুচ্ছ সম্ভাবনার সাথে? আরও আনুষ্ঠানিকভাবে, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} নেই সব জন্য পি / বহু আলগোরিদিম , হয় তুচ্ছAAAPrx[R(x,A(x))]Prx⁡[R(x,A(x))]\Pr_x [R(x, …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles