File:ComputerProof.jpg

Summary

 * 1) include

main{ int a,b,c,d,e,f,g,h,i,j,k,p; int l,m,n,o,r,s,t,u; int q,v,w; int cnt=0;

for (a=1;a<4;a++) for (b=1;b<4;b++) for (c=1;c<4;c++) for (d=2;d<4;d++)

for (e=1;e<4;e++) for (f=0;f<4;f++) for (g=0;g<4;g++) for (h=0;h<4;h++) for (i=0;i<4;i++) for (j=0;j<4;j++) for (k=0;k<4;k++) for (l=0;l<4;l++) for (m=0;m<4;m++) for (n=0;n<4;n++) for (o=0;o<4;o++) for (p=0;p<4;p++) for (q=0;q<4;q++) for (r=0;r<4;r++) for (s=0;s<4;s++) for (t=0;t<4;t++) for (u=0;u<4;u++) for (v=0;v<4;v++) for (w=0;w<4;w++) { if (a==b || b==c || c==d || e==f || f==g || g==h || h==i || e==2) continue; if (a==e || b==e || b==f || c==f || c==g || d==g || d==h ) continue; if (j==e || j==f || j==g || j==h || j==i || i==1 || h==1 ) continue; if (j==m || j==n || j==o || k==l || l==m || m==n || n==o) continue; if (p==q || q==r || r==s || s==t) continue; if (k==2 || k==p || l==p || l==q || m==q || m==r || n==r || n==s || o==s    || o==t || o==i || t==i) continue; if (u==v || v==w || u==w || v==t || w==t) continue; if (i==2 || t==2 || u==2 || w==2) continue; if (u==p || u==q || u==r || v==t || v==s || v==t) continue; cnt++; printf("solution found \n"); } printf("Es wurden %d Loesungen gefunden\n",cnt); }