Вопросы с тегом «ds.algorithms»

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

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

Легко видеть, что для любого существует отображение 1-1 F из {0,1} n в {0,1} n + O ( log n ) такое, что для любого x вектор F ( x ) равен " сбалансированный », т. е. имеет равное количество единиц и нулей. Можно ли определить такое F, чтобы при …

10 ds.algorithms  ds.data-structures  encoding 

Пусть нерегулярный связный граф, степень которого ограничена. Предположим, что каждый узел содержит уникальный токен.G=(V,E)G=(V,E)G= (V, E) Я хочу равномерно перетасовать токены среди графа, используя только локальные перестановки (т.е. обмен токенами между двумя соседними узлами)? Известна ли нижняя граница для этой проблемы? Единственная идея, которая у меня возникла, - это использовать …

10 ds.algorithms  random-walks  dc.distributed-comp 

Можно ли автоматически обобщать природу БПФ для других преобразований (z Transform, chirp и т. Д.) Автоматически? Существует ли алгоритм, который принимает описание преобразования (я не знаю, какая информация потребуется) и может производить быструю функцию, подобную FFT?

10 ds.algorithms 

Предположим, у меня есть логическая схема СCC это вычисляет некоторую функцию е: { 0 , 1}N→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\}, Предположим, что схема состоит из логических элементов И, ИЛИ и НЕ с максимальным и минимальным разветвлениями 2. Позволять x ∈ { 0 , 1}Nx∈{0,1}nx \in \{0,1\}^nбыть заданным …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

Дополнительную расслабленность (CS) обычно учат, когда говорят о двойственности. Он устанавливает хорошее соотношение между основным и двойственным ограничением / переменными с математической точки зрения. Две основные причины применения CS (как преподается в аспирантуре и учебниках): Для проверки оптимальности ЛП Чтобы помочь решить двойную Учитывая сегодняшнюю вычислительную мощность и полиномиальные алгоритмы …

10 ds.algorithms  approximation-algorithms  linear-programming  primal-dual 

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

10 ds.algorithms  greedy-algorithms 

Для многих задач алгоритм с наилучшей асимптотической сложностью имеет очень большой постоянный коэффициент, который скрыт большими обозначениями O. Это происходит в матричном умножении, целочисленном умножении (в частности, недавнем алгоритме умножения целых чисел O (n log n) Харви и Ван-дер-Хувена), в сетях с малой глубиной сортировки и нахождении второстепенных графов. Такие …

9 cc.complexity-theory  ds.algorithms  time-complexity 

Известно, что Форд-Фулкерсон или Эдмондс-Карп с эвристикой толстой трубы (два алгоритма для максимального потока) не должны останавливаться, если некоторые веса нерациональны. На самом деле они могут даже сходиться на неправильном значении! Однако во всех примерах, которые я мог найти в литературе [ссылки ниже, плюс ссылки в них], используется только одно …

9 ds.algorithms  graph-algorithms  max-flow 

Данный взаимный a,ba,ba, bМожете ли вы быстро вычислить minx,y>0|ax−by|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| Вот x,yx,yx, yцелые числа. Очевидно, принимаяx=y=0x=y=0x = y = 0дает неинтересный ответ; в общем, насколько близки эти силы? Кроме того, как мы можем быстро вычислить минимизациюx,yx,yx, y?

9 ds.algorithms  randomized-algorithms  nt.number-theory  comp-number-theory 

Решатели SMT, такие как Z3 или Boolector, используют сложный набор эвристик для решения проблем. Однако это также затрудняет прогнозирование производительности такого решателя для данной проблемы. Мой вопрос таков: Вопрос Есть ли способ понять или получить представление о производительности решателя SMT для специалиста в теории битвекторов без кванторов (QFBV)? Это также …

9 ds.algorithms  sat  heuristics 

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

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

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

9 ds.algorithms  reference-request  string-matching 

Я пытался реализовать алгоритм умножения целых чисел Шёнхаге-Штрассена, но натолкнулся на камень преткновения на рекурсивном этапе. У меня есть значение с битами, и я хочу вычислить . Первоначально я думал, что идея состоит в том, чтобы выбрать , чтобы 4 ^ k \ geq 2n , разбить x на 2 …

9 ds.algorithms 

Если мы рассмотрим только проблемы в P, есть ли какие-то большие промежутки между самым быстрым из известных алгоритмов слово-RAM и самым быстрым из известных алгоритмов машины Тьюринга для конкретных задач? Мне особенно интересно, есть ли большие пробелы для естественных проблем, представляющих общий интерес.

9 cc.complexity-theory  ds.algorithms