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

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

11 soft-question  open-problem  research-practice 

মার্টিন-ল্যাফ টাইপ তত্ত্বটি কি মূলত অনুমানমূলক ছাড়াই ইন্ডাকটিভ কনস্ট্রাকশনসের ভবিষ্যদ্বাণীমূলক ক্যালকুলাস ?পি আর ও পিProp\mathtt{Prop} যদি তারা নিবিড়ভাবে সম্পর্কিত তবে কেবল চেয়েও বেশি পার্থক্যের সাথে থাকে তবে এই পার্থক্যগুলি কী কী?পি আর ও পিProp\mathtt{Prop}

11 type-theory  calculus-of-constructions 

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

11 ds.algorithms  quantum-computing  big-list 

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

11 parsing 

একটি শুদ্ধি প্রমাণ জন্য, আমি প্রোগ্রাম সমানতা একটি ব্যবহারযোগ্য ধারণা খুঁজছি Barendregt বিশুদ্ধ টাইপ ব্যবস্থা (PTSs) জন্য; যথেষ্ট পরিমাণ নির্দিষ্ট সিস্টেমের জন্য এটি অনুপস্থিত missing আমার লক্ষ্য কেবল ধারণাটি ব্যবহার করা, এটি নিজের স্বার্থে অনুসন্ধান করা নয়।≅≅\cong এই ধারণা "হওয়া উচিত এক্সটেনশনাল " - বিশেষ করে, প্রমাণ করতে হবে যে …

11 pl.programming-languages  type-theory  operational-semantics 

কম্পিউটার বিজ্ঞানে অ্যাডিক সংখ্যার প্রয়োগের কোনও কংক্রিট (বা সমৃদ্ধ উত্স) উদাহরণ রয়েছে কি?ppp

11 survey 

@Marzio উল্লেখ করা হয়েছে, নিম্নলিখিত গেম হিসাবে পরিচিত হয় জেনারেলাইজড ভূগোল । গ্রাফ দেওয়া এবং শুরুর প্রান্তবিন্দু , খেলা অনুসরণ হিসাবে সংজ্ঞায়িত করা হয়:G=(V,E)G=(V,E)G=(V,E)v∈Vv∈Vv \in V প্রতিটি ঘুরে (দুই খেলোয়াড় পর্যায়ক্রমে), একজন প্লেয়ার বেছে নেয় এবং তারপরে নিম্নলিখিতটি ঘটে:u∈N(v)u∈N(v)u\in N(v) vvv , পাশাপাশি এর সমস্ত প্রান্তই থেকে সরানো হয়েছে ।GGG …

11 graph-theory  graph-algorithms  gt.game-theory 

বোঝাতে দ্বারা ন্যূনতম আউট ডিগ্রী , এবং \ Delta ^ - (জি) ইন-ডিগ্রী ন্যূনতম।জি δ - ( জি )δ+ +( ছ )δ+ +(জি)\delta^+(G)জিজিGδ-( ছ )δ-(জি)\delta^-(G) একটি সম্পর্কিত প্রশ্নে , আমি হ্যামিলটোনীয় চক্রের উপর ডাইরাকের উপপাদ্যটির গৌইলা-হুরি সম্প্রসারণের কথা উল্লেখ করেছি , যা প্রস্তাব দেয় যে যদি δ+ +( ছ ) …

11 reference-request  graph-theory 

সেখানে সঙ্গে একটি 2DFA হয় রাজ্যের (যেখানে এন nontrivial হয় বলে অন্তত 4) যে অন্তত প্রয়োজন 2 এন রাজ্যের যেকোন DFA ব্যবহার ভান কিভাবে?nnnnnn2n2এন2^n একটি দ্বি-মুখী DFA তে (2DFA) একটি নির্ণায়ক সসীম-স্টেট যন্ত্রমানব যে সসীম-স্টেট অটোমাটা যে শুধুমাত্র এক দিক ইনপুট মাথা যেতে পারেন অসদৃশ তার শুধুমাত্র-পঠনযোগ্য ইনপুট টেপ আগে …

11 automata-theory  lower-bounds 

এন-কুইন সমস্যা হ'ল: ইনপুট: এন আউটপুট: এনএক্সএন দাবা বোর্ডে এন "কুইনস" এর একটি বসানো স্থান যাতে কোনও দুটি রানী একই সারিতে, কলাম বা তির্যক স্থানে থাকে না। এটিতে একটি গুগল অনুসন্ধান করে, আমি দেখতে পেলাম যে অনেক অধ্যাপকের অনেক স্লাইডই দাবি করে যে এটি একটি এনপি-হার্ড সমস্যা eg (যেমন: ওয়েব.এমএসটি.ইডু …

11 cc.complexity-theory  np-hardness  csp 

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

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

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

11 cc.complexity-theory  it.information-theory 

আনুমানিক অ্যালগরিদমগুলি কিছু ধ্রুবক ফ্যাক্টর পর্যন্ত আউটপুট দেয়। এটি সঠিক অ্যালগরিদমের চেয়ে কিছুটা কম সন্তুষ্টিজনক। যাইহোক, সময় জটিলতায় ধ্রুবক কারণগুলি উপেক্ষা করা হয়। তাই আমি অবাক হয়েছি যে কোনও সমস্যা সমাধানের জন্য নিম্নলিখিত কৌশলটি সম্ভব কিনা বা ব্যবহৃত হয়েছিল :B∘AB∘AB \circ A ধ্রুবক ফ্যাক্টরের মধ্যে সমাধান পেতে একটি আনুমানিক অ্যালগরিদম …

11 ds.algorithms  big-list  approximation-algorithms 

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

11 cc.complexity-theory  np-hardness  terminology  reductions 

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

11 cc.complexity-theory  np-hardness  sat