প্রশ্ন ট্যাগ «cc.complexity-theory»

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

14 cc.complexity-theory  reference-request  algebraic-complexity  arithmetic-circuits 

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

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

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

14 cc.complexity-theory  reference-request  graph-algorithms  machine-learning  st.statistics 

যেমনটি সবাই জানে, আর্টের বহুপক্ষীয় সময়ে বহু-একক হ্রাসের জন্য স্যাট সম্পূর্ণ । এটি এখনও সম্পূর্ণNPNP\mathsf{NP} বহু-এক হ্রাস।AC0AC0\mathsf{AC^0} আমার প্রশ্নগুলি হ্রাস জন্য নূন্যতম প্রয়োজনীয় গভীরতা কি? আরও আনুষ্ঠানিকভাবে, অন্তত কি যেমন যে স্যাট হয় -hard wrt অনেকগুলি এক কমানোর?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} এটা আমার কাছে মনে হচ্ছে যে যথেষ্ট হবে? কেউ কি রেফারেন্স জানেন?AC02AC20\mathsf{AC^0_2}

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

আমি অরোরা এবং বারাকের কম্পিউটেশনাল জটিলতার বইতে এনইএসপি-র জন্য দুদকের নিম্ন সীমা সম্পর্কে পরিশিষ্ট পড়ছি । http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf মূল লেমমাসের মধ্যে একটি হ'ল সার্কিট থেকে বহুগুণ বহুত্বরেখায় বহুগুণে বহুগুণে রূপান্তরিত হয় যা বহুগাণিতিক ডিগ্রি এবং কোয়াশিপলিনোমিয়াল কো-কোফিয়েন্টিয়াস সহ, বা সমানভাবে, সার্কিট ক্লাস which, যা কোয়েসিপলিনোমিয়ালি বহু এবং গেটের নীচের স্তরে পলিয়েগারিদমিক …

14 cc.complexity-theory  co.combinatorics  complexity-classes  circuit-complexity  boolean-functions 

থিম: ধরে নেওয়া যাক ETA-সমানতা আমরা যে আছে (\x -> ⊥) = ⊥ :: A -> B। প্রুফ: ⊥ = (\x -> ⊥ x)এটা-সমতা এবং (\x -> ⊥ x) = (\x -> ⊥)ল্যাম্বদার নীচে হ্রাস দ্বারা। হাস্কেল 2010 রিপোর্ট, বিভাগ 6.2 seqদুটি সমীকরণ দ্বারা ফাংশন নির্দিষ্ট করে : seq :: …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

আমি ইন্টারনেটে সন্ধান করেছি, তবে স্যাট সমস্যার বৈকল্পিকগুলির কোনও 'বিগ-লিস্ট' খুঁজে পেলাম না। (সাধারণ) ব্যতীত স্যাট, K-স্যাট, MAX টি-kSAT, হাফ-স্যাট, XOR যাও-স্যাট, Nae-স্যাট আর কি রূপ আছে? (এছাড়াও জটিলতার ক্লাস দেওয়া হলে (যেখানে সম্ভব হবে) এটি সত্যই কার্যকর হবে)

14 cc.complexity-theory  sat  big-list 

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

14 cc.complexity-theory  complexity-classes 

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

14 cc.complexity-theory  np-hardness  complexity-classes  terminology 

ম্যাথওভারফ্লো সম্পর্কে আমার একটি প্রশ্নের মন্তব্য থেকে আমি অনুভব করি যে জিসিডি বনাম পি- তে থাকা প্রশ্নটি পি ভার্সেস এন পি-তে ইন্টিজার ফ্যাক্টরাইজেশন সম্পর্কিত প্রশ্নের অনুরূপ ।এন সিএনসি\mathsf{NC}পিপি\mathsf{P}পিপি\mathsf{P}এন পিএনপি\mathsf{NP} ইন্টিজার ফ্যাক্টোরাইজেশনের জন্য কোয়ান্টাম পলিনোমিয়াল টাইম ( বি কিউ পি ) অ্যালগরিদম থাকায় জিসিডির জন্য কি "কোয়ান্টাম " অ্যালগরিদমের মতো কিছু …

14 cc.complexity-theory  quantum-computing  dc.parallel-comp  nt.number-theory  comp-number-theory 

ইনপুট হিসেবে দেওয়া একটি পূর্ণসংখ্যা এবং একটি সেট এস উপাদানের সেট { 1 , । । । , n } , { 1 , এর উপাদানগুলির একটি সেট টি খুঁজে বের করার জটিলতা কী । । । , n } যেমন টি এর ন্যূনতম কার্ডিনালিটি রয়েছে এবং টি এস এর …

14 cc.complexity-theory  ds.algorithms 

জটিল অনুসন্ধান ক্লাসটি কীভাবে সম্পূর্ণ অনুসন্ধান অ্যালগরিদমের সাথে যুক্ত? (যদি একটি থাকে) এটি এনপি বা পিএসপিএসি? লোভী এবং গতিশীল প্রোগ্রামিংয়ের মডেলগুলির অনুরূপ নিখুঁত অনুসন্ধান অ্যালগরিদমগুলির ক্লাস ক্যাপচারের গণনার মডেলগুলি কি সীমাবদ্ধ রয়েছে?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

জিআই এবং নট সমস্যা উভয়ই গাণিতিক বস্তুর কাঠামোগত সমতা সিদ্ধান্ত নেওয়ার সমস্যা। তাদের মধ্যে সংযোগ স্থাপনের কোনও ফলাফল রয়েছে? পরিসংখ্যানগত পদার্থবিদ্যা গিঁট সমস্যার নিস সংযোগের মাধ্যমে অন্বেষণ করা হয়েছে গিঁট polynomials জন্য অনুরূপ ফলাফল নেই ?GIGIGI গিঁট সমস্যার দ্বারা অনুপ্রাণিত দিকে নজর দেওয়া শুরু করার আগে কোনও মানক ফলাফল / …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

ফলাফল 1: লিনিয়াল-মনসুর-নিসান উপপাদ্য বলেছেন যে সার্কিটগুলির দ্বারা গণনা করা ফাংশনের ফুরিয়ার ওজন উচ্চ সম্ভাবনার সাথে ছোট আকারের সাবসেটগুলিতে কেন্দ্রীভূত হয়।AC0AC0\mathsf{AC}^0 ফলাফল 2: এর ফুরিয়ার ওজন ডিগ্রি এন এর সহ-দক্ষতার উপর কেন্দ্রীভূত হয়েছে ।PARITYPARITY\mathsf{PARITY}nnn প্রশ্ন: প্রমাণ করার কোন উপায় আছে (যদি প্রমাণযোগ্য হয়) ফলাফল 1 এবং 2 এর মাধ্যমে / …

14 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

আমার প্রথম প্রশ্নটি হল একটি ইন্টারেক্টিভ প্রুফ সিস্টেমের বৈশিষ্ট্যটি সমস্ত ক্লাসিক জটিলতার ক্লাসগুলির জন্য পরিচিত। আমি পি, এনপি, পিএসপিএসি, এক্সপি, এনএক্সপি, এক্সপ্যাসকে, পুনরাবৃত্ত এবং পুনরাবৃত্ত গণনার ফাংশন ক্লাসিক (অন্যদের মধ্যে) বলব call বিশেষতঃ একটি ইন্টারেক্টিভ প্রুফ সিস্টেমের বৈশিষ্ট্যটি কি পুনরাবৃত্ত এবং পুনরাবৃত্তভাবে গণনার পক্ষে কার্যকর হয়? আমি কেবল সেই আইপি …

14 cc.complexity-theory  big-picture  interactive-proofs