Je voudrais utiliser des invariants pour distinguer les objets mathématiques. Je les ai et ils sont formés par une séquence int [N] d'entiers. L'invariant est très puissant et utile mais il a un inconvénient: il est volumineux car N est grand. Ce que je veux est d'avoir un invariant plus simple et en utilisant md5sum semble approprié. Certains invariants distincts peuvent être rassemblés mais ce n'est pas un problème car ils sont de toute façon invariants et devraient être rares. Y at-il une interface C à md5sum pour une telle liste d'entiers? Cela semble une exigence standard, mais je ne peux pas le trouver.Plus simple invariant utilisant md5sum
1
A
Répondre
1
Il n'existe pas de bibliothèque md5 C standard, mais il existe de nombreuses implémentations libres. Rechercher "md5 c" sur Google et le first link contient une implémentation.
Questions connexes
- 1. est Invariant de rotation RCNN plus rapide?
- 2. Prédit md5sum chaîne
- 3. Loari invariant Hoare Logic
- 4. boucle Java invariant
- 5. MD5SUM dans un Makefile
- 6. vérifier md5sum sur android
- 7. CodeContracts Invariant is false
- 8. Hoare Logic Loop Invariant
- 9. LINQ; Recherche avec culture invariant
- 10. preuve d'exactitude par invariant de boucle (induction)
- 11. Java équivalent de Invariant Culture
- 12. Conception par contrat et classe invariant
- 13. classe D invariant appel const fonctionne
- 14. md5sum différent sur Linux et Windows
- 15. Quelle est la boucle possible invariant
- 16. Utiliser le sous-processus pour vérifier md5sum
- 17. Ajouter md5sum dans la sortie ls bash
- 18. Computing MD5SUM de gros fichiers en C#
- 19. Comment obtenir le MD5Sum d'un fichier DEB
- 20. md5sum de fichier sous Linux C
- 21. Simple Modal - plus d'un
- 22. simple, plus de jQuery
- 23. IComparer invariant sur chaîne <string>
- 24. Pourquoi ai-je 'non prouvée Invariant' avertissement
- 25. moyen le plus simple utilisant réseau et gps Satellite Android
- 26. Serveur d'accès distant le plus simple utilisant Spring HttpInvoker
- 27. Rendre mon code plus simple
- 28. UINavigationController: Exemple le plus simple
- 29. Authentification Twitter la plus simple
- 30. Détecteur de distance plus simple?