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

Іноді легко визначити часову складність алгоритму, щоб я його ретельно вивчив. Алгоритми з двома вкладеними петлями очевидно . Алгоритми , які досліджують всі можливі комбінації груп з двох значень, очевидно .N 2 N 2 NNNNN2N2N^2NNN2N2N2^N Однак я не знаю, як «помітити» алгоритм зі складністю Θ(NlogN)Θ(Nжурнал⁡N)\Theta(N \log N) . Наприклад, рекурсивна …

19 algorithm-analysis  time-complexity  intuition 

У мене є реальні дані, які я використовую для імітаційної карткової гри. Мене цікавлять лише ранги карт, а не костюми. Однак це стандартна колода з 525252 картками, тому в колоді можливі лише 444 з кожного рангу. Колода добре перемішується для кожної руки, і тоді я виводжу всю колоду у файл. …

19 data-compression 

Оскільки між базами логарифмів є лише константа, чи не просто добре писати , на відміну від , або що б там не було база може бути?f(n)=Ω(logn)f(n)=Ω(log⁡n)f(n) = \Omega(\log{n})Ω(log2n)Ω(log2⁡n)\Omega(\log_2{n})

19 algorithms  time-complexity 

У матриці множення Страссена ми констатуємо один дивний (принаймні для мене) факт, що матричне множення двох 2 х 2 займає 7 множення. Питання: Як довести, що неможливо помножити дві матриці 2 х 2 на 6 множень? Зверніть увагу, що матриці перевищують цілі числа.

19 algorithms  complexity-theory  lower-bounds 

З мого розуміння доказів того, що проблема зупинки не обчислюється, ця проблема не обчислюється, тому що якщо у нас є програма P (x), яка обчислює, якщо програма x зупиняється чи ні, ми отримали парадокс, даючи P як вхід до той самий P, маючи: P (P), намагаючись вирішити, припиняє чи не …

19 halting-problem 

Динамічні дерева відіграють важливу роль у вирішенні таких задач, як мережеві потоки, динамічні графіки, комбінаторні проблеми ("Динамічні дерева на практиці" Таряна та Вернека) та словники, що нещодавно зливаються ("Простий об'єднаний словник" Адама Карчмарца), Під динамічними деревами я маю на увазі визначення, викладене в статті Sleator & Tarjan "Структура даних для …

19 data-structures  trees  functional-programming 

Добре відомо, що комбінатори S і K складають основу для обчислення комбінаторів, в тому сенсі, що всі інші комбінатори можуть бути виражені через них. Існує також база B, C, K, W Curry, яка має однакову властивість. Повинно бути нескінченна кількість таких баз, але я не знаю жодної іншої. Мені відомо, …

19 lambda-calculus  combinatory-logic 

Розглянемо дві безконтекстні граматики і G 2 і задамо наступне запитання: чи L ( G 1 ) = L ( G 2 ) , тобто дві граматики еквівалентні?G1G1G_1G2G2G_2L(G1)=L(G2)L(G1)=L(G2)L(G_1) = L(G_2) Загалом ця проблема не вирішена. Однак якщо і і G 2 є ліволінійними (або праволінійними) граматиками, тоді проблема вирішується, оскільки …

19 formal-languages  context-free  formal-grammars 

Нещодавно я думав про обґрунтованість доказу протиріччя. Останні кілька днів я читав речі з інтуїтивної логіки та теореми Годеля, щоб побачити, чи дадуть мені відповіді на мої запитання. Зараз у мене ще тривають запитання (можливо, це стосується нового матеріалу, який я читав) і сподівався отримати відповіді ( ПОПЕРЕДЖЕННЯ . Ви …

19 logic  first-order-logic  propositional-logic  incompleteness 

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

19 concurrency  databases 

Чи потрібно, щоб проблема з важким рівнем NP була обчислюваною? Я не думаю, але я не впевнений.

19 complexity-theory  computability  np-hard 

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

19 complexity-theory  np-complete 

Я шукаю алгоритм сортування для масивів int, який не виділяє байт, окрім розміру масиву, і обмежується двома інструкціями: SWAP: підміняйте наступний індекс на поточний; Перемістити: переміщує курсор на +1 або -1 індекс; Тобто ви не можете поміняти 100місцями не сусідніми індексами, а також не поміняти індекс після того, як ви …

19 algorithms  sorting  in-place 

Я намагаюся з’ясувати, хто придумав термін «машинне навчання». Додатковим питанням є те, звідки Артур Самуель у 1959 р. Визначає сферу "машинного навчання" як: сфера навчання, яка дає комп'ютерам можливість навчатися, не будучи явно запрограмованими ? Ви можете знайти багато, багато посилань на це визначення в Інтернеті, але я не зміг …

19 terminology  reference-request  machine-learning  history 

Припустимо, ви отримуєте число (використовуючи біти у двійковому кодуванні).O ( журнал m )мmmO ( журналм )O(log⁡m)O(\log m) Як швидко ви можете знайти (або визначити, що такого не існує) ?n , k ∈ N , 1 &lt; k ≤ n2: ( nк) =mn,k∈N,1&lt;k≤n2:(nk)=mn,k\in \mathbb N, 1<k\leq\frac{n}{2}:{n \choose k}=m Наприклад, враховуючи вхід …

19 algorithms  combinatorics