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

ধরুন এবং স্যাট এর জন্য একটি দ্রুত লিনিয়ার-সময়ের অ্যালগরিদম আগামীকাল উপস্থিত হবে। হঠাৎ আরএসএ নিরাপত্তাহীন, আমাদের আধুনিক যোগাযোগ ব্যবস্থার বেশিরভাগ অংশ নষ্ট হয়ে গেছে এবং কীভাবে একে অপরের কাছ থেকে গোপনীয়তা রাখা যায় সে বিষয়ে আমাদের পুনর্বিবেচনা করা দরকার।পি= এনপিপি=এনপিP = NP প্রশ্ন: অবিচ্ছিন্নতা অনুমান ব্যতিরেকে ক্রিপ্টোতে (এবং "সুরক্ষা" এর …

25 cr.crypto-security 

এই উত্তরটি করার মেজর তাত্ত্বিক কম্পিউটার বিজ্ঞান সমস্যা অসমাধিত? প্রশ্নে বলা হয়েছে যে এনপিতে কোনও নির্দিষ্ট সমস্যার জন্য সময় প্রয়োজন হলে এটি উন্মুক্ত ।Ω(n2)Ω(n2)\Omega(n^2) উত্তরের মন্তব্যগুলিতে তাকানো আমাকে অবাক করে দিয়েছে: প্যাডিং এবং অনুরূপ কৌশলগুলি বাদ দিয়ে, এনপি -র একটি আকর্ষণীয় সমস্যার জন্য (যা প্রাকৃতিক উপায়ে বলা হয়েছে ) ডেট্রিমেন্টিক …

25 cc.complexity-theory  np  p-vs-np 

আমার চলমান মিডিয়ান গণনা করা দরকার: ইনপুট: , , ভেক্টর ।nnnkkk(x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) আউটপুট: ভেক্টর , যেখানে হ'ল ।(y1,y2,…,yn−k+1)(y1,y2,…,yn−k+1)(y_1, y_2, \dotsc, y_{n-k+1})yiyiy_i(xi,xi+1,…,xi+k−1)(xi,xi+1,…,xi+k−1)(x_i, x_{i+1}, \dotsc, x_{i+k-1}) (আনুমানিক সাথে কোনও প্রতারণা নয়; আমি সঠিক সমাধান পেতে চাই উপাদানসমূহ বৃহত্তর পূর্ণসংখ্যা))xixix_i একটি তুচ্ছ অ্যালগরিদম আছে যা সাইজের এর অনুসন্ধান গাছ বজায় রাখে …

25 ds.algorithms  ds.data-structures  lower-bounds 

সাধারণ সংখ্যা ক্ষেত্রগুলিতে ফ্যাক্টরিজ পূর্ণসংখ্যার গণ্য জটিলতা সম্পর্কে কী জানা যায়? আরো নির্দিষ্টভাবে: পূর্ণসংখ্যার উপরে আমরা তাদের বাইনারি সম্প্রসারণের মাধ্যমে পূর্ণসংখ্যার প্রতিনিধিত্ব করি। সাধারণ সংখ্যা ক্ষেত্রে পূর্ণসংখ্যার উপমা উপস্থাপনা কী? এটি কি জানা যায় যে সংখ্যা ক্ষেত্রগুলির উপর প্রাথমিক বা পি বা বিপিপিতে রয়েছে? সংখ্যা ক্ষেত্রগুলিতে ফ্যাক্টরিংয়ের জন্য সর্বাধিক পরিচিত …

25 cc.complexity-theory  nt.number-theory  comp-number-theory 

সম্প্রতি, রায়ান Willams প্রমাণ প্রাকৃতিক প্রুফ মধ্যে Constructivity জটিলতা ক্লাস একটি বিচ্ছেদ আহরণ করা এড়ানো সম্ভব নয়: এবং । টি সি সি 0NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} প্রাকৃতিক এমন একটি শর্ত যা সার্কিট জটিলতায় সমস্ত সংযুক্ত প্রমাণগুলি সন্তুষ্ট করে এবং আমরা সিদ্ধান্ত নিতে পারি যে (বা অন্য কোনও "হার্ড" জটিলতা শ্রেণিতে) লক্ষ্য ফাংশনটি একটি …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

প্রসঙ্গমুক্ত ব্যাকরণ (সিএফজি) এর সাথে জড়িত অনেকগুলি গবেষণাপত্রে, সেখানে উপস্থিত এমন ব্যাকরণের উদাহরণগুলি প্রায়শই তাদের উত্পন্ন ভাষার সহজ বৈশিষ্ট্য স্বীকার করে। উদাহরণ স্বরূপ: এস →এস→ একটি একটি এসখএস→একটিএকটিএসখS \to a a S b এস→এস→S \to উত্পন্ন করে ,{ ক2 iখআমি| আমি≥0}{একটি2আমিখআমি|আমি≥0}\{ a^{2i} b^i | i \geq 0\} এস → একটি …

25 fl.formal-languages  context-free  context-free-languages 

Szemeredi এর নিয়মিততা লেমা বলে যে প্রতিটি ঘন গ্রাফকে O(1)O(1)O(1) অনেক দ্বিপক্ষীয় বিস্তৃত গ্রাফের ইউনিয়ন হিসাবে প্রায় অনুমান করা যায় । আরও সঠিকভাবে, এর বেশিরভাগ অংশের বিভাজন রয়েছে O(1)O(1)O(1)যা বেশিরভাগ সেটের দ্বিপক্ষীয় প্রসারণকারী (পার্টিশনে সেটগুলির সংখ্যা এবং সম্প্রসারণ পরামিতি আনুমানিক প্যারামিটারের উপর নির্ভর করে) গঠন করে: http://en.wikipedia.org/wiki/Szemer%C3%A9di_regularity_lemma "ভাল ব্যবহার করে" …

25 graph-theory  co.combinatorics  expanders 

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

25 cc.complexity-theory  graph-algorithms 

Knuth এর তৃতীয় খন্ডে কম্পিউটার প্রোগ্রামিং আর্ট (অধ্যায় 5, 3.2 শ্লোক) অন্তর্ভুক্ত নিম্নলিখিত টেবিলে তালিকা সঠিক তুলনা ন্যূনতম সংখ্যা নির্বাচন করা প্রয়োজন আকারের একটি পাঁচমিশালী সেট থেকে তম ক্ষুদ্রতম উপাদান , সব জন্য । এই টেবিলটি, সুপরিচিত বন্ধ-ফর্ম এক্সপ্রেশনগুলি এবং V_2 (n) = n - 2 + ce লিসিল এন …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

রবার্টসন এবং সিমুরের ফলাফল স্থির গ্রাফ অপ্রাপ্তবয়স্ক কিনা তা পরীক্ষার জন্য একটি অ্যালগরিদম দেখায় । এই বিষয়টিতে আমার আড়াইটি প্রশ্ন রয়েছে:O(n3)O(n3)O(n^3)GGGHHH 1) এটি প্রদর্শিত হয় যেহেতু এই অ্যালগরিদমের উন্নতি হয়েছে। বর্তমানে সর্বাধিক পরিচিত অ্যালগরিদম কী? ২ ক) লোকেরা সর্বোত্তম সীমা হিসাবে অনুমান করে কী? একটি নির্দিষ্ট পৃষ্ঠের উপর এম্বেড করার …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

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

25 soft-question  big-list  conferences 

শিরোনামে বর্ণিত হিসাবে, আমি সিআইসি এবং আইটিটির মধ্যে যে কোনও সম্পর্ক এবং পার্থক্যটি অবাক করি। কেউ কি আমাকে এই দুটি সিস্টেমের তুলনা করে এমন কিছু সাহিত্য ব্যাখ্যা করতে বা নির্দেশ করতে পারেন? ধন্যবাদ।

25 type-theory 

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

25 ds.algorithms  sat 

নিম্নলিখিত সমস্যার জটিলতা সম্পর্কে যা জানা যায়: প্রদত্ত: যৌক্তিক সংখ্যা ।x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n আউটপুট: পূর্ণসংখ্যা ।y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n উদ্দেশ্য: ন্যূনতম যেখানে∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j),e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. এটি হ'ল আমরা যুক্তি সংখ্যার সাথে সংখ্যাসূচকভাবে গোল করতে …

25 ds.algorithms  reference-request  optimization 

একটি undirected এবং unweighted গ্রাফ দেওয়া এবং একটি এমনকি পূর্ণসংখ্যা , ছেদচিহ্ন বেড়ে চলেছে সেট গণনীয় জটিলতা কি যেমন যে এবং subgraph প্রান্তবিন্দু সেট অবধি সীমিত একটি নিখুঁত ম্যাচিং স্বীকার? জটিলতা কি # পি-সম্পূর্ণ? এই সমস্যার জন্য একটি রেফারেন্স আছে?জি = ( ভ, ই)জি=(ভী,ই)G=(V,E)টটkএস⊆ ভিএস⊆ভীS\subseteq V| এস| =কে|এস|=ট|S|=kজিজিGএসএসS নোট যে …

25 cc.complexity-theory  co.combinatorics  counting-complexity