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

আমি এনপি-সম্পূর্ণ সমস্যার স্বতন্ত্র দৃষ্টান্তগুলিতে আগ্রহী। রিয়ান উইলিয়ামস রিচার্ড লিপটনের ব্লগে এসএটি 0 সমস্যাটি নিয়ে আলোচনা করেছেন । SAT0 জিজ্ঞাসা করে যে কোনও SAT দৃষ্টান্তটিতে সমস্ত 0 টি সমন্বিত নির্দিষ্ট সমাধান রয়েছে। এটি আমাকে "শক্ত" হওয়ার সম্ভাবনা রয়েছে এমন SAT দৃষ্টান্ত তৈরির বিষয়ে ভাবতে পেরেছিল। ক্লজ এবং ভেরিয়েবল সহ একটি …

10 cc.complexity-theory  sat  hard-instances 

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

10 cc.complexity-theory  np-hardness 

একটি ফাংশন দেখান যা স্থান-গঠনমূলক তবে সময়-কনস্টেটিভেবল নয়।চ( এন )f(n)f(n) জটিলতা ডিটিটাইম (এফ (এন)) এবং স্পেস (চ (এন)) এর মধ্যে কোনও পৃথকীকরণের সাথে কি এই সমস্যা সম্পর্কিত?

10 cc.complexity-theory  space-bounded  separation 

সীমাবদ্ধ অগ্রহণযোগ্য সেটগুলির সম্পূর্ণ বৈকল্পিকগুলির উদাহরণ :এনপিএনপিNP বাউন্ডেড হ্যালটিং সমস্যা = { | এনটিএম মেশিন বন্ধ করে দেয় এবং পদক্ষেপের মধ্যে গ্রহণ করে}( এম, X , 1টি)(এম,এক্স,1টি)(M, x, 1^t)এমএমMএক্সএক্সxটিটিt বাউন্ডেড টাইলিং = { | } থেকে টাইলস দ্বারা বর্গক্ষেত্রের একটি টাইলিং রয়েছে( টি, ঘটি)(টি,1টি)(T, 1^t)টি2টি2t^2টিটিT সীমাবদ্ধ পোস্ট করেসপন্ডেন্স সমস্যা = …

10 cc.complexity-theory  np-hardness 

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

10 cc.complexity-theory  complexity-classes 

এটি সহজেই দেখতে পাওয়া যায় যে যে কোনও জন্য nnn1-1 ম্যাপিং exists FFF0,1} n থেকে {0,1} n + O ( লগ এন ) এর মধ্যে রয়েছে যে কোনও এক্স এর জন্য ভেক্টর এফ ( এক্স ) " সুষম ", অর্থাত্, এর সমান সংখ্যার 1 এবং 0 হয়। এই জাতীয় এফটি …

10 ds.algorithms  ds.data-structures  encoding 

নির্ধারিত প্রসঙ্গবিহীন ভাষা (ডিসিএফএল) এবং দৃশ্যমান পুশডাউন ল্যাঙ্গুয়েজ (ভিপিএল) উভয় প্রসঙ্গ-মুক্ত ভাষা (সিএফএল) এবং নিয়মিত ভাষা (আরইজি) এর মধ্যে আনুষ্ঠানিক ভাষার সেট। সিডিএফএল-এর ব্যাকাস-নওর-ফর্মের মতো এবং আরইজি-র জন্য নিয়মিত প্রকাশের মতো সরল ASCII তে প্রকাশ করার মতো একটি স্বরলিপি আছে কি?

10 fl.formal-languages 

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

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

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

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

ইন SODA 1995 , জেফ এরিকসন নিম্ন সীমা রৈখিক satisfiability জন্য (পরীক্ষণ একটি কিছু দেখিয়েছেন এর -subset বাস্তব সংখ্যার সন্তুষ্ট উপর একটি রৈখিক সমীকরণ ভেরিয়েবল)। প্রমাণ পদ্ধতিটি ইনফিনাইটিমালস এবং তারস্কির স্থানান্তর নীতিটি ব্যবহার করে ।rrrnnnrrr এই সীমাবদ্ধ প্রমাণের জন্য নেওয়া রুটের পিছনের অন্তর্দৃষ্টি কি কেউ ব্যাখ্যা করতে পারে? এর মতো …

10 cg.comp-geom  lower-bounds  algebraic-complexity 

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

10 oracles  turing-machines 

কী প্রমাণ রয়েছে ?সি ও আর পি। এনপিcoRP≠NPcoRP \neq NP সি ও আর পিcoRPcoRP হ'ল শ্রেণি, যার জন্য একটি সম্ভাব্য মেশিন বিদ্যমান যা সময়ে চলে এবং সর্বদা ভাষা সম্পর্কিত হ্যাঁ উত্তর দেয় এবং এমন একটি সম্ভাব্যতার কমপক্ষে অর্ধেক উত্তর নেই।

10 cc.complexity-theory  complexity-classes 

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

10 ds.algorithms  random-walks  dc.distributed-comp 

গণনামূলক সার্বজনীনতার বিভিন্ন (সম্ভবত অসমর্থিত) ধারণা রয়েছে (উদাহরণস্বরূপ দেখুন http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf এর শেষ দুটি পৃষ্ঠাগুলি ) এবং এর মধ্যে কোন noক্যমত্য নেই বিশেষজ্ঞরা যা সম্পর্কে ধারণাগুলি সবচেয়ে সঠিক (উদাহরণস্বরূপ http://cs.nyu.edu/pipermail/fom/2007- অক্টোবর/012148 . html দেখুন )। আমি বায়োমোলিকুলার গণনার একটি বিশেষ মডেল সম্পর্কে কিছু বলার চেষ্টা করছি। আমি যুক্তি দিতে চাই যে …

10 universal-computation 

জোনের উপপাদ্যটি বলে যে আমরা যদি অন্য লাইনের সাথে এন লাইনের কোনও ব্যবস্থা ছিনিয়ে নিই, তবে তার জোনের মোট জটিলতা , সমস্ত 0-, 1-, এবং এর সাথে 2-মুখের সংলগ্ন, ও (এন)। প্রকৃত ধ্রুবক হ'ল কমপক্ষে nn এর মতো বিভিন্ন পাঠ্যপুস্তকে যেমন বলা হয়েছে, এবং প্রমাণটি হ'ল যুক্তিসঙ্গতভাবে যত্নশীল চার্জ যুক্তি …

10 cg.comp-geom