Qui connaît ce résultat, pour démontrer (basé sur sat) des p

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
un_homme
Membre Naturel
Messages: 89
Enregistré le: 06 Nov 2008, 20:54

Qui connaît ce résultat, pour démontrer (basé sur sat) des p

par un_homme » 22 Sep 2015, 15:19

Salut,

J'ai un algorithme qui permet de démontrer de manière quasi-systématique un résultat (il y a un travail préalable "à la main" quand même).

Un théorème à démontrer peut se mettre sous la forme :
-pour tout x A1(x) ou A2(x) ou A3(x) ou A4(x) ou A5(x) ou ... ou An(x).

ce résultat est souvent dure à établir, mais on peut essayer d'établir des résultats du type :
-pour tout x Ai(x) ou non(Aj(x)) ou Ak(x) ou ..., plus facile à démontrer.

Quand on en dispose de suffisamment, alors il devient facile de vérifier que le théorème de départ est vrai ou faux, on peut le faire à l'aide d'algorithme force brut (2^m possibilités) avec Am(x) (m>=n) le nombre de proposition utiliser.

Si quelqu'un à des références sur ce résultat (comme étant un résultat connue) je suis très intéressé, mais à ma connaissance ce résultat n'est pas connue, et est très puissant.

Merci et bonne journée.



Robot

par Robot » 22 Sep 2015, 15:33

C'est assez fumeux.
D'abord, de quelle forme sont les ?

un_homme
Membre Naturel
Messages: 89
Enregistré le: 06 Nov 2008, 20:54

par un_homme » 22 Sep 2015, 19:29

ce n'est pas parce que tu ne comprends pas un résultat qu'il est fumeux (ou pour toi est-ce équivalent).
Par exemple :
pour le théorème de Fermat :
X=(x,y,z,n) dans N*^4
A1(X)=il existe u dans N* tel que x=u^n
A2(X)=il existe u dans N* tel que y=u^n
A3(X)=il existe u dans N* tel que z=u^n
A4(X)=(x+y>=z)
A5(X)=(x+y<=z)
A6(X)=(n<3)

le théorème est pour tout X non(A1(X)) ou ... ou non(A5(X)) ou A6(X).

Robot

par Robot » 22 Sep 2015, 21:21

peut être n'importe quelle formule ?

Pourrais-tu donner un exemple, par exemple sur le grand théorème de Fermat que tu as choisi, pour voir comment ta méthode s'applique pour voir facilement si ce théorème est vrai ou faux ?

Par ailleurs, prétends-tu que tout énoncé mathématique est logiquement équivalent à un énoncé sous la forme que tu écris ?
Ah, mais oui au fait : l'énoncé est équivalent à .

un_homme
Membre Naturel
Messages: 89
Enregistré le: 06 Nov 2008, 20:54

par un_homme » 22 Sep 2015, 22:36

Attend je m'y essais :
il existe Y, pour tout X, tel que P(X,Y)
peut s'écrire pour tout X, pour tout Y, (Y appartient à A) ou P(X,Y)
avec |N\A|>0,
non ce n'est pas bon.

Laisses moi le temps de voir, je pense que cela est possible mais avec beaucoup d'astuce.

Robot

par Robot » 22 Sep 2015, 23:30

J'attends (en sachant que je risque d'attendre longtemps).

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 67 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite