proof

0зной

4ответ

Формальная эквивалентность между языками программирования

У нас есть 2 языка, которые (неформально) семантически эквивалентны, но синтаксически разные. Один из них - xml, а другой - скрипт. Как я могу формально доказать, что оба языка фактически эквивалентны

7зной

4ответ

доказать n = Big-O (1) с использованием индукции

Я знаю, что отношение n = Big-O (1) неверно. Но если мы используем индукцию с участием Big-O, то это можно доказать. Но ошибочность заключается в том, что мы не можем вводить Big-O. Но мой вопрос закл

0зной

1ответ

Стабильная проблема с сопоставлением

В настоящее время я читаю книгу Алгоритма и наткнулся на проблему стабильного соответствия. И мне пришло в голову, что мне интересно, но книга не отвечает. В каждом SMP можно ли всегда иметь одну пару

13зной

9ответ

Что является доказательством (N-1) + (N-2) + (N-3) + ... + 1 = N * (N-1)/2

Я получил эту формулу из структуры данных книга в алгоритме сортировки пузырьков. Я знаю, что мы (n-1) * (n раз), но почему деление на 2? Может ли кто-нибудь объяснить это мне или дать подробное доказ

0зной

1ответ

Сложность доказательства

Я хотел бы, чтобы доказать следующий пример: n^k = O (c^n) for every k and c>1 Заметно, что полиномиальная функция растет быстрее, чем экспоненциальная функция. Мы пытаемся найти k0> 0, удовлетворяю

2зной

1ответ

Доказывается, что значения расстояния, извлеченные в алгоритме Дейкстры, не уменьшаются?

Я просматриваю свои старые алгоритмы и сталкиваюсь с этим доказательством. Это было из задания, которое у меня было, и я понял его правильно, но я чувствую, что доказательства, безусловно, не хватает.