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

24
Получение кратчайшего пути динамического графа

Я изучаю кратчайшие пути в ориентированных графах в настоящее время. Существует много эффективных алгоритмов для поиска кратчайшего пути в сети, например, dijkstra или bellman-ford. Но что, если график является динамическим? Говоря динамически, я имею в виду, что мы можем вставлять или удалять...

24
Различают процедуру принятия решения против решателя SMT и средства доказательства теорем против решателя ограничений

Эти термины смущают меня. Насколько я понимаю SAT решатель: решить выполнимость логики высказываний (используя DPLL или локальный поиск). Процедура принятия решения - это процедура определения выполнимости некоторой разрешимой теории первого порядка. SMT-решатель - это SAT-решатель + процедура...

24
Какие алгоритмы нельзя распараллелить?

Есть ли какой-нибудь алгоритм, который очень трудно распараллелить, или исследование все еще активно? Я хотел знать о любом алгоритме или любой области исследований в параллельных вычислениях. Все, что я искал, имеет «параллельную» реализацию. Просто хочу изучить некоторые неизученные области...

24
Сортировка как линейная программа

У удивительного числа проблем есть довольно естественное сокращение к линейному программированию (LP). См. Главу 7 в [1] для примеров, таких как сетевые потоки, двустороннее сопоставление, игры с нулевой суммой, кратчайшие пути, форма линейной регрессии и даже оценка схемы! Поскольку оценка схемы...

24
Почему люди с низким уровнем подготовки имеют шанс выжить в следующем поколении?

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

24
Как доказать правильность алгоритма тасования?

У меня есть два способа составить список предметов в случайном порядке, и я хотел бы определить, являются ли они одинаково справедливыми (беспристрастными). Первый метод, который я использую, состоит в том, чтобы создать весь список элементов, а затем выполнить случайное перемешивание (скажем,...

23
Насколько фундаментальны матроиды и жадные алгоритмы в разработке алгоритмов?

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

23
Как работает таблица маршрутизации Population Pastry?

Этот вопрос был перенесен из Биржи стека разработки программного обеспечения, поскольку на него можно ответить в Бирже стеков информатики. Мигрировал 7 лет назад . Я пытаюсь реализовать распределенную хэш-таблицу для выпечки, но некоторые вещи ускользают от моего понимания. Я надеялся, что кто-то...

23
Почему Radix Sort ?

В радикальной сортировке мы сначала сортируем по наименьшей значащей цифре, затем сортируем по второй наименьшей значащей цифре и так далее и получаем отсортированный список. Теперь, если у нас есть список из чисел, нам нужно бит, чтобы различать эти числа. Таким образом, количество проходов...

23
Сложность прохождения мода

Это похоже на вопрос, который должен иметь простой ответ, но у меня нет однозначного ответа: Если у меня есть два битных числа , какова сложность вычисления ?nnna,pa,pa, pamodpamodpa\bmod p Простое деление aaa на ppp заняло бы время O(M(n))O(M(n))O(M(n)) где M(n)M(n)M(n) - сложность умножения. Но...

23
Существует ли эффективный алгоритм для этой задачи покрытия вершинного цикла?

Этот вопрос был перенесен из Математического стека Exchange, потому что на него можно ответить в Информатике стека Exchange. Мигрировал 3 года назад . Я пытался найти алгоритм, чтобы найти максимальное покрытие вершинных циклов ориентированного графа то есть набор непересекающихся циклов, которые...

23
Как подойти к решению «Вертикальные палки»

Этот вопрос был перенесен из теоретического обмена стеков информатики, потому что на него можно ответить в обмене стеков информатики. Мигрировал 7 лет назад . Эта проблема взята из интервьюstreet.com Нам дан массив целых чисел который представляет линейных сегментов, так что конечными точками...

23
Коллективно оплатить счет проблемы

За столом человек. й человек должен платить долларов.nnniiipipip_i Некоторые люди не имеют правильных счетов для оплаты точно , поэтому они придумали следующий алгоритм.pipip_i Во-первых, каждый кладет часть своих денег на стол. Затем каждый человек забирает деньги, которые он переплатил. Счета...

23
Почему push_back в векторах C ++ постоянно амортизируется?

Я изучаю C ++ и заметил, что время выполнения функции push_back для векторов постоянно «амортизируется». В документации также отмечается, что «если происходит перераспределение, само перераспределение будет линейным во всем размере». Разве это не означает, что функция push_back - это , где - длина...

23
Если я могу решить судоку, могу ли я решить задачу коммивояжера (TSP)? Если так, то как?

Допустим, есть такая программа, которая, если вы дадите частично заполненную судоку любого размера, даст вам соответствующую заполненную судоку. Можете ли вы рассматривать эту программу как черный ящик и использовать это для решения TSP? Я имею в виду, есть ли способ представить проблему TSP как...

22
Сколько кратчайших расстояний изменяется при добавлении ребра на график?

Пусть G=(V,E)G=(V,E)G=(V,E) некоторый полный взвешенный неориентированный граф. Построим второй граф G′=(V,E′)G′=(V,E′)G'=(V, E') , добавив ребра одно за другим из в . Добавим края дляEEEE′E′E'Θ(|V|)Θ(|V|)\Theta(|V|)G′G′G' всего. Каждый раз, когда мы добавляем одно ребро (u,v)(u,v)(u,v) к E′E′E' ,...

22
Алгоритм минимизации площади поверхности при заданном объеме

Рассмотрим следующую алгоритмическую задачу: Входные данные: натуральное число вместе с его простой факторизацией. Найти: натуральные числа которые минимизируют , с учетом ограничения, чтоNNnх , у, zИкс,Y,Zx,y,zх у+ уZ+ х зИксY+YZ+ИксZxy+yz+xzх уZ= nИксYZзнак равноNxyz=n В чем сложность этой...

22
Преобразование (математических) задач в экземпляры SAT

То, что я хочу сделать, это превратить мою математическую задачу в булеву проблему удовлетворенности (SAT), а затем решить ее с помощью SAT Solver. Интересно, знает ли кто-нибудь руководство, руководство или что-нибудь, что поможет мне преобразовать мою проблему в экземпляр SAT. Кроме того, я хочу...

22
Теоретические основы разделяй и властвуй

Когда дело доходит до разработки алгоритмов, часто используются следующие методы: Динамическое программирование Жадная стратегия Разделяй и властвуй Хотя для первых двух методов существуют хорошо известные теоретические основы, а именно принцип оптимальности Беллмана и теория матроидов...