[Date Index] [Thread Index] [Author Index]

Generating systems of constraints

• To: mathgroup at smc.vnet.net
• Subject: [mg72358] Generating systems of constraints
• From: Alec Resnick <aresnick at mit.edu>
• Date: Tue, 26 Dec 2006 08:07:12 -0500 (EST)

Good day!  I was hoping someone might be able to point me in the  
right direction with a problem I ran into.  I'm trying to solve an  
arbitrarily large system of linear, Diophantine equations whose  
solutions are subject to two constraints
1) All the variables are distinct; i.e., none of the variables are  
equal to one another.
2) All of the variables are bounded by 1 <= x <= # of variables.

So in essence, I have a system of equations with N variables that I  
would like to generate solutions for by assigning {1,2...,N} to each  
variable.

Now, I know that I can use Reduce to solve this system; however, I  
don't know how to generate constraints like this for a given N, and  
I'd rather not type them all out.  Does anyone have any suggestions?   
I don't need to do this for very many systems, but more than four, so  
I don't want to have to do too much of it manually.

Thanks!

Gratefully,
a.