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

Я читав у Вікіпедії, що об’єднання - це процес вирішення проблеми задоволення. У той же час я знаю, що такі розв'язувачі називаються "SAT solvers" або "SMT solvers". Отже, чи вони різні назви для однієї речі? Якщо ви говорите, що вони різні, будь ласка, вкажіть на ваду мого звернення.

10 terminology  sat-solvers  unification 

Чи означає прийняття означає, що TM буде читати та розпізнавати знак із клітини, з якої він зараз читає? І чи трапляється так, що TM зупиняє iff вхідний сигнал?

10 terminology  turing-machines  undecidability 

Чи існує якесь формальне визначення середньої висоти двійкового дерева? У мене є підручник щодо пошуку середньої висоти двійкового дерева за допомогою наступних двох методів: Природним рішенням може бути середня довжина всіх можливих шляхів від кореня до листя, тобто сер1( Т) = 1# листя в Т⋅ ∑v лист Тглибина( v )сер1⁡(Т)=1# …

10 graph-theory  terminology  combinatorics  binary-trees 

Я задав (насіння) питання про суми термінів Ландау до , намагаючись оцінити небезпеку зловживання асимптотика позначення в арифметиці, зі змінним успіхом. Тепер, тут наш рецидиви гуру JeffE робить в основному це: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) Хоча кінцевий результат правильний, я думаю, що це неправильно. Чому? Якщо додати, що …

10 terminology  asymptotics  landau-notation 

Під час читання статті, що окреслює відмінності в програмі OO та функціональному програмі, я натрапив на функціональні покажчики. Минув час, коли я закінчив ступінь комп'ютерних наук (2003), і тому я шукав вказівники, щоб оновити свою пам'ять. Покажчики - це змінні, що містять посилання на адресу пам'яті. Вони можуть вважатися вказівками …

10 terminology  programming-languages 

Мені важко чітко розмежовувати багатопрограмування та багатозадачність. Моє основне джерело - Вікіпедія , але, здається, стаття WP трохи не вступає в протиріччя з менш поважними джерелами (як, наприклад, мій професор коледжу). Під час читання WP багатопрограмування є рудиментарним способом збільшення пропускної здатності процесора шляхом переключення контексту, коли процес чекає вводу …

10 terminology  process-scheduling 

Що з точки зору асимптотичної поведінки, що вважається "ефективним" алгоритмом? Який стандарт / причина для того, щоб провести лінію в цій точці? Особисто я б подумав, що все, що є тим, що я, можливо, наївно називаю "субполіномом", такимf(n)=o(n2)f(n)=o(n2)f(n) = o(n^2)наприклад було б ефективним, і все, що є було б "неефективним". …

10 algorithms  terminology  asymptotics  landau-notation 

Існує запаморочливий набір символів, які використовуються в математичних та CS-документах. Однак багато хто припускає базового знайомства, яке, здається, рідко викладається в одному місці. Я шукаю словник на кшталт наступного, особливо з точки зору CS. Тут було б перераховано всі основні математичні символи та наведено їх значення та приклади. Це б …

10 terminology  reference-request  education 

Двосторонній графік є планарним, якщо він не має неповнолітніх або .K3,3K3,3K_{3, 3}K5K5K_5 Я шукаю необхідні або / і достатні умови, щоб дозволити площинні малюнки без країв "обходити" набори вершин. Це малюнки, що задовольняють: Всі вершини однієї частини малюються однією вертикальною лінією. Вершини іншої частини малюються паралельною лінією вершини. Краї не …

9 graph-theory  terminology  graph-drawing 

Я почув кілька можливих пояснень, тому мені хотілося б довіряти посилання. Оновлення 05.19: Мене цікавить питання, оскільки один із моїх студентів написав у своїй дисертації, що назва походить із нижченаведеного пояснення (1). До цього часу я думав / чув, що це походить від пояснення (2). Мені було б погано як …

9 terminology  reference-request  history 

Чи може хто-небудь пояснити мені, що таке точно забута оперативна пам'ять? Я знайшов таке пояснення, яке робить це для мене ясним, але я хотів би зрозуміти технічні аспекти: Шифрування не завжди достатньо для забезпечення конфіденційності. Якщо супротивник може спостерігати ваші шаблони доступу до зашифрованого сховища, він все одно може дізнатися …

9 terminology  computer-architecture  security  memory-hardware  memory-access 

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

9 terminology  dynamic-programming 

Мені здається дивним, що TSP заперечує можливість повторних міст. Мета цього мандрівного продавця - поїхати якомога швидше та відвідати всі міста, правда? Що робити, якщо швидше подорожувати містом, у якому ви вже були?

9 terminology  traveling-salesman 

У главі 1 « Практичні основи мов програмування» автор зазначає, що абстрактні синтаксичні дерева асоціюються з різновидами . Інтуїтивно зрозумілі види - це типи, але я хотів би знати, чи мають вони точне визначення. Буду радий, якщо також будуть надані деякі довідки.

9 terminology  programming-languages  semantics 

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

9 terminology  knowledge-representation  ontologies