simplification

1зной

1ответ

Упрощение истории журналов Git, пример разработки в руководстве пользователя git

Все вам удобны с примерами и разработками в справочной системе git для упрощения истории? Я сталкиваюсь с некоторыми трудностями при понимании при использовании этой справки/руководства и названного п

4зной

1ответ

алгоритм упрощения строки: Visvalingam vs Douglas-Peucker

Я пытаюсь реализовать алгоритм siplification. Основными 2 алгоритмами, которые я нашел, являются Ramer-Douglas-Peucker: https://en.wikipedia.org/wiki/Ramer%E2%80%93Douglas%E2%80%93Peucker_algorithm и

1зной

3ответ

Как упростить A + 0> 0 в A> 0?

Я просто новичок в Coq, и я пытался доказать несколько элементарных теорем о натуральных числах. Я уже делал несколько, не очень изящно, но заканчивал меньше, чем меньше. Тем не менее, я полностью зас

-3зной

2ответ

Как упростить это факториальное выражение?

У меня всегда есть проблемы с факториалами. Может ли кто-нибудь пройти меня через упрощение этого выражения? (x + 1)! - 1 + (x + 1) (x + 1)! Я пытаюсь довести его до (x + 2)! - 1.

1зной

1ответ

Как упростить объединение двух выражений: Z3 решатель

Результат производится по SMT решатель: (or (and (>= c1 2) (<= c1 4) (= (+ c0 c1 c2) 5) (= (+ c0 c1) 4)) (and (>= c1 1) (<= c1 3) (= (+ c0 c1 c2) 5) (= (+ c0 c1) 4))) Но я ожидал что-то вроде:

3зной

2ответ

Могу ли я упростить этот код? И если так, как

Я пытаюсь добавить несколько команд в мою первую программу MVVM. Но способ, которым я их добавляю, чувствует себя не так. Я хочу предотвратить как можно больше дублирования, могу ли я сделать родитель

1зной

1ответ

Булева алгебра упрощения (3 входа)

мне может понадобиться ваша помощь с этим довольно простой вещью: Это ->abc' + ab'c + a'bc + abc может (я думаю) можно упростить до этого ->ab+ac+bc. Но как в мире это делается с помощью Boolean алгеб

-1зной

1ответ

Как я могу упростить этот код javascript? слишком много переключателей()

У меня есть код ниже. Он выглядит длинным и сложным, и теперь мне нужно добавить еще несколько условий. Есть ли способ упростить этот код. Javascript предлагает любой другой способ сделать то же самое

1зной

1ответ

Упрощение выражения с использованием Sympy trigsymp

Почему следующий простой пример не возвращает 1? from sympy import * r, theta, phi = symbols('r, theta, phi') pprint(trigsimp(cos(phi)**2 * sin(theta)**2+sin(phi)**2 * sin(theta)**2 + cos(theta)**