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

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

21 reference-request  pr.probability  randomized-algorithms 

যখন অবধি সীমিত 000 - 111 ইনপুট, যে {+,×}{+,×}\{+,\times\} -circuit F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n) নির্ণয় কিছু ফাংশন F:{0,1}n→NF:{0,1}n→NF:\{0,1\}^n\to \mathbb{N} । একটি প্রাপ্ত বুলিয়ান ফাংশন, আমরা শুধু আউটপুট গেট হিসেবে fanin -1 থ্রেশহোল্ড গেট যোগ করতে পারেন। ইনপুটের a∈{0,1}na∈{0,1}na\in\{0,1\}^n , ফলে প্রান্তিক মানের {+,×}{+,×}\{+,\times\} -সার্কিট এরপরে F ( a ) ≥ t হলে আউটপুট …

21 circuit-complexity  arithmetic-circuits  cc-complexity-theory 

এটি একটি ক্লাসিক ফলাফল যে ইনপুট ভেরিয়েবলগুলি থেকে PARITY গণনা করে এমন প্রতিটি ফ্যান-ইন সার্কিটের আকার কমপক্ষে এবং এটি তীক্ষ্ণ। (আমরা আকারটিকে ও এবং গেটের সংখ্যা হিসাবে সংজ্ঞায়িত করি)) প্রমাণটি গেট-বিলোপকরণ দ্বারা হয় এবং মনে হয় যদি আমরা স্বেচ্ছাচারী ফ্যান-ইনকে অনুমতি দিই তবে এটি ব্যর্থ হয়। এই মামলায় কী পরিচিত?3 …

21 cc.complexity-theory  circuit-complexity  parity 

f(n)f(n)f(n) সি > 0limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 এটি স্পষ্ট যে যে কোনও ভাষার জন্য এটি ধারণ করে যে প্রতিটি অতিপরিচ্ছন্ন সময় বেঁধে । আমি অবাক হই, এই বিবৃতিটির কথোপকথনটি কি সত্য? মানে, যদি আমরা জানি জন্য যে superpolynomial সময় বেঁধে , এটা পরোক্ষভাবে নেই ? অন্য কথায়, এটি কি সত্য যে যেখানে …

21 cc.complexity-theory  ds.algorithms  complexity-classes 

দ্রুত গুনের জন্য করাতসুবার অ্যালগরিদম এ। করাতসুবা এবং ইউতে প্রথম প্রকাশিত হয়েছিল। অফম্যান (1962), "অটোমেটিক কম্পিউটারগুলি দ্বারা বহু-ডিজিটাল সংখ্যাগুলির বহুগুণ", ইউএসএসআর একাডেমি অফ সায়েন্সেসের প্রসেসিংস 145: 293-2294। মতে Karatsuba (1995, "কম্পিউটেশন জটিলতা", । গণিত Proc Steklov ইনস্টিটিউট 211: 169-183) , এই কাগজ আসলে Karatsuba জ্ঞান ছাড়া Kolmogorov (এবং সম্ভবত Ofman) …

21 ho.history-overview 

বিবেচনা করুন ভাষা ।EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} জানা যায় যে কোনও সাবলোগেরিথমিক-স্পেস অল্টারনেটিং টুরিং মেশিন (এটিএম) (এসপিপিওভস্কি, 1994) দ্বারা স্বীকৃত হতে পারে না । (সদস্যদের জন্য সাবলোগারিথমিক স্পেস ব্যবহার করে এমন একটি এটিএম রয়েছে তবে সমস্ত অ-সদস্যের জন্য নয়!)EQUALITYEQUALITY \mathtt{EQUALITY} অন্যদিকে, ফ্রেইভাল্ডস (1981) দেখিয়েছিল …

21 space-bounded  polynomial-time 

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

21 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

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

21 cc.complexity-theory  complexity-classes  lambda-calculus  typed-lambda-calculus 

একটি অভিন্ন র্যান্ডম বুলিয়ান ফাংশন নমুনার জন্য (যুক্তিসঙ্গত) উপায় কি যার প্রকৃত বহুপদী হিসাবে ডিগ্রি সর্বাধিক ?df:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\}ddd সম্পাদনা: নিসান এবং সজেজেডি দেখিয়েছে যে ডিগ্রি একটি ফাংশন সর্বাধিক স্থানাঙ্কের উপর নির্ভর করে , তাই আমরা ধরে নিতে পারি যে । আমি যে সমস্যাগুলি দেখছি সেগুলি নিম্নরূপ: 1) একদিকে আমরা …

21 randomness  boolean-functions  bounded-degree 

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

21 cg.comp-geom 

পটভূমি: যাক একটি undirected গ্রাফ দুটি ছেদচিহ্ন হতে জি = ( ভী , ই ) । ভার্টেক্স সেট এস ⊆ ভি হ'ল একটি ইউ , ভি- সিপেটর যদি আপনি এবং ভি জি - এস এর বিভিন্ন সংযুক্ত উপাদানগুলির সাথে সম্পর্কিত হন । একটি কোন উপসেট যদি তোমার দর্শন লগ করা …

21 reference-request  graph-theory  graph-algorithms 

অনেকগুলি জায়গা রয়েছে যেখানে এবং হয়। আমি অ্যালগরিদমগুলি সম্পর্কে জানতে আগ্রহী, যার চলমান অনুপাত বা থাকে exp( 1 + √)ππ\piπ( 1 + 5)-√) / 2(1+5)/2(1+\sqrt5)/2ππ\pi

21 reference-request  big-list 

ঠিক আছে, এটি কোনও হোমওয়ার্ক প্রশ্নের মতো মনে হতে পারে এবং এক অর্থে এটি। একটি স্নাতক অ্যালগরিদম ক্লাসে হোমওয়ার্ক অ্যাসাইনমেন্ট হিসাবে আমি নিম্নলিখিত ক্লাসিকটি দিয়েছি: একটি অ-নির্দেশিত গ্রাফ দেওয়া হয়েছে জি = ( ভি , ই )G=(V,E)G=(V,E) , এমন একটি অ্যালগরিদম দিন যা একটি কাটা ( এস , ˉ এস …

21 graph-algorithms  max-cut  greedy-algorithms 

একটি কার্টিজিয়ান বন্ধ শ্রেণী ( সিসিসি ), সেখানে তথাকথিত অস্তিত্ব সূচকীয় বস্তু , লিখিত । একটি সিসিসি মডেল হিসাবে বিবেচনা করা হয় যখন কেবল টাইপ -calculus মত একটি সূচকীয় বস্তুর ধরণ থেকে ফাংশন স্থান চরিত্রকে টাইপ । ত্রি বলে একটি তীর দ্বারা একটি সূচকীয় পদার্থ প্রবর্তন করা হয় এবং নামক …

21 type-theory  lambda-calculus  ct.category-theory 

গুণনের সময় জটিলতায় সবচেয়ে ভাল ওপেন বাউন্ডটি হ'ল মার্টিন ফারারের আবদ্ধ , যা সংযোজনের রৈখিক সময়ের জটিলতার চেয়ে বেশি। আমাদের কাছে কী প্রমাণ রয়েছে যে সংখ্যার চেয়ে সহজাতভাবে সংযোজন সহজ?এন লগএন 2ও ( লগ*এন )nlog⁡n2O(log∗⁡n)n\log n2^{O(\log^* n)}

21 cc.complexity-theory  time-complexity