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

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

4
যৌক্তিক সম্পর্ক এবং সিমুলেশনগুলির মধ্যে পার্থক্য কী?
আমি প্রোগ্রামের সমতা প্রমাণ করার পদ্ধতিগুলিতে কাজ করা একটি শিক্ষানবিস। যৌক্তিক সম্পর্ক বা দুটি প্রোগ্রাম সমতুল্য প্রমাণ করার জন্য সিমুলেশন সংজ্ঞায়নের বিষয়ে আমি কয়েকটি কাগজপত্র পড়েছি। তবে এই দুটি কৌশল সম্পর্কে আমি বেশ বিভ্রান্ত। আমি কেবল জানি যৌক্তিক সম্পর্কগুলি ইন্ডাকটিভલીভাবে সংজ্ঞায়িত করা হয় যখন সিমুলেশনগুলি সিন্ডকশন ভিত্তিক হয়। কেন তারা …
3
হিউরিস্টিক স্ট্যাটিস্টিকাল ফিজিক্স আর্গুমেন্ট বলতে কী বোঝায়?
আমি শুনেছি যে পরিসংখ্যান পদার্থবিজ্ঞানে হিউরিস্টিক যুক্তি রয়েছে যা সম্ভাব্যতা তত্ত্বের ফলাফল দেয় যার জন্য কঠোর প্রমাণগুলি অজানা বা খুব কঠিন হয়ে পড়ে। এই জাতীয় ঘটনার একটি সহজ খেলনা উদাহরণ কী? উত্তরের পক্ষে যদি পরিসংখ্যান পদার্থবিজ্ঞানের উত্তরটি সামান্য পটভূমি ধরে নিয়ে যায় এবং এই রহস্যময় হুরিস্টিকগুলি কী এবং কীভাবে তারা …
7
উপরের সীমানা প্রমাণ করে নিম্ন সীমা প্রমাণ করা
রায়ান উইলিয়ামসের সাম্প্রতিক ব্রেকথ্রু সার্কিট জটিলতা নিম্ন-সীমাবদ্ধ ফলাফল একটি প্রুফ কৌশল সরবরাহ করে যা জটিলতা নিম্ন-সীমা প্রমাণ করার জন্য উপরের-বাউন্ড ফলাফল ব্যবহার করে। সুরেশ ভেঙ্কট এই প্রশ্নের জবাবে বলেছিলেন, তাত্ত্বিক কম্পিউটার বিজ্ঞানে কি কোনও পাল্টা-স্বজ্ঞাত ফলাফল রয়েছে? , উপরের সীমানা প্রমাণ করে নিম্ন-সীমা স্থাপনের দুটি উদাহরণ সরবরাহ করেছেন। জটিলতা নিম্ন-সীমাগুলি …
3
কারি-হাওয়ার্ড এবং অ-গঠনমূলক প্রমাণ থেকে প্রোগ্রাম
এটি একটি ফলো আপ প্রশ্ন প্রমাণ এবং প্রোগ্রামগুলির মধ্যে পার্থক্য কী (বা প্রস্তাব এবং প্রকারের মধ্যে)? কোন প্রোগ্রামটি একটি অ-গঠনমূলক (শাস্ত্রীয়) প্রমাণের সাথে ? (ধরে নিন যে কিছু আকর্ষণীয় সিদ্ধান্ত গ্রহণযোগ্য সম্পর্ক যেমন তম টিএম পদক্ষেপে থামে না ))টি ই কে∀k T(e,k)∨¬∀k T(e,k)∀k T(e,k)∨¬∀k T(e,k)\forall k \ T(e,k) \lor \lnot …
4
কোনও সম্ভাব্য টিউরিং মেশিন কি থামিয়ে দেওয়া সমস্যার সমাধান করতে পারে?
সত্যিকারের এলোমেলো বিটগুলির একটি অসীম প্রবাহ দেওয়া একটি কম্পিউটার ছাড়া একটি কম্পিউটারের চেয়ে আরও শক্তিশালী। প্রশ্নটি হ'ল: থামার সমস্যাটি সমাধান করার পক্ষে এটি কি যথেষ্ট শক্তিশালী? অর্থাৎ সম্ভাব্য কম্পিউটার থাকুক বা না থাকুক একটি নির্ধারণ করতে পারেন নির্ণায়ক প্রোগ্রাম স্থগিত? একটি সম্ভাবনাময় কম্পিউটারের একটি ডিস্ট্রিমেন্টিক এমন কিছু করার উদাহরণ যা: …
19
টিসিএসে সুন্দর ফলাফল
সম্প্রতি, আমার এক বন্ধু (টিসিএসে কর্মরত) একটি কথোপকথনে উল্লেখ করেছেন যে "তিনি তাঁর জীবদ্দশায় টিসিএসের সুন্দর ফলাফলগুলি সমস্ত (বা যতটা সম্ভব) দেখতে / জানতে চেয়েছিলেন"। এই ধরণের আমাকে এই অঞ্চলের সুন্দর ফলাফল সম্পর্কে অবাক করে তোলে এবং তাই নিম্নলিখিত প্রশ্নের জন্য অনুপ্রেরণা: কোন ফলাফল (বা ধারণা), আপনার মতে, তাত্ত্বিক কম্পিউটার …
1
যে কার্যগুলি দক্ষতার সাথে গণ্যযোগ্য নয় তবে শেখার যোগ্য
আমরা জানি যে (দেখুন, উদাহরণস্বরূপ, [1] এর 1 এবং 3 এর উপপাদ্য), মোটামুটিভাবে উপযুক্ত অবস্থার অধীনে, বহু কার্যকালে টুরিং মেশিন দ্বারা দক্ষতার সাথে গণনা করা যেতে পারে এমন ফাংশনগুলি ("দক্ষতার সাথে গণনাযোগ্য") বহুবর্ষীয় নিউরাল নেটওয়ার্ক দ্বারা প্রকাশ করা যেতে পারে যুক্তিসঙ্গত আকারের সাথে, এবং সুতরাং কোনও ইনপুট বিতরণের অধীনে বহুপদী …
2
সিস্টেম এফ কোন ফাংশন গণনা করতে পারে না?
ইন টুরিং সম্পূর্ণতার উপর এই Wikipedia নিবন্ধটি যে বলে: টাইপযুক্ত ল্যাম্বদা ক্যালকুলাস টিউরিং সম্পূর্ণ, তবে সিস্টেম এফ সহ অনেক টাইপ করা ল্যাম্বদা ক্যালকুলি নেই। টাইপ করা সিস্টেমগুলির মান আরও ত্রুটি সনাক্ত করার সময় বেশিরভাগ সাধারণ কম্পিউটার প্রোগ্রামগুলিকে উপস্থাপন করার দক্ষতার ভিত্তিতে তৈরি হয়। মোট কম্পিউটারের ফাংশনটির একটি উদাহরণ যা সিস্টেম …
2
আমরা কি কলমোগোরভ জটিলতা আউটপুট করতে পারি না?
আমাদের টুরিং-মেশিন ও একটি সার্বজনীন টুরিং-মেশিনের একটি উপসর্গ মুক্ত এনকোডিং ঠিক করি যে ইনপুট উপর (তার প্রিফিক্স-মুক্ত কোড হিসেবে এনকোড দ্বারা অনুসরণ আউটপুট) যাই হোক না কেন ইনপুট আউটপুট (সম্ভবত উভয় চিরকাল চলমান)। এর Kolmogorov জটিলতা নির্ধারণ , সংক্ষিপ্ত প্রোগ্রামের দৈর্ঘ্য যেমন যে ।( টি , এক্স ) টি এক্স …
2
কলমোগোরভের অনুমান যে
তাঁর বই "বুলিয়ান ফাংশন কমপ্লেক্সিটি" তে স্ট্যাসিস জুকনা উল্লেখ করেছেন (পৃষ্ঠা ৫4৪) যে কোলমোগোরভ বিশ্বাস করেছিলেন যে পি-র প্রতিটি ভাষায় রৈখিক আকারের সার্কিট রয়েছে। কোনও রেফারেন্স উল্লেখ করা হয়নি এবং আমি অনলাইনে কিছুই খুঁজে পাইনি। কেউ কি এই সম্পর্কে আরও জানেন?
6
প্রাকৃতিক এনপি-সম্পূর্ণরূপে "বড়" সাক্ষীদের সমস্যা problems
" এনপি লিনিয়ার সাইজের সাক্ষীদের মধ্যে সীমাবদ্ধ কী? " ক্লাসেওরিয় প্রশ্নটি লাইনারি সাইজের সাক্ষীদের মধ্যে সীমাবদ্ধ এনপি ক্লাস সম্পর্কে জিজ্ঞাসা করে , তবেও ( এন )O(n)O(n) সেখানে আছেন প্রাকৃতিক দ্বারা NP-সম্পূর্ণ সমস্যার যা (হ্যাঁ) আকার দৃষ্টান্ত চেয়ে আকার তদ্বুর্ধ্ব সাক্ষী প্রয়োজন এন ?এনএনnnএনnn স্পষ্টতই আমরা কৃত্রিম সমস্যাগুলি তৈরি করতে পারি …
4
প্ল্যানারিটির জন্য সবচেয়ে সাধারণ বহুবর্ষীয় অ্যালগরিদম কী?
বেশ কয়েকটি অ্যালগরিদম রয়েছে যা বহুবর্ষের সময় স্থির করে যে প্লেনে কোনও গ্রাফ আঁকা যায় কিনা, এমনকি লিনিয়ার চলমান সময় সহ অনেকগুলি। তবে, আমি খুব সাধারণ অ্যালগরিদমটি খুঁজে পাইনি যা ক্লাসে সহজেই এবং দ্রুত ব্যাখ্যা করা যায় এবং দেখানো যে PLANARITY পি তে রয়েছে you আপনি কি জানেন? যদি প্রয়োজন …
4
"নির্দেশিত" সমস্যাগুলি যা তাদের "পুনর্নির্দেশিত" বৈকল্পিকের চেয়ে সহজ।
আমি প্যানকেক বাছাই সম্পর্কিত একটি বক্তৃতা উপস্থাপন করছিলাম , এবং উল্লেখ করেছি: বিপরীত অনুসারে বাছাই করা এনপি-হার্ড বিপরীতক্রমে "স্বাক্ষরিত" বাছাই করা হয় পি । যা আমাকে ভাবছে। এমন একটি ধারণা রয়েছে যার মধ্যে "স্বাক্ষরিত" বাছাই "নির্দেশিত" - আপনি সাইনটিকে একটি দিক হিসাবে দেখতে পারেন (এবং প্রকৃতপক্ষে, এটি বিবর্তনীয় জীববিজ্ঞানের প্রেরণা)। …
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.