Вопросы с тегом «cc.complexity-theory»

Как вы все знаете, из-за финансового кризиса 2008 года продолжаются последствия. Я думал о том, как теория сложности вписывается во все это, когда я понял, что не знаю базовых классов сложности, связанных с финансовой экономикой. Поэтому мой вопрос заключается в том, какова классификация сложности (если есть) теории портфеля Марковица в …

9 cc.complexity-theory  gt.game-theory  ce.computational-finance 

В сложности дерева решений для булевой функции очень хорошо известный метод нижней границы состоит в том, чтобы найти (приблизительный) многочлен, который представляет функцию. Патури дал характеристику для симметричных булевых (частичных и полных) функций в терминах величины, обозначаемой :ΓΓ\Gamma Теорема ( Патури ): Пустьееf быть любой непостоянной симметричной функцией, и обозначить …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

Определите, что вычислительная модель MPostBQP идентична PostBQP, за исключением того, что мы разрешаем полиномиально много измерений в кубитах перед последующим выбором и окончательным измерением. Можем ли мы привести какие-либо доказательства того, что MPostBQP более мощный, чем PostBQP? Определите MPostBQP [k], чтобы разрешить многократные измерения и последующий выбор, прежде чем мы …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

Этот пост отделен от Последствия UP равно NP , а также является дополнительным вопросом к классам семантической и синтаксической сложности . В вышеприведенном посте мы узнали о семантических и синтаксических классах. Вкратце, если класс можно охарактеризовать как листовой класс языка , то класс является синтаксическим, если , то есть принятие …

9 cc.complexity-theory  complexity-classes  big-picture 

Позволять ВVV быть набором DDDпрямоугольные формы. Заd∈ { 1 , . , , , D }d∈{1,...,D}d \in \{1,...,D\} а также v ∈ Vv∈Vv \in V, wd(v)∈Q+wd(v)∈Q+w_d(v) \in \mathbb{Q}^{+} описывает длину vvv в измерении ddd, То же обозначение используется для контейнераCCC, DDDзадача об ортогональной упаковке (OPP-DDD) решить, VVV помещается в контейнер …

9 cc.complexity-theory  reference-request  np-hardness  packing 

Является ли следующее решение задачи NP-завершенным: Пусть неориентированный граф и двумя целыми числами. Можно ли выбрать для каждой вершины ровно разных соседей, чтобы ни один узел не был выбран больше, чем раз.GGGb≤cb≤cb \le cGGGbbbccc Случай может быть решен для любого за полиномиальное время с использованием максимального соответствия.b=1b=1b = 1ccc Мотивация: …

9 cc.complexity-theory  np-hardness  graph-algorithms 

Теория сложности вычислений классифицирует проблемы в соответствии с их сложностью. Теория сложных систем обращается к системам, которые демонстрируют поведение, которое, очевидно, не вытекает из свойств отдельных частей системы. Примеры включают хаотические системы, сложные адаптивные системы или нелинейные системы. Есть ли формальный мост между этими полями? Что бы это ни стоило, …

9 cc.complexity-theory  soft-question  big-picture 

Умножение матриц с использованием обычной техники (ряд - столбец) занимает O (N3)O(n3)O(n^{3}) умножение и O (N3)O(n3)O(n^{3})дополнения. Однако при условии, что записи равного размера (количество битов в каждой записи обеих матриц умножается) размерамmm биты, операция сложения на самом деле происходит на O (N3n m ) = O (N4м )O(n3nm)=O(n4m)O(n^{3}nm) = O(n^{4}m) …

9 cc.complexity-theory  algebraic-complexity 

IP (2pfa) и AM (2pfa) - это классы языков, распознаваемые с ограниченной ошибкой в ​​частных и открытых версиях монет, соответственно, интерактивных систем доказательства с верификаторами, которые являются вероятностными конечными автоматами с двусторонней входной головкой. Известны ли какие-либо свойства замыкания этих классов?

9 cc.complexity-theory  interactive-proofs 

Существуют ли какие-либо известные результаты, показывающие, что существование (или несуществование) конечных графов с конкретными вычислимыми свойствами подразумевает определенные результаты сложности (такие как P = NP)? Вот один полностью гипотетический результат: если существует конечный граф с дистингушевыми ребрами A, B, C и D, такой, что все максимальные соответствия либо содержат все …

9 cc.complexity-theory