Комп'ютерна наука

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

10 terminology  programming-languages 

Чи використовується алгоритм Дейкстри в сучасних системах пошуку маршрутів, таких як карти Google або сатнав у вашому автомобілі? Якщо ні, то що таке?

10 algorithms  graphs  shortest-path  applied-theory 

Я намагаюся зрозуміти, як бінарні індексовані дерева (fenwick дерева) можуть бути модифіковані для обробки запитів діапазону та оновлень діапазону. Я знайшов такі джерела: http://kartikkukreja.wordpress.com/2013/12/02/range-updates-with-bit-fenwick-tree/ http://programmingcontests.quora.com/Tutorial-Range-Updates-in-Fenwick-Tree http : //apps.topcoder.com/forums/? module = Thread & threadID = 756271 & start = 0 & mc = 4 # 1579597 Але навіть прочитавши їх усі, …

10 data-structures  binary-trees  search-trees 

Я вчуся в найгірший випадку час виконання сортування за умови , що вона ніколи не буде робити дуже незбалансований розділ для різних визначень дуже . Для цього я задаю собі питання, який час виконання Т(н,p)T(n,p)T(n, p) було б у тому випадку, якщо хитрості завжди трапляються на певну частку 0&lt;p≤120&lt;p≤120 < …

10 algorithm-analysis  runtime-analysis  recurrence-relation 

Питання досить багато в назві. Чи є колись час, коли якась моваLLL може прийняти мінімальний DFA з nnn держави, але LRLRL^R, обернення LLL, може бути прийнято DFA з mmm штати, де m&lt;nm&lt;nm<n?

10 formal-languages  reference-request  automata  finite-automata 

У моєму підручнику сказано: "Ми визначаємо функцію f:N→Nf:N→Nf\colon \mathbb{N}\to\mathbb{N} наступним чином: f(1)=2f(1)=2f(1)=2 і f(i+1)=2f(i)1.2f(i+1)=2f(i)1.2f(i+1)=2^{f(i)^{1.2}}. Зауважимо, що даноnnn, ми можемо легко знайти в O(n1.5)O(n1.5)O(n^{1.5}) час число iii такий як nnn бутерброд між f(i)f(i)f(i) і f(i+1)f(i+1)f(i+1). " Як я можу переконати себе, що насправді ми можемо легко знайти iii в O(n1.5)O(n1.5)O(n^{1.5})час? Якfff …

10 complexity-theory  algorithm-analysis  nondeterminism 

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

10 algorithms  graph-theory  graphs 

Я студент інформатики. Я хочу створити власну мову програмування (Основна мова з кількома інструкціями). Я знаю, як зробити синтаксичний аналізатор, я вже робив це в Perl. У статті я прочитав щось про компілятор, компілятор робиться сам по собі. Наприклад, компілятор C написаний на C. Як це можливо? Я можу скласти …

10 programming-languages  compilers 

Фон Я навчаюсь допомоги, Кок, самостійно. Поки я закінчив читати Кок Іва Бертота поспіхом . Тепер моя мета - довести основні результати щодо натуральних чисел, що досягають кульмінації так званого алгоритму ділення. Однак я зіткнувся з деякими невдачами на своєму шляху до цієї мети. Зокрема, два наступні результати виявились (каламбур) …

10 automated-theorem-proving  proof-assistants  mathematical-programming  coq 

Я працюю над редактором діаграм. Діаграми відображають 2D фігури ( вузли ), з'єднані з роз'ємами ( ребрами ). Я хотів би додати операцію, яка, з огляду на вибір вузлів, "роз'єднує" їх: вона розміщує їх, щоб зменшити кількість ребер, що перетинаються, якщо це можливо (і це нормально, якщо краї повинні бути …

10 algorithms  graph-theory  graph-algorithms  crossing-number 

З огляду на програму, що складається із змінних та інструкцій, що змінюють ці змінні, та примітиву синхронізації (монітор, мютекс, синхронізований Java або замок C #), чи можна довести, що така програма безпечна для потоків? Чи існує навіть формальна модель для опису таких речей, як безпека ниток або умови гонок?

10 proof-techniques  correctness-proof  concurrency  threads 

Мені важко чітко розмежовувати багатопрограмування та багатозадачність. Моє основне джерело - Вікіпедія , але, здається, стаття 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 

На цій сторінці про алгоритм Кнут-Моріс-Пратта порівняно з Бойєром-Муром описаний можливий випадок, коли алгоритм Бойєра-Мура страждає від невеликої пропускної відстані, а KMP може працювати краще. Я шукаю хороший приклад (текст, візерунок), який може наочно продемонструвати цю справу.

10 algorithms  substrings  matching 

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

10 terminology  reference-request  education