Java - 522 434 228 213 znaków
Rozwiązuje się przez systematyczne sprawdzanie wszystkich możliwych n-krotek całkowitych przez bezpośrednie mnożenie, aż do znalezienia jednego, który działa.
Funkcja przyjmuje rozszerzoną macierz, A, wektor rozwiązania próbnego, x i wymiar, n, jako wektor rozwiązania wejścia-wyjścia, x. Zauważ, że wektor x jest w rzeczywistości o jeden większy niż wymiar, aby pomóc przejść przez możliwe rozwiązania. (Gdybym zadeklarował zmienne A, x, n, j, k, s jako zmienne instancji, funkcja byłaby o 31 znaków krótsza - w sumie 182, ale wydaje się, że wyginanie reguł jest zbyt duże).
int[]Z(int[][]A,int[]x,int n){int j,k,s;for(;;){for(j=0;j<n;j++){for(k=s=0;k<n;s+=A[j][k]*x[k++]);if(s!=A[j][n])j+=n;}if(j==n)return x;for(j=0;j<=n;j++)if(x[j]!=x[n]||j==n){x[j]++;for(k=0;k<j;x[k++]=-x[n]);j=n;}}}
Program do testowania (nieco nie golfowy):
import java.util.*;
class MatrixSolver{
public MatrixSolver() {
Scanner p=new Scanner(System.in); //initialize everything from stdin
int j,k,n=p.nextInt(),A[][]=new int[n][n+1],x[]=new int[n+1];
for(j=0;j<n;j++)for(k=0;k<=n;A[j][k++]=p.nextInt());
x=Z(A,x,n); //call the magic function
for(j=0;j<n;j++) System.out.print(x[j]+" "); //print the output
}
public static void main(String[]args){
new MatrixSolver();
}
int[]Z(int[][]A,int[]x,int n){
int j,k,s;
for(;;){
for(j=0;j<n;j++){ //multiply each row of matrix by trial solution and check to see if it is correct
for(k=s=0;k<n;s+=A[j][k]*x[k++]);
if(s!=A[j][n])j+=n;
}
if(j==n)return x; //if it is correct return the trial solution
for(j=0;j<=n;j++)if(x[j]!=x[n]||j==n){//calculate the next trial solution
x[j]++;
for(k=0;k<j;x[k++]=-x[n]);
j=n;
}
}
}
}
Program pobiera dane wejściowe ze stdin jako liczby całkowite oddzielone spacją w następujący sposób: po pierwsze, wymiar problemu, po drugie, wpisy rozszerzonej macierzy po rzędzie.
Przykładowy przebieg:
$java -jar MatrixSolver.jar
3 2 1 -1 8 -3 -1 2 -11 -2 1 2 -3
2 3 -1
Ogoliłem kilka postaci, postępując zgodnie z radami Victora dotyczącymi pętli i „publicznych”, przechowując RHS w rozszerzonej matrycy zamiast osobno i dodając dodatkowy wpis do mojego rozwiązania próbnego, aby uprościć generowanie każdego nowego rozwiązania próbnego. OP stwierdził również, że wystarczy funkcja - nie trzeba liczyć całego programu.