loop-invariant

0зной

1ответ

Что такое инвариант цикла для суммирования алгоритма кубов?

Я не уверен на 100%, что такое инвариант в сумме тройной мощности. Примечание: n всегда является неотрицательным значением. псевдокод: triplePower(n) i=0 tot=0 while i <= n LI1 j

algorithm invariants loop-invariant 2012-02-11

---

1зной

1ответ

Доказательство инвариантности цикла и алгоритма

Как получить инвариант цикла и доказать его для следующего алгоритма. power(x,y): z = 1 m = 0 while m < y: z = z*x m = m+1 return z

proof invariants loop-invariant 2013-03-21

---

1зной

1ответ

доказательство правильности с помощью петлевого инварианта (индукция)

Я написал свою собственную тривиальную небольшую функцию (php для удобства) и надеялся, что кто-то может помочь структурировать доказательство по индукции для нее, так что я могу получить очень просто

php math proof loop-invariant 2012-02-24

---

8зной

3ответ

Hoare Logic Loop Invariant

Я смотрю на Hoare Logic, и у меня возникают проблемы с пониманием метода поиска инварианта цикла. Может кто-нибудь объяснить метод, используемый для вычисления инварианта цикла? И что должно содержать

language-agnostic logic verification invariants loop-invariant 2011-01-24

---

0зной

1ответ

Каков возможный инвариант цикла

Может кто-то обеспечить возможный инвариант цикла для следующего простого алгоритма: ввода: A[0,...,n-1] и B[0,...,m-1], каждый из них может содержать повторяющиеся элементы Выход: первая пара (I, j)

algorithm loop-invariant 2013-04-01

---

3зной

1ответ

Loop-инвариантное доказательство

Я столкнулся с проблемой, связанной с пост-условием и показывающей частичную правильность этой части кода. { m = A ≥ 0 } x:=0; odd:=1; sum:=1; while sum<=m do x:=x+1; odd:=odd+2; sum:=s

algorithm loops post-conditions loop-invariant 2013-04-19

---