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

রবার্টসন-সিমুর উপপাদ্য বলছেন যে কোনো ছোটখাট-বদ্ধ পরিবারGG\mathcal G গ্রাফের চূড়ান্তভাবে অনেক নিষিদ্ধ নাবালকের দ্বারা চিহ্নিত করা যেতে পারে। একটি ইনপুট জন্য একটি অ্যালগরিদম আছে কি? GG\mathcal G নিষিদ্ধ নাবালিকাকে আউটপুট দেয় বা এটি অনস্বীকার্য? স্পষ্টতই, উত্তরটি কীভাবে নির্ভর করবে GG\mathcal Gইনপুট বর্ণিত হয়। উদাহরণস্বরূপ, যদিGG\mathcal G একটি দ্বারা দেওয়া হয় …

9 graph-theory  decidability  graph-minor 

নির্মাণের ক্যালকুলাসের জন্য দৃ normal় স্বাভাবিকের প্রমাণ বুঝতে আমার অসুবিধা আছে। আমি হারমান জিউভার্স "কনস্ট্রাকশনস এর ক্যালকুলাস ফর স্ট্রং নরমালাইজেশনের একটি সংক্ষিপ্ত এবং নমনীয় প্রমাণ" পত্রিকায় প্রমাণটি অনুসরণ করার চেষ্টা করি। আমি যুক্তির মূল লাইনটি ভালভাবে অনুসরণ করতে পারি। Geuvers প্রতিটি ধরণের জন্য নির্মাণTTT একটি ব্যাখ্যা [[T]]ξ[[T]]ξ[\![T]\!]_\xi টাইপ ভেরিয়েবলের কিছু …

9 lo.logic  type-theory  lambda-calculus  typed-lambda-calculus 

দিন AAAএকটি সীমাবদ্ধ বর্ণমালা হতে। প্রদত্ত ভাষার জন্যL⊆A∗L⊆A∗L \subseteq A^{\ast}অন্বিত monoid M(L)M(L)M(L)আনুষ্ঠানিক ভাষা তত্ত্বের একটি সুপরিচিত ধারণা। তদ্ব্যতীত, একটি একঘেয়েMMM একটি ভাষা স্বীকৃতি দেয় LLL যদি সেখানে কোন মরফিজম থাকে φ:A∗→Mφ:A∗→M\varphi : A^{\ast} \to M যেমন যে L=φ−1(φ(L)))L=φ−1(φ(L)))L = \varphi^{-1}(\varphi(L)))। তারপরে আমাদের দুর্দান্ত ফলাফল রয়েছে: একটি একঘেয়ে MMM স্বীকৃতি L⊆A∗L⊆A∗L …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

মার্টিন-ল্যাফের প্রকারভেদ সংক্রান্ত একটি তত্ত্ব: ভবিষ্যদ্বাণীমূলক অংশে প্রমাণিত হয় যে টাইপ চেকিংa:Aa:Aa \colon Aনির্ধার্য হয় সাপেক্ষেaaatypeable হচ্ছে প্রথম স্থান, বদ্ধ typeable মেয়াদের জন্য একটি নিয়মমাফিককরণ উপপাদ্য প্রমাণ দ্বারা। অন্যদিকে, আমি এটিকে একাধিক স্থানে (উইকিপিডিয়া, নর্ডারস্টোম ইত্যাদি) লিখিত দেখেছি যে টাইপ-চেকিং (ইনটেনশনাল) এমএলটিটি নির্ধারণযোগ্য; তারা স্পষ্টত টাইপযোগ্য পদগুলিতে সীমাবদ্ধ করছে? টাইপ …

9 reference-request  type-theory  type-inference 

ব্র্যাভারম্যান দেখিয়েছেন যে বিতরণগুলি (logmϵ)O(d2)(logmϵ)O(d2)(log \frac{m}{\epsilon})^{O(d^2)}-ও স্বাধীন ϵϵ\epsilon-ফুল গভীরতা ddd AC0AC0AC^0 আকারের সার্কিট mmm "একসাথে gluing" দ্বারা স্মোলেন্সস্কি আনুমানিকতা এবং এর ফুরিয়ার সান্নিধ্য AC0AC0AC^0- বুলিয়ান ক্রিয়াকলাপ। লেখক এবং যারা মূলত অনুমান করেছিলেন এটি অনুমান করেছিলেন যে সেখানে উপস্থিতকারীকে হ্রাস করা যেতে পারেO(d)O(d)O(d), এবং আমি কৌতূহল বোধ করি যদি এই দিকে …

9 boolean-functions  fourier-analysis 

সিস্টেম "এফ" এবং সিস্টেম "টি" নামগুলি কোথা থেকে এসেছে তা কি কেউ জানেন? আমি জিজ্ঞাসা করছি না কে এই নামগুলি (জিরার্ড সিস্টেম এফ, এবং গডেল সিস্টেম টি) প্রবর্তন করেছে, তবে "এফ" এবং "টি" এর অর্থ কী।

9 ho.history-overview  type-systems  formal-systems 

এটি জানা যায় যে ফ্যাট পাইপ হিউরিস্টিক (সর্বোচ্চ স্রোতের জন্য দুটি অ্যালগরিদম) সহ ফোর্ড-ফুলকারসন বা এডমন্ডস-কার্পের কিছু ওজন অযৌক্তিক হয় তবে থামার দরকার নেই। আসলে, তারা এমনকি ভুল মান রূপান্তর করতে পারেন ! তবে, সাহিত্যে আমি যে উদাহরণগুলি পেয়েছি তার মধ্যে [নীচের উল্লেখগুলি, এর সাথে আরও উল্লেখগুলি] কেবলমাত্র একটি অযৌক্তিক …

9 ds.algorithms  graph-algorithms  max-flow 

আমি যে পদ্ধতিতে অ-অভিন্নতা গণনায় কার্যকর হতে দেখেছি সে সম্পর্কে আমি আগ্রহী। একটি উপায় হ'ল র্যান্ডমনেস, যেমন , এবং অন্যটি লুক-টেবিল যা ব্যবহার করতে ব্যবহৃত হয় যে সমস্ত ভাষার অ-ইউনিফর্ম সার্কিট রয়েছে showবি পিপি। পি/ পিওএলওয়াইBPP⊆P/polyBPP \subseteq P/poly বিশেষত, আমি সম্ভাব্য পদ্ধতি এবং অন্যান্য অ-গঠনমূলক (বা গঠনমূলক-পর্যাপ্ত নয়) প্রমাণ পদ্ধতিগুলির …

9 circuit-complexity  advice-and-nonuniformity 

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

9 soft-question  parameterized-complexity 

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

9 type-theory  set-theory 

একটি বুলিয়ান ফাংশন দেওয়া হয়েছে fff, আমাদের অটোমোরফিজম গ্রুপ আছে Aut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f) = \{\sigma \in S_n\ \mid \forall x, f(\sigma(x)) = f(x) \}। কোন জ্ঞাত সীমানা আছে? Prf(Aut(f)≠1)Prf(Aut(f)≠1)Pr_f(Aut(f) \neq 1)? ফর্ম পরিমাণের জন্য পরিচিত কিছু আছে কি?Prf(G≤Aut(f))Prf(G≤Aut(f))Pr_f(G \leq Aut(f)) কিছু দলের জন্য জিGG?

9 boolean-functions  randomness  gr.group-theory  symmetry 

দেওয়া হয়েছে কপিরাইট ক , খa,ba, b, আপনি দ্রুত গণনা করতে পারেন সর্বনিম্নx , y> 0|একটিএক্স-খY|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| এখানে x , yx,yx, y হল পূর্ণসংখ্যা। স্পষ্টতই x = y= 0x=y=0x = y = 0 একটি উদ্বেগজনক উত্তর দেয়; সাধারণভাবে এই ক্ষমতাগুলি কতটা কাছাকাছি আসতে পারে? …

9 ds.algorithms  randomized-algorithms  nt.number-theory  comp-number-theory 

জেড 3 বা বুলেক্টারের মতো এসএমটি সলভার সমস্যা সমাধানের জন্য হিউরিস্টিক্সের একটি জটিল সেট ব্যবহার করে। তবে এটি প্রদত্ত সমস্যার জন্য এমন কোনও সমাধানকারীর কার্যকারিতাটি খুব শক্তভাবে ভবিষ্যদ্বাণী করে। আমার প্রশ্নটি হ'ল: প্রশ্ন কোয়ান্টিফায়ার-মুক্ত বিটভেেক্টর (কিউএফবিভি) তত্ত্বের কোনও নির্দিষ্টটির জন্য কোনও এসএমটি সলভারের কার্যকারিতাটি বোঝার বা অন্তর্দৃষ্টি পাওয়ার কোনও উপায় …

9 ds.algorithms  sat  heuristics 

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

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

আমি একটি গ্রাফ দেয়া করছি সঙ্গে treewidth ও নির্বিচারে ডিগ্রী, এবং আমি একটি subgraph এটি চাই এর (অগত্যা একটি প্ররোচক subgraph) যেমন যে ধ্রুবক ডিগ্রী আছে এবং তার treewidth সম্ভব হিসাবে উচ্চ হয়। সাধারণভাবে আমার সমস্যাটি হ'ল: ডিগ্রি বেঁধে chosen chosen বেছে নিয়ে , "সেরা" ফাংশনটি কী যেমন, যে কোনও …

9 co.combinatorics  treewidth  graph-minor  bounded-degree