Теоретична інформатика

Як ви всі знаєте, з фінансової кризи 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 

Чи існують перестановки та поліноміальний розмір (у ) контекстна вільна граматика, яка описує кінцеву мову над алфавітом ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} ОНОВЛЕННЯ: Для однієї перестановки можливо. - обернення або відносно незначна модифікація реверсу.ππ\piππ\pi

9 fl.formal-languages  grammars  context-free 

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

недавно Крейг Джентрі опублікував першу схему шифрування відкритого ключа (над просторовим простором {0,1}), яка є повністю гомоморфною, це означає, що можна ефективно та компактно оцінювати AND і XOR на зашифрованих простих текстах без знання секретного ключа розшифровки. Мені цікаво, чи є якийсь очевидний спосіб перетворити цю криптосистему з відкритим ключем …

9 cr.crypto-security  circuit-complexity  homomorphic-encryption 

Добре відомими прикладами обчислень, натхнених природним явищем, є квантові комп'ютери та ДНК-комп’ютери. Що відомо про потенціал та / або обмеження обчислень із законами Максвелла чи гравітацією? Тобто, включити "швидкі" рішення природи в рівняння Максвелла або проблему n-тіла безпосередньо в алгоритм загального призначення?

9 computability  machine-models  physics  natural-computing 

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

9 computability  fl.formal-languages  automata-theory 

Я маю на увазі тут питання: потужні алгоритми занадто складні для реалізації . Якщо алгоритм є потужним, але занадто складним для його здійснення, як ви можете бути впевнені, що алгоритм правильний? Без реалізації ви не зможете протестувати алгоритм у реальному сценарії, і такий складний алгоритм може містити помилки, які можуть …

9 ds.algorithms  implementation 

Я хотів би знати, куди я можу звернутися для гарного, лагідного вступу до k-SAT (це може бути для математиків, які можуть не мати гарного досвіду інформатики). Я також хотів би знати статті, які, можливо, обстежують або пояснюють сучасні методи, що використовуються для вирішення k-SAT. Нарешті, мене цікавлять найвідоміші методи вирішення …

9 reference-request  sat  survey 

Мені важко було знайти алгоритм чи опублікував документи про триангуляцію багатокутника, що перетинається (також багатокутник із структурою отворів). Чи може хто-небудь із мене керувати, щоб знайти опублікований папір / алгоритм, будь ласка? PS: хтось належним чином позначить це питання, будь ласка, у мене недостатньо репутаційних балів, щоб це зробити.

9 ds.algorithms  reference-request  cg.comp-geom 

Для проекту, над яким я працюю, я повинен генерувати випадкові простягаються дерева з обмеженою висотою. В основному я роблю наступне: 1) Створіть дерево, що перекидається, 2) Перевірте можливість, якщо можливо, збережіть його. 1) Починаючи з дерева, що має мінімальний розмір (Прима або Крускала), я додаю неіснуючий край, і це створює …

9 ds.algorithms  graph-algorithms  random-walks 

мені цікаво, чи є якісь підходи, що формулюють проблему маршрутизації транспортного засобу з Time-Windows ( VRPTW ) (як проблему рішення) як екземпляр SAT / SMT? (альтернатива: TSP) Наприклад: "Чи є дійсне рішення, яке відвідує всіх клієнтів протягом своїх вікон із n = 10 транспортними засобами?" Ця проблема рішення може бути …

9 ds.algorithms  reference-request  sat  reductions  tsp 

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

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

Як продовження мого попереднього питання , яке вирішив Сісен-Чі Чанг, ось ще одна спроба знайти відповідне узагальнення теореми Рамзі. (Попереднє запитання не потрібно читати; ця публікація є самодостатньою.) Параметри: задаються цілі числа , і тоді вибирається досить великим. Термінологія: підмножина - це підмножина розміром .1≪d≪k≪n1≪d≪k≪n1 \ll d \ll k \ll …

9 reference-request  co.combinatorics  ramsey-theory 

Коротше кажучи: якщо припустити, що односторонні перестановки існують, чи можемо ми побудувати ту, яка не має трапа? Більше інформації: Одностороння перестановка - це перестановка ππ\piякий легко обчислити, але важко інвертувати (див. офіційне визначення тегів з односторонньою функцією ). Ми зазвичай вважаємо сім'ї односторонньої перестановки,π={πn}n∈Nπ={πn}n∈N\pi = \{\pi_n\}_{n \in \mathbb{N}}, де кожен …

9 cr.crypto-security  one-way-function