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

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

249 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

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

91 algorithms  terminology  asymptotics  landau-notation  reference-question 

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

81 terminology 

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

75 terminology  computation-models  lambda-calculus  history 

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

68 terminology  logic  proof-techniques  formal-methods  coinduction 

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

61 terminology  distributed-systems  parallel-computing 

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

58 terminology  programming-languages  type-theory  functional-programming  dependent-types 

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

50 algorithms  complexity-theory  terminology  efficiency 

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

44 terminology  asymptotics  mathematical-analysis  landau-notation 

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

44 terminology  parallel-computing  concurrency 

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

40 terminology  asymptotics 

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

40 algorithms  complexity-theory  formal-languages  terminology  reference-question 

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

39 terminology  history 

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

38 terminology  hashing 

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

37 terminology  computability  undecidability  rice-theorem