Я знаю брезенхема для прямой и нашел для окружности. Но у меня условно произвольная криволинейная поверхность.

Скорее всего у меня будет поверхность, заданная уравнением второго порядка. Вот обобщение брезенхема для такого случая было бы весьма.

Ну не питоновского байт-кода

Можно взять решетку Z^3, если твоя поверхность второго порядка имеет ненулевые квадратичные члены в f(x,y,z)=0, то для достаточно мелкой решетки поверхность будет пересекать кубик тогда и только тогда, когда в кубике найдутся две вершины, соединенные ребром с противоположными по знаку значениями f на вершинах, проверяешь кубики и выбираешь те, которые удовлетворяют

Ну я вместо "пересекать" использую "центр кубика достаточно близок к поверхности". Но для больших кубиков это тоже даст не самый лучший результат. Поэтому я разбиваю кубики на более мелкие и включаю весь большой кубик, если из мелких определенная доля должна быть включена. В данный момент - разбиваю на n^3, включаю если набралось n^2. Для n=3 выдает результат, который выглядит удовлетворительным.

Но я видел вроде бы варианты, где через пары разного знака. Только брались не все пары, а диагонально противоположные.

в продолжение темы - на самом деле мне для визуализации нужны горизонтальные срезы и соответственно требуется две вещи:
внутри среза не должно быть дыр
между срезами не должно быть щелей
Возникла мысль, чтобы разрезать поверхность на полоски шириной в 1 юнит, проходящие через границу двух соседних слоев блоков. Верхний слой строится по верхней линии этой ленты, нижний по нижней, в случае возникновения зазоров между слоями надо определить, в какой из двух слоев добавлять блок для затыкания.

получается, что задача из трехмерного сводится к двумерной, но надо тогда как-то переписывать формулу для поверхности

а для "затыкания щелей" все равно что-то сходное с брезенхэмом остается

Размер кубиков фиксирован?

условно 1x1x1

Я извиняюсь что не по теме канала,можете подсказать каналы по spring?

Подскажите, в каких случаях, какими алгоритмами можно обогнать нативную сортировку Timsort?

Только по асимптотике?

да

Что сортируем? Инты?

если инты, то каунтинг сорт

любые случаи интересуют.

сортировки на сравнениях не работают быстрее n log n, timsort - n log n в worst case
так что в "любых случаях" не обогнать