Optimizasyon problemlerinin çevrimiçi muadillerini içeren herhangi bir karmaşıklık sınıfı var mı?

Optimizasyon problemlerinin çevrimiçi muadillerini içeren herhangi bir karmaşıklık sınıfı var mı? Değilse, böyle bir sınıf nasıl tanımlanabilir?

Birçok sorunun kendi çevrimiçi sürümüne sahip olduğunu biliyoruz: örneğin, bin paketleme sorununun çevrimiçi sürümü. Çevrimiçi problemler, rekabetçi oranlarıyla ölçüldüğünde daha zordur.

Ve karmaşıklık hayvanat bahçesinde benzer bir şey bulamadım .

Esasen, çevrimiçi sorun olmadığını, ancak çevrimdışı sorunlar için sadece çevrimiçi algoritmalar olduğunu söyleyebiliriz. Ancak, çevrimiçi sorunlar varsa, neden bunları içeren karmaşıklık sınıfı olamaz?

cc.complexity-theory complexity-classes

— Oleksandr Bondarenko
kaynak

Bu, akış ( cstheory.stackexchange.com/search?q=stream ) algoritmalarıyla mı ilgili ?

— MS Dousti

Çevrimiçi algoritmalar akış algoritmalarıyla aynı değildir: akışta sınırlayıcı faktör akış makinesinin alanıdır (bu yüzden sadece kısa süreli belleğe sahiptir). Çevrimiçi algoritmalarda, sınırlayıcı faktör, ne olduğuna dair bilgi eksikliğidir (bu nedenle aşırı miyopiye sahiptir)

— Suresh Venkat

@Suresh: Oh, anlıyorum. Açıklama için teşekkürler.

— MS Dousti

Yanıtlar:

Çevrimiçi problemler için karmaşıklık sınıfları tanımlamanın zor bir yönü, prensip olarak girdiyi okuduğumda ne tür hesaplamalar yapabileceğim konusunda bir sınır olmamasıdır. Başka bir deyişle, girdi geldiğinde girdiyi işleyen bir NP kâhin olsa bile çevrimiçi sorunlar zordur.

Daha sınırlı bir işlemci ile, daha basit tahmin görevlerinin gerçekleştirilmesi daha zor hale gelir, ancak genel olarak çevrimiçi algoritmalar tasarlamanın zorluğu, bir tahmin modeli oluşturduktan sonra düşmanın girişi değiştirme yeteneğinden kaynaklanır.

— Suresh Venkat
kaynak

Hesaplama türlerinde herhangi bir sınırlama nasıl çevrimiçi problemlerin sertliğini etkilemez: lütfen bunu açıklayabilir misiniz?

— Oleksandr Bondarenko

K

$K$

Çevrimiçi algoritmalar için sınırlı kaynak (klasik zaman ve mekana ek olarak) belirli bir sorunun tam örneği hakkında bilgi olduğundan, bu amaç için bilgi kavramını titiz bir şekilde tanımlayabilirsek, karmaşıklık hakkında konuşabilir miyiz? çevrimiçi problemler için dersler?

— Oleksandr Bondarenko

yapabilirdin. Bunun yapılıp yapılmadığının farkında değilim. Sanırım Borodin / El-Yaniv kitabını kontrol ettin mi?

— Suresh Venkat

Borodin / El-Yaniv kitabını inceledim, ancak bilgi kavramının resmileştirilmesini bulamadım. Ancak, tavsiye karmaşıklığıyla ilgili ilginç makaleler vardır ( scholar.google.com/… ).

— Oleksandr Bondarenko

Son zamanlarda "Doğaya karşı oyunlar" makalesini okudum (Papadimitriou, 1985) (işte link: http://www.sciencedirect.com/science/article/pii/0022000085900455 ). Özellikle, bu çalışma Stokastik Memnuniyetin (SSAT) PSPACE-complete olduğunu kanıtlamaktadır. Sanırım SSAT çevrimiçi bir sorun mu? Peki bu yazı sizin sorunuzla biraz ilgili mi?

Ayrıca çevrimiçi sorunlar için karmaşıklık sorunları ile de ilgileniyorum. Tartışabiliriz!

— Aptal adam
kaynak