CD
Ты можешь закостылить правило, указывающее на зависимости в паре (a, tmp) следующую из определения tmp
Size: a a a
2020 July 22
M
Ну да проблема зависимостей двух переменных острый поинт но решение тайм есть
CD
И перенести дальше условие на tmp в условие на a
M
да это так и работает
M
Ну почти так
CD
Но как минимум тебе нужно будет обратить инициализатор, видимо
CD
То есть решить задачу "при каких a верно, что a % 3 == 0"
M
Ну вот про это и пойнт
CD
Как только ты это сделаешь, ты видимо делаешь примерно так - любое условие распространяешь не только на само выражение, но и его эквивалентные формы
M
Да используя DAG
M
В работе
CD
для tmp == 0 это будет (a % 3) == 0
M
Есть пример того о че ты говоришь
M
Ну не совсем так но почти
CD
Ну не совсем так но почти
Ну я понял, почему даг, да
CD
Это собственно граф инициализации
CD
и отсюда ты получишь, что (a % 3) == 0 это соответственно даст тебе что a это арифметическая прогрессия
CD
Да используя DAG
Собственно вот на этом этапе должна быть полная жопень
M
Да это понятно не понятно почему операция модуля дает периодическую последовательность