Вопросы с тегом «terminology»

Вопросы о том, как следует понимать конкретные понятия, а также условные обозначения.

7
Какое определение у P, NP, NP-complete и NP-hard?
Я в курсе о вычислениях и сложности , и я не в состоянии понять , что означают эти термины. Все, что я знаю, это то, что NP - это подмножество NP-complete, которое является подмножеством NP-hard, но я понятия не имею, что они на самом деле значат. Википедия тоже не сильно …

3
Как узнать, какую нотацию анализа сложности времени использовать?
В большинстве вводных классов алгоритмов вводятся нотации, такие как (Big O) и , и студент, как правило, учится использовать одну из них для определения сложности времени.ΘОOOΘΘ\Theta Однако есть и другие обозначения, такие как , и . Существуют ли какие-либо конкретные сценарии, в которых одна нотация предпочтительнее другой?Ω ωоooΩΩ\Omegaωω\omega

12
Почему единица размера изображения не является Pixel²?
Если вы вычисляете площадь прямоугольника, вы просто умножаете высоту и ширину и возвращаете единицу в квадрате. Пример: 5 см * 10 см = 50 см² Напротив, если вы вычисляете размер изображения, вы также умножаете высоту и ширину, но вы возвращаете единицу измерения - пиксель - так же, как она была …

2
Что означает «лямбда» в «лямбда-исчислении»?
Я недавно читал о лямбда-исчислении, но, как ни странно, я не могу найти объяснения, почему оно называется «лямбда» или откуда взято выражение. Кто-нибудь может объяснить происхождение этого термина?

2
Что такое коиндукция?
Я слышал о (структурной) индукции. Это позволяет вам строить конечные структуры из более мелких и дает вам доказательные принципы для рассуждений о таких структурах. Идея достаточно ясна. Но как насчет коиндукции? Как это работает? Как можно сказать что-либо убедительное о бесконечной структуре? Есть (по крайней мере) два угла для рассмотрения, …

6
Распределенные и параллельные вычисления
Я часто слышу, как люди говорят о параллельных вычислениях и распределенных вычислениях, но у меня сложилось впечатление, что четкой границы между этими двумя понятиями нет, и люди склонны запутывать это довольно легко, хотя я считаю, что это совсем другое: Параллельные вычисления более тесно связаны с многопоточностью, или как в полной …

3
Зависимые типы против типов уточнения
Может ли кто-нибудь объяснить разницу между зависимыми типами и типами уточнения? Насколько я понимаю, тип уточнения содержит все значения типа, выполняющего предикат. Есть ли особенность зависимых типов, которая их отличает? Если это поможет, я натолкнулся на уточненные типы через проект Liquid Haskell и зависимые типы через Coq и Agda. Тем …

4
Почему полиномиальное время называется «эффективным»?
Почему в информатике любая сложность, которая в большинстве случаев является полиномиальной, считается эффективной? Для любого практического применения (a) алгоритмы со сложностью работают намного быстрее, чем алгоритмы, выполняющиеся во времени, скажем, , но первый считается неэффективным, а второй - эффективным. Где логика ?! n 80nlognnlog⁡nn^{\log n}n80n80n^{80} (a) Предположим, например, что число …

2
Что означает ?
Это основной вопрос, но я думаю, что совпадает с , поскольку больший член должен доминировать при переходе к бесконечности? Кроме того, это будет отличаться от O (\ min (m, n)) . Это правильно? Я продолжаю видеть это обозначение, особенно при обсуждении алгоритмов графа. Например, вы обычно видите: O (| V …

5
Разница между параллельным и параллельным программированием?
При рассмотрении параллельного программирования обычно используются два термина: параллельный и параллельный. А некоторые языки программирования специально заявляют о поддержке параллельного программирования, например, Java . Означает ли это, что параллельное и параллельное программирование на самом деле отличаются?

4
Как называется класс функций, описываемый O (n log n)?
В «Big O» общие обозначения имеют общие имена (вместо того, чтобы говорить «о некотором постоянном множителе»): O (1) - «Константа» O (log n) является "логарифмическим" O (n) является "линейным" O (n ^ 2) является "квадратичным" O (n * log n) есть ??? Это просто "n log n" или у него …

1
В чем разница между алгоритмом, языком и проблемой?
Похоже, что на этом сайте люди часто исправляют других за запутанные «алгоритмы» и «проблемы». В чем разница между этими? Как я узнаю, когда мне следует рассмотреть алгоритмы и рассмотреть проблемы? И как они связаны с понятием языка в теории формального языка?

7
Каково определение информатики, и что такое наука в информатике?
Я получаю степень бакалавра в области компьютерных наук, но я на начальном этапе, и я почти уверен, что буду доволен своим выбором, учитывая, что это похоже на академическое и профессиональное образование. Сказав это, кажется, существует множество определений того, что компьютерная наука действительно имеет в отношении академических кругов, частного сектора и …

5
Что именно (и точно) является «хешем»?
Я слышал, что слово «хэш» используется в разных контекстах (все в мире вычислений) с разными значениями. Например, в книге «Изучите Python трудный путь» в главе о словарях говорится, что «Python называет их» диктами. «В других языках они называются хешами». «Итак, словари хешей являются? Другое распространенное использование этого слова связано с …

2
Озадачен теоремой Райс
Реферат: Согласно теореме Райс, все невозможно. И все же, я делаю это якобы невозможное постоянно! Конечно, теорема Райс не просто говорит, что «все невозможно». В нем говорится что-то более конкретное: «Каждое свойство компьютерной программы не вычислимо». (Если вы хотите разделить волосы, каждое «нетривиальное» свойство. То есть свойства, которыми обладают все …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.