Extremely slow and CPU-intensive ST_MakeValid (ST_BuildArea) case

[strk]

The attached shapefile contains a single geometry. A multipolygon composed by a single polygon containing 4213 rings with a total of 82304 vertices.

Passing it as an argument to ST_MakeValid takes forever.

[strk]

How does it look in qgis:

[strk]

It looks like the procedure is stuck within LWGEOM_GEOS_buildArea

[strk]

Yep, confirmed you can hook things forever by calling ST_BuildArea(ST_Boundary(geom))

[strk]

Also memory usage keeps increasing.

Plan: rewrite BuildArea to avoid all those SymDifference calls and simply skip polygons fully contained in other polygons (assuming those ones are holes of the other). Should work pretty good and fast...

[strk]

polygonize finds 3536 polygons, so ST_BuildArea is stuck computing the symdifference between each of them and the aggregated result. While it goes on the time it takes to compute the symdifference grows. It starts with roughly 20 items per second. At iteration 1700 computes ~5 symdifference per second... Every iteration has to rebuild the topology which was already built in the previous iteration.

[strk]

shapefile with the single offending geometry

[strk]

Step back: I was completely wrong about how the geometry was rendered. At least, I can't handle to render it that way again. The information about composition is correct.