|
|
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Можно ли как-то от него абстрагироваться? То есть, если, например, рассматривать два выражения: 1) (a + b) * c; 2) a * c + b * c, их можно считать изоморфными, они выражают одну и ту же зависимость. В таком случае, у них должно быть что-то общее, что-то, чего достаточно для обозначения этой зависимости, но без привязки к конкретной форме. Мне это пригодится для хранения выражений в виде структур данных. Сколько ни искал - не нашел ничего даже близко относящегося к этому вопросу. И не совсем понятно, где искать. То ли в теории множеств, то ли в формальных грамматиках, то ли еще где-то. Чистый гугл в моих руках с такой задачей не справляется. Есть у кого-нибудь идеи, знания или подходящие ссылки? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 16:09 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Это выражения нельзя считать изоморфными если явно не задан приоритет операций. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 16:16 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Siemargl, это стандартное арифметическое выражение, у умножения приоритет выше, чем у сложения, у скобок еще выше ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 16:19 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
InnerCloisterSiemargl, это стандартное арифметическое выражение, у умножения приоритет выше, чем у сложения, у скобок еще вышеКомпьютеру пофиг, он тупой. Чему равно 10? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 16:23 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Это разные формулы, и они дают одинаковые результаты только на плоскости. В общем случае, они могут приводить к разным результатам. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 16:31 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
(a + b) * c <> a * c + b * c, На математике в институте раз математик сообщил, там вектора и тп. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 16:36 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Siemargl, Siemargl, тут только структуры данных, компьютер пока не нужен. Вот краткое описание, как я вижу представление выражений на данный момент. 1) Выражение является термом. 2) Терм может быть: - константой; - переменной; - операцией над одним термом (противоположное значение, инверсия, степень и т.д.), возможно, с дополнительными параметрами-термами (например, показатель степени); - операцией над множеством термов (сложение, произведение), возможно, с дополнительными параметрами (примеров пока не подобрал). Но в такой форме структура выражения зависит от формы записи - это как раз связано с распределительным законом. Вопрос про 10 был с намеком? Не понял, если честно. TVA_11, пример можно? Если действительно так, вопрос снимается. Но, возможно, мы говорим о разных вещах. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 16:36 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
InnerCloister, Ну на плоскости, это работает. А если плоскость евклида искривить, и на ней складывать и умножать числа, то будут разные результаты. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 16:38 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
TVA_11, практически незнаком с понятием евклидовой геометрии и вообще подобным подходом, но, скорее всего, в моей задаче этот фактор не нужно рассматривать, т.к. я работаю с привычными математическими выражениями, а там распределительный закон, вроде как, действует. Или я ошибаюсь? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 16:43 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
InnerCloister, если, абстрагироваться от формы, то общее для обоих выражений - это результат :) ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 16:44 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
ALKIR, вот этого я больше всего боюсь. Но все же, если рассмотреть эти выражения как функции, они будут одинаково выглядеть на графике, неужели нельзя как-то установить однозначную зависимость для конкретного графического представления функции? Я не имею ввиду, что надо определять эту зависимость по графику, но она ведь должна существовать? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 16:49 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
InnerCloisterМожно ли как-то от него абстрагироваться? То есть, если, например, рассматривать два выражения: 1) (a + b) * c; 2) a * c + b * c, их можно считать изоморфными, они выражают одну и ту же зависимость. В таком случае, у них должно быть что-то общее, что-то, чего достаточно для обозначения этой зависимости, но без привязки к конкретной форме. Мне это пригодится для хранения выражений в виде структур данных. Сколько ни искал - не нашел ничего даже близко относящегося к этому вопросу. И не совсем понятно, где искать. То ли в теории множеств, то ли в формальных грамматиках, то ли еще где-то. Чистый гугл в моих руках с такой задачей не справляется. Есть у кого-нибудь идеи, знания или подходящие ссылки? Я думаю что такого понятия как изоморфные выражения не существует. Да и не гуглится оно. Есть отдельно изоморфизм . И есть математические тождества . Определись что тебе надо и решай. Для действительных чисел математики можно сказать что выражения (1) и (2) выражают одну и ту же зависимость. Ну скажем напряжённость поля в точке (a,b,c) ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 16:52 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
InnerCloister, зависимость можно установить, для этого существует целый пласт с названием: "корреляционный анализ" если результат двух функций будет при всех возможных параметрах одинаковым, то, например, коэффициент корреляции будет равен 1 ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 16:56 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
[quot mayton]InnerCloisterЯ думаю что такого понятия как изоморфные выражения не существует. Да и не гуглится оно. Есть отдельно изоморфизм . И есть математические тождества . Определись что тебе надо и решай. Для действительных чисел математики можно сказать что выражения (1) и (2) выражают одну и ту же зависимость. Ну скажем напряжённость поля в точке (a,b,c) Мне надо, чтобы при считывании строчек, представляющих упомянутые выражения, они сохранялись в идентичные структуры. Ибо я не вижу разницы между ними в рамках моей задачи. Хотя если из твоих слов следует, что для комплексных чисел это не тождественные выражения, придется оставлять все как есть. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 16:59 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
InnerCloisterTVA_11, практически незнаком с понятием евклидовой геометрии и вообще подобным подходом, но, скорее всего, в моей задаче этот фактор не нужно рассматривать, т.к. я работаю с привычными математическими выражениями, а там распределительный закон, вроде как, действует. Или я ошибаюсь? Распределительный закон действует только для тех законов композиции, для которых он действует. Если a, b и c - элементы некоторого кольца, то всё в порядке. Если Вы не в курсе, что бывает по-другому - с высокой вероятностью у Вас всё в порядке. TVA_11 накурился и гонит. Если операций две, можно ввести понятие "нормальной формы выражения" - такого способа записи, который не позволяет записать "одинаковые" выражения "разным" образом. Тогда для сравнения выражений достаточно привести оба к нормальной форме и посмотреть, не совпадают ли ("эквивалентны" ли) они. Слово "изоморфный" имеет совершенно определённый смысл в алгебре и здесь неприменимо. С другой стороны, предложенное отношение, очевидно, разбивает множество выражений на классы эквивалентности, поэтому термин "эквивалентные выражения" вполне приемлем. Вариант приведения (полагая, что переменные выражаются буквами a-z): привести выражение к виду суммы произведений, привести однородные члены, упорядочить множители в слагаемых по алфавиту (коэффициент вынести вперёд), упорядочить слагаемые лексикографическим порядком. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 17:04 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
См. как производятся вычисления выражений. http://devwiki.beloblotskiy.com/index.php5/Вычисление_значения_выражения_с_помощью_дерева Потом ищи как производятся преобразования деревьев вычислений. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 17:11 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
InnerCloisterМне надо, чтобы при считывании строчек, представляющих упомянутые выражения, они сохранялись в идентичные структуры. Ибо я не вижу разницы между ними в рамках моей задачи. Хотя если из твоих слов следует, что для комплексных чисел это не тождественные выражения, придется оставлять все как есть. Тебе надо придумать каноническую форму хранения выражений. И все поступающие формулы преобразовывать в неё. Так проще сравнивать хотя задача эта очень нетривиальная. Хотя-бы из за скобок. Для удобства трансформаций выражения нужно парсить в деревья. Как - это уже детали. Подумай сам. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 17:12 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
InnerCloisterМожно ли как-то от него абстрагироваться? То есть, если, например, рассматривать два выражения: 1) (a + b) * c; 2) a * c + b * c, их можно считать изоморфными ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 17:30 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Математически да, а для компьютера может быть не так однозначно. Например, a*c приводит к переполнению, а и b разных знаков и (a+b)*c к переполнению не приводит. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 17:31 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Тут всё хуже. Речь выше шла о некоммутативности и т.п. свойствах НЕ-действительных чисел. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 17:38 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
BarloneМатематически да, а для компьютера может быть не так однозначно. Например, a*c приводит к переполнению, а и b разных знаков и (a+b)*c к переполнению не приводит. (a+b)*c mod 2 32 =a*c+b*c mod 2 32 , зуб даю. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 17:41 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
InnerCloisterМожно ли как-то от него абстрагироваться? сравнивать абстрактные синтаксические деревья? http://ru.wikipedia.org/wiki/%C0%E1%F1%F2%F0%E0%EA%F2%ED%EE%E5_%F1%E8%ED%F2%E0%EA%F1%E8%F7%E5%F1%EA%EE%E5_%E4%E5%F0%E5%E2%EE ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 19:02 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Siemargl был первым... сорри. не увидел, что дублирую. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 26.04.2012, 19:04 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
AbstractionInnerCloisterTVA_11, практически незнаком с понятием евклидовой геометрии и вообще подобным подходом, но, скорее всего, в моей задаче этот фактор не нужно рассматривать, т.к. я работаю с привычными математическими выражениями, а там распределительный закон, вроде как, действует. Или я ошибаюсь? Распределительный закон действует только для тех законов композиции, для которых он действует. Если a, b и c - элементы некоторого кольца, то всё в порядке. Если Вы не в курсе, что бывает по-другому - с высокой вероятностью у Вас всё в порядке. TVA_11 накурился и гонит. Если операций две, можно ввести понятие "нормальной формы выражения" - такого способа записи, который не позволяет записать "одинаковые" выражения "разным" образом. Тогда для сравнения выражений достаточно привести оба к нормальной форме и посмотреть, не совпадают ли ("эквивалентны" ли) они. Слово "изоморфный" имеет совершенно определённый смысл в алгебре и здесь неприменимо. С другой стороны, предложенное отношение, очевидно, разбивает множество выражений на классы эквивалентности, поэтому термин "эквивалентные выражения" вполне приемлем. Вариант приведения (полагая, что переменные выражаются буквами a-z): привести выражение к виду суммы произведений, привести однородные члены, упорядочить множители в слагаемых по алфавиту (коэффициент вынести вперёд), упорядочить слагаемые лексикографическим порядком. 1) (a + b) * c = вектор большой * с 2) a * c + b * c = маленьких вектора *с + маленький вектор * с Пример. Чем выше башня, тем дальше видно. 0-10 км = Башня большой вектор = Прирост видимости 0-5 км = Башня маленький вектор = прирост видимости + прирост видимости Во втором случае сумма будет больше. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 09:15 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
TVA_111) (a + b) * c = вектор большой * с 2) a * c + b * c = маленьких вектора *с + маленький вектор * с Пример. Чем выше башня, тем дальше видно. 0-10 км = Башня большой вектор = Прирост видимости 0-5 км = Башня маленький вектор = прирост видимости + прирост видимости Во втором случае сумма будет больше. Ох. 1) Каким множествам принадлежат a, b, c, a*c, b*c, a+b? Какие законы композиции заданы на этом множестве (множествах)? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 10:24 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Abstraction, Сумма квадратов катетов равна квадрату гипотенузы на Евклиде. Если плоскость кривая, то неработает. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 11:45 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
TVA_11Abstraction, Сумма квадратов катетов равна квадрату гипотенузы на Евклиде. Если плоскость кривая, то не работает. Спасибо, я как бы в курсе. Только в евклидовой геометрии, а не на Евклиде, а то в мозгу какие-то картины на тему некромантии возникают. Это не отменяет моего вопроса: если Вы собрались приводить контрпример, будьте добры явно обозначить, элементами каких множеств являются a, b, c и какие законы композиции в каждом случае обозначены символами * и + в Вашем контрпримере? Если a, b, c - элементы одного и того же множества, а + и * - внутренние законы этого множества, то нарушение дистрибутивного закона означает, что множество не есть кольцо. Множества с двумя операциями, не являющиеся кольцами, безусловно существуют, но достаточно экзотичны. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 12:03 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Abstraction, Искривите плоскость Евклида, на ней делайте те же операции сложения, вычитания, умножения. И результат будет другой. Это просто и очевидно. Остальное не ко мне ), ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 13:07 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
TVA_11Abstraction, Искривите плоскость Евклида, на ней делайте те же операции сложения, вычитания, умножения. И результат будет другой. Это просто и очевидно. Остальное не ко мне ), Для точек плоскости нет общепринятых операций сложения и умножения (друг на друга? на число из R ?). Считаете иначе - пруф в студию. Если хотите их ввести - будьте добры описать. Нормально, без "видимости с башни". Типа "выделим на плоскости точку О, суммой точек А и В будем называть точку С, такую, что...". ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 13:11 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Abstraction, Начетри на искривленной площади треугольник. Измерь катет и гипотенузу. Убедись, что сумма квадратов катетов, неравна квадрату гипотенузы ) ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 13:17 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
TVA_11Abstraction, Начетри на искривленной площади треугольник. Измерь катет и гипотенузу. Убедись, что сумма квадратов катетов, неравна квадрату гипотенузы ) Опуская претензии к вольному употреблению слова "измерить" - всё так. Нарушение дистрибутивного закона где? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 13:19 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Abstraction, а*с = площадь квадрата на плоскости евклида искривляем плоскость только в зоне а --> Большая плоскость и искривляем плоскость только в зоне b в остальном оставляем евклид. Складываем. Большой итог. (а+в)*с = площадь квадратов на плоскости евклида Искривлена плоскость только в части большего а или в, а далее евклид. итог меньше ). ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 14:06 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
TVA_11Abstraction, а*с = площадь квадрата на плоскости евклида искривляем плоскость только в зоне а --> Большая плоскость и искривляем плоскость только в зоне b в остальном оставляем евклид. Складываем. Большой итог. (а+в)*с = площадь квадратов на плоскости евклида Искривлена плоскость только в части большего а или в, а далее евклид. итог меньше ).Пожалуйста. Перестаньте гнать пургу, извините за выражение. 1) Проследите, что с чем Вы складываете, что на что умножаете и в каких множествах происходит каждое из действий. Вот сейчас, кто такой a - расстояние между двумя точками на евклидовой плоскости? Кто такой b - расстояние между двумя точками на неевклидовой плоскости? Кто такой с - расстояние между двумя точками на евклидовой плоскости? Если ответы на все три вопроса "да", то это вещественные числа и все операции + и * - обычные операции в вещественных числах. В множестве вещественных чисел дистрибутивный закон выполняется во весь рост, если у Вас получается иное - ищите ошибку в рассуждениях (я не могу, написанное не есть неразрывная цепочка следствий, часть переходов осталась у Вас в голове и не попала в пост). 2) Попробуйте определить понятие площади в кривой метрике. Там 'площадь' квадрата не обязана равняться произведению 'длин' сторон, вообще-то. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 14:27 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Abstraction, а=в /--------/ кривой отрезки с - не кривой отрезок. а+в /--------/--------/ <--а тут второй не кривой первый так же криво Поэтому после умножения на С будут разные суммы. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 14:50 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Abstraction, Тоесть используем пункт 2. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 14:51 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
TVA_11, 1) Если a - отрезок, b - отрезок и c - отрезок, то с прискорбием сообщаю, что для отрезков общепринятых операций сложения и умножения нет. 2) Пишите определения, "на глазок" я не понимаю. Суммой отрезков a , b называется такой отрезок S , что... Произведением отрезков a , c называется такой отрезок M , что... Отрезки D , E называются равными, если... или - Произведением отрезков a , c называется такое вещественное число p , что... ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 14:57 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Abstraction, Все как обычно, ничего нового ). ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 15:01 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
TVA_11Abstraction, Все как обычно, ничего нового ).Вас не затруднит описать это "как обычно"? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 15:03 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Abstraction, я прекратил. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 15:04 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Как бы резюме из предыдущих ответов. Совершенно верно сказано, что (а в с) должны быть из одного множества, на котором заданы две операции. Из теории групп. Если множество с одной операцией, и она имеет определённые свойства - это группа, полугруппа - наиболее любимые классы множеств. Например множество всех подмножеств без повторения конечного множества. Если множество с 2 -мя операциями и одна из них коммутативна, а другая дистрибутивна (= ещё несколько свойств), то это коммутативное и дистрибутивное кольцо. Комп оперирует с рациональными числами. Рациональные и действительные числа таким кольцом являются, (даже полем являются). Как прав один пользователь, в нашем случае, если (а в с) лежат в таком кольце, то теоретически оба выражения одинаковы (если и операции те, что по умолчанию). Также теоретически прав и другой пользователь: у компа есть предел точности, и на пределе равенство может нарушаться из-за округлений. Насчёт третьего пользователя, в многомерном случае, не буду врать - не помню. Там векторное произведение (аналог "*") может не быть дистриб-ным. В Евклидовом пространстве - будет. В неевклидовом - необязательно. Более того, при размерности > 3 там кажется и само произведение иначе называется, нежели векторное. Значит и граф разбора - даст ли он одно и то же - зависит от исходного можества и порядка величин. Чаще всего в коммерции всё евклидово и далеко от предельных значений) ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.04.2012, 17:39 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
exp98, ну у меня не совсем коммерция, а скорее даже теоретическая электротехника) Поэтому будут комплексные числа. Да и вообще, не особо хочется привязываться к конкретной задаче - модуль работы с выражениями может вылиться и в самостоятельный продукт. Другое дело, что точность вычислений компьютера меня пока не волнует, от этого абстрагируемся. Abstraction, mayton, Да, я думал о таком варианте. Он меня не устраивает тем, что содержание привязывается к одной из форм. Не могу точно сказать, стоит ли заморачиваться в таком случае, - возможно, не так уж и необходимо, чтобы схожие по смыслу выражения хранились одинаково. Мне изначально хотелось выделить общее для двух представлений выражения и хранить именно это общее. При этом, мне не пришлось бы самому придумывать каноническую форму хранения, она была бы обусловлена математическими законами. Тут меня привлекает скорее идейная правильность способа хранения, нежели его полезные свойства. Хотя, думаю, у такого способа их бы было больше в любом случае. Но, видимо, не выйдет. Слишком мало знаний в этой области, да и непонятно, можно ли вообще решить такую задачу - ведь с точки зрения теории множеств мы имеем лишь набор соответствий между точками двух множеств. Ну а если еще учитывать, что распределительный закон не инвариантен, лучше и не тратить время зря. Хотя не уверен, стоит ли это учитывать при разработке математических парсеров. В практических задачах, скорее всего, в основном используются обыденные алгебраические структуры. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 28.04.2012, 11:08 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
InnerCloisterТут меня привлекает скорее идейная правильность способа хранения, нежели его полезные свойства. Хотя, думаю, у такого способа их бы было больше в любом случае. Но, видимо, не выйдет. Слишком мало знаний в этой области, да и непонятно, можно ли вообще решить такую задачу - ведь с точки зрения теории множеств мы имеем лишь набор соответствий между точками двух множеств. Ну а если еще учитывать, что распределительный закон не инвариантен, лучше и не тратить время зря. Хотя не уверен, стоит ли это учитывать при разработке математических парсеров. В практических задачах, скорее всего, в основном используются обыденные алгебраические структуры. 1) Распределительный закон выполняется для всех (как минимум, "земных" - в теориях микромира крокодилы могут встретиться) множеств, участвующих в физических моделях. Но, что намного хуже, переместительный закон для умножения "отказывает" заметно чаще. 2) "Идейно", единственно правильного способа нет. Можете посмотреть в сторону булевых функций - там есть ДНФ, КНФ, полином Жегалкина, каждое из представлений для чего-то удобно. Можно приводить в форму, которую потом дешевле всего вычислять; можно в ту, по которой лучше всего видно, сколько переменных должны быть нулями для того, чтобы функция была тождественным нулём, можно ещё в какую-то - вопрос в том, что Вам надо. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 28.04.2012, 11:38 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
Привести к стандартному виду - единственный способ абстрагироваться от нестандартного вида выражения. :) Вспомни школьные задачи "Упрости выражение". ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 11.05.2012, 16:30 |
|
||
|
Распределительный закон
|
|||
|---|---|---|---|
|
#18+
InnerCloister, всё уже придумано до вас http://en.wikipedia.org/wiki/Computer_algebra_system ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 12.05.2012, 09:05 |
|
||
|
|

start [/forum/topic.php?all=1&fid=16&tid=1342270]: |
0ms |
get settings: |
8ms |
get forum list: |
13ms |
check forum access: |
3ms |
check topic access: |
3ms |
track hit: |
155ms |
get topic data: |
10ms |
get forum data: |
2ms |
get page messages: |
50ms |
get tp. blocked users: |
1ms |
| others: | 206ms |
| total: | 451ms |

| 0 / 0 |
