Запитання з тегом «big-picture»

Це повідомлення, відокремлене від наслідків 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 

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

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

Добре відомо, що проблема NP-Complete, яка називається Subset Sum, має FPTAS. Мені було цікаво, чи існує проблема PSPACE Complete, яка також має FPTAS? Заздалегідь спасибі.

9 ds.algorithms  space-bounded  big-picture 

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

9 quantum-computing  big-picture