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

আসুন হ'ল একটি বর্ণমালা, অর্থাত্ একটি দুর্দান্ত সীমাবদ্ধ সেট। একটি স্ট্রিং থেকে উপাদানগুলির (অক্ষরগুলির) সীমাবদ্ধ ক্রম । উদাহরণ হিসাবে, বাইনারি বর্ণমালা এবং এই বর্ণমালার একটি স্ট্রিং।ΣΣ\SigmaΣΣ\Sigma{ 0 , 1 }{0,1} \{0, 1\}011001100110 সাধারণত, যতক্ষণ না 1 টিরও বেশি উপাদান থাকে ততক্ষণ উপাদানগুলির সঠিক সংখ্যাটি বিবেচনা করে না: আমরা কোথাও একটি …

9 big-list  encoding  examples 

আমি বিশেষত এমন ভাষা পরিবারকে বোঝাতে চাইছি যা নির্বিচারে দীর্ঘক্ষণকে স্বীকার করে - এন বিট বা সিদ্ধান্তের তালিকার সাথে বা or 0,1} in এর মধ্যে থাকা অন্য কোনও "সরল" ভাষার সংমিশ্রণ নয়। "লজিক-তাত্ত্বিক" এর বিপরীতে আমি "অটোমেটা-তাত্ত্বিক" নিয়মিত ভাষাগুলি সম্পর্কে জিজ্ঞাসা করছি: টুকরা দিকের পরীক্ষামূলক ভাষা, শুরু-উচ্চতা-শূন্য ভাষা, স্থানীয়ভাবে পরীক্ষামূলক …

9 automata-theory  machine-learning  lg.learning 

আইপি (২ পিএফএ) এবং এএম (২ পিএফএ) হ'ল দুটি শ্রেণির ইনপুট প্রধানের সাথে সম্ভাব্য সীমাবদ্ধ অটোমেটা যাচাইকারীদের সাথে ইন্টারেক্টিভ প্রুফ সিস্টেমগুলির যথাক্রমে ব্যক্তিগত এবং পাবলিক কয়েন সংস্করণ দ্বারা সীমিত ত্রুটির সাথে স্বীকৃত ভাষার শ্রেণি। এই শ্রেণীর কোনও ক্লোজার বৈশিষ্ট্য জানা আছে?

9 cc.complexity-theory  interactive-proofs 

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

9 reference-request 

প্রশ্নটি নীচে রয়েছে। সাধারণত যখন কারও কাছে মতো শব্দ থাকে আমরা উদাহরণস্বরূপ ক্ষেত্রে এই শব্দটিকে কোনও ধরণের প্রয়োগ করে পোড়ালটিকে নির্মূল করতে পারি ।। এক্স। টিΛX.t\Lambda X.t( Λ এক্স। t ) [ টি] → টি [ এক্স: = টি](ΛX.t)[T]→t[X:=T](\Lambda X.t)[T]\to t[X:=T] এখন, ধরুন এটি একটি তীর এবং আমরা এটি একটি …

9 type-theory  polymorphism  type-inference 

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

9 ds.algorithms  clustering  online-algorithms  data-streams 

আমরা সমাধান ধারণার নেস্টেড ক্লাসগুলির একগুচ্ছ জানি এবং ভালবাসি: পিএন: খাঁটি ন্যাশ ভারসাম্য এমএন: মিশ্রিত ন্যাশ ভারসাম্য সিই: সম্পর্কযুক্ত ভারসাম্য সিসিই: কোর্স সমান্তরাল এই সেটগুলির মধ্যে সম্পর্কটি হ'ল: পিএন। এমএন। সিই। সিসিইPN⊂MN⊂CE⊂CCEPN \subset MN \subset CE \subset CCE আমরা এগুলির যে কোনও সমাধান ধারণার চেয়ে নৈরাজ্যের দাম বিবেচনা করতে পারি: …

9 gt.game-theory 

নির্দিষ্ট গণনাযোগ্য বৈশিষ্ট্য সহ সীমাবদ্ধ গ্রাফের অস্তিত্ব (বা অ-অস্তিত্ব) দেখাচ্ছে এমন কোনও পরিচিত ফলাফল কি নির্দিষ্ট জটিলতার ফলাফলকে বোঝায় (যেমন পি = এনপি)? এখানে সম্পূর্ণরূপে একটি হাইপোটিটিকাল ফলাফল রয়েছে: যদি A, B, C এবং D এর সাথে একটি সীমাবদ্ধ গ্রাফ উপস্থিত থাকে তবে সমস্ত সর্বাধিক মিলের মধ্যে A, B, C …

9 cc.complexity-theory