Вопросы с тегом «reference-request»

Интересно, есть ли у них какие-либо подходы, формулирующие проблему маршрутизации транспортного средства с временными окнами ( VRPTW ) (как проблему решения) в качестве экземпляра SAT / SMT? (альтернатива: TSP) Например: «Есть ли правильное решение для посещения всех клиентов в пределах их временных интервалов с n = 10 транспортными средствами?» Это …

9 ds.algorithms  reference-request  sat  reductions  tsp 

В качестве продолжения моего предыдущего вопроса , который был разрешен Сянь-Чжи Чангом, приведу еще одну попытку найти соответствующее обобщение теоремы Рамсея. (Вам не нужно читать предыдущий вопрос; этот пост является самостоятельным.) Параметры: целые числа 1≪d≪k≪n1≪d≪k≪n1 \ll d \ll k \ll n даны, а затем NNNвыбран достаточно большим. Терминология:mmm-подмножество является подмножеством …

9 reference-request  co.combinatorics  ramsey-theory 

Предположим, нам дан график и параметры . Существуют ли диапазоны значений для (или это выполнимо для всех ), для которых можно проверить, является ли -far из-за наличия независимого набора размера по крайней мере во времени ?ггGк , ϵК,εk,\epsilonККkККkггGεε\epsilonККkO ( n + поли ( 1 / ϵ ) )О(N+поли(1/ε))O(n + \text{poly}(1/\epsilon)) …

9 ds.algorithms  graph-theory  reference-request  property-testing 

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

9 reference-request