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

Типовий поколільний сміттєзбірник зберігає нещодавно виділені дані в окремій області пам’яті. У типових програмах багато даних недовговічні, тому збирання молодого сміття (незначний цикл GC) часто та збирання старого сміття нечасто є хорошим компромісом між накладними витратами на пам'ять та витраченим часом на GC. Інтуїтивно зрозуміло, що користь від покоління сміттєзбірника …

38 programming-languages  computer-architecture  cpu-cache  garbage-collection 

Ця ідея мені прийшла в голову як дитина, яка навчається програмувати і вперше зустрічається з PRNG. Я досі не знаю, наскільки це реально, але зараз є обмін стеками. Ось схема 14 років для дивовижного алгоритму стиснення: Візьміть ПРНГ і посіяйте його насінням s щоб отримати довгу послідовність псевдовипадкових байтів. Щоб …

38 information-theory  randomness  data-compression  pseudo-random-generators  entropy 

Чому така компанія, як Twitter, зацікавлена ​​в таких алгебраїчних поняттях, як групи, моноїди та кільця? Перегляньте їх сховище в github: twitter / algebird . Все, що я міг знайти, це: Реалізація Monoids для цікавих алгоритмів наближення, таких як фільтр Bloom , HyperLogLog та CountMinSketch . Вони дозволяють думати про такі …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

Припустимо, у комп'ютера є точний годинник, який не ініціалізується. Тобто час на годиннику комп’ютера - це реальний час плюс деяке постійне зміщення. Комп'ютер має підключення до мережі , і ми хочемо використати цю сполуку для визначення зміщення постійного .BBB Найпростіший метод полягає в тому, що комп'ютер відправляє запит на сервер …

38 clocks  distributed-systems  computer-networks 

Складність алгоритму розроблена таким чином, щоб він не залежав від деталей нижчого рівня, але він заснований на імперативній моделі, наприклад, доступ до масиву та модифікація вузла в дереві займають час O (1). Це не так у чисто функціональних мовах. Список Haskell потребує лінійного часу для доступу. Модифікація вузла на дереві …

38 algorithm-analysis  runtime-analysis  computation-models  functional-programming 

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

38 programming-languages  compilers 

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

38 algorithms  efficiency  arithmetic 

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

37 terminology  computability  undecidability  rice-theorem 

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

37 quantum-computing 

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

36 formal-languages  automata  formal-grammars  pushdown-automata 

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

36 complexity-theory  time-complexity  np-hard  approximation 

Що було б найкращим вступом до ідей Пер Мартіна-Лефса щодо теорії типів? Я переглянув кілька лекцій літньої школи в Орегоні, але мене все ще спантеличує таке питання: Що таке тип? Я знаю, що таке набір, оскільки ви можете визначити їх за звичайними аксіомами ZF, і вони мають дуже інтуїтивну конкретну …

36 logic  type-theory 

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

36 logic  mathematical-foundations 

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

36 algorithms  arithmetic  number-formats 

Припустимо, у мене є список функцій, наприклад нжурналжурнал( n ), 2н, н ! , н3, п лнn , …nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Як їх сортувати асимптотично, тобто за відношенням, визначеним f≤Ог⟺f∈ O ( g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , якщо припустити, …

35 asymptotics  landau-notation  reference-question