银行家算法中,max[]表示进程需要各类资源的最大数量, allocation[]表示某时刻已分配给进程的某类资源数,need[]表示进程还需要的某类资源的数量,那么三个变量之间的关系为____。