Запитання з тегом «terminology»

Я перебуваю в курсі обчислення та складності , і не можу зрозуміти, що означають ці терміни. Все, що я знаю, це те, що NP - це підмножина NP-Complete, яка є підмножиною NP-hard, але я поняття не маю, що вони насправді означають. Вікіпедія теж не дуже допомагає, оскільки пояснення все ще …

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

У більшості вступних класів алгоритму вводяться позначення типу (Big O) та , і студент, як правило, навчиться використовувати один із них, щоб знайти складність у часі.ΘOOOΘΘ\Theta Однак є й інші позначення, такі як , та . Чи є конкретні сценарії, коли одна нотація була б кращою для іншої?Ω ωoooΩΩ\Omegaωω\omega

90 algorithms  terminology  asymptotics  landau-notation  reference-question 

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

79 terminology 

Я читав про обчислення лямбди недавно, але як не дивно, я не можу знайти пояснення, чому його називають "лямбда" або звідки походить цей вираз. Хтось може пояснити походження терміна?

73 terminology  computation-models  lambda-calculus  history 

Я чув про (структурну) індукцію. Це дозволяє будувати кінцеві структури з менших і дає доказові принципи для міркувань про такі структури. Ідея досить зрозуміла. А як щодо коіндукції? Як це працює? Як можна сказати щось безперечне про нескінченну структуру? Існує (принаймні) два кути, на які слід звернути увагу, а саме …

67 terminology  logic  proof-techniques  formal-methods  coinduction 

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

60 terminology  distributed-systems  parallel-computing 

Чи може хтось пояснити різницю між залежними типами та типами уточнення? Як я розумію, тип уточнення містить усі значення типу, що виконують присудок. Чи є особливість залежних типів, яка їх відрізняє? Якщо це допомагає, я натрапив на вдосконалені типи через проект Liquid Haskell, та залежні типи через Coq та Agda. …

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

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

50 algorithms  complexity-theory  terminology  efficiency 

O ( m + n )O(m+n)O(m+n)O ( макс ( м , п ) )O(max(m,n))O(\max(m,n))O ( | V | + | E | )O ( хв ( м , п ) )O(min(m,n))O(\min(m,n))O ( | V| + | Е| )O(|V|+|E|)O(|V| + |E|)

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 

Я чув, що слово "хеш" вживається в різних контекстах (все в світі обчислень) з різними значеннями. Наприклад, у книзі Learn Python the Hard Way в главі про словники сказано, що "Python називає їх" диктатами. "Інші мови називають їх" хешами "." "Отже, чи є хешеві словники? Інше поширене вживання слова стосується …

38 terminology  hashing 

Короткий зміст: За теоремою Райса все неможливо. І все-таки я роблю це, нібито, неможливо весь час! Звичайно, теорема Райса не говорить просто "все неможливо". У ньому сказано щось досить конкретніше: "Кожна властивість комп'ютерної програми не обчислюється". (Якщо ви хочете розділити волоски, кожне "нетривіальне" властивість. Тобто властивості, якими володіють усі програми …

37 terminology  computability  undecidability  rice-theorem