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

এটি সুপরিচিত যে সিস্টেম এফ-এ আপনি বাইনারি পণ্যগুলিকে টাইপ দিয়ে এনকোড করতে পারেন আপনি তারপরে প্রজেকশন ফাংশনগুলি সংজ্ঞায়িত করতে পারেন \ pi_1: A \ গুণ B \ থেকে A এবং \ pi_2: A \ বার বি \ থেকে বি ।π 1 : এ × বি → এ π 2 : …

16 reference-request  pl.programming-languages  dependent-type  parametricity 

ধরুন আমাদের একটি ম্যাট্রিক্স এবং এম ∈ এন 0 দিন । আমরা কীভাবে সেই ম্যাট্রিক্সের একটি মিটার শক্তি গণনা করতে পারি ?ক ∈RN। এনA∈RN×এনA \in \mathbb R^{N\times N}m ∈ N0মি∈এন0m \in \mathbb N_0একজনমিএকজনমিA^m প্রোডাক্টগুলি কম্পিউটিংয়ের তুলনায় পরবর্তী সেরা জিনিসটি হল দ্রুত এক্সপোশনেশন ব্যবহার করা, যার জন্য ও ( লগ এম …

16 ds.algorithms  matrices  na.numerical-analysis 

ডিক লিপটনের ব্লগটি পড়ার সময়, আমি তাঁর বোর্ন ফ্যাক্টর পোস্টের শেষের দিকে নিম্নলিখিত ঘটনাটি দেখে হোঁচট খেয়েছি : যদি, প্রতিটি জন্য, ফর্মের একটি সম্পর্ক বিদ্যমান যেখানে , এবং , এবং এর প্রতিটি বিট দৈর্ঘ্যে হয়, তারপরে ফ্যাক্টরিংয়ের বহুভুজ রয়েছে আকারের সার্কিট।nnn(2n)!=∑k=0m−1akbckk(2n)!=∑k=0m−1akbkck (2^n)! = \sum_{k=0}^{m-1} a_k b_k^{c_k} m=poly(n)m=poly(n)m = poly(n)akaka_kbkbkb_kckckc_kpoly(n)poly(n)poly(n) অন্য …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

একটি প্রদত্ত এনএনn undirected গ্রাফ প্রান্তবিন্দু, সেরা পরিচিত আবদ্ধ রানটাইম কি খোঁজার একটি subgraph যা একটি কে × কেট×টk\times k -biclique? বিকিকের একপাশে "অনুমান" করার সময় অ্যালগরিদমের চেয়ে আরও দ্রুত প্যারামিট্রাইজড অ্যালগরিদম রয়েছে এবং দেখুন কি তাদের সকলের সাথে কমপক্ষে অন্যান্য শীর্ষকোষের ঘটনা আছে?( এন)ট) বহু(এন)(এনট)বহু(এন)\binom{n}{k}\mbox{poly}(n)টটk

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

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

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

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

16 graph-theory  co.combinatorics  graph-algorithms  graph-drawing 

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

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

আমি এই সমস্যায় আগ্রহী: একটি অনির্দেশিত গ্রাফ , গ্রাফ জি 1 ( ই 1 , ভি 1 ) এবং জি 2 ( ই 2 , ভি 2 ) এর মধ্যে জি এর কোনও বিভাজন রয়েছে যেমন জি 1 এবং জি 2 isomorphic?G(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 এখানে দুটি বিভাজন সেট E …

16 cc.complexity-theory  graph-theory  graph-isomorphism 

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

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

আমি তত্ত্বের সাথে কাজ করি না, তবে আমার কাজের জন্য একবারে একবারে তত্ত্বের কাগজপত্র পড়ার (এবং বোঝার) প্রয়োজন। আমি যখন একটি (সেট) ফলাফল বুঝতে পেরেছি তখন আমি এই ফলাফলগুলি আমি যাদের সাথে কাজ করি তাদের সাথে আলোচনা করি, যাদের বেশিরভাগ তত্ত্বেও কাজ করে না। এরকম একটি আলোচনার সময়, নিম্নলিখিত প্রশ্নটি …

16 ds.algorithms  graph-algorithms 

একটি বিন্যাস ফ্রেজ: একটি বিন্যাস ফ্রেজ মানক (ই) বিএনএফ প্রসঙ্গে বিনামূল্যে ব্যাকরণ সংজ্ঞা একটি এক্সটেনশান রয়েছে প্রযোজনার (অথবা equivalently, nonterminals) মাধ্যমে । ক্রমবিন্যাস বাক্যাংশের অবস্থানে, আমরা এই প্রযোজনার প্রতিটি একবারে দেখতে চাই, তবে আমরা এই নন-টার্মিনালগুলির ক্রমগুলিতে আগ্রহী নই।{A1,…,An}{A1,…,An}\{ A_1, \dots, A_n \}nnnA1A1A_1AnAnA_n উদাহরণ স্বরূপ: S <- X { A, …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

আমি চিন্তা করার চেষ্টা করছি কিভাবে পথ গ্রাফ P(G)P(G)P(G) Eppstein এর অ্যালগরিদম অনুযায়ী এই কাগজ কাজ করে এবং আমি পুনর্গঠন করতে kkk থেকে সবচেয়ে কম পাথ sss করার ttt সংশ্লিষ্ট গাদা নির্মাণ সঙ্গে H(G)H(G)H(G) । যতদূর: out(v)out(v)out(v) একটি প্রান্তবিন্দু ছাড়ার সব প্রান্ত রয়েছেvvv একটি গ্রাফেGGG যেখানে একজন কম পাথ অংশ …

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

যেমনটি সুপরিচিত, একটি গ্রাফ এর একটি গাছের ক্ষয় প্রতিটি বৃক্ষের ভি x ভি ( টি ) এর সাথে সম্পর্কিত ব্যাগ T v v V ( G ) সহ একটি গাছ টি ধারণ করে , যা নিম্নলিখিত শর্তগুলি পূরণ করে:GGGTTTTv⊆V(G)Tv⊆V(G)T_v \subseteq V(G)v∈V(T)v∈V(T)v \in V(T) প্রতিটি ভার্টেক্স টি এর কিছু ব্যাগে ঘটে …

16 ds.algorithms  graph-theory  graph-algorithms  treewidth 

এবং এক সাথে ইনপুট বিটের গণনা করতে বাইনারি গেটের ন্যূনতম সংখ্যার কী ? তুচ্ছ সর্বোচ্চ সীমা 2 এন - 2 । আমি বিশ্বাস করি যে এটি সর্বোত্তম, তবে এটি কীভাবে প্রমাণ করবেন? স্ট্যান্ডার্ড গেট নির্মূলের কৌশলটি এখানে কোনও কাজ করে না কারণ কোনও ইনপুট ভেরিয়েবলকে ধ্রুবক নির্ধারণ করে যে কোনও …

16 cc.complexity-theory  lower-bounds  circuit-complexity 

আমি এমন একটি সমস্যা খুঁজছি যা সাধারণ গ্রাফগুলিতে তবে আবদ্ধ গাছের প্রস্থের গ্রাফগুলিতে in এর মধ্যে রয়েছে, আসলে আমি মনে করি এই সমস্যাগুলি আবদ্ধ অবস্থায় সাধারণ গতিশীল প্রোগ্রামিংয়ের চেয়ে আরও শক্ত are তাদের সমাধানের জন্য তিনটি প্রস্থের গ্রাফ।ΣP2Σ2P\mathsf{\Sigma^P_2}PP\mathsf{P}

16 cc.complexity-theory  graph-theory  treewidth