Extraños corchetes en la ecuación de recurrencia

Question

Tengo la siguiente recurrencia dada:

$$a_{0}=1$$ $$a_{1}=1$$ $$a_{n}=3a_{n-2}+3a_{n-1}$$

¿Por qué es igual a algo como esto?:

$$a_{n}=3a_{n-2}+3a_{n-1}-2[n=1]+[n=0 ]$$

¿Qué son esos soportes?

Answer 1

Lo más probable es que sean Soportes Iverson . Si la expresión booleana dentro del corchete es verdadera, entonces el corchete se evalúa como $1$ . En caso contrario, el paréntesis se evalúa como $0$ .