Запитання з тегом «cc.complexity-theory»

У складності дерева рішень булевої функції дуже відомим методом нижньої межі є пошук (приблизний) многочлен, який представляє функцію. Патурі дав характеристику для симетричних булевих (часткових і сумарних) функцій за величиною, що позначаєтьсяΓΓ\Gamma: Теорема ( Патурі ): Нехайfff бути будь-якою непостійною симетричною функцією і позначати fk=f(x)fk=f(x)f_k=f(x) коли |x|=k|x|=k|x|=k (тобто вага забивання …

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

Як ви всі знаєте, з фінансової кризи 2008 року триває випадання. Я думав про те, як теорія складності вписується у все це, коли я зрозумів, що не знаю основних класів складності, що стосуються фінансової економіки. Отже, моє запитання полягає в тому, яка класифікація складності (якщо така є) теорії портфоліо Марковиця …

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

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

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

Це повідомлення, відокремлене від наслідків UP, рівне NP , а також подальше запитання до класів Semantic vs. Syntactic Complexity . У наведеному дописі ми дізналися про семантичні та синтаксичні класи. Коротко сказано, коли клас можна охарактеризувати як клас листової мови L[L1|L2]L[L1|L2]\mathsf{L}[L_1|L_2], то клас є синтаксичним, якщо L1∪L2=Σ∗L1∪L2=Σ∗L_1 \cup L_2 = …

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

Нехай - сукупність -вимірних прямокутних фігур. Для і , описує довжину у розмірі . Ж позначення використовується для контейнера . Проблема розмірної ортогональної упаковки (OPP- ) полягає у вирішенні питання, чи вписується в контейнер без перекриття. Формально кажучи, проблема полягає в тому, щоб з'ясувати, чи існує існує функція , така …

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

Чи не завершено наступне вирішення проблеми NP: Нехай - непрямий графік і два цілі числа. Чи можна вибрати для кожної вершини саме різних сусідів, щоб жоден вузол не був вибраний більше разів.ГГGb ≤ cб≤cb \le cГГGббbccc Випадок можна вирішити для будь-якогоb = 1б=1b = 1ccc в поліном час, використовуючи максимальну …

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

Теорія складності обчислень класифікує проблеми відповідно до притаманної їм складності. Теорія складної системи стосується систем, які виявляють поведінку, яка, очевидно, не виникає з властивостей окремих частин системи. Приклади включають хаотичні системи, складні адаптивні системи або нелінійні системи. Чи є офіційний міст між цими полями? Для чого це варто, поняття про …

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

Матричне множення, використовуючи звичайну техніку внутрішній добуток рядків - стовпців множення множинних доданків додавання . Однак якщо вважати записи однакового розміру (кількість бітів у кожному записі обох матриць, що множиться) розміром біт, операція додавання насправді відбувається на бітах .O (н3)O(n3)O(n^{3})O (н3)O(n3)O(n^{3})мmmO (н3n m ) = O (н4м )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