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

তাত্ত্বিক কম্পিউটার বিজ্ঞানী এবং সম্পর্কিত ক্ষেত্রে গবেষকদের জন্য প্রশ্নোত্তর

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

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

5
কোলমোগোরভ জটিলতার দক্ষতার সাথে গণনাযোগ্য বৈকল্পিক
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) …

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

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

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

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

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

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

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

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

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

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

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

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

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.