Existem três fases de detecção de colisão.
Broadphase : É laços entre todos objecs que podem interagir, falsos positivos são permitidos, se ele iria acelerar o loop.
Fase estreita : determina se colidem e, às vezes, como, sem falsos positivos
Resolução : resolve a colisão.
A pergunta que estou fazendo é sobre a fase estreita. Existem vários algoritmos, diferindo em complexidade e precisão.
Interseção do Hitbox : este é um algoritmo a posteriori, que tem a menor complexidade, mas também não é muito preciso,
Interseção de cores : interseção da Hitbox para cada pixel, a posteriori, perfeito em pixels, não precisa em relação ao tempo, maior complexidade
Teorema do eixo separador : é usado com mais frequência, preciso para triângulos, porém a-posteriori, pois não consegue encontrar a aresta. Ao considerar o último quadro, é mais estável
Radiodifusão linear : o algoritmo A-priori, útil para a física de aparência semi-realista, encontra o ponto de interseção ainda mais preciso que o SAT, mas com mais complexidade
Interpolação de spline : A-priori, ainda mais preciso que os raios lineares, ainda mais coplexidade.
Provavelmente há muito mais que eu esqueci. A questão é: quando é melhor usar SAT, quando raios, splines e se há algo melhor.