Класична модель Марковиця - це проблема квадратичного програмування. Я зовсім не впевнений у стані сучасних досліджень, але один документ, який може стати відправною точкою, знаходиться тут: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.9504
До речі, існує стаття, яка проводить виїзди з відповідних питань: "Комп'ютерна складність та інформаційна асиметрія у фінансових продуктах" Сандєєва Арора, Боаза Барака, Маркуса Бруннермейєрі та Ронга Ге. Останній опублікував його разом із додатковими коментарями тут: http://www.cs.princeton.edu/~rongge/derivativeFAQ.html
Я схильний вважати, що результати представляють теоретичний інтерес, але не пояснюю нічого, що насправді сталося.
Я підозрюю, що складність не є головним бар'єром у більшості моделей (як правило, все складне в будь-якому разі перетворюється на монт-карло, і загалом справи швидко ускладнюються - так, так, це відкриває шлях до певних зловмисних атак, але зловмисності в Фінансовий світ може набагато легше бути набагато більш грубим, загальним та простим) настільки ж, як і багато інших, загальновідомих критик цих моделей (іноді з точки зору теорії інформації), які не дуже підходять для цього форуму.