用java伪代码实现多机调度问题并判断该算法的正确性

伪代码如下：

// 定义一个数组，存放每个任务的处理时间
int[] processingTime = {10, 5, 6, 8, 3}; 

// 定义一个变量，表示机器的数量
int numOfMachines = 3;

// 定义一个二维数组，表示每台机器上的任务
int[][] schedule = new int[numOfMachines][processingTime.length];

// 定义一个数组，表示每台机器的完成时间
int[] completionTime = new int[numOfMachines];

// 定义一个变量，表示当前已经分配的任务数量
int numOfTasksScheduled = 0;

while (numOfTasksScheduled < processingTime.length) {
    // 找到完成时间最早的机器
    int minCompletionTime = completionTime[0];
    int minCompletionTimeMachine = 0;
    for (int i = 1; i < numOfMachines; i++) {
        if (completionTime[i] < minCompletionTime) {
            minCompletionTime = completionTime[i];
            minCompletionTimeMachine = i;
        }
    }

    // 将当前未分配的任务分配给完成时间最早的机器
    schedule[minCompletionTimeMachine][numOfTasksScheduled] = processingTime[numOfTasksScheduled];
    completionTime[minCompletionTimeMachine] += processingTime[numOfTasksScheduled];
    numOfTasksScheduled++;
}

// 输出每台机器上的任务
for (int i = 0; i < numOfMachines; i++) {
    System.out.print("Machine " + (i+1) + ": ");
    for (int j = 0; j < processingTime.length; j++) {
        if (schedule[i][j] != 0) {
            System.out.print(schedule[i][j] + " ");
        }
    }
    System.out.println();
}

该算法的正确性可以通过如下方式进行验证：

1. 对于每个任务，计算它在各台机器上的完成时间，并将最小值记录下来；
2. 将所有任务分配给完成时间最早的机器，并更新该机器的完成时间；
3. 重复1和2步骤，直到所有任务都被分配完毕；
4. 最后，检查每台机器上的任务是否满足各自的完成时间，如果满足则算法正确。

可以通过手动计算来验证算法的正确性，或者使用随机生成的数据进行测试。