1
Par exemple, si vous lui donnez {x | xεZ, 0 < x}, il renvoie {1,2,3,4,5,6,7,8,9,10,11, ...}Existe-t-il un logiciel qui prend des notations de constructeur de set et renvoie des notations de registre?
A
Répondre
1
Je ne connais pas de tels logiciels.
Notez qu'aucun algorithme général pour l'énumération d'ensembles arbitraires ne peut exister; un programme qui accepte tout ensemble écrit en notation set-builder doit également être capable de résoudre par ex. le problème d'arrêt. De plus, il existe des ensembles qui ne peuvent être énumérés même théoriquement, par exemple ceux dont la construction nécessite l'utilisation d'une fonction de choix sur les réels.
Naturellement, le problème est plus facile si vous limitez le type d'expressions pouvant apparaître dans la notation set-builder, mais même alors, tout ce qui est plus complexe que les inégalités linéaires est étonnamment difficile. Par exemple, il est connu qu'aucun algorithme existe pour déterminer si une égalité polynomiale P(x_1, ..., x_9)=0 dans neuf variables a une solution entière (ceci est une extension du 10ème problème de Hilbert), sans se soucier réellement de trouver des solutions exemplaires.
+0
Merci beaucoup! – Kou
Voulez-vous qu'il retourne un ensemble infini? Ce que vous semblez vouloir, à partir de votre exemple, est de transformer ce que vous appelez la notation de constructeur d'ensembles en ce que j'appellerai la notation 'set exemplar' parce que je ne sais pas si elle a un nom plus largement utilisé. S'il vous plaît clarifier vos exigences. –
Désolé pour la réponse tardive Je n'ai pas remarqué que j'ai eu une réponse, et merci pour votre commentaire. Ce que je voulais dire n'était pas un ensemble infini littéral. Je veux qu'il retourne un ensemble abrégé, tout comme l'exemple ci-dessus. Si une notation de constructeur d'ensemble donnée est infinie, je veux qu'elle retourne une notation abrégée 'set exemplar' comme {1,2,3,4, ...}. – Kou