La clásica referencia descrita por Garey and Johnson describe una prueba de complejidad fuertemente NP-completo, reduciéndolo de la búsqueda 3-dimensional del problema de la 4-partición al de la 3-partición.