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

Вдохновленный обширными иерархиями, присутствующими в теории сложности, я подумал, существуют ли такие иерархии и для систем типов. Однако два примера, которые я обнаружил до сих пор, больше похожи на контрольные списки (с ортогональными функциями), а не на иерархии (с последовательно растущими и более выразительными системами типов). Два примера, которые я …

23 pl.programming-languages  type-theory 

Рассмотрим выпуклое тело KKK центром в начале координат и симметричное (т. Е. Если x∈Kx∈Kx\in K то −x∈K−x∈K-x\in K ). Я хочу найти другое выпуклое тело LLL такое, что K⊆LK⊆LK\subseteq L и следующая мера минимизируется: f(L)=E(xT⋅x−−−−−√)f(L)=E(xT⋅x)f(L)=\mathbb{E}(\sqrt{x^T \cdot x}), гдеxxx- точка, произвольно выбранная из L. Я в порядке с постоянным коэффициентом приближения …

23 cg.comp-geom  approximation  convex-geometry 

В настоящее время этот вопрос не очень подходит для нашего формата вопросов и ответов. Мы ожидаем, что ответы будут подтверждены фактами, ссылками или опытом, но этот вопрос, скорее всего, вызовет дебаты, споры, опрос или расширенное обсуждение. Если вы считаете, что этот вопрос можно улучшить и, возможно, вновь открыть, обратитесь за …

23 soft-question  big-list  paper-review 

Этот вопрос был перенесен из Cross Validated, потому что на него можно ответить на теоретической бирже информатики. Мигрировал 8 лет назад . У меня есть довольно уникальная проблема, которую я хочу решить, и я надеюсь, что кто-то здесь может дать мне некоторое представление о том, как лучше всего ее решить. …

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

Практически, для языка, который в конечном итоге может быть скомпилирован / преобразован в инструкции системного уровня, необходимо ли, чтобы это была контекстно-свободная грамматика? пример: все ли языки программирования / написания сценариев являются контекстно-свободными грамматиками? Java основана на CFG, но действительно ли это так, что все языки программирования основаны на CFG? …

23 pl.programming-languages  context-free 

В квантовых вычислениях нас часто интересуют случаи, когда группа специальных унитарных операторов G для некоторой d-мерной системы дает либо целую группу SU (d) в точности, либо даже просто приближение, обеспечиваемое плотным покрытием SU (d). Группа конечного порядка, такая как группа Клиффорда для d-мерной системы C (d), не даст плотного покрытия. …

23 quantum-computing 

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

23 soft-question  research-practice  writing 

Может кто-нибудь предложить хороший и недавний опрос по подсчету проблем и / или проблем, которые #P.

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

Квантовые компьютеры очень хороши для выборочных распределений, которые мы не знаем, как делать выборки с использованием классических компьютеров. Например, если 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-мерных) прямоугольников в выпуклый (2-мерный) многоугольник без перекрытий. В моей задаче вы не можете поворачивать прямоугольники и можете предполагать, что они ориентированы параллельно осям. Вам только что дали размеры прямоугольника и вершины многоугольника и спросили, сколько одинаковых копий прямоугольника может быть упаковано в многоугольник. …

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

mmmnnnm≫nm≫nm \gg nXiXiX_iiiiXmaxXmaxX_\maxXminXminX_\minXsec−maxXsec−maxX_{\mathrm{sec-max}}Xi−Xj∼N(0,2m/n)Xi−Xj∼N(0,2m/n)X_i - X_j \sim N(0,2m/n)|Xi−Xj|=Θ(m/n−−−−√)|Xi−Xj|=Θ(m/n)|X_i - X_j| = \Theta(\sqrt{m/n}) i,ji,ji,jXmax−Xmin=O(mlogn/n−−−−−−−−√)Xmax−Xmin=O(mlog⁡n/n)X_{\max} - X_{\min} = O(\sqrt{m\log n/n})n/2n/2n/2 пары непересекающихся корзин. Этот (не совсем формальный) аргумент заставляет нас ожидать, что разрыв между и является с высокой вероятностью.XmaxXmaxX_{\max}XminXminX_{\min}Θ(mlogn/n−−−−−−−−√)Θ(mlog⁡n/n)\Theta(\sqrt{m\log n/n}) Меня интересует разрыв между и . Приведенный выше аргумент показывает, что с большой …

23 reference-request  pr.probability 

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

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

Что известно о сложности поиска минимальных схем, которые вычисляют SAT до длины ? nnn Более формально: какова сложность функции, которая, учитывая качестве входных данных, выводит минимальную схему C такую, что для любой формулы φ с | φ | ≤ n , C ( φ ) = S A T ( …

23 cc.complexity-theory  sat 

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

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