 of ${\mbox{\sc Regular}}$ constraints. Consider the $n$ by $m$ matrix model $X_{i,j}$. For each row $i$ we introduce an extra variable $Y_i$ and a ${\mbox{\sc Regular}}$ constraint on $[X_{i,1}, \ldots,X_{i,m}, \#, Y_i]$ where $\#$ is a delimiter between $X_{i,m}$ and $Y_i$. Each ${\mbox{\sc Regular}}$ constraint ensures that exactly one position in the $i$th row is set to $1$ and the variable $Y_i$ stores this position. The automaton’s states are represented by the 3-tuple $\left\langle s, d, p \right\rangle$ where $s$ is the row sum, $d$ is the current position and $p$ records the position of the 1 on this row. This automaton has $4m$ states and a constant number of transitions from each state, so the total number of transitions is $O(m)$. The complexity of propagating this constraint is $O(m^2)$. ]{}]{} [[ We also post a ${\mbox{\sc Regular}}$ constraint over $Y_1,\ldots,Y_n$ to ensure that they form a decreasing sequence of numbers and the number of occurrences of each value is decreasing. The first condition ensures that rows and columns are lexicographically ordered and the second condition ensures that the sums of the columns are decreasing. The states of this automaton are 3-tuples $\left\langle v, s, r\right\rangle$ where $v$ is the last value, $s$ is the number of occurrences of this value, and $r$ is the number of occurrences of the previous value. This automaton has $O(n^2m)$ states, while the number of transition from each state is bounded. Therefore propagating this constraint requires time $O(n^3m)$. ]{}]{} This decomposition is logically equivalent to the ${\mbox{\sc DoubleLexColSum}\xspace}$ constraint, therefore it is sound. Completeness follows from the fact that the decomposition has a Berge acyclic constraint graph. Therefore, enforcing DC on each ${\mbox{\sc Regular}}$ constraint enforces DC on ${\mbox{\sc DoubleLexColSum}\xspace}$ in $O(m^2n + n^3m)$ time.

Value symmetry
==============

Problems
of $ { \mbox{\sc Regular}}$ constraints. Consider the $ n$ by $ m$ matrix model $ X_{i, j}$. For each row $ i$ we insert an excess variable $ Y_i$ and a $ { \mbox{\sc Regular}}$ constraint on $ [ X_{i,1 }, \ldots, X_{i, m }, \ #, Y_i]$ where $ \#$ is a delimiter between $ X_{i, m}$ and $ Y_i$. Each $ { \mbox{\sc Regular}}$ restraint ensures that precisely one position in the $ i$th quarrel is set to $ 1 $ and the variable $ Y_i$ shop this position. The automaton ’s states are represent by the 3 - tuple $ \left\langle s, d, p \right\rangle$ where $ s$ is the row union, $ d$ is the current stead and $ p$ records the position of the 1 on this row. This automaton has $ 4m$ states and a changeless number of transitions from each state, so the full number of transitions is $ O(m)$. The complexity of propagating this constraint is $ O(m^2)$. ] { } ] { } [ [ We besides post a $ { \mbox{\sc Regular}}$ constraint over $ Y_1,\ldots, Y_n$ to see that they form a decreasing sequence of number and the number of occurrences of each value is decreasing. The first condition guarantee that rows and columns are lexicographically ordered and the second condition ensures that the sums of the columns are decreasing. The states of this automaton are 3 - tuples $ \left\langle v, s, r\right\rangle$ where $ v$ is the last value, $ s$ is the act of occurrences of this value, and $ r$ is the number of occurrence of the former value. This automaton hold $ O(n^2m)$ states, while the number of passage from each state is bounded. Therefore propagating this restraint requires time $ O(n^3m)$. ] { } ] { } This decomposition is logically equivalent to the $ { \mbox{\sc DoubleLexColSum}\xspace}$ constraint, therefore it is sound. Completeness follows from the fact that the decomposition has a Berge acyclic constraint graph. Therefore, enforcing DC on each $ { \mbox{\sc Regular}}$ constraint enforce DC on $ { \mbox{\sc DoubleLexColSum}\xspace}$ in $ O(m^2n + n^3m)$ time. 

 Value isotropy 
 = = = = = = = = = = = = = = 

 trouble
 of ${\mbox{\sc Regular}}$ constraikts. Consider the $n$ by $m$ matris model $B_{i,j}$. For each row $i$ we introdnce qn exuga variable $Y_i$ and a ${\obox{\sc Rehular}}$ cobstreint on $[X_{i,1}, \ldots,E_{j,m}, \#, Y_i]$ where $\#$ ls a beoimiter betweek $X_{i,m}$ and $Y_h$. Each ${\mbox{\sc Seeupar}}$ constraint ensures that exactly one poxihion in the $i$tr roe is avt to $1$ and the variable $Y_i$ storss this position. The automaton’s states are repgesejted by the 3-tuple $\peft\langle w, d, [ \right\rangle$ where $s$ is the row suj, $d$ is the current position and $p$ reeords the pisutilt of the 1 oi this row. This aubpmaton has $4m$ xtates and a cpnsvant number of transitionv from each state, fo the todam number of transutuons hs $O(k)$. Thd coopltxivy kf prooageting this donstraint us $O(m^2)$. ]{}]{} [[ We also posu a ${\nbox{\sc Regulad}}$ conserwint over $Y_1,\ldots,Y_n$ to ensure that they xorj a decreasing sequence of numbers and the nomber of oscurrences of each value is decreasing. The first wondiviun tnwures rhwt rows and columns are lexicographically ordqdec snd the second condition rndutgs that the suos of cge columns are decrewsing. Tre stqtes of tris sutomaton are 3-tuples $\left\labgle v, s, r\riyht\eangle$ where $v$ is che last valbe, $s$ ix the number of occurrences uf tgis value, ajd $r$ is tgd number of occufrekcev of the previous value. Thys automavon hcs $O(n^2m)$ sgatex, whilq the numbfr of transition from eafh stcte iv bounded. Hherefore propagating this consvcaint requirex dimv $O(n^3m)$. ]{}]{} Thns decpmposition is logically equnvalent co the ${\mbox{\sc DolbleLexConSum}\xspace}$ sonstraint, thatefore it is vound. Coiplerenews folluds from the favt that tkt decomposution has a Berge ecycujc constraint gxcpy. Therefore, enfprckng DB oi eacr ${\mbox{\sc Regunar}}$ zonryraing enforces BC on ${\kbox{\sc DoubleLexColSgm}\xslace}$ in $O(m^2n + n^3m)$ tike.

Yalue symnetry
==============

Proflems
of ${\mbox{\sc Regular}}$ constraints. Consider the $n$ matrix $X_{i,j}$. For row $i$ we and ${\mbox{\sc Regular}}$ constraint $[X_{i,1}, \ldots,X_{i,m}, \#, where $\#$ is a delimiter between and $Y_i$. Each ${\mbox{\sc Regular}}$ constraint ensures that exactly one position in the row is set to $1$ and the variable $Y_i$ stores this position. The states represented the $\left\langle s, d, p \right\rangle$ where $s$ is the row sum, $d$ is the current position $p$ records the position of the 1 on row. This automaton has states and a constant number transitions each state, the number transitions is $O(m)$. complexity of propagating this constraint is $O(m^2)$. ]{}]{} [[ We also post a ${\mbox{\sc Regular}}$ constraint over to ensure form a sequence numbers the number of each value is decreasing. The first rows and columns are lexicographically ordered and the condition ensures the sums of the columns are The states of this automaton are 3-tuples $\left\langle s, r\right\rangle$ where $v$ is the last value, $s$ is the number of occurrences of and $r$ is the of occurrences of previous This has states, while number of transition from each state is bounded. Therefore propagating this requires time $O(n^3m)$. ]{}]{} This decomposition is logically equivalent to DoubleLexColSum}\xspace}$ therefore it is Completeness follows from the that decomposition has a Berge graph. enforcing ${\mbox{\sc constraint DC on ${\mbox{\sc DoubleLexColSum}\xspace}$ $O(m^2n + n^3m)$ time. Value ============== Problems
 of ${\mbox{\sc Regular}}$ constraintS. Consider tHe $n$ by $M$ maTriX mOdel $x_{i,j}$. FOr each row $i$ we inTRoduCe an extra variable $Y_i$ and A ${\mbox{\Sc rEgulAR}}$ cOnstrAint on $[X_{I,1}, \LdOTS,X_{i,M}, \#, Y_I]$ wHerE $\#$ iS A dElimiTer Between $x_{i,m}$ and $Y_i$. EaCh ${\mBoX{\sc Regular}}$ coNStRaint ensurEs tHat exactly onE poSition In The $I$Th row Is sEt to $1$ aNd the vARiable $y_i$ stores tHiS PositiON. The autOMAtOn’s sTates are representED bY The 3-tuple $\left\laNgle s, d, P \rIGhT\RAngLe$ wHere $s$ is the RoW sum, $d$ IS the curREnT POSitIOn and $p$ records The position OF thE 1 on thiS rOw. THIs autoMaton HaS $4M$ stAtes and a conStanT number of TransiTIons froM Each staTe, so thE toTal NumbER oF tRanSiTIonS Is $o(m)$. THE coMplexity Of PrOpagaTing THIS ConsTraInt iS $O(m^2)$. ]{}]{} [[ We Also post a ${\mbox{\Sc REgulAR}}$ coNstraInt ovEr $Y_1,\lDoTs,Y_n$ tO ensurE that ThEy form a decreasiNg seQuence of nUmbErS anD tHe numBEr of ocCurRenCes of eaCh value IS deCrEASInG. The first condition EnSUReS that rowS and coLUmNs ARe lexicoGrAphIcalLY OrderEd anD ThE second cOnditiON eNsUres thaT tHe sums Of The ColUmns aRE decReasinG. The statEs of tHIs automaton are 3-TUples $\left\langLE v, S, R\RiGHt\raNglE$ where $v$ is thE lasT ValuE, $s$ is THe NumBEr of oCcurrEnCEs OF this value, and $r$ is the NuMber of OccurRences of the prEvious valuE. tHIs automaTon hAS $O(N^2M)$ states, while thE numbEr of transiTIon from eAch stAte is bouNded. ThereFORe propagAtiNg tHis ConSTRaInt requires tiME $o(n^3m)$. ]{}]{} THiS decompOsiTion is lOgiCalLy eQuiVaLent to the ${\Mbox{\sc DoUbLeleXCOlSUm}\xspACe}$ constrAiNt, tHeRefOre it IS sound. complEtenEsS fOLloWs from tHE fACT thaT tHe DecoMpoSiTion hAs a BERge Acyclic ConstrainT grAPh. ThErEfOre, enfoRcing DC on each ${\MbOx{\sc RegulaR}}$ cOnsTraint ENForces DC On ${\mbox{\sc DoubleLexColSum}\XSpace}$ in $o(m^2n + N^3m)$ timE.

ValUe symmetrY
==============

PrOblems
 of ${\mbox{\sc Regular}}$  constrain ts. C ons ide rthe$n$by $m$ matrixm odel  $X_{i,j}$. For each r ow $i $w e in t ro ducean extr a  v a r iab le  $ Y_i $a nd  a ${ \mb ox{\scRegular}}$  co ns traint on $[ X _{ i,1}, \ldo ts, X_{i,m}, \#,  Y_ i]$ wh er e $ \ #$ is  adelim iter b e tween$X_{i,m}$  a n d $Y_i $ . Each$ { \m box{ \sc Regular}}$ co n st r aint ensures t hat ex ac t ly o nepos ition in t he  $i$t h  row is se t t o $ 1 $ and the var iable $Y_i$ sto res th is  po s ition.  Theau t oma ton’s state s ar e represe nted b y  the 3- t uple $\ left\l ang les, d ,  p  \ rig ht \ ran g le $ w h ere  $s$ isth erow s um,$ d $ is t hecurr ent p osition and $ p$reco r dsthe p ositi on o fthe 1  on th is ro w.  This automaton  has  $4m$ sta tes  a ndaconst a nt num ber  of  transi tions f r omea c h st ate, so the totalnu m b er  of tran sition s  i s$ O(m)$. T he  co mple x i ty of  pro p ag ating th is con s tr ai nt is $ O( m^2)$.  ] {}] {}[[ We also  posta ${\mbo x{\sc Regular}}$ con s traint over $ Y _1 , \ ld o ts,Y _n$  to ensurethat they  for m  a  de c reasi ng se qu e nc e  of numbers and the  n umberof oc currences ofeach value i s  decreas ing. Th e  first conditi on en sures that rows and  colu mns arelexicogra p h ically o rde red  an d t h e  s econd conditi o n  ens ur es that  th e sumsofthe  co lum ns  are decr easing.Th est at esof th i s automa to n a re  3- tuple s  $\lef t\lan glev,  s ,  r\ right\r a ng l e $ wh er e$v$isth e las t va l ue,  $s$ is  the numb ero f oc cu rr ences o f this value,  a nd $r$ isth e n umbero f  occurre nces of the previous va l ue. Thi s a utoma tonhas $O(n^ 2m) $ stat es, whilethe nu mberof  tr a n sitio n fr omea ch state i s bou nded.  T here fore pr opagating this con s tra int requirestim e $O ( n ^3 m)$ .  ] { }]{ }T his d ecomposition is  logically  e q ui valent tot he${ \mbox{\ sc Doub leLex C olSum}\ xspace}$constrain t,  the r e for e it is so und. Com pleteness follo w sfromthe  factth atthe d ecompo s iti on ha s a Be rg e acyc lic c on straintgraph. Therefore, enfor cing D C oneac h ${\mbox {\s c  Re gular}}$cons traint enf orc esDC on  ${ \ mbox{ \scD ou ble L exCol Sum} \ xspace}$i n$O( m ^ 2n  + n^3m)$ t i m e .
Value  sy m metry==== ==========

Probl e ms
 of_${\mbox{\sc Regular}}$_constraints. Consider the $n$_by $m$_matrix_model $X_{i,j}$._For_each row $i$_we introduce an_extra variable $Y_i$ and_a ${\mbox{\sc Regular}}$_constraint_on $[X_{i,1}, \ldots,X_{i,m}, \#, Y_i]$ where $\#$ is a delimiter between $X_{i,m}$ and $Y_i$._Each_${\mbox{\sc Regular}}$_constraint_ensures_that exactly one position in_the $i$th row is set_to $1$_and the variable $Y_i$ stores this position. The_automaton’s_states are represented_by the 3-tuple $\left\langle s, d, p \right\rangle$ where_$s$ is the row sum, $d$_is the current_position_and_$p$ records the position_of the 1 on this row._This automaton has $4m$ states and_a constant number of transitions from each_state, so the total number of_transitions is $O(m)$. The complexity_of propagating_this constraint is $O(m^2)$. ]{}]{}_[[ We also_post a_${\mbox{\sc Regular}}$ constraint_over $Y_1,\ldots,Y_n$ to ensure that they_form a decreasing_sequence of numbers and the number_of_occurrences of each_value_is_decreasing. The_first condition ensures_that_rows and_columns_are lexicographically ordered and the second_condition_ensures that the sums of the columns_are decreasing. The states_of_this automaton are 3-tuples_$\left\langle v, s, r\right\rangle$ where_$v$ is the last value, $s$_is the_number of_occurrences of this value, and $r$ is the number of occurrences_of the previous value. This automaton_has $O(n^2m)$ states, while_the number_of_transition from each_state_is bounded._Therefore propagating this constraint requires time $O(n^3m)$._]{}]{} This_decomposition is logically equivalent to the_${\mbox{\sc DoubleLexColSum}\xspace}$ constraint, therefore_it_is sound. Completeness follows from the_fact that the decomposition has a_Berge acyclic constraint graph. Therefore,_enforcing_DC_on each ${\mbox{\sc Regular}}$ constraint_enforces DC on ${\mbox{\sc DoubleLexColSum}\xspace}$ in_$O(m^2n + n^3m)$_time.

Value symmetry
==============

Problems