Actualmente, bitcoin tiene un sistema de prueba de trabajo (PoW) que usa SHA256. Otras funciones hash utilizan una prueba de gráficos de uso del sistema de trabajo, inversión parcial de la función hash. ¿Es posible usar un problema de Decisión en la teoría de nudos como el reconocimiento de nudos...
Me preguntaba qué documentos debería leer para entender esta pregunta Una conexión inesperada con otras áreas de las matemáticas, como la geometría algebraica o la cohomología superior. Quizás incluso un área de matemáticas aún no desarrollada. Quizás alguien desarrolle una dirección...
Es bien sabido que y son menores prohibidos para gráficos planos. Hay cientos de menores prohibidos para gráficos incrustados en un toro. El número de menores prohibidos para gráficos incrustados en la superficie del género g es una función exponencial de g . Mi pregunta es la...
GI y Knot Problem, ambos son problemas para decidir la equivalencia estructural de los objetos matemáticos. ¿Hay algún resultado que establezca conexiones entre ellos? Se han explorado buenas conexiones del problema de nudos con la física estadística a través de polinomios de nudos , ¿hay...
El teorema de Borsuk-Ulam dice que por cada función impar continua solsolg desde una esfera n al espacio n euclidiano, hay un punto X0 0X0 0x_0 tal que sol( x0 0) = 0sol(X0 0)=0 0g(x_0)=0 . Simmons y Su (2002) describen un método para aproximar el punto X0 0X0 0x_0 usando el lema de Tucker . Sin...
Soy un teórico de la homotopía, interesado en la informática. Me gustaría preguntar ¿cuáles son algunas aplicaciones interesantes de álgebra homotópica (categorías de modelos, categorías de infinito, categorías simples, etc.) en la informática