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

অরোরা, বারাক এবং স্টিয়ারারের সাম্প্রতিক ফলাফলের আলোকে, ইউনিক গেমস এবং সম্পর্কিত সমস্যাগুলির জন্য সুব্যাক্সফেনশিয়াল অ্যালগরিদম , আমি গ্রাফ সমস্যাগুলিতে আগ্রহী যেগুলি সুব এক্সপশনিয়াল সময়ের অ্যালগোরিদমযুক্ত তবে বহুবিধ সমাধানযোগ্য নয় বলে বিশ্বাসী। একটি বিখ্যাত উদাহরণ গ্রাফ isomorphism যার subexponential অ্যালগরিদম আছে 2O(n1/2logn)2O(n1/2log⁡n)2^{O(n^{1/2} \log n)} রান-টাইম। আর একটি উদাহরণ লগ-ক্লাইক সমস্যা যা …

25 cc.complexity-theory  reference-request 

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

25 cc.complexity-theory  complexity-classes  padding 

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

25 cc.complexity-theory 

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

25 cc.complexity-theory  derandomization  conditional-results  randomized-algorithms 

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

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

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

25 cc.complexity-theory  np-hardness  sat  unique-solution 

এন (রাজ্য) সহ দুটি (সর্বনিম্ন) ডিএফএগুলির ছেদটি ও (এন 2 ) সময় এবং স্পেস ব্যবহার করে গণনা করা যেতে পারে । এটি সাধারণভাবে সর্বোত্তম, যেহেতু ফলস্বরূপ (সর্বনিম্ন) ডিএফএর এন 2 রাজ্য থাকতে পারে । তবে, যদি ফলস্বরূপ সর্বনিম্ন ডিএফএ-এর জেড স্টেট থাকে, যেখানে z = O (n) থাকে তবে এটি …

25 automata-theory  dfa 

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

25 cc.complexity-theory  reference-request  big-list 

আমি আমার জিপিএস নিয়ে খেলতে আজ নীচের সমস্যাটি তৈরি করেছি। এটা এখানে : যাক হতে একটি নির্দেশ গ্রাফ যেমন যে যদি তারপর , অর্থাত্,G(V,E)G(V,E)G(V,E)( v , u ) ∉ E Ge=(u,v)∈Ee=(u,v)∈Ee=(u,v) \in E(v,u)∉E(v,u)∉E(v,u) \notin EGGG অন্তর্নিহিত undirected গ্রাফ একজন স্থিতিবিন্যাস হয়। নিম্নলিখিত অপারেশনগুলি বিবেচনা করুন: : একটি প্রান্ত ( ইউ …

25 ds.algorithms  graph-algorithms 

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

25 lo.logic  semantics 

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

24 soft-question  graph-isomorphism  paper-review  ppad 

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

24 reference-request  co.combinatorics  decidability  undecidability 

আমি আগদা এবং কোকের মধ্যে এমন একটি বিভ্রান্তিমূলক মতবিরোধ পোঁছিয়েছি যা স্পষ্টতই তাদের ধরণের তত্ত্বগুলির (যেমন, (ইম) প্রেডিকটিভিটি, ইনডাকশন-পুনর্বারণ ইত্যাদি) মধ্যে সর্বাধিক পরিচিত পার্থক্যের সাথে সম্পর্কিত নয়। বিশেষত, নিম্নলিখিত সংজ্ঞাটি আগদা গ্রহণ করেছেন: data Ty : Set0 -> Set0 where c1 : Ty ℕ c2 : Ty (Ty ℕ) যদিও …

24 type-theory  coq 

টিসিএস-এর জন্য অ্যাবিসি অনুমানের একটি প্রমাণ কী জড়িত হতে পারে? http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/

24 big-picture  nt.number-theory 

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

24 lo.logic  soft-question  pl.programming-languages  linear-logic