Ява - 522 434 228 213 символів
Вирішує шляхом систематичної перевірки всіх можливих цілих n-кортежів шляхом прямого множення, поки не буде знайдено, що працює.
Функція приймає доповнену матрицю, A, вектор пробного рішення, x і розмірність, n, як вхід - виводить вектор рішення, x. Зауважте, що вектор x насправді на один більший, ніж розмірність, щоб допомогти перейти до можливих рішень. (Якби я оголосив змінні A, x, n, j, k, s в якості змінних екземплярів, функція була б на 31 символів коротшою - на загальну суму 182, але це відчуває, що правила занадто сильно згинають.)
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;}}}
Програма тестування (дещо без вольфу):
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;
}
}
}
}
Програма приймає дані зі stdin як цілі числа, розділені пробілом, так: по-перше, розмірність задачі, по-друге, записи доповненої матриці за рядками.
Проба зразка:
$java -jar MatrixSolver.jar
3 2 1 -1 8 -3 -1 2 -11 -2 1 2 -3
2 3 -1
Я поголив декількох персонажів, дотримуючись порад Віктора щодо циклів і "загальнодоступних", зберігаючи RHS в доповненій матриці замість окремо, і додав додатковий запис до мого пробного рішення, щоб спростити генерацію кожного нового пробного рішення. ОП також сказала, що функції достатньо - не потрібно рахувати всю програму.