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

যতদূর আমি বুঝতে পেরেছি, জ্যামিতিক জটিলতা তত্ত্বের প্রোগ্রামটি -এনেক ভিএনপিকে পৃথক করার চেষ্টা করে প্রমাণ করে যে কোনও জটিল-মূল্যবান ম্যাট্রিক্সের পারমাঙ্কটি নির্ধারকের চেয়ে গণনা করা আরও শক্ত।VP≠VNPVP≠VNPVP \neq VNP জিসিটি পেপারগুলির মাধ্যমে স্কিমিংয়ের পরে আমার যে প্রশ্নটি ছিল: এটি কি অবিলম্বে বোঝায় , বা এটি কেবল এই লক্ষ্যের দিকে একটি …

37 cc.complexity-theory  complexity-classes  algebraic-complexity  conditional-results  gct 

একটি নতুন সমস্যা দেওয়া হয়েছে যার সত্যিকারের জটিলতা পি এবং এনপি-সম্পূর্ণ হওয়ার মধ্যে কোথাও রয়েছে , এমন দুটি পদ্ধতি রয়েছে যা আমি জানি যে এটি সমাধান করা কঠিন তা প্রমাণ করার জন্য এটি ব্যবহার করা যেতে পারে:এন পিএনপি\mathsf{NP}পিপি\mathsf{P} সমস্যাটি জিআই-সম্পূর্ণ (জিআই = গ্রাফ আইসোমর্ফিজম) দেখান দেখান যে সমস্যাটি । জ্ঞাত …

36 cc.complexity-theory  np-hardness  graph-isomorphism  np-intermediate 

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

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

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

36 cc.complexity-theory  approximation-hardness  pcp 

এটি একটি প্রযুক্তিগত প্রশ্ন নয়, তবে অবশ্যই টিসিএস সম্প্রদায়ের জন্য প্রাসঙ্গিক। যদি অনুচিত হিসাবে বিবেচনা করা হয়, বন্ধ করতে নির্দ্বিধায়। জটিলতা চিড়িয়াখানা ওয়েবপেজ (http://qwiki.stanford.edu/index.php/Complexity_Zoo) অবশ্যই বছরের পর বছর ধরে TCS সম্প্রদায়ে মহান সেবার হয়েছে। আপাতদৃষ্টিতে এটি বেশ কিছুদিন থেকে নিচে পড়েছে। আমি ভাবছিলাম, কেউ যদি এখনও এটি বজায় রাখে, যদি …

36 cc.complexity-theory  reference-request  soft-question 

পটভূমি: এই প্রশ্নের অনুপ্রেরণা দ্বিগুণ। প্রথমত, চলমান সম্মেলন বনাম জার্নালের বিতর্ককে আরও ভাল করে বুঝতে আরও কিছু শক্ত তথ্য পেতে চাই । দ্বিতীয়ত, যদি এই তথ্যটি কোথাও পাওয়া যেত, তবে পর্যালোচনার জন্য কাগজপত্র জমা দেওয়ার সময় আমি আরও জ্ঞাত সিদ্ধান্ত নিতে পারতাম; আমি যেসব জার্নালগুলির সম্পাদকরা রেফারি নির্বাচন বা রাখার …

36 soft-question  research-practice  paper-review  journals 

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

36 cc.complexity-theory  reductions  derandomization 

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

36 ds.algorithms  ds.data-structures  hash-function 

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

36 soft-question  teaching 

লিনিয়ার প্রোগ্রামের সমাধান খুঁজতে সিমপ্লেক্স অ্যালগরিদমের উপরের আবদ্ধটি কী? আমি কীভাবে এই জাতীয় মামলার প্রমাণ খুঁজে পাব? দেখে মনে হয় যে, সবচেয়ে খারাপ পরিস্থিতি যদি প্রতিটি শীর্ষবিন্দুটি দেখতে হয় তবে এটি হ'ল । তবে অনুশীলনে সাধারণ স্ট্যান্ডার্ড সমস্যার জন্য সিমপ্লেক্স অ্যালগরিদম এর চেয়ে উল্লেখযোগ্যভাবে দ্রুত চলবে।ও ( 2)এন)হে(2এন)O(2^n) এই পদ্ধতিটি …

36 ds.algorithms  linear-programming  simplex  smoothed-analysis 

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

36 ds.algorithms  graph-theory  ds.data-structures  data-sets 

আমরা জানি যে প্রাকৃতিক সংখ্যার চেয়ে বেশি ফাংশন এক্স ( x , y ) = x y বহুবর্ষের সময় গণনাযোগ্য নয়, কারণ আউটপুটটির আকার ইনপুটগুলির আকারের ক্ষেত্রে বহিরাগতভাবে আবদ্ধ হয় না।exp(x,y)=xyexp⁡(x,y)=xy\exp(x,y) = x^y সূচকীয় ফাংশনটি গণনা করতে অসুবিধার মূল কারণ কি, বা বিবেচ্যতা স্বতন্ত্রভাবে গণনা করা শক্ত, এই বিবেচনার বাইরে? …

36 cc.complexity-theory  nt.number-theory 

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

36 soft-question  open-problem  ho.history-overview 

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

36 soft-question  research-practice  software  writing 

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

36 cc.complexity-theory  reference-request  algebraic-complexity