提出一个挑战性问题请大家思考

提出一个问题请大家思考（问题与java无关，不过我正在使用java解决它）假定现在有n台计算机（即n个计算节点）构成一个MPI 环境，现在给出一段MPI程序（这段程序在每台计算机上都会执行）：MPI_size(&n);MPI_rank(&r);if(r%2) sendMessageTo(r+1);else     recvMessageFrom(r-1);显然，当n是偶数时，所有节点的程序都能顺利执行；当n是奇数时，必定有一个节点的程序不能执行完毕（呈现死锁等待状态）。现在假定n等于100，那么我们可以构造一个模型，这个模型涵盖了100个节点的消息收发语句，此时，我们可以自动化判定所有节点的程序都不会死锁。但是问题是n的值是不定的，那么有没有自动化方法判定呢？一种思路是穷举法，我们假定n有一个上界N，那么我们将n的值从1取到N，用n=100的方法就可以自动化判断了。穷举方法使得我们必须判断N个模型来确定死锁，这显然是不理想的。我们希望能够有一种方法，使得我们不需要穷举所有n，而只需要取少量几个n的值就能确定这段程序的所有死锁特性。当然，我们的方法不应该限制在上面这段程序上，而是所有类似的程序上。