Global Constraint Catalog: Czero_or_not_zero

5.423. zero_or_not_zero_vectors

DESCRIPTION

LINKS

Origin

Tournament scheduling

Constraint

$𝚣𝚎𝚛𝚘_𝚘𝚛_𝚗𝚘𝚝_𝚣𝚎𝚛𝚘_𝚟𝚎𝚌𝚝𝚘𝚛𝚜 (𝚅𝙴𝙲𝚃𝙾𝚁𝚂)$

Synonyms

$𝚣𝚎𝚛𝚘𝚜_𝚘𝚛_𝚗𝚘𝚝_𝚣𝚎𝚛𝚘𝚜_𝚟𝚎𝚌𝚝𝚘𝚛𝚜$ , $𝚗𝚘𝚝_𝚣𝚎𝚛𝚘_𝚘𝚛_𝚣𝚎𝚛𝚘_𝚟𝚎𝚌𝚝𝚘𝚛𝚜$ , $𝚗𝚘𝚝_𝚣𝚎𝚛𝚘𝚜_𝚘𝚛_𝚣𝚎𝚛𝚘𝚜_𝚟𝚎𝚌𝚝𝚘𝚛𝚜$ .

Type

𝚅𝙴𝙲𝚃𝙾𝚁

𝚌𝚘𝚕𝚕𝚎𝚌𝚝𝚒𝚘𝚗 (𝚟𝚊𝚛 - 𝚍𝚟𝚊𝚛)

Argument

𝚅𝙴𝙲𝚃𝙾𝚁𝚂

𝚌𝚘𝚕𝚕𝚎𝚌𝚝𝚒𝚘𝚗 (𝚟𝚎𝚌 - 𝚅𝙴𝙲𝚃𝙾𝚁)

Restrictions

| 𝚅𝙴𝙲𝚃𝙾𝚁 | \geq 1

𝚛𝚎𝚚𝚞𝚒𝚛𝚎𝚍

(𝚅𝙴𝙲𝚃𝙾𝚁, 𝚟𝚊𝚛)

| 𝚅𝙴𝙲𝚃𝙾𝚁𝚂 | \geq 1

𝚛𝚎𝚚𝚞𝚒𝚛𝚎𝚍

(𝚅𝙴𝙲𝚃𝙾𝚁𝚂, 𝚟𝚎𝚌)

𝚜𝚊𝚖𝚎_𝚜𝚒𝚣𝚎

(𝚅𝙴𝙲𝚃𝙾𝚁𝚂, 𝚟𝚎𝚌)

Purpose

Given a collection of vectors enforces for each vector that either all its components are equal to 0, or all its components are different from 0. In addition imposes that at least one 0 is used.

Example

(\begin{matrix} 〈\begin{matrix} 𝚟𝚎𝚌 - 〈5, 6〉, \\ 𝚟𝚎𝚌 - 〈5, 6〉, \\ 𝚟𝚎𝚌 - 〈0, 0〉, \\ 𝚟𝚎𝚌 - 〈9, 3〉, \\ 𝚟𝚎𝚌 - 〈0, 0〉 \end{matrix}〉 \end{matrix})

The $𝚣𝚎𝚛𝚘_𝚘𝚛_𝚗𝚘𝚝_𝚣𝚎𝚛𝚘_𝚟𝚎𝚌𝚝𝚘𝚛𝚜$ constraint holds since:

Both components of the first vector $〈 5, 6 〉$ are different from 0.
Both components of the second vector $〈 5, 6 〉$ are different from 0.
Both components of the third vector $〈 0, 0 〉$ are equal to 0.
Both components of the fourth vector $〈 9, 3 〉$ are different from 0.
Both components of the fifth vector $〈 0, 0 〉$ are equal to 0.

Typical

| 𝚅𝙴𝙲𝚃𝙾𝚁 | > 1

| 𝚅𝙴𝙲𝚃𝙾𝚁𝚂 | > 1

Arg. properties

Contractible wrt. $𝚅𝙴𝙲𝚃𝙾𝚁𝚂$ .

Keywords

characteristic of a constraint: vector.

constraint type: predefined constraint, arithmetic constraint.

Global Constraint Catalog

5. Global Constraint Catalogue

5.423. zero_or_not_zero_vectors