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

Мені цікаво визначити підхід до вирішення алгоритму "запропонованих друзів". У Facebook є функція, за якою вона рекомендуватиме вам людей, які, на вашу думку, можуть бути вам знайомі. Зазвичай ці користувачі (за винятком кращих випадків, коли користувач спеціально рекомендує друга ) мають дуже схожу мережу на себе. Тобто кількість спільних друзів …

29 algorithms  machine-learning  modelling  social-networks 

Проблема 3SUM намагається визначити 3 цілих числа з набору S розміром n таким, що a + b + c = 0 .a,b,ca,b,ca,b,cSSSnnna+b+c=0a+b+c=0a + b + c = 0 Можна припустити, що немає кращого рішення, ніж квадратичний, тобто . Або кажучи інакше: o ( n log ( n ) + n …

29 complexity-theory  combinatorics  complexity-classes 

Багато підручників охоплюють типи перетину лямбда-числення. Правила введення перехрестя можна визначити наступним чином (поверх просто набраного лямбда-числення з підтипом): Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I) \dfrac{\Gamma \vdash M : T_1 \quad \Gamma \vdash M : T_2} {\Gamma \vdash M : T_1 \wedge T_2} (\wedge I) \qquad\qquad \dfrac{} {\Gamma \vdash M : \top} (\top I) Типи …

29 lambda-calculus  type-theory  logic 

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

29 database-theory  relational-algebra 

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

29 efficiency 

У мене є жадібний алгоритм, який я підозрюю, що може бути правильним, але я не впевнений. Як перевірити, чи правильно це? Які методи використовувати для доказування жадібного алгоритму правильним? Чи є загальні візерунки чи методи? Я сподіваюся, що це стане еталонним питанням, яке можна використовувати для вказівки на початківців; отже, …

29 algorithm-analysis  proof-techniques  correctness-proof  greedy-algorithms 

Я шукаю алгоритм для створення масиву з N випадкових чисел, таким чином, що сума N чисел дорівнює 1, а всі числа лежать в межах 0 і 1. Наприклад, N = 3, випадкова точка (x, y, z) повинен лежати в межах трикутника: x + y + z = 1 0 < …

29 algorithms  randomness  random-number-generator  sampling 

Нехай - множина натуральних чисел. Ми розглядаємо за частковим порядком подільності, тобто . ДозволяєSSSSSSs1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V антіцепь }}\} . Якщо ми розглянемо проблему підмножини підсумків, де є множина чисел у SSS , що можна сказати про …

28 complexity-theory  number-theory  knapsack-problems 

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

28 algorithms  graphs 

В даний час я граю з прогнозами часових рядів (спеціально для Forex). Я бачив декілька наукових праць про мережі ехо-стану, які застосовуються до прогнозу Forex. Чи існують для цього інші хороші алгоритми машинного навчання? Також було б цікаво витягнути «вигідні» зразки із часових рядів.

28 reference-request  machine-learning  artificial-intelligence 

Вікіпедія, а також інші джерела, які я знайшов, перелічують voidтип C як тип одиниці, а не порожній. Я вважаю це заплутаним, як мені здається, що voidкраще відповідає визначенню типу порожній / нижній. voidНаскільки я можу сказати, цінності не населяються . Функція з типом повернення void вказує, що функція нічого не …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Якщо хтось спробував завантажити файл зі швидкістю 800 Мб / с (100 Мб / с) на жорсткий диск зі швидкістю запису 500 Мб / с (62,5 Мб / с), що буде? Чи обмежила система швидкість завантаження?

28 computer-networks 

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

28 compilers 

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

28 computability  programming-languages  compilers 

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

28 computability  proof-techniques  undecidability