Actuellement, Bitcoin dispose d'un système de preuve de travail (PoW) utilisant SHA256. D'autres fonctions de hachage utilisent des graphiques d'utilisation du système de preuve de travail, l'inversion partielle de la fonction de hachage. Est-il possible d'utiliser un problème de décision dans la...
Je me demandais quels papiers je devrais lire pour comprendre cette question Une connexion inattendue à d'autres domaines des mathématiques tels que la géométrie algébrique ou la cohomologie supérieure. Peut-être même un domaine des mathématiques pas encore développé. Peut-être que quelqu'un...
Il est bien connu que K5K5K_5 et K3,3K3,3K_{3,3} sont des mineurs interdits pour les graphes planaires. Il existe des centaines de mineurs interdits pour les graphiques intégrables sur un tore. Le nombre de mineurs interdits pour les graphes intégrables à la surface du genre g est une fonction...
GI et Knot Problem sont tous deux des problèmes de décision d'équivalence structurelle d'objets mathématiques. Y a-t-il des résultats établissant des liens entre eux? De jolies connexions du problème des nœuds à la physique statistique ont été explorées via des polynômes de nœuds , y a-t-il des...
Le théorème de Borsuk-Ulam dit que pour chaque fonction impaire continue ggg d'une sphère n dans un espace n euclidien, il y a un point X0x0x_0 tel que g( x0) = 0g(X0)=0g(x_0)=0 . Simmons et Su (2002) décrivent une méthode pour approximer le point X0X0x_0 utilisant le lemme de Tucker . Cependant,...
Je suis un théoricien de l'homotopie, intéressé par l'informatique. Je voudrais demander quelles sont les applications intéressantes de l'algèbre homotopique (catégories de modèles, catégories infinies, catégories simpliciales, etc.) en informatique