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

Можно ли продемонстрировать, что предложение должно быть формально независимым, основываясь на том факте, что оно нерелятивизирующее? Другими словами, есть ли в предложениях теории вычислимости / сложности примеры предложений, где можно продемонстрировать, что а) что все доказательства, которые решают вопрос о том, равны ли два класса, должны быть релятивизированы, и б) …

12 lo.logic  relativization 

Результат Бейкера-Гилла-Соловая показал, что вопрос о P = NP не релятивизируется в том смысле, что никакое релятивизирующее доказательство (нечувствительное к присутствию оракула) не может решить вопрос о P = NP. Мой вопрос: есть ли аналогичный результат для вопроса "Существует ли проблема полной PH?" Отрицательный ответ на этот вопрос предполагает P! …

12 cc.complexity-theory  complexity-classes 

Учитывая (у гауссиан со средним значением 0 и дисперсией 1 ), возможно ли (как?) Произвести выборку (для m = k 2 ) Y 1 , … , Y m так , что Y i попарно независимые гауссианы со средним 0 и дисперсией 1 .Икс1, … , XКX1,…,XkX_1,\ldots,X_k000111м = к2m=k2m=k^2Y1, …

12 derandomization  pr.probability 

Опять проблема с разделением ребер, сложность которой мне интересна, мотивированная предыдущим моим вопросом . Вход: кубический графG = ( V, E)G=(V,E)G=(V,E) Вопрос: есть ли разбиение на , так что подграф, индуцированный каждым является либо когтем (то есть , часто называемым звездой), либо путём ( т.е. )?E 1 , E 2 …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Автор: http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf. Если является PSPACE-полный язык, Р = N P A .AAAпA= NпAPA=NPAP^{A}=NP^{A} Если является детерминированным оракулом полиномиального времени, P B ≠ N P B (при условии, что P ≠ N P ).ВBBпВ≠ NпВPB≠NPBP^{B}\ne NP^{B}п≠ NпP≠NPP\ne NP - класс решений аналогичных задач для # P и P ⊆ P P …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

проблема У меня есть неориентированный граф (с несколькими ребрами), который будет меняться со временем, узлы и ребра могут быть вставлены и удалены. При каждой модификации графика я должен обновлять связанные компоненты этого графика. свойства Дополнительные свойства состоят в том, что никакие два компонента никогда не будут повторно соединены. Очевидно, что …

12 ds.algorithms  graph-theory  approximation-algorithms  online-algorithms 

Не будут ли потеряны данные при отображении 6-битных значений в 4-битные значения в S-блоках DES? Если так, как мы можем повернуть его так, чтобы появился правильный вывод?

12 cr.crypto-security 

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

12 machine-learning  lg.learning  clustering 

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

12 reference-request  soft-question 

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

12 lo.logic  csp  security 

Эквивалентная формулировка теоремы PCP является: Для Макса 3-SAT это -трудного различать выполнимые формулы и формулы , где не более группу фракций из пунктов являются выполнимы (для некоторого ).r r < 1NпNPNPрrrг < 1r<1r\lt 1 Существует ли какая-либо известная теорема о дихотомии, которая классифицирует все максимальные значения CSP на основании наличия …

12 cc.complexity-theory  pcp  csp 

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

12 soft-question  cg.comp-geom 

Каковы наиболее практически эффективные алгоритмы умножения двух очень разреженных логических матриц (скажем, N = 200 и всего 100-200 ненулевых элементов)? На самом деле, у меня есть преимущество в том, что когда я умножаю A на B, B заранее определены, и я могу выполнять произвольную сложную предварительную обработку на них. Я …

12 ds.algorithms  matrix-product  sparse-matrix  boolean-matrix  implementation 

Ширина дерева показывает, насколько близок график к дереву. Несколько NP-трудных задач можно решить на графах с ограниченной шириной дерева. Если проблема остается NP-трудной на деревьях, то ширина дерева не может нас спасти. Это было мотивом одного из моих предыдущих вопросов, в котором задавались проблемы с NP-сложными задачами на деревьях. Существует …

12 np-hardness  directed-acyclic-graph 

Пусть { 0 , . , , , П - 1 } и ∘ : S × S → S . Я хочу вычислить сложность коммуникации, решая, является ли ∘ ассоциативным.Sзнак равноS=S=0 , . , , , n - 10,...,n−10,...,n-1∘ : S× S→ S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ …

12 cc.complexity-theory  communication-complexity