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

ব্লামের নিম্ন সীমাটি একটি সুস্পষ্ট ফাংশনটির সম্পূর্ণ ভিত্তিতে সর্বাধিক পরিচিত সার্কিট নিম্ন সীমানা f : { 0 , 1 } n → { 0 ,3n−o(n)3n−o(n)3n-o(n)f:{0,1}n→{0,1}f:{0,1}n→{0,1}f : \{0,1\}^n \to \{0,1\} , cf. সম্পর্কিত ফলাফলের জন্য এই প্রশ্নের জুকনার উত্তর । সব থেকে বহুল পরিচিত নিম্ন সীমা কি কি যদি পরিসীমা হয় …

17 circuit-complexity  lower-bounds 

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

17 cc.complexity-theory  graph-theory 

জোশ গ্রাচোর পরামর্শ অনুসরণ করে, আমি পূর্ববর্তী প্রশ্ন থেকে আমার মন্তব্যকে একটি নতুন প্রশ্নে রূপান্তর করছি । জন্য আমাদের কী প্রমাণ রয়েছে ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} এখানে UPUP\mathsf{UP} হ'ল বহু-কালীন সময়-অ-সংজ্ঞা-বিহীন টিউরিং মেশিনগুলির দ্বারা স্বীকৃত ভাষাগুলির শ্রেণি যা "হ্যাঁ" উদাহরণগুলিতে অনন্য গ্রহণযোগ্য পথ এবং "না" উদাহরণগুলিতে কোনও গ্রহণযোগ্য পথ নেই। স্পষ্টতই …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

ইলিয়া বারান, এরিক ডি ডামাইন, মিহাই পাত্রাসু রচিত "সাবউক্যাড্রিক অ্যালগোরিদম ফর 3 এসএমএম" পত্রিকার জন্য নিম্নলিখিত জটিলতা রয়েছে 3SUM সমস্যা: একটি তালিকা দেয়া LLL এর nnn পূর্ণসংখ্যার যদি আছে x,y,z∈Lx,y,z∈Lx,y,z \in L যেমন যে x+y=z.x+y=z.x+y=z. w−w−w-একটি সি 0 হে ( ঢ 2 / W 2 লগ W ) হে ( …

17 cc.complexity-theory  ds.algorithms 

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

17 cc.complexity-theory  graph-isomorphism 

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

17 big-picture 

ধরুন আমি বিপিপির নিম্নলিখিত রূপগুলি বিবেচনা করি, যা আমাদের ই (এক্স্যাক্ট) বিপিপি বলে: একটি ভাষা ইবিপিপিতে থাকে যদি একটি বহুবর্ষের সময় র্যান্ডমাইজড টিজি থাকে যা ভাষার প্রতিটি শব্দকে ঠিক 3/4 সম্ভাব্যতার সাথে গ্রহণ করে এবং প্রতিটি শব্দই এতে না থাকে ঠিক 1/4 সম্ভাবনা সহ ভাষা। স্পষ্টতই ইবিপিপি বিপিপিতে রয়েছে তবে …

17 cc.complexity-theory  complexity-classes  randomized-algorithms 

সাহিত্যে নিম্নলিখিত গ্রাফ শ্রেণিটি পরিচিত? গ্রাফ বর্গ ধনাত্মক পূর্ণসংখ্যা দ্বারা স্থিতিমাপ হয় এবং এবং প্রতিটি গ্রাফ রয়েছে এমন প্রতিটি প্রান্তবিন্দু জন্য , এর subgraph সর্বাধিক দূরে সব ছেদচিহ্ন উপর প্রবর্তিত থেকে মধ্যে সর্বাধিক ।dddG = ( V , E ) v ∈ V G d v G ttttG=(V,E)G=(V,E)G=(V,E)v∈Vv∈Vv\in VGGGdddvvvGGGttt এটি …

17 reference-request  graph-theory  treewidth 

নিম্নলিখিত সমস্যাটিQQQ বিবেচনা করুন প্রশ্ন : আমাদের 1 ≤ l i ≤ r i ≤ 2 n এর সাথে একটি পূর্ণসংখ্যা , এবং কে অন্তর [ l i , r i ] দেওয়া হবে । আমাদের 2 এন পূর্ণসংখ্যার ডি 1 , … , ডি 2 এন ≥ 0 দেওয়া …

17 cc.complexity-theory  np-hardness 

কোয়ান্টাম কম্পিউটারগুলি করতে পারে এমন একটি জিনিস (সম্ভবত এমনকি বিপিপি + লগ-গভীরতার কোয়ান্টাম সার্কিট সহ) বুলিয়ানটির ফুরিয়ার রূপান্তর আনুমানিক-নমুনা করা পি মধ্যে -valued ফাংশন±1±1\pm 1 এখানে এবং নীচে যখন আমি ফুরিয়ার ট্রান্সফর্মের নমুনা নেওয়ার কথা বলি তখন । (প্রয়োজনে প্রায় এবং প্রায় সাধারণ হয়)।|f^(x)|2|f^(x)|2|\hat f(x)|^2 আমরা কি জটিলতার ক্লাসটি বর্ণনা …

17 cc.complexity-theory  quantum-computing  pr.probability  randomized-algorithms  sample-complexity 

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

17 lo.logic  type-theory  ct.category-theory 

সাম্প্রতিককালে, আমি নিম্নলিখিত ধরণের রঙের মুখোমুখি হয়েছি। কোনো সংযুক্ত undirected গ্রাফ দেওয়া, প্রান্ত রং সর্বোচ্চ সংখ্যক ব্যবহার করে পাশাপাশি বাধ্যতা পরিতৃপ্ত একটি রং যে, যে প্রান্তবিন্দু জন্য , এর প্রান্ত ঘটনা বনাম সবচেয়ে দুটি রং এ ব্যবহারের।vvvvবনামv আমার প্রথম অনুমানটি হ'ল সমস্যাটি এনপি-হার্ড। গ্রাফের রঙিন সমস্যার জন্য ক্লাসিকাল এনপি-হার্ড প্রমাণগুলি …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

মুদ্রণে জটিলতার তত্ত্বের প্রাসঙ্গিকতার জন্য অর্থনীতিবিদদের বোঝানোর চেষ্টা করার সময়, উদ্ধৃত করার কোনও মানক রেফারেন্স কি আছে? আমি পরিচিত নই নোয়াম নিশান এর ব্লগ পোস্টে , টিম Roughgarden জরিপ , এবং অধ্যায় 11 স্কট Aaronson এর প্রবন্ধ । এই পোস্টগুলি কম্পিউটার বিজ্ঞানীদের জন্য অ্যাক্সেসযোগ্য, তবে অর্থনীতিবিদদের ভাষা ব্যবহার করবেন না …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

আমি দক্ষ অ্যালগরিদমগুলির প্রাকৃতিক উদাহরণগুলি খুঁজছি (অর্থাত্ বহুপক্ষীয় সময়ে) স্ট্যান্ড তাদের সঠিকতা এবং দক্ষতা গঠনমূলকভাবে প্রমাণিত হতে পারে (যেমন বা ), তবেPRAPRAPRAHAHAHA কেবল দক্ষ ধারণা ব্যবহার করে কোনও প্রমাণ জানা যায় না (যেমন আমরা বা কীভাবে তাদের সঠিকতা এবং দক্ষতা প্রমাণ করতে পারি তা জানি না )।TV0TV0TV^0S12S21S^1_2 আমি নিজেই কৃত্রিম …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

যে কোনও মোনাড হ'ল একটি আবেদনকারী ফান্টেক্টর এবং কোনও প্রয়োগকারী ফান্টেক্টর একটি ফান্টেক্টর। এছাড়াও, যে কোনও কমোনাদ হ'ল ফান্টেক্টর। কমোনাদ এবং ফান্টেক্টরগুলির মধ্যে কি একই রকম ধারণা রয়েছে, সহ-প্রয়োগকারী ফান্টারের মতো কিছু এবং এর বৈশিষ্ট্যগুলি কী কী? \begin{array}{c} \end{array} Functors↑Applicative functors↑MonadsFunctors↑???↑ComonadsFunctorsFunctors↑↑Applicative functors???↑↑MonadsComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & …

17 ct.category-theory  monad  applicative  comonad