proof-of-correctness

0зной

1ответ

Необходимые и достаточные по сравнению с звуком и полнотой

Я пытаюсь изучить доказательства. Я наткнулся на эти 4 термина. Я пытаюсь связать все. A: X>Y B: Y<X Necessary Condition B implies A Sufficient Condition A implies B И A = { set of

11зной

1ответ

Есть ли способ доказать свойства моих программ на C++?

Я понимаю, как такие языки, как Coq и Idris, могут быть использованы для доказательства свойств программ, написанных на этих языках (судя по моему небольшому опыту в теме.), Но мне интересно, есть ли

5зной

1ответ

Помощник для справки только для математики

Большинство помощников по доказательству являются функциональными языками программирования с зависимыми типами. Они могут проверять программы/алгоритмы. Я заинтересован, вместо этого, в помощнике дока

0зной

1ответ

Доказательство корректности разделяй и властвуй рода

Предположим, у нас есть метод сортировки: void DD_sort(int a[], int x, int y, int size_a) { if(x == y){ return; } else if(y == x+1){ if(a[x] > a[y]){ /* swap the cont

0зной

1ответ

LCS для 3 строк - доказательство

Можем ли мы расширить алгоритм LCS для двух строк из документа ниже до трех строк таким образом? http://www.columbia.edu/~cs2035/courses/csor4231.F13/lcs.pdf - документ, страница 5 пункт 2. Если хт =

0зной

2ответ

Улучшение эффективности этого кода с отслеживанием переменной?

я написал ниже код наброски, в основном, чтобы подвести массив (а), где каждый элемент умножается на величину х^I: y = a(0) i = 0 {y = sum from i=0 to (n-1) a(i) * x^i AND 0 <= n <= a.length} //Inva

0зной

1ответ

Формальное подтверждение правильности для жадного решения для торговли вином (SPOJ)?

Не поймите меня неправильно, если вы разместите вопрос о проблеме в онлайн-судье. Я просто хочу знать, как доказать правильность решения. Ниже приведена проблема Wine trading problem. В нем говорится,

0зной

1ответ

Алгоритм Bellman-Ford доказательство правильности

Я пытаюсь узнать о алгоритме Беллмана-Форда, но у меня есть доказательство правильности. Я использовал Wikipedia, но я просто не могу понять доказательства. Я ничего не нашел на Youtube, это полезно.

0зной

2ответ

Доказывая алгоритм правильно по индукции

Я должен доказать, алгоритм по индукции, и что она возвращает 3 п - 2 п для всех п> = 0. Это алгоритм, написанный на Eiffel. P(n:INTEGER):INTEGER; do if n <= 1 then Result := n el