BTW, I agree that FAA is one of the best AA algorithms currently available, without its current shortcomings of course.
What is missing is sparse grid sampling, intesections using z slopes, and a fixed number of levels per pixel with fragment merging, which would put it directly in the realm of Z3. By allocating a separate buffer for the AAed pixels the way FAA does, you could substantially reduce the storage requirements needed by Z3 while increasing the maximum number of levels per pixel for better AA. By using fragment merging the way Z3 does, you correctly handle order independent transparency, and put a cap on the memory requirements for worst case scenarios. Of course, using z slopes provides high quality AA at implicit intersections.
What is missing is sparse grid sampling, intesections using z slopes, and a fixed number of levels per pixel with fragment merging, which would put it directly in the realm of Z3. By allocating a separate buffer for the AAed pixels the way FAA does, you could substantially reduce the storage requirements needed by Z3 while increasing the maximum number of levels per pixel for better AA. By using fragment merging the way Z3 does, you correctly handle order independent transparency, and put a cap on the memory requirements for worst case scenarios. Of course, using z slopes provides high quality AA at implicit intersections.