1
Например, если вы подаете {x | xεZ, 0 < x} к нему, он возвращает {1,2,3,4,5,6,7,8,9,10,11, ...}Есть ли какое-либо программное обеспечение, которое принимает нотации set builder и возвращает нотные записи?
A
ответ
1
Я не знаю такого программного обеспечения.
Обратите внимание, что не существует общего алгоритма для перечисления произвольных множеств; программа, которая принимает любой набор, записанный в нотации set-builder, также должен быть способен решить, например. проблема с остановкой. Более того, существуют множества, которые нельзя перечислить даже теоретически, например те, для построения которых требуется использование функции выбора в действиях.
Естественно, проблема проще, если ограничить, какие выражения могут появляться в нотации set-builder, но даже тогда все более сложное, чем линейное неравенство, на удивление сложно. Например, известно, что алгоритм не существует, чтобы определить, имеет ли полиномиальное равенство P(x_1, ..., x_9)=0 в девяти переменных целочисленное решение (это расширение 10-й проблемы Гильберта), не говоря уже о нахождении некоторых примерных решений.
+0
Большое спасибо! – Kou
Вы хотите, чтобы он возвращал бесконечный набор? То, что вам на самом деле кажется нужным, из вашего примера состоит в том, чтобы преобразовать то, что вы называете нотой set builder, в то, что я буду называть «set instanceplar», потому что я не знаю, имеет ли оно более широко используемое имя. Просьба уточнить ваши требования. –
Извините за поздний ответ, я не заметил, что получил ответ, и спасибо за ваш комментарий. Я имел в виду не буквальный бесконечный набор. Я хочу, чтобы он возвращал сокращенный набор, как и в приведенном выше примере. Если заданная нотация конструктора задана бесконечно, я хочу, чтобы она возвращала аббревиатуру «set instanceplar», например {1,2,3,4, ...}. – Kou