Questions tagged «reference-request»

我想知道是否有任何方法可以将带有时间窗（VRPTW）的车辆路线问题（作为决策问题）制定为SAT / SMT实例？（替代：TSP） 例如： “是否有有效的解决方案在n = 10的车辆的时间窗口内拜访所有客户？” 该决策问题对于使所用车辆数量最小化的第一步可能有用。 我没有SMT方面的经验，但是我希望如果我们想将坐标/时间作为实数进行处理，则很有必要。 通常，所有TSP / VRP公式都是在混合整数编程域中完成的，但是我想知道sat / smt公式是否可以在上述决策问题上具有竞争力（就实际解决时间而言）。 所以你怎么看： 你知道参考吗？ 您认为饱和/短时加工方法是否具有竞争力？ 您还有什么要说的吗？ 感谢您的输入。 萨沙 编辑：正如我提到的TSP是TCS中与VRPTW相关的更普遍的问题一样，我也应该提到Job Shop Scheduling问题，这是VRPTW中的另一个“部分问题”。也许这一领域的研究人员尝试了SAT / SMT。

9 ds.algorithms  reference-request  sat  reductions  tsp 

作为我之前的问题（由张显治解决）的后续，这是另一种尝试找到拉姆西定理的适当推广。（您无需阅读上一个问题；该帖子是独立的。） 参数：整数 1≪d≪k≪n1≪d≪k≪n1 \ll d \ll k \ll n 被给予，然后 NNN选择足够大。术语：mmm-subset是大小的子集 mmm。 让 B={1,2,...,N}B={1,2,...,N}B = \{1,2,...,N\}。对于每个kkk-子集 S⊂BS⊂BS \subset B，分配颜色 f(S)∈{0,1}f(S)∈{0,1}f(S) \in \{0,1\}。 定义： X⊂BX⊂BX \subset B如果是单色的f(S)=f(S′)f(S)=f(S′)f(S) = f(S') 对所有人 kkk-子集 S⊂XS⊂XS \subset X 和 S′⊂XS′⊂XS' \subset X。 X⊂BX⊂BX \subset B如果是多样化的X={x1,x2,...,xn}X={x1,x2,...,xn}X = \{ x_1, x_2, ..., x_n \} 这样 xi&lt;xi+1xi&lt;xi+1x_i < …

9 reference-request  co.combinatorics  ramsey-theory 

假设我们得到了图和参数。对于值的范围有（或者是可行的所有），这就是它能够测试是否是 -far从具有至少一个独立的集大小的在时间？GGGķ ，εķ，ϵk,\epsilonķķkķķkGGGϵϵ\epsilonķķkO （n + 多边形（1 / ϵ ））Ø（ñ+聚（1个/ϵ））O(n + \text{poly}(1/\epsilon)) 如果我们使用 -far 的通常概念（即最多需要更改边才能获得这样的集合），那么对于。所以ϵϵ\epsilonϵñ2ϵñ2\epsilon n^2k = O （nϵ√）ķ=Ø（ñϵ）k = O(n\sqrt{\epsilon}) 看来，如果较大，一些采样方法应该可以解决该问题。真的吗 ？ķķk 是否有 -far的其他概念（即边代替），在这些概念下有不平凡的结果？ϵϵ\epsilonϵ | Ë|ϵ|Ë|\epsilon |E| 我现在基本上正在寻找参考。

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

我（正在慢慢）写一篇《SIGACT新闻的化学信息学算法手册》的评论。一章讨论了当前的软件实现，并且数据库搜索（和其他应用程序）似乎没有充分利用有关图的信息。另一方面，也许更多的理论算法将很难实施。不过，这似乎是一个潜在的开放区域。 所以这是我的问题： 是否有概述（或一小部分参考文献）讨论了带有度量信息的图形数据库算法的理论和实现（希望如此）？（每个边都是一个距离，每个顶点都有一个体积。）一个示例问题的无化学描述将是：给定一个图形数据库，找到所有包含特定子图的图形。

9 reference-request