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

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

95 education  mathematical-analysis 

Мене цікавить це питання ще з часів студентства. Це загальне питання, але я докладно поясню приклади нижче. Я бачив багато алгоритмів - наприклад, для проблем з максимальним потоком я знаю близько 3 алгоритмів, які можуть вирішити проблему: Ford-Fulkerson, Edmonds-Karp & Dinic, причому Dinic має найкращу складність. Для структур даних - …

91 algorithms  data-structures  education  didactics 

Ці два здаються дуже схожими і мають майже однакову структуру. Яка різниця? Які часові складності для різних операцій кожного?

91 data-structures  binary-trees  heaps 

У більшості вступних класів алгоритму вводяться позначення типу (Big O) та , і студент, як правило, навчиться використовувати один із них, щоб знайти складність у часі.ΘOOOΘΘ\Theta Однак є й інші позначення, такі як , та . Чи є конкретні сценарії, коли одна нотація була б кращою для іншої?Ω ωoooΩΩ\Omegaωω\omega

90 algorithms  terminology  asymptotics  landau-notation  reference-question 

В інформатиці нам часто доводиться вирішувати рекурсивні відносини , тобто знаходити закриту форму для рекурсивно визначеної послідовності чисел. Розглядаючи час виконання, нас часто цікавлять переважно асимптотичні темпи зростання послідовності . Приклади є Час виконання хвостово-рекурсивної функції, що відступає до від , тіло якого вимагає часу :000nnnf(n)f(n)f(n) T(0)T(n+1)=0=T(n)+f(n)T(0)=0T(n+1)=T(n)+f(n)\qquad \begin{align} T(0) &= …

89 asymptotics  proof-techniques  combinatorics  recurrence-relation  reference-question 

Ми дізналися про клас без контекстних мов . Для нього характерні як безконтекстні граматики, так і автоматичні натискання, тому легко показати, що дана мова є без контексту.CFLCFL\mathrm{CFL} Як я показую протилежне? Мій ТА твердо переконаний, що для цього нам потрібно було б показати всім граматикам (або автоматам), що вони не …

88 formal-languages  context-free  proof-techniques  reference-question 

Вапник-Червоненкис (КІ) -размерность формули для нейронних мереж в діапазоні від до , з в гіршому випадку, де являє собою число ребер і - кількість вузлів. Кількість навчальних зразків, необхідних для отримання надійної гарантії узагальнення, лінійна з розміром VC.O(E)O(E)O(E)O(E2)O(E2)O(E^2)O(E2V2)O(E2V2)O(E^2V^2)EEEVVV Це означає, що для мережі з мільярдами ребер, як і у випадку …

86 machine-learning  vc-dimension 

Існує два способи розділення швидкості, що згадуються в Кормені: Hoare-Partition(A, p, r) x = A[p] i = p - 1 j = r + 1 while true repeat j = j - 1 until A[j] <= x repeat i = i + 1 until A[i] >= x if i < …

82 algorithms  sorting  quicksort 

Я помітив, що деякі програми або алгоритми, побудовані на мові програмування, скажімо, C ++ / Rust запускаються швидше або швидше, ніж ті, що побудовані, скажімо, на Java / Node.js, що працюють на одній машині. У мене є кілька запитань щодо цього: Чому це відбувається? Що регулює "швидкість" мови програмування? Це …

80 programming-languages  compilers 

Якщо обчислити площу прямокутника, ви просто помножите висоту і ширину і повернете одиницю в квадрат. Приклад: 5см * 10см = 50см² На відміну від цього, якщо ви обчислите розмір зображення, ви також помножите висоту і ширину, але ви отримаєте назад одиницю - Pixel - так само, як це була одиниця …

79 terminology 

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

78 algorithms  graph-theory  search-algorithms  graph-traversal 

Я завжди туманно думав, що відповідь на вищезазначене питання була ствердною у наступних рядках. Теорема про незавершеність Геделя та нерозбірливість проблеми зупинки є негативними результатами розв'язуваності та встановленими діагональними аргументами (і в 1930-х рр.), Тому вони повинні якось бути двома способами розгляду однакових питань. І я подумав, що Тьюрінг використовував …

75 computability  logic  halting-problem  incompleteness 

Ми дізналися про клас регулярних мов . Він характеризується будь-яким одним поняттям серед регулярних виразів, кінцевих автоматів та ліволінійних граматик, тому легко показати, що дана мова є регулярною.REGREG\mathrm{REG} Як я показую протилежне? Мій ТА твердо переконаний, що для цього нам доведеться показати для всіх регулярних виразів (або для всіх кінцевих …

75 formal-languages  regular-languages  proof-techniques  reference-question 

У рамках деяких досліджень, пов’язаних з blockchain, які я зараз займаюся, уявлення про використання blockchain для різноманітних додатків у реальному світі висловлюються нескінченно. Тому я пропоную наступні питання: Які важливі / важливі додатки в реальному світі використовують блокчейн? Щоб додати до першого питання, точніше, для яких реальних програм насправді потрібен …

74 blockchain 

Я читав про обчислення лямбди недавно, але як не дивно, я не можу знайти пояснення, чому його називають "лямбда" або звідки походить цей вираз. Хтось може пояснити походження терміна?

73 terminology  computation-models  lambda-calculus  history