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

আসুন { 0 , । । । , এন - 1 } এবং ∘ : এস × এস → এস । আমি assoc সহযোগী কিনা তা স্থির করার জন্য যোগাযোগের জটিলতা গণনা করতে চাই ।S=S=S=0,...,n−10,...,n−10,...,n-1∘:S×S→S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ মডেলটি নিম্নলিখিত is একটি ম্যাট্রিক্স এম হিসাবে দেওয়া হয় …

12 cc.complexity-theory  communication-complexity 

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

12 ds.algorithms  directed-acyclic-graph  partial-order 

কাগজটি লরি হেল্লা এবং জোস মারিয়া টারুল-টরেস, উচ্চতর অর্ডার যুক্তির সাথে কম্পিউটারের ক্যোয়ারীগুলি , টিসিএস 355 197–214, 2006. ডয়ি: 10.1016 / j.tcs.2006.01.009 লজিক ভিও, ভেরিয়েবল-অর্ডার লজিকের প্রস্তাব দেয়। এটি ভেরিয়েবলের উপর অর্ডারের পরিমাণ নির্ধারণ করতে দেয়। ভিও বেশ শক্তিশালী এবং কিছু অ-গণনাযোগ্য প্রশ্ন প্রকাশ করতে পারে। (নীচে আর্থার মিলিশিয়রের দ্বারা …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

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

12 ds.algorithms  big-list  data-streams 

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

12 co.combinatorics  hypergraphs  graph-colouring 

স্ট্রিম অ্যালগরিদমগুলির বেশিরভাগ অংশকে অযৌক্তিকভাবে কিছু করার জন্য এলোমেলোকরণের প্রয়োজন হয় এবং ছোট স্থানের সীমাবদ্ধতার কারণে পিআরজি প্রয়োজন যা সামান্য জায়গা ব্যবহার করে। আমি এমন দুটি পদ্ধতি সম্পর্কে জানি যা এই পর্যন্ত প্রবাহ অ্যালগরিদমে ব্যবহারের জন্য উদ্ধৃত করা হয়েছে: আসল এফ 2 অনুমানের সমস্যারজন্য অ্যালন / মাতিয়াজ / সজেজেডি দ্বারা …

12 ds.algorithms  derandomization  streaming  pseudorandom-generators 

সিক্রেট শেয়ারিং স্কিমের ধারণাটি প্রায়শই শামির (এ। শামির, কীভাবে একটি গোপনীয়তা ভাগ করতে হয় , কমিসি এসিএম, 22 (1979), পিপি 612-613।) এবং ব্লেকি (জিআর ব্লেকি, সুরক্ষিত ক্রিপ্টোগ্রাফিক কীগুলিতে , দায়ী করা হয়) প্রকল্প এনসিসি, খণ্ড 48, 1979, পৃষ্ঠা 313-317।) সামগ্রিক ধারণা যে কিছু গোপন এস অংশগ্রহণকারীদের পরিবর্তে প্রতিটি অংশ গুলি …

12 cr.crypto-security  application-of-theory 

আর কি কি সমস্যার ভাষায় গ্রাফ isomorphism চেয়ে ভিন্ন হয় ? আপনি কিছু রেফারেন্স দিতে পারেন?এনপি∩ সি ও এ এমNP∩coAMNP\cap coAM আপডেট: আমি উল্লেখ করতে ভুলে গেছি যে আমি যে ভাষাগুলিতে তে পরিচিত না তাদের আগ্রহী ।গ ও এনপিcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

এটি জানা যায় যে পিএসি শেখার জন্য প্রাকৃতিক ধারণা শ্রেণি রয়েছে (যেমন সিদ্ধান্তের তালিকার সাবটাইটস) যার জন্য একটি গননাবিহীন সীমাহীন শিক্ষানবিশ দ্বারা তথ্য তাত্ত্বিক শিক্ষার জন্য প্রয়োজনীয় নমুনা জটিলতার মধ্যে বহুপদী ফাঁক রয়েছে এবং একটি বহুপদী- সময় শেখার। (উদাহরণস্বরূপ, http://portal.acm.org/citation.cfm?id=267489&dl=GUIDE বা http://portal.acm.org/citation.cfm?id=301437 ) এই ফলাফলগুলি নির্দিষ্ট উদাহরণগুলির মধ্যে একটি গোপন …

12 machine-learning  lg.learning  sample-complexity 

স্বতন্ত্র পয়েন্ট 1...n1...n1 ... n বসতে R2R2\mathbb{R}^2 । আমরা বলি পয়েন্টগুলি iii এবং jjj প্রতিবেশী যদি , প্রতিটি বিন্দু অর্থ মধ্যে ইনডেক্স সঙ্গে পয়েন্ট সঙ্গে প্রতিবেশীদের হয় , প্রায় মোড়কে।2|i−j|&lt;3(modn−2)|i−j|&lt;3(modn−2)|i-j| < 3 \pmod{n-2}222 সমস্যা হল: প্রতি জোড়া প্রতিবেশীর জন্য আমাদের তাদের যুগলীয় দূরত্ব দেওয়া হয় (এবং আমরা জানি যে কোন …

12 cg.comp-geom 

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

12 functional-programming  ds.data-structures 

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

12 cc.complexity-theory  pcp 

একাডেমিয়ার পাশাপাশি যা তাত্ত্বিকদের স্পষ্টতই হোম, আমি ভাবছি তাত্ত্বিক কম্পিউটার বিজ্ঞানের সাথে সম্পর্কিত শিল্পের কাজগুলি নিয়ে, যা খাঁটি গাণিতিক পটভূমির দাবি রাখে। চিয়ার্স!

12 career  computational-mathematics 

এই বন্ধন, সঠিক উত্তর নেই এমন একটি নরম প্রশ্নের জন্য আগাম ক্ষমা প্রার্থনা করুন। আমার প্রশ্ন জিজ্ঞাসা করার জন্য এটি সম্ভবত সেরা ফোরাম। আমি মার্কিন যুক্তরাষ্ট্রের একটি শীর্ষ -15 স্কুলের তত্ত্ব গ্রুপে তৃতীয় বর্ষের স্নাতক । এখনও পর্যন্ত, আমি শালীনভাবে ভাল করছি। আমার এখন পর্যন্ত প্রথম লেখক তত্ত্বের কাগজ এবং …

12 soft-question  advice-request 

একটি সহজ পর্যবেক্ষণ হল যে যদি একটি সমস্যা একটি বহুপদী টাইম nondeterministic ব্যবহার প্রোগ্রামের দ্বারা নির্ধার্য হয় nondeterministic বিট (অর্থাত, সব সাক্ষী দৈর্ঘ্য লগারিদমিক হয়), তারপর ।একজনAAও ( লগএন )হে(লগ⁡এন)O(\log n)এ ∈ পিএকজন∈পিA \in \mathsf{P} যদি কেউ প্রশ্ন জিজ্ঞাসা করে, "সাক্ষীর সন্ধানের চেয়ে সাক্ষী যাচাই করা কি সহজ?" এই জাতীয় …

12 cc.complexity-theory