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

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

13 derandomization  pr.probability  chernoff-bound 

এটি এইচ-ফ্রি কাট সমস্যার দ্বারা অনুপ্রাণিত একটি প্রশ্ন । একটি গ্রাফ দেওয়া হয়েছে, এর শিখরের একটি পার্টিশন কে r অংশ V 1 , V 2 , … , V, R- এ এইচ- ফ্রি করে যদি G [ V i ] সমস্ত i , 1 ≤ i ≤ r এর জন্য …

13 graph-theory  np-hardness  co.combinatorics 

3 স্যাট [ 1 ] এর জন্য নিম্ন সীমানা নিয়ে আলোচনার পরে , আমি ভাবছি যে স্থান-কালীন ট্রেডঅফস হিসাবে সূচিত প্রধান নিম্ন সীমাবদ্ধ ফলাফলগুলি কী। আমি ফলাফলগুলি বাদ দিচ্ছি যেমন, বলুন, স্যাভিচের উপপাদ্য; একটি ভাল এন্ট্রি একক সমস্যা এবং তার সীমাতে ফোকাস করবে। একটি উদাহরণ হবে: "টি এবং এস-কে যে …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

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

13 reference-request  cg.comp-geom  lower-bounds 

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

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

এটি ইম্মারম্যান এবং স্লেলেপসিনি'র ধন্যবাদ হিসাবে জানা যায় যে যদি (এমনকি স্থান- কার্যকারিতার জন্য)।f = Ω ( লগ )এন এস পি এ সি ই (চ) = সি ও এন এস পি এ সি ই ( চ))NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)চ= Ω ( লগ )f=Ω(log)f=\Omega(\log) একই গবেষণাপত্রে পর্যায়ক্রমে হায়ারার্কি ভেঙে পড়ার কথা বলেছেন, …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

Paley সুত্রাবলী নকশা পি কুই যাদের প্রান্তবিন্দু সেট দেওয়া হয় হয় সসীম ক্ষেত্র জিএফ (থ), প্রাইম ক্ষমতা q≡1 (গেলিক ভাষার 4) জন্য, এবং যেখানে দু'রকমের সংলগ্ন হয় যদি এবং কেবল যদি তারা একটি দ্বারা পৃথক 2 কিছু a ∈ GF (q)। এই ক্ষেত্রে যে q প্রধান, সীমাবদ্ধ ক্ষেত্র জিএফ (কিউ) …

13 ds.algorithms  graph-theory 

জেনেটিক অ্যালগরিদম ব্যবহার করে সমাধান করা কিছু বাস্তব সমস্যাগুলি কী কী? সমস্যাটা কি? এই সমস্যা সমাধানের জন্য ফিটনেস পরীক্ষাটি কী ব্যবহৃত হয়?

13 ds.algorithms  machine-learning  ai.artificial-intel  application-of-theory  ne.neural-evol 

আমার কাছে একটি ডেটাসেট রয়েছে যা 2-ডি গ্রিডে সাজানো বেশ কয়েকটি অবজেক্ট। আমি জানি যে আমার কড়া অর্ডার রয়েছে, আপনি প্রতিটি সারির মধ্যে বাম থেকে ডানে যেতে এবং প্রতিটি কলামের মধ্যে উপরে থেকে নীচে হিসাবে বৃদ্ধি পাচ্ছেন। উদাহরণ স্বরূপ, 1 2 3 4 6 7 5 8 9 সম্পূর্ণ ডেটাসেটকে …

13 ds.algorithms  total-ordering  sorting 

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

13 pl.programming-languages  language-design 

তাঁর কম্পিউটার কম্পিউটেশনাল কমপ্লেক্সে গ্রন্থে , এফএনপিকে নিম্নলিখিতভাবে সংজ্ঞায়িত করেছেন: ধরুন, , এনপি-র একটি ভাষা । প্রস্তাব 9.1 দ্বারা, একটি বহুপাক্ষিক-সময় সিদ্ধান্তগ্রহণযোগ্য, বহুভিত্তিক সুষম সম্পর্কযুক্ত আর এল রয়েছে যা সমস্ত স্ট্রিংয়ের জন্য x : আর এল ( x , y ) এর সাথে একটি স্ট্রিং y থাকে এবং যদি কেবল …

13 complexity 

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

13 cc.complexity-theory  reductions  search-problem  ppad 

এখন আমরা দেখতে পারেন চার্চ সঙ্গে যুক্ত ছিল কেবলমাত্র টাইপ ল্যামডা ক্যালকুলাস । প্রকৃতপক্ষে, মনে হচ্ছে ল্যাম্বডা ক্যালকুলাস সম্পর্কে ভুল ধারণাটি কমাতে তিনি সরল টাইপড ল্যাম্বদা ক্যালকুলাস ব্যাখ্যা করেছিলেন explained এখন জন ম্যাকার্থি যখন লিস্প তৈরি করেছিলেন - তিনি এটি ল্যাম্বডা ক্যালকুলাসের উপর ভিত্তি করে তৈরি করেছিলেন । এটি তার …

13 lambda-calculus  term-rewriting-systems  lisp 

সত্যি বলতে কী, এলোমেলো সংখ্যা কীভাবে উত্পন্ন হয় সে সম্পর্কে আমি তেমন কিছুই জানি না (মন্তব্যগুলি স্বাগত!) তবে আসুন নীচের তাত্ত্বিক মডেলটি ধরে নিই: আমরা থেকে অভিন্ন র্যান্ডমটি পেতে পারি এবং আমাদের লক্ষ্যটি হ'ল একটি পূর্ণসংখ্যা আউটপুট থেকে [1,3] একরকম এলোমেলোভাবে।[ ১ , ২ এন ][1,2n][1,2^n] একটি সহজ সমাধান যার …

13 cc.complexity-theory  np-hardness  randomized-algorithms 

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

13 reference-request  graph-algorithms  parameterized-complexity