L'informatique mathematical-programming

2

Quel est l'algorithme le plus rapide pour la multiplication de deux nombres à n chiffres?

Je veux savoir quel algorithme est le plus rapide pour la multiplication de deux nombres à n chiffres? La complexité de l'espace peut être détendue ici!

21 algorithms mathematical-programming

4

Existe-t-il des algorithmes de compression basés sur PI?

Ce que nous savons, c'est que π est infini et contient très probablement toutes les chaînes finies possibles de chiffres ( séquence disjonctive ). J'ai vu récemment un prototype de πfs qui suppose que chaque fichier que vous avez créé (ou quelqu'un d'autre) ou que vous créerez, il est déjà …

11 algorithms data-compression mathematical-programming

2

Preuves théoriques à Coq

Contexte J'apprends l'aide, Coq, par moi-même. Jusqu'à présent, j'ai terminé la lecture du Coq à la hâte d'Yves Bertot . Maintenant, mon objectif est de prouver quelques résultats de base concernant les nombres naturels, culminant avec l'algorithme dit de division. Cependant, j'ai rencontré quelques revers sur mon chemin vers cet …

10 automated-theorem-proving proof-assistants mathematical-programming coq

2

Facettes connues du polytope du problème du voyageur de commerce

Pour la méthode ramification-coupe, il est essentiel de connaître de nombreuses facettes des polytopes générés par le problème. Cependant, c'est actuellement l'un des problèmes les plus difficiles à calculer réellement toutes les facettes de ces polytopes à mesure qu'ils grandissent rapidement. Pour un problème d'optimisation arbitraire, le polytope utilisé par …

8 algorithms optimization linear-programming mathematical-programming traveling-salesman

Questions marquées «mathematical-programming»