差分约束系统
差分约束系统（System of Difference Constraints），是求解關於一組變數的特殊不等式組之方法。 如果一个系统由 n 个变量和 m 个约束条件组成，其中若每个约束条件形如 x_j-x_i \le b_k(i,j \in [1,n], k \in [1,m]) ，则称其为差分约束系统。亦即，差分约束系统是求解关于一组变量的特殊不等式组的方法。 解法 求解差分約束系統，可以轉化成求解圖論的單源最短路徑。觀察 x_j…
标签：#數學术语
共 2 篇文章
集合建構式符號
在數學裡，集合建構式符號（）是常用于描述集合的一種記號，這種描述集合的方式一般也稱為集合抽象化（）或。一般寫為\{x:P(x)\}或\{x\in S:P(x)\}，分別只在於論域的不同，前者的元素恰好是那些符合謂詞P的集合，而後者的元素除了符合謂詞P，還得是S的元素。 範例：三角形數的集合 的正整數和公式推導。]] 以三角形數的集合為例。三角形數有一個規則，它是正整數的和。 下面的每一個等式給出了三角形數集合T的一個元素： :1=1 :…