5.250. maximum_modulo

DESCRIPTIONLINKSGRAPH
Origin

Derived from πš–πšŠπš‘πš’πš–πšžπš–.

Constraint

πš–πšŠπš‘πš’πš–πšžπš–_πš–πš˜πšπšžπš•πš˜(π™Όπ™°πš‡,πš…π™°πšπ™Έπ™°π™±π™»π™΄πš‚,𝙼)

Arguments
π™Όπ™°πš‡πšπšŸπšŠπš›
πš…π™°πšπ™Έπ™°π™±π™»π™΄πš‚πšŒπš˜πš•πš•πšŽπšŒπšπš’πš˜πš—(πšŸπšŠπš›-πšπšŸπšŠπš›)
π™Όπš’πš—πš
Restrictions
|πš…π™°πšπ™Έπ™°π™±π™»π™΄πš‚|>0
𝙼>0
πš›πšŽπššπšžπš’πš›πšŽπš(πš…π™°πšπ™Έπ™°π™±π™»π™΄πš‚,πšŸπšŠπš›)
Purpose

π™Όπ™°πš‡ is a maximum value of the collection of domain variables πš…π™°πšπ™Έπ™°π™±π™»π™΄πš‚ according to the following partial ordering: (X mod 𝙼)<(Y mod 𝙼).

Example
(5,9,1,7,6,5,3)

The πš–πšŠπš‘πš’πš–πšžπš–_πš–πš˜πšπšžπš•πš˜ constraint holds since its first argument π™Όπ™°πš‡ is set to value 5, where 5 mod 3=2 is greater than or equal to all the expressions 9 mod 3=0, 1 mod 3=1, 7 mod 3=1 and 6 mod 3=0.

Typical
𝙼>1
𝙼<πš–πšŠπš‘πšŸπšŠπš•(πš…π™°πšπ™Έπ™°π™±π™»π™΄πš‚.πšŸπšŠπš›)
|πš…π™°πšπ™Έπ™°π™±π™»π™΄πš‚|>1
πš›πšŠπš—πšπšŽ(πš…π™°πšπ™Έπ™°π™±π™»π™΄πš‚.πšŸπšŠπš›)>1
Symmetry

Items of πš…π™°πšπ™Έπ™°π™±π™»π™΄πš‚ are permutable.

Arg. properties

Functional dependency: π™Όπ™°πš‡ determined by πš…π™°πšπ™Έπ™°π™±π™»π™΄πš‚ and 𝙼.

See also

comparison swapped: πš–πš’πš—πš’πš–πšžπš–_πš–πš˜πšπšžπš•πš˜.

specialisation: πš–πšŠπš‘πš’πš–πšžπš–Β (πšŸπšŠπš›πš’πšŠπš‹πš•πšŽ mod πšŒπš˜πš—πšœπšπšŠπš—πš replaced by πšŸπšŠπš›πš’πšŠπš‹πš•πšŽ).

Keywords

characteristic of a constraint: modulo, maximum.

constraint arguments: pure functional dependency.

constraint type: order constraint.

modelling: functional dependency.

Arc input(s)

πš…π™°πšπ™Έπ™°π™±π™»π™΄πš‚

Arc generator
πΆπΏπΌπ‘„π‘ˆπΈβ†¦πšŒπš˜πš•πš•πšŽπšŒπšπš’πš˜πš—(πšŸπšŠπš›πš’πšŠπš‹πš•πšŽπšœ1,πšŸπšŠπš›πš’πšŠπš‹πš•πšŽπšœ2)

Arc arity
Arc constraint(s)
β‹πšŸπšŠπš›πš’πšŠπš‹πš•πšŽπšœ1.πš”πšŽπš’=πšŸπšŠπš›πš’πšŠπš‹πš•πšŽπšœ2.πš”πšŽπš’,πšŸπšŠπš›πš’πšŠπš‹πš•πšŽπšœ1.πšŸπšŠπš› mod 𝙼>πšŸπšŠπš›πš’πšŠπš‹πš•πšŽπšœ2.πšŸπšŠπš› mod 𝙼
Graph property(ies)
πŽπ‘πƒπ„π‘(0,π™Όπ™Έπ™½π™Έπ™½πšƒ,πšŸπšŠπš›)=π™Όπ™°πš‡

Graph model

PartsΒ (A) andΒ (B) of FigureΒ 5.250.1 respectively show the initial and final graph associated with the Example slot. Since we use the πŽπ‘πƒπ„π‘ graph property, the vertex of rank 0 (without considering the loops) of the final graph is outlined with a thick circle.

Figure 5.250.1. Initial and final graph of the πš–πšŠπš‘πš’πš–πšžπš–_πš–πš˜πšπšžπš•πš˜ constraint
ctrs/maximum_moduloActrs/maximum_moduloB
(a) (b)