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

কোনও সম্ভাব্য টিউরিং মেশিনের এমন কোনও অন্যায় মুদ্রায় অ্যাক্সেস পাওয়া যাক যে সম্ভাবনা (ফ্লিপগুলি স্বাধীন) নিয়ে আসে heads নির্ধারণ বি পি পি পি যেমন প্রত্যেক বর্গ বহুপদী সময় এ ধরনের মেশিন দ্বারা স্বীকৃত। এটি প্রমাণ করার জন্য এটি একটি আদর্শ অনুশীলন:pppBPPpBPPpBPP_p ক) যদি যুক্তিযুক্ত বা এমনকি বি পি পি- কমপিউটেবল …

10 cc.complexity-theory  randomized-algorithms  probabilistic-complexity 

যাক AAA সসীম ক্ষেত্রের উপর একটি ম্যাট্রিক্স হতে F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} এবং xxx , yyy স্থান ভেক্টর হতে Fn2F2n\mathbb{F}_2^n । আমি সিদ্ধান্ত নেওয়ার সময় সেখানে বিদ্যমান গণনীয় জটিলতা আগ্রহী t∈Nt∈Nt \in \mathbb{N} যেমন যে Atx=yAtx=yA^t x = y , অর্থাত্, সসীম ক্ষেত্র ওভার রৈখিক গতিশীলতার নিয়ম জন্য reachability সমস্যা। সমস্যা …

10 cc.complexity-theory  reference-request  linear-algebra 

প্রোব্যাবিলিস্টিক অটোমেটার এবং তারা কী চিনে (শব্দের থেকে নির্দিষ্ট ফাংশন ) এর একটি পরিচিতি আমি কোথায় পাব ? প্রাব্যাবিলিস্টিক অটোমেটা দ্বারা স্বীকৃত এই জাতীয় ফাংশনগুলির জন্য কি কোনও স্ট্যান্ডার্ড শব্দ রয়েছে যা "নিয়মিত ভাষাগুলি" অনুসারে ডিটারিস্টোনিক সসীম অটোমেটা (ডিএফএ) স্বীকৃতি দেয়?[0,1][0,1][0,1] আমি এমন কিছু সন্ধান করছি যা ডিএফএ এবং নিয়মিত …

10 reference-request  fl.formal-languages  probabilistic-automata 

নিখুঁতভাবে কার্যকরী ডেটা স্ট্রাকচার সম্পর্কিত ওকাসাকির বইটি সম্পর্কে আমি যে কয়েকটি বিষয় অপছন্দ করি সেগুলির একটি হ'ল তার কোডটি অক্ষয় বিন্যাসের সাথে মেশানো থাকে। উদাহরণ হিসাবে, আমি তার বাস্তব-সময় সারিগুলি প্রয়োগ করব (অপ্রয়োজনীয় স্থগিতাদেশগুলি অপসারণের জন্য রিফ্যাক্টার্ড): infixr 5 ::: datatype 'a stream = Nil | ::: of 'a * …

10 type-theory  type-inference 

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

10 lo.logic  type-theory  oracles  halting-problem 

বিপরীত অন্তর্ভুক্তি স্পষ্ট যেমন বিপিপিতে কোনও স্ব-হ্রাসযোগ্য এনপি ভাষাও আরপিতে রয়েছে। এটি কি স্ব-স্ব-হ্রাসযোগ্য এনপি ভাষাগুলির জন্যও পরিচিত?

10 cc.complexity-theory  derandomization  pseudorandomness 

আবদ্ধ গাছের চওড়ার সাথে গ্রাফের কয়েকটি আকর্ষণীয় শ্রেণি রয়েছে। উদাহরণস্বরূপ, গাছগুলি (গাছের দৈর্ঘ্য 1), সিরিজ সমান্তরাল গ্রাফগুলি (গাছের প্রস্থ 2), বহির্মুখী গ্রাফগুলি (গাছের প্রস্থ 2), আউটারপ্ল্যানার গ্রাফগুলি (ট্রিউইথ ও (কে)), শাখা প্রশাথ (ট্রিউইথ ও (কে)), .. ।টটkটটk প্রশ্ন: গ্রাফগুলির আকর্ষণীয় শ্রেণীর উদাহরণ রয়েছে যার গাছের প্রস্থটি একটি ধ্রুবক দ্বারা আবদ্ধ …

10 graph-theory  treewidth 

আমি উদাহরণটিকে আরও বড় না করেই ক্লিককে স্যাট- তে হ্রাস করতে আগ্রহী ।টkk চক্রটি এনপিতে থাকে সুতরাং লোগারিদমিক স্থান ব্যবহার করে এটি স্যাট-এ কমিয়ে আনা যায়। সোজা গ্যারি / জনসন পাঠ্যপুস্তক হ্রাস উদাহরণটি ঘনক্ষেত্রের আকারে ফুটিয়ে তুলেছে । যাইহোক, -Clique যে সংশোধন করা হয়েছে জন্য P হয় ট তাই নির্দিষ্ট …

10 cc.complexity-theory  sat  reductions  clique 

একটি দ্বিপাক্ষিক গ্রাফ দেওয়া ইতিবাচক ওজন সঙ্গে দিন সঙ্গে গ্রাফ সর্বোচ্চ ওজন মিলে যাওয়া সমান ।চ : 2 ইউ → আরজি = ( ইউ∪ ভি, ই)G=(U∪V,E)G = (U \cup V, E)চ: 2ইউ। আরf:2U→Rf: 2^U \rightarrow \mathbb{R}জি [ এস ∪ ভি ]চ( এস)f(S)f(S)জি [ এস∪ ভি]G[S∪V]G[S\cup V] এটা কি সত্য যে …

10 matching  submodularity 

আসুন a প্রতিসাম্য বহুপদী হতে , অর্থাত্, বহুপদী এমন যে সমস্ত এবং সমস্ত । সুবিধার জন্য, আমরা গণনার মডেল নিয়ে সমস্যাগুলি এড়াতে একটি সীমাবদ্ধ ক্ষেত্র, ধরে নিতে পারি ।চ: কেএন→ কেf:Kn→Kf:\mathbb{K}^n \to \mathbb{K}x ∈ K n σ ∈ S n Kচ( এক্স ) = চ( σ)( এক্স ) )f(x)=f(σ(x))f(x)=f(\sigma(x))x∈Knx∈Knx \in …

10 cc.complexity-theory  permutations  polynomials 

বার্মান – হার্টম্যানিস অনুমান: সমস্ত এনপি-সম্পূর্ণ ভাষাগুলি একরকম দেখায়, এই অর্থে যে তারা বহু-কালীন আইসোমরফিজম [1] দ্বারা একে অপরের সাথে সম্পর্কিত হতে পারে। আমি "বহুপদী সময়" এর আরও সূক্ষ্ম সংস্করণে আগ্রহী, অর্থাত্ যদি আমরা প্যারামিটারাইজড হ্রাস ব্যবহার করি। একটি প্যারামিটারাইজড সমস্যা হ'ল এর একটি উপসেট Σ∗×Z≥0Σ∗×Z≥0Σ^∗ × Z \geq 0, …

10 complexity-classes  np-complete  fixed-parameter-tractable 

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

10 cc.complexity-theory  optimization  examples 

এটি সুপরিচিত যে এনপি- প্রবলেমের কয়েকটি শ্রেণিতে দ্বৈতত্ত্বের উপপাদ্য রয়েছে, যা গ্যারান্টি দেয় যে ক্লাসের প্রতিটি কাজ হয় এনপি- কমপ্লিট বা পি-তে রয়েছে । এরকম সর্বাধিক পরিচিত ফলাফল হ'ল বেশ কয়েকটি জেনারালাইজেশন সহ স্কেফারের দ্বৈতত্ত্বের উপপাদ্য । আমার বোধগম্যতা হল যে এই দ্বিবিজ্ঞানের উপপাদ্য প্রমাণ করা সত্যিই সহজ নয়। আমি …

10 cc.complexity-theory  np  descriptive-complexity 

নিম্নলিখিত শব্দটি (ব্রুজন-ইনডেক্স ব্যবহার করে): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) যখন কোনও গির্জার নম্বরে প্রয়োগ করা হয় তখন Nনিষ্পাপ লোকগুলি সহ বেশ কয়েকটি বিদ্যমান মূল্যায়নকারীগুলিতে দ্রুত স্বাভাবিক ফর্মের মূল্যায়ন করে …

10 cc.complexity-theory  lambda-calculus  interaction-nets 

যাক উপর একটি সহজ undirected গ্রাফ হতে ছেদচিহ্ন এবং প্রান্ত।G=(V,E)G=(V,E)G=(V,E)nnnmmm আমি একটি এলোমেলো ছড়িয়ে গাছ উত্পন্ন করার জন্য উইলসনের অ্যালগরিদমের প্রত্যাশিত চলমান সময়টি নির্ধারণ করার চেষ্টা করছি । সেখানে এটি হিসাবে দেখানো হয়েছে , যেখানে হিট করার গড় সময় : যেখানে:GGGO(τ)O(τ)O(\tau)ττ\tauτ=∑v∈Vπ(v)⋅H(u,v),τ=∑v∈Vπ(v)⋅H(u,v),\tau = \sum_{v \in V} \pi(v) \cdot H(u, v), ππ\pi …

10 graph-theory  graph-algorithms  co.combinatorics  random-walks  analysis-of-algorithms