import java.util.Arrays;

public class BanksTest {
  // 用于存儲(chǔ)預(yù)操作后的資源變化
  static int[] new_Avaliable = null;
  // 用于存儲(chǔ)預(yù)操作的完成度
  static boolean[] new_finish = null;
  // 用于保存最終的進(jìn)程執(zhí)行順序,初始化為非法進(jìn)程-1
  static int right[] = { -1, -1, -1, -1, -1 };

  public static void main(String[] args) {
    // 最大需求量
    int[][] max = { { 7, 5, 3 }, { 3, 2, 2 }, { 9, 0, 2 }, { 2, 2, 2 }, { 4, 3, 3 } };
    // 當(dāng)前系統(tǒng)可用資源量
    int[] avaliable = { 3, 3, 2 };
    // 每個(gè)進(jìn)程運(yùn)行還需資源量
    int[][] need = new int[5][3];
    // 每個(gè)進(jìn)程已分配的資源量
    int[][] allocation = { { 0, 1, 0 }, { 2, 0, 0 }, { 3, 0, 2 }, { 2, 1, 1 }, { 0, 0, 2 } };
    // 用于第一深度預(yù)判的初始化
    boolean finish[] = { false, false, false, false, false };
    // 獲取每個(gè)進(jìn)程運(yùn)行時(shí)還需的資源量
    for (int i = 0; i < max.length; i++) {
      for (int j = 0; j < max[i].length; j++) {
        need[i][j] = max[i][j] - allocation [i][j];
      }
    }
    // 創(chuàng)建遞歸深度
    int deep = 0;
    // 調(diào)用回溯遞歸算法
    deepCheck(avaliable, allocation, need, finish, deep, right);
    int i = 0;
    // 查看最終的安全序列的值，看是否存在初始的非法進(jìn)程，如果存在，則說(shuō)明該案例不存在安全的進(jìn)程執(zhí)行順序
    for (; i < right.length; i++) {
      if (right[i] == -1) {
        break;
      }
    }
    if (i < right.length) {
      System.out.println("該案例不存在安全的進(jìn)程執(zhí)行順序");
      return;
    }
    // 打印安全的執(zhí)行順序
    for (int j = 0; j < right.length; j++) {
      System.out.println(right[j]);

    }

  }

  // 完全遞歸回溯查找安全順序
  public static boolean deepCheck(int[] avaliable, int[][] allocation, int[][] need, boolean finish[], int deep,
      int right[]) {
    int j = 0;
    boolean flog = false;
    // 如果深度為進(jìn)程的個(gè)數(shù)數(shù)說(shuō)明已經(jīng)查找到頭了,說(shuō)明上一深度的進(jìn)程是安全節(jié)點(diǎn)。因?yàn)樯弦簧疃鹊倪M(jìn)程滿足了當(dāng)前資源數(shù)大于或等于該進(jìn)程運(yùn)行所需的資源數(shù)，且為安全序列中最后一個(gè)節(jié)點(diǎn)。
    if (deep == need.length) {
      return true;
    }
    // 遍歷所有節(jié)點(diǎn)進(jìn)程開(kāi)始查找,直到找到安全校驗(yàn)成功的的節(jié)點(diǎn)進(jìn)程
    for (int i = 0; i < need.length; i++) {
      // 對(duì)于未被標(biāo)記的進(jìn)行校驗(yàn)，已被標(biāo)記的為已被列為安全節(jié)點(diǎn)所以無(wú)需再進(jìn)行校驗(yàn)
      if (!finish[i]) {
        // 判斷當(dāng)前的節(jié)點(diǎn)進(jìn)程的剩余的資源量,是否滿足運(yùn)行所需的資源量
        for (j = 0; j < avaliable.length; j++) {
          // 不滿足
          if (need[i][j] > avaliable[j]) {
            break;
          }
        }
        // 不滿足則處理下一個(gè)節(jié)點(diǎn)進(jìn)程
        if (j < avaliable.length) {
          continue;
        } else {
          // 滿足情況
          // 復(fù)制會(huì)被修改的前提條件，已便于當(dāng)前進(jìn)程校驗(yàn)不成功時(shí)，可以恢復(fù)前提條件，開(kāi)始下一個(gè)節(jié)點(diǎn)進(jìn)程的校驗(yàn)
          new_Avaliable = Arrays.copyOf(avaliable, avaliable.length);
          new_finish = Arrays.copyOf(finish, finish.length);
          // 假設(shè)當(dāng)前節(jié)點(diǎn)進(jìn)程是可以校驗(yàn)成功的節(jié)點(diǎn)進(jìn)程，修改該進(jìn)程運(yùn)行完畢后釋放之前分配的進(jìn)程。
          for (j = 0; j < new_Avaliable.length; j++) {
            new_Avaliable[j] += allocation[i][j];
          }
          // 假設(shè)標(biāo)記當(dāng)前為校驗(yàn)成功的安全節(jié)點(diǎn)進(jìn)程，下一深度查找時(shí)會(huì)忽略此進(jìn)程。
          new_finish[i] = true;
          // 增加深度
          deep++;
          // 以上假設(shè)為前提，進(jìn)行下一深度的安全校驗(yàn)判斷其他所剩余進(jìn)程是否可以繼續(xù)運(yùn)行，而不造成死鎖。
          flog = deepCheck(new_Avaliable, allocation, need, new_finish, deep, right);
          // 如果進(jìn)行安全校驗(yàn)后為真，說(shuō)明當(dāng)前進(jìn)程是我們要找的進(jìn)程
          if (flog) {
            // 保存到最終進(jìn)程執(zhí)行序列的數(shù)組中
            right[--deep] = i;
            break;
          }

        }

      }

    }
    // 安全校驗(yàn)成功
    if (flog) {
      return true;
    } else {
      // 安全校驗(yàn)失敗
      // 清楚之前的假設(shè)標(biāo)記
      new_finish[right[--deep]] = false;
      return false;
    }

  }
}