el problema resulta ser completo-NP y esto se prueba reduciendo a él el problema EDC anterior. Se desconoce actualmente si acaso la unión de estos problemas, es decir el que se obtiene al dejar ``abierta'' a m, pertenece a NP. El problema es irresoluble en el anillo de enteros algebraicos de extensiones cuadráticas reales.