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

Припустимо, нам дано два числа і і ми хочемо знайти для l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Наївний алгоритм просто перевіряє всі можливі пари; наприклад, у рубінах у нас буде: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| if …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

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

14 operating-systems  type-checking  interpreters  os-kernel 

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

14 hash-tables 

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

14 artificial-intelligence  search-algorithms 

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

14 lambda-calculus  type-theory  typing  type-inference 

Дано алфавіт , скільки різних регулярних мов може бути прийнято -державним недетермінованим кінцевим автоматом?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn В якості прикладу розглянемо . Потім у нас є різних конфігурацій переходу та різних конфігурацій стартового та кінцевого стану, тому у нас є верхня межа різних мов. Однак багато з них будуть …

14 formal-languages  regular-languages  finite-automata  combinatorics 

Це з’явилося, коли я намагався відповісти на це питання щодо мінімізації довжини проводки . Я збирався назвати це проблемою "багатоженського шлюбу", але Інтернет, тож кошенята. Так! Припустимо , що ми маємо кошенят , які повинні бути прийняті N людина, M > N . Для кожного кошеня, я та кожної людини …

14 algorithms  complexity-theory 

Чи можливо використовувати алгоритм сортування з неперехідним порівнянням, і якщо так, то чому транзитивність перерахована як вимога до сортування компараторів? Фон: Алгоритм сортування, як правило, сортує елементи списку відповідно до функції порівняння C (x, y), з C(x,y)=⎧⎩⎨−10+1if x≺yif x∼yif x≻yC(x,y)={−1if x≺y0if x∼y+1if x≻y\begin{array}{ll} C(x,y) = \begin{cases} -1 & {\text{if}}\ x\prec …

14 algorithms  sorting  quicksort  transitivity 

У мене є два великих наборів цілих чисел AAA і BBB . Кожен набір містить близько мільйона записів, і кожен запис - це натуральне число, яке становить не більше 10 цифр. Який найкращий алгоритм для обчислення A∖BA∖BA\setminus B і B∖AB∖AB\setminus A ? Іншими словами, як я можу ефективно обчислити список …

14 algorithms  data-structures  sets 

ННHгод : U→ { 0 , … , М- 1 }год:U→{0,…,М-1}h: U \rightarrow \{0,\ldots,M-1\}∀ х , у∈ U, x ≠ y⇒ Прh ∈ H[ h ( x ) = h ( y) ] ≤ 1М∀х,у∈U,х≠у⇒Пргод∈Н[год(х)=год(у)]≤1М\forall x,y \in U, x \neq y \Rightarrow \Pr_{h \in H}[h(x) = h(y)] \leq \frac{1}{M} Концепція …

14 data-structures  education  hash-tables  applied-theory 

Я дивився на цей сайт, і він говорить, що люди знайшли рішення для TSP-турів, які лише на 0,031% вище, ніж оптимальний тур. Не знаходячи оптимального туру, як вони знають, якої довжини він повинен бути?

14 complexity-theory  approximation 

Нехай граф, і нехай і т дві вершини G . Чи можемо ми ефективно вибирати найкоротший шлях s - t рівномірно та незалежно навмання з набору всіх найкоротших шляхів між s та t ? Для простоти можна припустити, що G простий, непрямий і невагомий.G s t G s t s …

14 graph-theory  reference-request  shortest-path  sampling 

Який алгоритм ви б використали, щоб знайти найкоротший шлях графіка, вбудованого в евклідову площину, таким чином, щоб шлях не містив ніяких самопересічень (у вбудовуванні)? Наприклад, на графіку нижче потрібно перейти від . Зазвичай такий алгоритм, як алгоритм Dijkstra, створив би таку послідовність, як:( 0 , 0 ) → ( - …

14 algorithms  graphs  shortest-path  graph-traversal  weighted-graphs 

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

14 reference-request  programming-languages  lambda-calculus  functional-programming 

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

14 automata  pushdown-automata  nondeterminism