【文件属性】：
文件名称：tcsp:时间约束满足问题
文件大小：356KB
文件格式：ZIP
更新时间：2021-04-11 21:00:26
JupyterNotebook
TCSP-时间约束满意度问题
TSCP是一个约束满足问题，其中变量代表时间点，时间信息由一元和二进制约束集表示。
我们将TCSP与图相关联，包括：
一组具有连续域的变量X_1 to X_n
一组约束，每个约束由一组间隔表示
一元约束T_i将变量X_i的域限制为给定的间隔集。
二进制约束T_{ij}将X_j - X_i的距离值约束到一组间隔。
我们用有向约束图表示，其中节点代表变量，边i -> j指定约束T_{ij} 。
为简单起见，我们还引入了X_0 = 0 ，因此一元约束由T_{0i} 。
STP-简单的时间问题
STP是TCSP，其中所有约束都指定一个间隔。
我们将这个问题与distance graph (V, E_d) ，其中V由与约束网络相同的节点组成，并且每个边缘都由权重a_{ij}标记，表示X_j - X_i <= a_{ij} 。
输入
求解器程序的输入由std
【文件预览】：
tcsp-master
----randomised_plot()
--------solver.py(3KB)
--------experiments.ipynb(224KB)
----allen()
--------compiler.py(1KB)
--------README.md(53B)
----.gitignore(311B)
----generate_problems.py(2KB)
----README.md(2KB)
----strict(242B)
----refactor()
--------verifier.py(688B)
--------exact_solver.py(4KB)
--------preprocessing.py(3KB)
--------notebook.ipynb(13KB)
--------genetic_direct.py(8KB)
--------problem_generator.py(2KB)
----verify_witness.py(1KB)
----examples()
--------hard(660B)
--------test_hard(691B)
--------test_long_p(2KB)
--------ex1.3(68B)
--------ex1.1_full(82B)
--------test_verify(85B)
--------ex1.2(70B)
--------ex1.1(64B)
--------ex1.4(80B)
--------ex_unsat(64B)
----fast_solver()
--------exact_solver.ipynb(58KB)
--------util.py(2KB)
----cpp()
--------graph.h(141B)
--------tcsp.h(412B)
--------graphutil.h(2KB)
--------tcsp_solver.cpp(2KB)
----figures()
--------experimental_SIMPLE_40vars.png(46KB)
--------experimental_BINARY.png(27KB)
--------experimental_FIVEMAX.png(26KB)
--------experimental_SIMPLE_problem_set.png(52KB)
----genetic()
--------meta_random.ipynb(5KB)
--------meta_walk.ipynb(12KB)
--------util.py(2KB)
--------meta_genetic.ipynb(14KB)
--------direct_random.ipynb(3KB)
--------direct_genetic.ipynb(9KB)
--------direct_walk.ipynb(19KB)
----ac_pc()
--------util.py(2KB)
--------PC1.ipynb(13KB)
----random-2.ipynb(3KB)