Проблемы окраски графа уже достаточно сложны для большинства людей . Тем не менее, мне придется столкнуться с трудностями и задать вопрос о раскраске гиперграфа. Вопрос. Какие эффективные алгоритмы существуют для нахождения приблизительно оптимальной раскраски ребер для k-равномерных гиперграфов?...
Какие существуют полезные алгоритмы, которые работают с огромными потоками данных, и их результаты довольно малы, и можно вычислить результат для смеси двух потоков, каким-то образом объединив их результаты? Я могу назвать несколько: Очевидные вещи, как сумма, мин, макс, кол, топ-К и т. Д...
Это продолжение недавнего вопроса Дэвида Эппштейна и мотивировано теми же проблемами. Предположим, у меня есть вершина с весами действительных чисел на его вершинах. Первоначально все вершины не отмечены. Я могу изменить набор отмеченных вершин, либо (1) помечая вершину без неотмеченных...
Пусть { 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 Модель следующая. задается в виде матрицы М . Алиса (соответственно...
Бумага Лаури Хелла и Хосе Мария Turull-Torres, Вычисление запросов с помощью логики высшего порядка , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 предлагает логику VO, логику переменного порядка. Это позволяет определять количество заказов по переменным. VO довольно мощный и может...
Ширина дерева показывает, насколько близок график к дереву. Несколько NP-трудных задач можно решить на графах с ограниченной шириной дерева. Если проблема остается NP-трудной на деревьях, то ширина дерева не может нас спасти. Это было мотивом одного из моих предыдущих вопросов, в котором задавались...
Каковы наиболее практически эффективные алгоритмы умножения двух очень разреженных логических матриц (скажем, N = 200 и всего 100-200 ненулевых элементов)? На самом деле, у меня есть преимущество в том, что когда я умножаю A на B, B заранее определены, и я могу выполнять произвольную сложную...
Вычислительная геометрия - это область, которую я нахожу довольно интересной, и я хотел бы посвятить месяц или два проекту, который познакомит меня с этим и поможет мне изучить ключевые концепции. Какой хороший способ подойти к этому и какие ключевые концепции я должен быть уверен, что я тоже...
Эквивалентная формулировка теоремы PCP является: Для Макса 3-SAT это -трудного различать выполнимые формулы и формулы , где не более группу фракций из пунктов являются выполнимы (для некоторого ).r r < 1NпNPNPрrrг < 1r<1r\lt 1 Существует ли какая-либо известная теорема о дихотомии, которая...
Следующий вопрос неоднократно возникал при тестировании безопасности системы или модели. Мотивация: недостатки безопасности программного обеспечения часто возникают не из-за ошибок из-за допустимых входных данных, а из-за неправильных входных данных, которые достаточно близки к допустимым входным...
Я на втором курсе магистратуры, который не слишком связан с TCS, хотя я бы хотел, чтобы это было так. Это в основном теория управления, сигналы и системы, и я брал уроки в продвинутых системах (надежных, нелинейных, оптимальных, стохастических), продвинутой обработке сигналов и выпуклой...
Следующий вопрос использует идеи из криптографии, примененные к теории сложности. Тем не менее, это чисто теоретический вопрос сложности, и для его ответа не требуется никаких криптовалют. Я намеренно пишу этот вопрос очень неформально. В отсутствие подробностей, это, возможно, указано немного...
у меня есть набор данных из тысяч точек и средство измерения расстояния между любыми двумя точками, но точки данных не имеют размерности. я хочу алгоритм, чтобы найти кластерные центры в этом наборе данных. Я полагаю, что поскольку данные не имеют измерений, центр кластера может состоять из...
Не будут ли потеряны данные при отображении 6-битных значений в 4-битные значения в S-блоках DES? Если так, как мы можем повернуть его так, чтобы появился правильный...
проблема У меня есть неориентированный граф (с несколькими ребрами), который будет меняться со временем, узлы и ребра могут быть вставлены и удалены. При каждой модификации графика я должен обновлять связанные компоненты этого графика. свойства Дополнительные свойства состоят в том, что никакие два...
Автор: 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 -...
Опять проблема с разделением ребер, сложность которой мне интересна, мотивированная предыдущим моим вопросом . Вход: кубический графG = ( V, E)G=(V,E)G=(V,E) Вопрос: есть ли разбиение на , так что подграф, индуцированный каждым является либо когтем (то есть , часто называемым звездой), либо путём (...
Учитывая (у гауссиан со средним значением 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, … , YмY1,…,YmY_1, \ldots,...
Результат Бейкера-Гилла-Соловая показал, что вопрос о P = NP не релятивизируется в том смысле, что никакое релятивизирующее доказательство (нечувствительное к присутствию оракула) не может решить вопрос о P = NP. Мой вопрос: есть ли аналогичный результат для вопроса "Существует ли проблема полной...
Можно ли продемонстрировать, что предложение должно быть формально независимым, основываясь на том факте, что оно нерелятивизирующее? Другими словами, есть ли в предложениях теории вычислимости / сложности примеры предложений, где можно продемонстрировать, что а) что все доказательства, которые...