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

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

9 ds.algorithms  linear-algebra  linear-programming 

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

9 ds.algorithms  reference-request  graph-theory  graph-algorithms  approximation-algorithms 

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

9 ds.algorithms  data-mining 

Какова возможность для ученого изменить свою область в чистый математик? и какой самый плавный способ сделать это? какие-нибудь примеры для людей, которые могли бы это сделать?

9 soft-question  research-practice  career 

Я хотел выяснить, каковы некоторые применения SGT в области теории информации и кодирования и, возможно, коммуникаций. Самое связанное, что приходит на ум, это работа над кодами расширителей. Майкл Сипсер и Даниэль Спилман, «Коды расширителей», IEEE Transactions по теории информации, том 42, № 6, с. 1710-1722. 1996 Другие примеры?

9 it.information-theory  coding-theory  spectral-graph-theory 

В контексте некоторых недавних работ мы определили язык, основанный на трехзначной логике а-ля Клини, где111 означает истинное, 000 за ложь и ⊥⊥\botза ошибку или не знаю. Чтобы показать, что наш язык выразителен, мы хотели доказать, что мы можем построить функционально завершенный набор операторов. Было довольно трудно найти существующие результаты в …

9 reference-request  lo.logic 

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

9 computability  computable-analysis 

Хотелось бы знать, почему для распознавания контекстно-свободных языков работают только недетерминированные автоматы push-down (DPA = NPDA). Почему детерминированные автоматы (DPDA) не распознают такие языки?

9 fl.formal-languages  automata-theory  context-free 

При интерпретации ключей как натуральных чисел мы можем использовать следующую формулу. h(k)=⌊m(kAmod1)⌋h(k)=⌊m(kAmod1)⌋\begin{equation} h(k) = \lfloor m (kA\bmod{1}) \rfloor \end{equation} Что мне трудно понять, так это то, как мы выбираем значение A, где: 0&lt;A&lt;10&lt;A&lt;1\begin{equation} 0 < A < 1 \end{equation} Согласно Кнуту оптимальное значение: A≈(5–√−1)/2=0.6180339887...A≈(5−1)/2=0.6180339887...\begin{equation} A \thickapprox (\sqrt{5} - 1) / …

9 hash-function 

Я ищу программное обеспечение для вычисления / оценки объема многомерных выпуклых многогранников. В частности, я заинтересован в программе, которая может обрабатывать тела сNNn вершины в dddпространство с параметрами, ограниченными примерно следующим образом: d≤ 50d≤50d \le 50 а также n ≤ 1000N≤1000n \le 1000, Обратите внимание, что нет гарантии на количество …

9 cg.comp-geom  software  convex-geometry  high-dimensional-geometry 

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

9 ne.neural-evol 

Предположим, у меня есть список подмножеств . Я могу сделать предварительную обработку в этом списке, если это необходимо. После этой предварительной обработки мне предоставляется другой набор . Я хочу , чтобы определить , какие - либо множества с .XX\cal X{1,...,n}{1,...,n}\{1, ..., n\}A⊆{1,...,n}A⊆{1,...,n}A \subseteq \{1, ..., n \}B∈XB∈XB \in \mathcal XB⊆AB⊆AB …

9 ds.algorithms  ds.data-structures 

(Извинения, если это неуместно или слишком широко. Я открыт для предложений о том, как это переформулировать.) Я заинтересован в отслеживании "древней" истории алгоритмов максимального потока и алгоритмов дискретной оптимизации в целом. Форд-Фулкерсон мой соломенный стартовый пункт. Каковы были значительные успехи до этого? Как далеко мы можем зайти, оставаясь при этом …

9 ds.algorithms  graph-algorithms  ho.history-overview 

DLOGTIME определяется по адресу http://en.wikipedia.org/wiki/DLOGTIME определяется по адресу http://en.wikipedia.org/wiki/L_%28complexity%29 и определены по адресу http://en.wikipedia.org/wiki/NC_%28complexity%29 LL\operatorname{L} Северная КаролинаNC\operatorname{NC}Северная КаролинаNNCn\operatorname{NC}^n DLOGTIME кажется самым маленьким, что может сработать. Я читал в разных местах, , хотя каждое место я обнаружил , что результаты, состояний , в которых единообразие условие использует - единообразие. Существует ли …

9 cc.complexity-theory  circuit-complexity 

Теорема PCP утверждает, что каждая проблема решения в NP имеет вероятностно проверяемые доказательства (или, что то же самое, что существует полная и квази-звуковая система доказательств для теорем в NP, использующая постоянную сложность запроса и логарифмически много случайных битов). «Народная мудрость», окружающая теорему PCP (на мгновение игнорируя важность PCP для теории …

9 lo.logic  pcp  polynomial-hierarchy