Этот вопрос связан с недавним вопросом по Janoma . Фон В программировании ограничений, A регулярное глобальное ограничение ccc над областью DDD представляет собой пару (s,M)(s,M)(s, M) с sss кортежем переменных (о масштабе) и MMM ДКА над областью DDD . Назначение θθ\theta для sss удовлетворяет ccc...
Пусть - любая конечная структура. Имеет ли его теории первого порядка Т : = Т Н ( ) имеют ограниченную кванторное ранг, в том смысле , что существует д ∈ N такое , что для всех ф Е Т с ц г ( φ ) > д существует φ ' ∈ T с д г ( ф ' ) ≤ д и ф ' ≡ ф ?AA\mathfrak{A} T:=TH(A)T:=TH(A) \mathfrak{T} :=...
Нам дают матроида. Наша цель - найти набор элементов минимального размера, который имеет непустое пересечение с каждой базой матроида. Проблема изучалась раньше? Это в P? Например, в матроиде остовного дерева минимальный набор попаданий должен быть минимальным срезом....
Я пытаюсь покрыть простой вогнутый многоугольник с минимумом прямоугольников. Мои прямоугольники могут быть любой длины, но они имеют максимальную ширину, и у многоугольника никогда не будет острого угла. Я думал о попытке разложить мой вогнутый многоугольник на треугольники, которые создают набор...
-раскраске с т × п сеткиkКkm×nм×Nm \times n является функция . Сломан прямоугольник в C является кортежем ( я , я ' , J , J ' ) , удовлетворяющие С ( я , J ) = С ( я ' , J ) = С (C:[m]×[n]→[k]С:[м]×[N]→[К]C:[m] \times [n] \to [k]CCC(i,i′,j,j′)(i,i′,j,j′)(i,i',j,j') - то есть ровно три угла...
Кросспост из МО . Пусть - класс графов, определенный конечным числом запрещенных индуцированных подграфов, причем все они циклические (содержат хотя бы один цикл).СCC Существуют ли NP-сложные графовые задачи, которые можно решить за полиномиальное время для кроме Clique и Clique cover?СCC Если я...
Я интересуюсь системой подсолнечника и ее приложениями в информатике. Для данной Вселенной и набора из k множеств A i называется системой k-подсолнечника, если A i ∩ A j = Y для всех i ≠ j . И Y называется ядром, а A i - Y называется лепестками. UUUkkkAiAiA_iAi∩Aj=YAi∩Aj=YA_i \cap A_j = Y i≠ji≠ji...
У меня есть несколько миллионов 32-битных значений. Для каждого значения я хочу найти все другие значения в пределах расстояния Хэмминга, равного 5. В наивном подходе это требует сравнений, которых я хочу избежать.O ( N2)O(N2)O(N^2) Я понял, что если я просто обработал эти 32-битные значения как...
Пусть - перестановка. Обратите внимание, что хотя действует на бесконечной области, его описание может быть конечным. Под описанием я имею в виду программу, которая описывает функциональность . (Как и в колмогоровской сложности.) См. Пояснения ниже. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon...
Срезанная норма вещественной матрицы A = ( a i , j ) ∈ R n × n - максимум по всем I ⊆ [ n ] , J ⊆ [ n ] величины | Σ я ∈ I , J ∈ J я , J | ,||A||C||A||C||A||_CA=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n}I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq...
Мы работаем с распределенными компьютерами, и мы столкнулись с проблемой сложности, которая сводит к минимуму проблему с маршрутом. В настоящее время мы не знаем, как ее решить. Проблема заключается в следующем: Пусть - некоторое целое число, а - граф, содержащий вершин. Мы помечаем каждую вершину...
Есть много примеров в комбинаторике и информатике, где мы можем проанализировать теоретико-графическую проблему, но для ее гиперграфа у нас отсутствуют инструменты. Как вы думаете, почему проблемы с 3-равномерными гиперграфами часто становятся намного сложнее, чем с 2-равномерными графами? Каковы...
Пусть гGG связный граф G = ( V, E)G=(V,E)G = (V,E) с узлами В= 1 … nV=1…nV = 1 \dots n и ребер ЕEE . Обозначим через весяwiw_i (целочисленный) вес графа гGG , где Σявеся= м∑iwi=m\sum_i w_i = m - общий вес графа. Средний вес каждого узла тогда вес¯= м / нw¯=m/n\bar w = m/n . Пусть ея= шя-...
Мы знаем, что log ранга матрицы 0-1 является нижней границей детерминированной сложности связи, а log приблизительного ранга является нижней границей рандомизированной сложности связи. Наибольший разрыв между детерминированной коммуникационной сложностью и рандомизированной коммуникационной...
Во время моей работы я столкнулся со следующей проблемой: Я пытаюсь найти -матрицу , для любого , со следующими свойствами:n×nn×nn \times n (0,1)(0,1)(0,1)MMMn>3n>3n > 3 Определитель четен.MMM Для любых непустых подмножеств с, Подматрица имеет нечетный детерминанту тогда и только тогда ,...
Рассмотрим связный случайный кубический граф G=(V,E)G=(V,E)G=(V,E) для n=|V|n=|V|n =|V|вершины, взятые из G(n,3G(n,3G(n, 3 -reg ))) (как определено здесь , то есть 3n3n3n является четным и любые два графа имеют одинаковую вероятность). Конечно , есть nnn возможной ширину первых Поисковые, по одному...
Решение гомоморфизма графа в общем случае является NP-полным. Существуют ли какие-либо результаты, которые изучают эту проблему, когда лежащие в основе графы имеют алгебраическую структуру (например, выбор гомоморфизмов из графов смежных классов Кэли или Кэли в другие графы также с некоторой...
Существует ли известная конструкция линейного кода с исправлением ошибок (с приемлемыми параметрами), такая, что при задании булева вектора v ∈ { 0 , 1 } n он также возвращает булев вектор WHP? (хотя это более F q )E C C : FNQ→ FмQECC:Fqn→Fqm\mathsf{ECC}:\mathbb{F}_q^n \to \mathbb{F}_q^mv ∈ { 0 , 1...
Пусть . Мне нужно сгенерировать простые графы G обхвата g , чтобы множество всех g- циклов образовывало двойное ребро, покрывающее G (то есть каждое ребро делится ровно двумя g- циклами), и такое, чтобы пересечение любых двух g- циклы - это либо вершина, ребро, либо пустое. Сгенерированные графы...
Для данного семейства не более подмножеств . Замыкание объединения другого набор семейство , содержащий каждый набор , который можно построить, взяв объединение 1 или более множеств в . Byмы обозначим число множеств в . n { 1 , 2 , … , n } F C F | C | СFF\mathcal FNNn{ 1 , 2 , … , n }{1,2,...,N}\{...