Existe-t-il des théories arithmétiques tel que...

A 6 millions de dollars la démonstration théorique, je comprends pourquoi ne pas s'y atteler.

Ceci dit, je ne vois pas bien comment disposer d'un outil pratique qui réponde à une question théorique il va en falloir des cailloux !

c'est une bonne somme.

A 6 millions de dollars la démonstration théorique, je comprends pourquoi ne pas s'y atteler.

Ceci dit, je ne vois pas bien comment disposer d'un outil pratique qui réponde à une question théorique il va en falloir des cailloux !

J'aimerais une réponse pratique de la question, une preuve ne m'intéresse pas, c'est en cela que je ne cherche pas à résoudre le problème tel que proposé par l'institut.

NP<>P: moi je comprend pas les maths, cette relation est elle logique?

Si NP=P, pour le dire vite alors les énigmes possèdent une stratégies générale de résolution.

les énigmes possèdent une stratégies générale de résolution.

et donc de l'informatisation de toute une classe de problèmes de décision semblables, voilà il me semble que j'ai compris!

Si NP=P, pour le dire vite alors les énigmes possèdent une stratégies générale de résolution.

En fait, il manque quelque chose, il faut en plus que la stratégie aboutisse en un temps raisonnable, car il existe des stratégies qui aboutissent en des temps astronomique : la force brut par exemple (essayer systématiquement toute les réponses possibles).

contrexemple, les terme techniques ne me sont pas familiers, peux tu parler un peu plus clairement?

de quelle "force brute" parles tu?

contrexemple, les terme techniques ne me sont pas familiers, peux tu parler un peu plus clairement?

de quelle "force brute" parles tu?

La stratégie force brute consiste à tester toutes les réponses possibles, prenons l'exemple d'une énigme dont la réponse est un mot, la force brut consisterait à prendre un dictionnaire et à tester tout les mots de la langue française pour voir lequel est solution, mais tu comprends bien qu'une tel stratégie n'est pas du tout économe en temps.

J'espère avoir été plus claire, sinon n'hésite pas.

La stratégie force brute consiste à tester toutes les réponses possibles, prenons l'exemple d'une énigme dont la réponse est un mot, la force brut consisterait à prendre un dictionnaire et à tester tout les mots de la langue française pour voir lequel est solution, mais tu comprends bien qu'une tel stratégie n'est pas du tout économe en temps.

J'espère avoir été plus claire, sinon n'hésite pas.

c'est très bien expliqué, merci, c'est juste une barrière de jargon... Mais c'est peut être la limite de la science, ne le pense tu pas?

c'est très bien expliqué, merci, c'est juste une barrière de jargon... Mais c'est peut être la limite de la science, ne le pense tu pas?

Oui, effectivement le vocabulaire est un frein, mais la périphrase "force brute" donne une bonne idée du sens qu'elle porte.

oui,en fait cette périphrase est révélatrice, mais ne pense tu pas que la résolution complète et exacte de ce type de problèmes, est peut être hors de la portée humaine?

En fait, ce type de problème se résout, déjà, bien de manière collective, par exemple la conception de programmes qui entrerons dans l'élaboration de nouveau programme...

On peut dire qu'une des pistes que j'explore, c'est de trouver un langage de programmation universelle, c'est à dire dont la prise en main est quasi-immédiate, ou (ce qui revient pratiquement aux même) un nouveau type de raisonnement accessible aux plus grand nombre.

Pour le dire vite, je cherche un moyen de faire capitaliser l'expérience de chacun dans l'élaboration d'outils facilitant la résolution de problèmes à contrainte physique (des problèmes facilitant la vie du plus grand nombre).

si ce problème se résout bien de manière collective, alors pourquoi ne peuvent ils pas être sur que P=NP?

ensuite si ce dont tu parle est réalisable, de un je te félicite et t'encourage car c'est du très grand travail, et de deux je te conseille d’être prudent avec la science, car après les résultats pourraient être dangereux, ce qui n'est pas bon pour l'humanité.

Tu as raison et les actes ne valent que par leurs intentions.