Вопросы с тегом «co.combinatorics»

Вопросы, связанные с комбинаторикой и дискретными математическими структурами

8
Какое минимальное количество битов требуется для хранения головоломки судоку?
Примечание: речь идет о стандартной головоломке судоку 9х9. Решение должно поддерживать только разрешенные, легальные загадки . Таким образом, решение не должно поддерживать пустые ячейки и может полагаться на свойства решенной головоломки судоку. Мне было интересно, но я не мог придумать ответ, который меня устраивал. Наивное решение будет использовать один байт …

4
Максимальные классы, для которых наибольшее независимое множество можно найти за полиномиальное время?
В ISGCI списки более 1100 классов графов. Для многих из них мы знаем, можно ли выбрать НЕЗАВИСИМЫЙ НАБОР за полиномиальное время; их иногда называют классами IS-easy . Я хотел бы составить список максимальных классов IS-easy. Эти классы вместе образуют границу (известной) управляемости для этой задачи. Так как к любому бесконечному …

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

1
Сложность раскраски графиков
Предположим, что граф с раскрасочным числом . Рассмотрим следующую игру между Алисой и Бобом. В каждом раунде Алиса выбирает вершину, и Боб отвечает цветом для этой вершины. Игра заканчивается, когда монохроматический край обнаружен. Пусть будет максимальной продолжительностью игры при оптимальной игре обоих игроков (Алиса хочет максимально сократить игру, Боб хочет …

1
Хорошие коды декодируются линейными цепями?
Я ищу коды с исправлением ошибок следующего типа: двоичные коды с постоянной скоростью, декодируется из некоторой постоянной доли ошибок декодером, реализуемым в виде логической схемы размера , где N - длина кодирования.O(N)O(N)O(N)NNN Немного предыстории: Шпильман, в линейном время кодируемого и декодируемых коды , исправляющие ошибки , дал коды декодируемый в …

4
Сложность применения перестановки на месте
К моему удивлению, я не смог найти статьи об этом - вероятно, искал не те ключевые слова. Итак, у нас есть массив чего угодно и функция по его индексам; - перестановка.фееfееf Как переупорядочить массив в соответствии с с памятью и временем выполнения, максимально приближенными к и ?O ( 1 ) …

1
Существует ли обычный древовидный язык, в котором средняя высота дерева размера
Мы определяем язык регулярного дерева, как в книге TATA : это множество деревьев, принятых недетерминированным автоматом конечного дерева (глава 1) или, что эквивалентно, множество деревьев, порожденных грамматикой регулярного дерева (глава 2). Оба формализма очень похожи на хорошо известные аналоги струн. Существует ли обычный древовидный язык, в котором средняя высота дерева …

4
Подсчет слов, принятых обычной грамматикой
Учитывая регулярный язык (NFA, DFA, грамматика или регулярное выражение), как можно посчитать количество принимаемых слов на данном языке? Интерес представляют как «ровно n букв», так и «не более n букв». У Маргареты Акерман есть две статьи по теме перечисления слов, принятых NFA, но я не смог изменить их для эффективного …

2
Максимальные / максимальные независимые множества
Известно ли что-нибудь о классе графов с тем свойством, что все максимальные независимые множества имеют одинаковую мощность и, следовательно, являются максимальными IS? Например, возьмем набор точек на плоскости и рассмотрим график пересечений между всеми отрезками между парами точек в наборе. (отрезки-> вершины, пересечения-> ребра). Этот граф будет иметь указанное выше …

1
Распознавание последовательностей со всеми перестановками
Для любого n>0n>0n > 0 я говорю, что последовательность целых чисел в является -полной, если для каждой перестановки из , записанная как последовательность попарно различных целых чисел , последовательность является подпоследовательностью , т. е. существуеттакой, что для всех .{ 1 , … , n } n p { 1 , …

1
Лемма о регулярности для разреженных графов
Лемма о регулярности Семереди говорит, что каждый плотный граф может быть аппроксимирован как объединение многих двудольных графов расширителей. Точнее, существует большинство разбиений вершин на наборов, так что большинство пар множеств образуют двудольные расширители (количество множеств в разбиении и параметр расширения зависят от параметра аппроксимации):O ( 1 )O ( 1 )О(1)O(1)O …

2
Точное количество сравнений для вычисления медианы
Том III книги Кнута « Искусство компьютерного программирования» (глава 5, стих 3.2) включает в себя следующую таблицу, в которой перечислено точное минимальное количество сравнений, необходимых для выбора наименьшего элемента TTt из несортированного набора размера NNn для всех 1 ≤ t ≤ n ≤ 101≤T≤N≤101\le t \le n\le 10 . Эта …

2
Сложность определения, является ли фиксированный граф второстепенным для другого
Результат по Robertson и Seymour демонстрирует алгоритм для проверки , является ли фиксированной граф является минор . У меня есть два с половиной вопроса на эту тему:G HO ( n3)О(N3)O(n^3)ггGЧАСЧАСH 1) Похоже, что с тех пор были улучшены этот алгоритм. Какой алгоритм является самым известным в настоящее время? 2a) Что …

2
Вычислительная сложность подсчета индуцированных подграфов, которые допускают идеальное совпадение
Для заданного неориентированного и невзвешенного графа и четного целого числа , какова вычислительная сложность подсчета множеств вершин таких что и подграф графа ограниченный множеством вершин допускает идеальное совпадение? Является ли сложность # P-полной? Есть ли ссылка на эту проблему?k S ⊆ V | S | = k G SG=(V,E)G=(V,E)G=(V,E)kkkS⊆ VS⊆VS\subseteq …

1
Проблема разбиения ребер на кубических графах
Была ли изучена сложность следующей проблемы? Вход : кубический (или регулярный) граф G = ( V , E ) , естественная верхняя граница t333G=(V,E)G=(V,E)G=(V,E)ttt Вопрос : есть ли раздел на | E | / 3 части размера 3 , так что сумма порядков (необязательно связанных) соответствующих подграфов не превосходит t …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.