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

Що це означає, коли ми говоримо, що алгоритм ХXX асимптотично ефективніше, ніж YYY ? ХXX буде кращим вибором для всіх матеріалів. ХXX буде кращим вибором для всіх входів, крім невеликих входів. ХXX буде кращим вибором для всіх входів, крім великих входів. YYY буде кращим вибором для невеликих входів. Посилання на …

12 algorithms  algorithm-analysis  terminology  asymptotics 

Я дивлюся на Облік споруд та його місце в кубі Ламбди . Якщо я правильно розумію, кожну вісь куба можна вважати додаванням ще однієї операції, що включає типи, для просто набраного числення, λ→λ→\lambda_\to . Перша вісь додає операторів типу-до-терміна, друга операторів типу-типу, а третя-операторів, що залежать від типу, або термінів-тип-операторів. …

11 terminology  lambda-calculus  type-theory  dependent-types 

Мені потрібно стисло визначити "стан об'єкта" в об'єктно-орієнтованому програмуванні (для статті). Близько половини дня я шукав папір, який можу цитувати на цю тему, але не зміг його знайти. Усі статті, які я знайшов, були в основному загальними статтями про об'єктно-орієнтоване програмування, і вони не визначали стан об'єкта. Я не впевнений, …

11 terminology  reference-request  programming-languages  object-oriented 

Чи означають "індуктивно" та "рекурсивно" дуже подібні? Наприклад, якщо існує алгоритм, який визначає n-dim вектор шляхом визначення його перших k + 1 компонентів на основі визначених його перших k компонентів, і ініціалізований з першим компонентом, ви б назвали це працює рекурсивно або індуктивно? Я використовував "рекурсивно", але сьогодні хтось сказав …

11 algorithms  terminology  recursion  induction 

На роботі мені було доручено виводити інформацію про тип динамічної мови. Я переписую послідовності висловлювань у вкладені letвирази, як-от так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

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

11 computability  terminology  decision-problem 

Це попередник мого іншого, більш розвиненого питання щодо перевірки стека. Інспекція стека - це механізм захисту, запроваджений в JVM для роботи із запущеним кодом, що походить з місць, що мають різний рівень довіри. Це питання спрямоване на пошук простого опису його функціональності. Так: Як працює перевірка стека?

11 terminology  security  stack-inspection 

У глибині першого дерева є краї, які визначають дерево (тобто краї, які були використані в обході). Залишилися ребра, що з'єднують деякі інші вузли. Чим відрізняється поперечний край від переднього краю? З Вікіпедії: Виходячи з цього розкинутого дерева, краї початкового графа можна розділити на три класи: передні краї, які вказують від …

11 algorithms  terminology  graphs  graph-traversal 

З Вікіпедії : Тип обчислювальної задачі: Найбільш часто використовувані проблеми - це рішення рішення . Однак класи складності можна визначити на основі проблем функції, підрахунку проблем, проблем оптимізації, проблем із обіцянками тощо. Я також бачив, що визначення NP-Complete, NP-hard, NP, ..., визначаються лише для вирішення проблем. Цікаво, чому це так? …

11 complexity-theory  terminology 

Вам надається масив довжиною . Кожен елемент масиву належить до одного з K класів. Ви повинні переставити масив, використовуючи мінімальну кількість операцій підкачки, щоб усі елементи з одного класу завжди групувалися, тобто вони утворювали суміжний підмасив. Наприклад: нnnКKK Залишаються три інші чинні домовленості.[ 2 , 1 , 3 , 3 …

10 terminology  reference-request  sorting  arrays 

Приблизно, непрямий графік дуже схожий на спрямований графік, де для кожного ребра (v, w) завжди є ребро (w, v). Це говорить про те, що може бути прийнятним перегляд непрямих графіків як підмножини спрямованих графіків (можливо, з додатковим обмеженням того, що додавання / видалення ребер може бути виконано лише у відповідних …

10 graphs  terminology 

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

10 terminology  reference-request  functional-programming  programming-paradigms 

За словами Пітера Селінджера , обчислення лямбди є алгебраїчним (PDF). На початку цієї статті він говорить: Як відомо, комбінаторне тлумачення лямбда-числення є недосконалим, оскільки воно не задовольняє ξξξ -правило: під інтерпретацією M=NM=NM = N не означає λx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N (Barendregt, 1984). Запитання: Яка рівнозначність тут мається на увазі? …

10 terminology  lambda-calculus  combinatory-logic 

Які позначення використовуються для обговорення коефіцієнтів функцій у нотації 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 Очевидно, що обидві функції є O(x2)O(x2)O(x^2) , дійсно Θ(x2)Θ(x2)\Theta(x^2) , але це не дозволяє порівняти далі. Як я обговорюю коефіцієнти 7 і 3. Зниження …

10 terminology  asymptotics  landau-notation 

Для функцій або обчислень у нас є такі терміни, як: Детермінований - детермінізм Чисто - чистота Тепер який правильний відповідний іменник для побічних ефектів ? "Побічна вільність"? "Побічна свобода"? "Побічна ефективність"?

10 terminology  programming-languages