Я смотрю на исчисление конструкций и его место в лямбда-кубе . Если я правильно понимаю, каждая ось куба может рассматриваться как добавление еще одной операции, связанной с типами, к простому типу исчисления, λ→λ→\lambda_\to . Первая ось добавляет операторы типа к термину, вторые операторы типа к...
Есть ли формальное определение средней высоты бинарного дерева? У меня есть вопрос по нахождению средней высоты двоичного дерева с помощью следующих двух методов: Естественным решением может быть определение средней длины всех возможных путей от корня до листа, то есть AVH1( Т) = 1# листья в Т⋅ ∑V...
Я задал (начальный) вопрос о суммах терминов Ландау прежде , пытаясь измерить опасность злоупотребления асимптотическими обозначениями в арифметике, но с переменным успехом. Теперь, здесь наш рецидивы гуру JeffE делает в основном это: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle...
Означает ли принятие, что ТМ будет читать и распознавать символ из ячейки, с которой он в данный момент читает? И это тот случай, когда ТМ останавливается, если вход...
Я читал в Википедии, что объединение - это процесс решения проблемы выполнимости. В то же время я знаю, что такие решатели называются «решателями SAT» или «решателями SMT». Так это разные имена для одного и того же? Если вы говорите, что они разные, пожалуйста, укажите на недостатки в моем лечении....
Время от времени встречается головокружительный набор символов, используемых в математических и компьютерных работах. Все же многие предполагают базовое знакомство, которое, кажется, редко преподается в одном месте. Я ищу словарь что-то вроде следующего, особенно с точки зрения CS. В нем будут...
С точки зрения асимптотического поведения, что считается «эффективным» алгоритмом? Каков стандарт / причина для рисования линии в этой точке? Лично я бы подумал, что все, что я могу наивно назвать «подполиномом», такое, что такое как , будет эффективным, а все, что будет "неэффективным". Однако я...
Мне трудно четко различать многозадачность и многозадачность. Моим основным источником была Википедия , но статья WP, кажется, немного расходится с некоторыми менее авторитетными источниками (такими как мой профессор колледжа). Когда я читаю WP, мультипрограммирование является элементарным способом...
Какая нотация используется для обсуждения коэффициентов функций в нотации big-O? У меня есть две функции: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Очевидно, что обе функции , на самом деле , но это не позволяет сравнивать дальше. Как мне обсудить...
Для функций или вычислений у нас есть такие термины, как: Детерминизм - Детерминизм Чистый - Чистота Теперь, каково правильное существительное, соответствующее без побочных эффектов ? "Побочный эффект свободы"? "Побочный эффект свободы"? «Небоковая...
По словам Питера Селинджера , Лямбда-исчисление алгебраическое (PDF). В начале этой статьи он говорит: Известно, что комбинаторная интерпретация лямбда-исчисления несовершенна, поскольку она не удовлетворяет правилу: при интерпретации не подразумевает (Barendregt, 1984).ξξξM=NM=NM =...
Когда я читал статью с описанием различий в ОО и функциональном программировании, я наткнулся на указатели функций. Прошло много времени с тех пор, как я получил степень в области компьютерных наук (2003), и поэтому я искал указатели, чтобы освежить свою память. Указатели - это переменные,...
Я не знаю правильной терминологии для того, чтобы задать этот вопрос, поэтому вместо этого я опишу его множеством слов, потерпите меня. Фон , просто так, что мы находимся на одной странице: программы часто содержат кэши - компромисс между временем и памятью. Распространенная ошибка программиста -...
Вам дан массив длины . Каждый элемент массива принадлежит одному из K классов. Вы должны переставить массив, используя минимальное количество операций подкачки, чтобы все элементы одного и того же класса всегда были сгруппированы вместе, то есть они образуют непрерывный подмассив. Например: NnnКKK...
Грубо говоря, неориентированный граф очень похож на ориентированный граф, где для каждого ребра (v, w) всегда есть ребро (w, v). Это говорит о том, что было бы приемлемо рассматривать неориентированные графы как подмножество ориентированных графов (возможно, с дополнительным ограничением, что...
Я изучаю Bootstrapping из Red Dragon Book Compilers и нашел T-диаграмму для кросс-компилятора довольно запутанной. Я не могу понять, что подразумевается под «Запустить compiler1 через compiler2». Может ли кто-нибудь дать лучшее объяснение, аналогию или пример, связанный с каким-то реальным...
Я прочитал много документов о свертке при обработке изображений, и большинство из них говорят о его формуле, некоторых дополнительных параметрах. Никто не объясняет интуицию и реальный смысл создания свертки на изображении. Например, интуиция вывода на графике делает его более линейным, например. Я...
Я борюсь с несколькими определениями в представлении знаний и ищу надежную помощь, чтобы различать их. Я искал в википедии и на многих сайтах разницу между онтологиями и семантическими сетями (не путать с семантической сетью). Хотя страница википедии по семантической сети никогда не ссылается на...
В главе 1 « Практических основ языков программирования» автор упоминает, что абстрактные синтаксические деревья связаны с сортировками . Интуитивно, сортировки похожи на типы, но я хотел бы знать, есть ли у них точное определение. Я был бы рад, если бы некоторые ссылки были также...
Мне кажется странным, что TSP отрицает возможность повторных городов. Цель этого коммивояжера - поехать как можно быстрее и посетить все города, верно? Так что, если быстрее путешествовать по городу, в котором вы уже...