Чи відомий якийсь клас складності, що містить онлайн-аналоги проблем оптимізації?

Чи відомий якийсь клас складності, що містить онлайн-аналоги проблем оптимізації? Якщо ні, то як можна визначити такий клас?

Ми знаємо, що багато проблем мають свою Інтернет-версію: наприклад, онлайн-версія проблеми з упаковкою у сміттєві контейнери. Проблеми в Інтернеті складніші, ніж вимірювати їх коефіцієнт конкурентоспроможності.

І я не знайшов нічого подібного в зоопарку складності .

По суті, ми могли б сказати, що в Інтернеті немає жодних проблем в Інтернеті, а лише онлайн-алгоритми. Однак, якщо є проблеми в Інтернеті, чому не може бути класу складності, що містить їх?

cc.complexity-theory complexity-classes

— Олександр Бондаренко
джерело

Чи пов’язано це з потоковими ( cstheory.stackexchange.com/search?q=stream ) алгоритмами?

— MS Dousti

Онлайн-алгоритми не є такими ж, як алгоритми потоку: в потоці обмежуючим фактором є простір потокової машини (тому вона має лише короткочасну пам'ять). В онлайн-алгоритмах обмежуючим фактором є недостатнє знання того, що відбувається (тому у нього надзвичайна короткозорість)

— Суреш Венкат,

@ Суреш: О, бачу. Дякуємо за роз’яснення.

— MS Dousti

Відповіді:

Одним із складних аспектів визначення класів складності для проблем в Інтернеті є те, що в принципі немає обмежень у тому, які види обчислень я можу робити, прочитавши дані. Іншими словами, проблеми в Інтернеті є важкими, навіть якщо я маю (наприклад) NP-оракул, який обробляє вхід, як тільки він надходить.

Можливо, що з більш обмеженим процесором навіть простіші завдання прогнозування стають складнішими, але загалом складність проектування алгоритмів в Інтернеті пов'язана зі здатністю супротивника змінювати дані після побудови моделі прогнозування.

— Суреш Венкат
джерело

Як жоден ліміт на кількість обчислень не впливає на жорсткість проблем в Інтернеті: чи можете ви, будь ласка, пояснити це?

— Олександр Бондаренко

K

$K$

Оскільки обмежений ресурс (крім класичного часу та простору) для онлайн-алгоритмів - це інформація про повний екземпляр певної проблеми, якщо ми могли б чітко визначити поняття інформації для цієї мети, то чи можна було б говорити про складність заняття з проблем в Інтернеті?

— Олександр Бондаренко

ви можете. Я не знаю, чи це було зроблено. Я припускаю, що ви перевірили книгу Бородіна / Ель-Янів?

— Суреш Венкат

Я переглянув книгу Бородіна / Ель-Янів, але не знайшов жодної формалізації поняття інформації. Однак є цікаві статті про складність порад ( scholar.google.com/… ).

— Олександр Бондаренко

Нещодавно я прочитав статтю "Ігри проти природи" (Papadimitriou, 1985) (ось посилання: http://www.sciencedirect.com/science/article/pii/0022000085900455 ). Зокрема, цей документ доводить, що стохастична задоволеність (SSAT) є повною PSPACE. Я думаю, що SSAT - це проблема в Інтернеті? Таким чином, цей документ дещо пов'язаний з вашим питанням?

Мені також дуже цікаві питання складності проблем в Інтернеті. Ми можемо обговорити!

— Stupid_Guy
джерело