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

রুবিক কিউবের স্পষ্ট সাধারণীকরণ বিবেচনা করুন । প্রদত্ত স্ক্র্যাম্বল্ড কিউব সমাধান করে এমন চালগুলির সংক্ষিপ্ততর ক্রমটি গণনা করা কি এনপি-হার্ড বা বহু-কালীন অ্যালগরিদম রয়েছে?n × n × nn×n×nn\times n\times n [ আমার সাম্প্রতিক ব্লগ পোস্টে সম্পর্কিত কিছু ফলাফল বর্ণনা করা হয়েছে ]]

38 cc.complexity-theory  co.combinatorics  np-hardness  open-problem  puzzles 

প্রমাণের কৌশল দ্বারা টিসিএস উপপাদাগুলি সংগঠিত এবং আলোচনা করে এমন কোনও রেফারেন্স রয়েছে (অনলাইন বা বই আকারে)? গ্যারি এবং জনসন এনপি-পূর্ণতা প্রমাণগুলির জন্য বিভিন্ন ধরণের উইজেট নির্মাণের জন্য এটি করেন (বিশেষত তাদের বইয়ের ৩ য় অধ্যায়ে), তবে আমি ভাবছি যে টিসিএসে প্রমাণ কৌশলগুলি আরও বিস্তৃতভাবে আচরণ করে এমন কিছু আছে …

38 reference-request  proof-techniques 

আমি সম্প্রতি এটি শুনেছি - "একটি অ-নিরোধক মেশিন কোনও সম্ভাব্য মেশিনের মতো নয় cr অশোধিত ভাষায়, একটি অ-নিরস্তব্য মেশিন একটি সম্ভাবনাময় মেশিন যেখানে ট্রানজিশনের সম্ভাবনাগুলি জানা যায় না"। আমি মনে করি আমি পয়েন্ট পেয়েছি কিন্তু আমি সত্যিই না। কেউ আমাকে (মেশিনের প্রসঙ্গে বা সাধারণভাবে) এটি ব্যাখ্যা করতে পারেন? সম্পাদনা 1: …

38 automata-theory  randomness  computability 

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

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

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

37 reference-request  lo.logic  set-theory 

বিবেচনা করার সময় বেশ কয়েকটি জ্যামিতিক সমস্যাগুলি সহজ , তবে জন্য এনপি-সম্পূর্ণ (আমার প্রিয় সমস্যাগুলির মধ্যে একটি, ইউনিট ডিস্ক কভার সহ) includingR1R1R^1RdRdR^dd≥2d≥2d\geq2 এবং জন্য পলটাইম দ্রবণযোগ্য তবে জন্য এনপি-সম্পূর্ণ রয়েছে এমন কোনও সমস্যা কি কেউ জানেন ? R1R1R^1R2R2R^2Rd,d≥3Rd,d≥3R^d,d\geq3 আরও সাধারণভাবে, আরকি- জন্য এনপি-সম্পূর্ণ তবে , যেখানে , এমন কি ?RkRkR^kRk−1Rk−1R^{k-1}k≥3k≥3k\geq3

37 cc.complexity-theory  reference-request  cg.comp-geom 

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

37 soft-question  fl.formal-languages  automata-theory  teaching 

বর্গমূল এর সমষ্টি সমস্যা, দুই সিকোয়েন্স দেওয়া জিজ্ঞেস এবং খ 1 , খ 2 , ... , খ এন , ধনাত্মক পূর্ণসংখ্যা কিনা সমষ্টি Σ আমি √একটি1, ক2, … , কএনa1,a2,…,ana_1, a_2, \dots, a_nখ1, খ2, … , খএনb1,b2,…,bnb_1, b_2, \dots, b_n কম, এর সমান, বা সমষ্টি তার চেয়ে অনেক বেশীΣআমি√∑iai−−√∑iai\sum_i …

37 ds.algorithms  big-list  reductions  computing-over-reals 

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

37 cc.complexity-theory  lo.logic  proof-complexity 

আমি আমার অতিরিক্ত সময়ে টিসিএস করতে পছন্দ করি। ইদানীং আমি শখ হিসাবে কিছু গবেষণা করার চেষ্টা করছি। আমি এই ব্যক্তিদের থেকে কিছু অতিরিক্ত ইনপুট খুঁজছি যারা এই পূর্ণ-সময়টি করে: - আপনি কি মনে করেন যে এটি "মজা করার জন্য" এটি করা সম্ভব? পিএইচডি করার কোনও ইচ্ছা আমার নেই। - আপনি …

37 soft-question  advice-request  research-practice 

আমরা জানি যে বহুবর্ষীয় শ্রেণিবিন্যাসের প্রথম স্তরের (অর্থাত্ এনপি এবং কো-এনপি) পিপিতে রয়েছে, এবং সেই । আমরা এও জানি থেকে তোদা এর উপপাদ্য যে ।পি এইচ ⊆ পি পি পিPP⊆PSPACEPP⊆PSPACEPP \subseteq PSPACEPH⊆PPPPH⊆PPPPH \subseteq P^{PP} আমরা কি জানি কিনা ? যদি না হয়, কেন এটা যে একটি সঙ্গে ওরাকল থেকে অনেক …

37 cc.complexity-theory  counting-complexity  polynomial-hierarchy 

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

37 reference-request  complexity-classes  computability  pl.programming-languages 

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

37 soft-question  research-practice  authorship 

আমি ডি-ডাইমেনশনাল হিটিং সেট সমস্যাটি যা কল করব তার প্যারামিটারাইজড জটিলতায় আগ্রহী: একটি পরিসীমা স্থান দেওয়া (যেমন একটি সেট সিস্টেম / হাইপারগ্রাফ) এস = (এক্স, আর) সর্বাধিক ডি এবং একটিতে ভিসি-ডাইমেনশন রয়েছে ধনাত্মক পূর্ণসংখ্যার কে, এক্স কি আকারের কে এর একটি উপসেট ধারণ করে যা আর এর প্রতিটি পরিসরকে হিট …

37 cc.complexity-theory  cg.comp-geom  set-cover  parameterized-complexity  vc-dimension 

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

37 co.combinatorics  puzzles  open-problem  ramsey-theory  graph-colouring