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

Каково среднее количество публикаций (включая материалы конференций) в год для докторантов CS в США? Как узнать или оценить это число?

9 soft-question  advice-request  research-practice  career 

Итак, я читаю немного о разработке, в частности, алгоритмах, основанных на двухцветном исчислении конструкции, и я немного запутался. Я не понимаю, какова цель . Кажется, он идентичен за исключением того, что существует различие между неявными и явными аргументами для функций. В частности, я не вижу, как он позволяет писать вместо …

9 type-theory  lambda-calculus  type-inference  dependent-type 

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

9 ds.algorithms  polynomials  semidefinite-programming 

У меня есть конечное множество , функция , и в общей сложности порядка на . Я хочу , чтобы найти число различных циклов в .SSSf:S→Sf:S→Sf:S\to S&lt;&lt;<SSSSSS Для данного элемента я могу использовать алгоритм Флойда (или Брента и т. Д.), Чтобы найти длину цикла, в который повторные применения посылают ; с …

9 graph-theory  graph-algorithms 

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

9 ds.algorithms  reference-request  cache-oblivious 

ИЗМЕНЕНО ДЛЯ ДОБАВЛЕНИЯ : На этот вопрос теперь по существу дан ответ; пожалуйста, смотрите эту запись в блоге для более подробной информации. Спасибо всем, кто разместил комментарии и ответы здесь. ОРИГИНАЛЬНЫЙ ВОПРОС Это, надеюсь, более умная и информированная версия вопроса, который я задал на MathOverflow. Когда я задал этот вопрос, …

9 co.combinatorics 

У меня есть большой набор данных деревьев, и я хотел бы найти его, указав древовидную структуру (связанный подграф). Запрос должен возвращать все вхождения дерева в наборе данных. Существуют ли эффективные алгоритмы для этого? Я думал о чем-то вроде суффиксных массивов, однако наивное кодирование деревьев как строк (с помощью фиксированного порядка …

9 graph-algorithms  ds.data-structures  tree  graph-isomorphism  string-search 

Поскольку в последнее время я преподавал основы λ-исчисления, я реализовал простой инструмент оценки λ-исчисления в Common Lisp. Когда я задаю нормальную форму Y fac 3в обычном сокращении, требуется 619 шагов, что кажется немного большим. Конечно, каждый раз, когда я делал подобные сокращения на бумаге, я никогда не использовал нетипизированное λ-исчисление, …

9 lo.logic  lambda-calculus 

В капаситированных Facility Местоположение задачи (CFLP) , нам дано множество клиентов и набор потенциальных объектов . У каждого клиента есть спрос который должен обслуживаться одним или несколькими открытыми средствами. Каждый объект имеет стоимость открытия и имеет емкость , что является максимальным требованием , что объект могу служить. Стоимость обслуживания одной …

9 ds.algorithms  cg.comp-geom  approximation-algorithms 

Парсеры диаграмм могут быть реализованы на основе нормальной формы Хомского или непосредственно на основе правил производства. Предположим на данный момент, что у нас есть анализатор диаграмм CYK, который использует нормальную форму Хомского. Бинаризация не определяется однозначно. Влияет ли это на производительность разбора диаграммы CYK. Можно ли это использовать для повышения …

9 fl.formal-languages  parsing 

Я хотел бы ограничить мощность множества графов единичных дисков с NNNВершины. Известно, что проверка того, является ли граф членом этого набора, является NP-сложной задачей. Приводит ли это к какой-либо нижней границе мощности, предполагая, что P≠≠\neq NP? Например, предположим, что есть порядок на всех графах с NNNВершины. Если бы NP-твердость означала, …

9 cc.complexity-theory  graph-theory 

Пусть будет матрица или с элементами . Может ли кто-нибудь предоставить мне матрицу чтобы ? Что такое наименьший явный B, который известен таким образом, что \ operatorname {per} (A) = \ det (B) ? Любые ссылки на это с явными примерами?AAA3 × 33×33 \times 34 × 44×44 \times 4aя жaija_{ij}ВBBв( …

9 cc.complexity-theory  algebraic-complexity  permanent 

Я был бы признателен за любые указания или термины, которые могли бы привести меня в правильном направлении. У нас есть ориентированный граф и длины для каждого ребра которое можно считать положительным. Существует специальный начальный узел и конечный узел .G = ( V, E)гзнак равно(В,Е)G=(V,E)Lя жLяJl_{ij}я жяJijsssTTt Для каждого ребра мы …

9 ds.algorithms  reference-request  graph-algorithms 

Мне было интересно, может ли порядок объявлений индуктивного типа иметь значение. Например, в Coq вы можете определить Natлибо: Inductive Nat := | O : Nat | S : Nat -&gt; Nat. или Inductive Nat := | S : Nat -&gt; Nat | O : Nat. Возможно, это изменит порядок параметров …

9 lo.logic  type-theory  coq  dependent-type 

Определите сетку в 3D как связанную совокупность тетраэдров с непересекающимися внутренностями (поэтому тетраэдры имеют только k-грани, k ≤ 2К≤2k \le 2). Учитывая произвольный граф, есть ли эффективная процедура для проверки, если он может быть встроен в виде сетки? Здесь вложение - это отображение вершин графа в точках в а ребер …

9 ds.algorithms  graph-theory