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

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

28 complexity-classes  randomized-algorithms 

আমি ভাবছিলাম আছে কিনা `ভাল '' এলগরিদম একটি DFA তে থেকে শুরু করতে (আমি কোন অর্থে ব্যাখ্যা করবে) এবং একটি রেগুলার এক্সপ্রেশন গঠন করা যেমন যে , হপকক্রফ্ট এবং ওলম্যান (1979) বইয়ের একটির চেয়ে বেশি। সেখানে সালে সেট স্ট্রিং যে রাষ্ট্র থেকে DFA তে নেওয়া সেট প্রতিনিধিত্ব করতে ব্যবহৃত হয় …

28 fl.formal-languages  automata-theory  regular-expressions 

Kolmogorov উপসর্গ জটিলতা (অর্থাত সংক্ষিপ্ত আত্ম-delimiting কর্মসূচির আকার যে আউটপুট ) বিভিন্ন চমৎকার বৈশিষ্ট্য আছে:K(x)K(x)K(x)xxx এটি প্যাটারগুলির সাথে স্ট্রিং দেওয়ার বা অন্তর্নিহিতের সাথে স্ট্রিংয়ের চেয়ে কম জটিলতার সাথে সম্পর্কিত। এটি আমাদের শর্তযুক্ত জটিলতা বা কিছু ওরাকল জন্য আরও ভাল সংজ্ঞায়িত করতে দেয় ।K(x|y)K(x|y)K(x|y)K(x|O)K(x|O)K(x|O)OOO এটি সাব-অ্যাডেটিভ ।K(x,y)≤K(x)+K(y)K(x,y)≤K(x)+K(y)K(x,y) \leq K(x) + K(y) …

28 it.information-theory  kolmogorov-complexity  formal-modeling 

একটি পূর্ণসংখ্যা ত্রুটিমুক্ত এবং বর্ণমালা Σ = { 0 , 1 } । ডি এফ এ ( এন ) সংজ্ঞায়িত করুন প্রারম্ভিক রাষ্ট্রের সাথে এন রাজ্যগুলিতে সমস্ত সসীম-রাষ্ট্রীয় অটোমাতার সংগ্রহ হতে We আমরা সমস্ত ডিএফএ বিবেচনা করছি (কেবল সংযুক্ত, ন্যূনতম বা অবনমিত নয়); এইভাবে, | ডি ফ এ ( এন …

28 cc.complexity-theory  fl.formal-languages  automata-theory  counting-complexity 

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

28 soft-question  research-practice  paper-review 

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

28 lo.logic  type-theory  proof-theory 

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

28 graph-theory  co.combinatorics  proofs  spectral-graph-theory 

যাক একটি ডিগ্রী হতে ঘ বহুপদী মধ্যে এন ভেরিয়েবল উপর এফ 2 , যেখানে ঘ ধ্রুবক (বলতে 2 বা 3)। আমি ক্ষুদ্রতম সূত্র খুঁজে পেতে চাই চ , যেখানে "সূত্র" এবং "সূত্র আকার" সুস্পষ্ট ভাবে সংজ্ঞায়িত করা হয় (যেমন। জন্য বহুপদী ক্ষুদ্রতম সূত্র এক্স 1 এক্স 2 + + এক্স …

28 cc.complexity-theory  formulas 

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

28 cc.complexity-theory  ds.algorithms  graph-algorithms 

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

28 lo.logic  turing-machines  software  proof-assistants  automated-theorem-proving 

এসিএম, আইইইই কম্পিউটার সোসাইটি, গুগল স্কলার ব্যতীত কম্পিউটার বিজ্ঞান সম্পর্কিত নিবন্ধগুলির জন্য বিবেটেক্স এন্ট্রি পাওয়ার জন্য সেরা সাইটটি কোনটি?

28 soft-question  research-practice  paper-review  bibliography 

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

28 soft-question  advice-request 

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

28 pl.programming-languages  big-picture  type-theory 

বিভিন্ন এনপ্যান্সের মধ্যে বহু-সময় হ্রাস হিসাবে রূপচর্চা সহ সমস্ত এনপি-সম্পূর্ণ সমস্যার একটি বিভাগ বিবেচনা করা কি বোধগম্য? কেউ কি কখনও এ সম্পর্কে একটি কাগজ প্রকাশ করেছেন, এবং যদি তা হয় তবে আমি এটি কোথায় খুঁজে পাব?

28 cc.complexity-theory  np-hardness  ct.category-theory 

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

28 co.combinatorics  puzzles