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

ইন আরেকটি থ্রেড , জো Fitzsimons সম্পর্কে জিজ্ঞাসা "3SAT সেরা বর্তমান নিম্ন সীমা।" আমি অন্য পথে যেতে চাই: 3 এসএটের সেরা বর্তমানের উপরের সীমানা কোনটি? অন্য কথায়, সর্বাধিক দক্ষ স্যাট সমাধানকারী সময়ের জটিলতা কী? বিশেষত, এসএটি-র জন্য একটি উপ-তদন্তকারী (তবুও অতি-বহুভুজের) অ্যালগরিদমটি পাওয়া কি অনুমেয়?

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

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

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

আমি নিম্নলিখিত সমস্যাটি নিয়ে ভাবছি: আমি একটি নিয়মিত ভাব প্রকাশ করতে চাই যা নির্দিষ্ট স্ট্রিংগুলির সাথে মেলে (যেমন বৈধ ইমেল ঠিকানাগুলির জন্য) এবং অন্যের সাথে মেলে না (অবৈধ ইমেল ঠিকানা)। ধরুন নিয়মিত প্রকাশের মাধ্যমে আমরা কিছু সংজ্ঞায়িত সীমাবদ্ধ রাষ্ট্রীয় মেশিনকে বোঝাতে চাইছি, আমি সঠিক পরিভাষাটির সাথে পরিচিত নই, তবে আসুন …

43 np-hardness  fl.formal-languages  lg.learning  regular-expressions 

এই প্রশ্নটি দ্বারা এবং বিশেষত বা এর উত্তরের চূড়ান্ত অনুচ্ছেদ দ্বারা অনুপ্রাণিত হয়ে আমার নীচের প্রশ্নটি রয়েছে: টিসিএসে প্রতিসম গ্রুপের প্রতিনিধিত্বমূলক তত্ত্বের কোনও অ্যাপ্লিকেশন সম্পর্কে আপনি কি জানেন? প্রতিসম গ্রুপ এসএনSnS_n সব একাধিক বিন্যাসন গ্রুপ { 1 , ... , এন }{1,…,n}\{1, \ldots, n\} গ্রুপ অপারেশন রচনা করেন। এর একটি …

42 co.combinatorics  permutations  fourier-analysis  gr.group-theory 

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

42 soft-question  quantum-computing  statistical-physics  physics 

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

42 cc.complexity-theory  reference-request  big-list  survey 

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

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

আমি তাত্ত্বিকভাবে দ্বিতীয় বছরের স্নাতক ছাত্র student আমি গত বছর ধরে একটি সমস্যা নিয়ে কাজ করছি (গ্রাফ তত্ত্ব / অ্যালগরিদমে)। গতকাল পর্যন্ত আমি ভেবেছিলাম আমি ভাল করছি (আমি একটি কাগজ থেকে উপপাদ্য প্রসারিত করছি)। আজ বুঝতে পেরেছি যে আমি একটি সাধারণ ভুল করে ফেলেছি। আমি বুঝতে পেরেছিলাম যে আমি যা …

41 soft-question  research-practice 

তাত্ত্বিক কম্পিউটার বিজ্ঞানের গ্রাবারার ঘাঁটির আকর্ষণীয় অ্যাপ্লিকেশনগুলি কি কেউ জানেন ? গ্রোবারার বেসগুলি বহু-বৈচিত্র্য বহুপদী সমীকরণগুলি সমাধান করার জন্য ব্যবহৃত হয়, সাধারণভাবে একটি এনপি-হার্ড সমস্যা। আমি ভাবছিলাম যে টিসিএস বা টিসিএস-সম্পর্কিত অঞ্চলে (সংযুক্তিবিদ্যা, কোডিং তত্ত্ব) দক্ষ অ্যালগরিদম / নির্মাণ / প্রমাণ সরবরাহের জন্য কিছু ট্র্যাকটেবল বিশেষ ক্ষেত্রে ব্যবহৃত হয়েছিল কিনা।

41 cc.complexity-theory  reference-request  algebra  polynomials 

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

41 ds.algorithms  reference-request  soft-question  machine-models 

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

41 big-list  soft-question  proofs 

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

41 big-picture  dc.distributed-comp 

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

40 soft-question  career 

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

40 soft-question  research-practice  advice-request  career 

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

40 lo.logic  type-theory  functional-programming  ct.category-theory