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

Проблема зупинки зазначає, що неможливо написати програму, яка може визначити, чи припиняється інша програма, для всіх можливих програм введення . Однак я, безумовно, можу написати програму, яка може обчислити час роботи програми на зразок: for(i=0; i<N; i++) { x = 1; } і повернути часову складність , не запускаючи її …

23 computability  time-complexity  formal-methods  se.software-engineering 

Розглянемо опукле тіло орієнтоване за початком і симетричне (тобто, якщо то ). Я хочу знайти інше опукло тіло таким, що і наступний захід мінімізовано:x ∈ K - x ∈ K L K ⊆ LKKKx∈Kx∈Kx\in K−x∈K−x∈K-x\in KLLLK⊆LK⊆LK\subseteq L xf(L)=E(xT⋅x−−−−−√)f(L)=E(xT⋅x)f(L)=\mathbb{E}(\sqrt{x^T \cdot x}) , де - точка, вибрана рівномірно з L.xxx Я в …

23 cg.comp-geom  approximation  convex-geometry 

Припустимо, ми кидаємо кульок у бункерів, де . Нехай - кількість кульок, що закінчуються в bin , - найважча бункер, X_ \ min - найлегший бункер, а X _ {\ mathrm {sec-max}} - другий найважчий бін. Грубо кажучи, X_i - X_j \ sim N (0,2m / n) , і тому …

23 reference-request  pr.probability 

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

23 pl.programming-languages  type-theory 

Практично, для мови, яка в кінцевому підсумку може бути складена / перетворена в інструкції на системному рівні, чи потрібно, щоб це була граматика без контексту? напр .: Чи всі мови програмування / сценаріїв є вільними граматиками? Java заснована на CFG, але чи справді так, що всі мови програмування базуються на …

23 pl.programming-languages  context-free 

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

23 soft-question  big-list  paper-review 

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

23 cr.crypto-security  dc.distributed-comp  st.statistics  privacy 

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

23 quantum-computing  cg.comp-geom  optimization 

Напевно, найпоширенішим застосуванням лінійних типів у PL є використання їх для надання мов, які керують псевдонімом (тобто лінійне значення має на нього один вказівник, більш-менш). Але між цим використанням та типовими денотаційними моделями лінійної логіки є невелика невідповідність. IIRC, Бентон показав, що якщо декартова закрита категорія має сильну комутативну монаду, …

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

Мене цікавить проблема упаковки однакових копій (2-х мірних) прямокутників у опуклий (двовимірний) багатокутник без перекриттів. У моїй проблемі вам заборонено обертати прямокутники, і ви можете вважати, що вони орієнтовані паралельно осям. Ви щойно давали розміри прямокутника та вершини багатокутника і запитували, скільки однакових копій прямокутника можна упакувати в багатокутник. Якщо …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

Хто-небудь може запропонувати хороше та недавнє опитування щодо підрахунку проблем та / або проблем, які є #P.

23 cc.complexity-theory  reference-request  counting-complexity 

Ширина дерева вимірює наближеність графіка до дерева. Обчислити ширину дерева NP важко. Найвідоміший алгоритм наближення досягає коефіцієнта .O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Теорема Курсерлла стверджує, що будь-яка властивість графіків, визначена в монадійній логіці другого порядку (MSO2), може визначатися в лінійному часі на будь-якому класі графіків обмеженої ширини дерева . Нещодавній документ показав, що теорема …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

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

23 soft-question  research-practice  writing 

Де я можу знайти графіки, що стосуються проблем із реального життя? Я знаю два сховища: Колекція розріджених матриць Університету Флориди TreewidthLib Бодлендера

23 graph-theory  big-list  co.combinatorics  data-sets 

У опитуванні «Малі глибинні квантові схеми» Д. Бера, Ф. Гріна та С. Гомера (стор. 36 Новин ACM SIGACT, червень 2007, т. 38, № 2) я прочитав таке речення: Класична версія (в якій ворота A N D і O R мають максимум постійну вентиляцію) виявляється слабкіше, ніж A C 0 .QAC0QАС0QAC^0ANDАNDANDORОRORAC0АС0AC^0 …

23 cc.complexity-theory  circuit-complexity