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

আমরা জানি যে আপনার যদি পিএসপিএসিই মেশিন থাকে তবে এটি বহু স্তরের বহিরাগত স্তরক্রমের কোনও ইন্টারেক্টিভ প্রমাণ দেওয়ার পক্ষে যথেষ্ট শক্তিশালী। (এবং যদি আমি সঠিক মনে করি তবে আপনার কেবলমাত্র # পি দরকার) তবে মনে করুন আপনি কোনও ভাষায় সদস্যতার একটি ইন্টারেক্টিভ প্রমাণ দিতে চান । সমস্যার সমাধান করার পক্ষে …

33 cc.complexity-theory  interactive-proofs 

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

33 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

জটিলতা তত্ত্বের কেন্দ্রীয় সমস্যাটি তর্কযোগ্যভাবে বনাম এন পি ।PPPNPNPNP তবে প্রকৃতি কোয়ান্টাম হওয়ায় ক্লাসগুলি বিবেচনা করা আরও প্রাকৃতিক বলে মনে হচ্ছে (অর্থাত্ বহু উদাহরণে কোয়ান্টাম কম্পিউটার দ্বারা সমাধানযোগ্য সিদ্ধান্তগত সমস্যাগুলি, সমস্ত উদাহরণের জন্য সর্বাধিক 1/3 এর ত্রুটি সম্ভাবনা রয়েছে) উত্তর কিউ এম এ পরিবর্তে ( এন পি এর কোয়ান্টাম সমতুল্য …

33 cc.complexity-theory  complexity-classes  quantum-computing 

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

33 ds.algorithms  randomized-algorithms  derandomization 

1995 সালে, রাসেল ইম্পাগলিয়াজো পাঁচটি জটিল বিশ্বের প্রস্তাব করেছিলেন: 1- অ্যালগরিদমিকা: সমস্ত বিস্ময়কর পরিণতি সহ।P=NPP=NPP=NP 2- হিউরিস্টিকা: অসম্পূর্ণ সমস্যাগুলি সবচেয়ে খারাপ ক্ষেত্রে ( ) কঠিন তবে গড়-দক্ষতার ক্ষেত্রে দক্ষতার সাথে সমাধানযোগ্য।NPNPNPP≠NPP≠NPP \ne NP 3- পেসিল্যান্ড: এখানে গড়-কেস -কমপ্লিট সমস্যা রয়েছে তবে একমুখী ফাংশন বিদ্যমান নেই। এর থেকে বোঝা যায় যে …

33 cc.complexity-theory  conditional-results  average-case-complexity 

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

32 cc.complexity-theory  complexity-classes  big-list 

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

32 ds.data-structures  tree 

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

32 soft-question  conferences 

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

32 pl.programming-languages  open-problem  research-practice 

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

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

লোগলোগকে ভাষার শ্রেণীরূপে সংজ্ঞায়িত করুন যা একটি ডিস্ট্রিমেন্টিক টিউরিং মেশিন (ইনপুটটিতে দ্বি-উপায় অ্যাক্সেস সহ) স্পেস ও (লগলগ এন) তে গণনা করা যায়। একইভাবে এনএলএলএলওগকে ভাষার শ্রেণি হিসাবে সংজ্ঞায়িত করুন যা স্পেস হে (লগ লগ এন) -কে একটি নন-ডিস্ট্রিমেন্টিক ট্যুরিং মেশিন (ইনপুটটিতে দ্বি-উপায় অ্যাক্সেস সহ) গণনা করা যেতে পারে। এই ক্লাসগুলি …

32 cc.complexity-theory  reference-request  space-bounded 

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

32 cc.complexity-theory  computability  pl.programming-languages 

আনুমানিক ফলাফলের কঠোরতা প্রমাণ করার জন্য দুটি সাধারণ অনুমান হ'ল এবং ইউনিক গেমস কনজেকচার। এন পি ≠ সি ও এন পি ধরে ধরে অনুমানের ফলাফলের কোনও কঠোরতা আছে কি? আমি সমস্যা খোঁজ করছি একটি যেমন যে "এটা আনুমানিক কঠিন একটি একটি ফ্যাক্টর মধ্যে α যদি না এন পি = গ …

32 approximation-hardness  conditional-results 

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

32 cc.complexity-theory  complexity-classes  big-list  complexity-assumptions 

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

32 reference-request  big-list  pr.probability  books