Contento, pero precavido

Hasta donde puedo ver en este momento (pero tomando en cuenta que la nieve no me deja ver mucho), parece ser que por fin tengo el resultado de complejidad (desfortunadamente, expresado en forma negativa, es decir no existe un algoritmo que ...).
Ese resultado se me ha estado escapando de las manos las últimas semanas, principalmente porque yo creía (y esperaba) que sí era posible encontrar tal algoritmo, pero todos mis intentos por generar tal, obviamente, fracasaron. Aún así, tengo todavía algunas dudas sobre la veracidad de un paso que utilicé, y Franz tiene una duda sobre la equivalencia de unas definiciones en dos artículos distintos (usan los mismos términos, pero con definiciones distintas).
Si tengo este resultado, podré dormir tranquilo, después de tantas decepciones que he dado con resultados falsos en el último mes.
Supongo que sólo me queda esperar a mañana y aclarar mis dudas.