Я знаю, что число листьев в бинарном дереве высотой h может быть не более 2^h, и я также знаю, как...
В Coq я показал ассоциативность append на векторах, используя: Require Import Coq.Vectors.VectorDef...
Я пытаюсь определить простой язык на основе стека в Coq. На данный момент набор инструкций содержит...
Принимая очень прямое доказательство "сумма двух натуральных чисел нечетна, если одно из них четное...
Другие люди используют мой домен для отправки электронных писем. Я пытаюсь защитить его, установив...
Данный ряд содержит не более 30 камней, которые могут быть черного или белого цвета.В начале игры...
Мне интересно, существует ли какое-либо правило / схема продолжения проверки правильности алгоритма
(log n)^k = O(n)? For k greater or equal to 1. Мой профессор представил нам это утверждение в классе...
Я использовал этот генератор взвешенных случайных чисел. import random def...
Я написал свою собственную тривиальную маленькую функцию (php для удобства) и надеялся, что...
Я пытаюсь использовать гетерогенное равенство, чтобы доказать утверждения, включающие этот...
Может кто-нибудь подскажет мне математическую часть решения следующей задачи. Показать, что не...
Докажите, что для любых действительных чисел a, b таких, что a> b> 0, b ^ n, есть O (a ^ n), n> = 1
В обозначении big-O это O((log n)^k) = O(log n), где k - некоторая постоянная (например, число...
Мне нужна подсказка для этого упражнения из книги Алгоритмы CLRS: Докажите, что независимо от того,...
Сортировка на основе сравнения - большая омега nlog (n) , поэтому мы знаем, что сортировка слиянием...
Я не очень понимаю, как использовать доказательство по индукции на psuedocode. Похоже, это не...
У меня есть много парабол, которые пересекаются друг с другом. Я создаю список S из верхних...
В последнее время я много читал о Haskell , и о преимуществах, которые он дает, будучи чисто...
Следующий текст является фрагментом из книги алгоритмов. Мы могли бы нарисовать бинарные деревья,...
Я только что написал реализацию сопрограммы (в качестве упражнения), основанную на Mono...
Это широко известный факт, что любая грамматика LL (1) также является LR (1), но я не могу найти...
Друг представил мне гипотезу, которая кажется верной, но ни один из нас не может выдвинуть...
import Prelude hiding (foldr) import Control.Applicative import Data.Foldable import Data
У меня есть это задание, чтобы доказать, что эта проблема: Конечный алфавит £, две строки x, y € £...