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

Існує сімейство випадкових графіків G ( n , p )Г(н,p)G(n, p) з ннn вузлами ( завдяки Гілберту ). Кожен можливий край незалежно вставляється в G ( n , p )Г(н,p)G(n, p) з вірогідністю ppp . Нехай ХкХкX_k - кількість кліків розміром ккk у G ( n , p )Г(н,p)G(n, p) …

11 graph-theory  combinatorics  probability-theory  random-graphs 

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

11 computability  terminology  decision-problem 

Нам дається генератор випадкових чисел, RandNum50який генерує випадкове ціле число рівномірно в межах 1–50. Ми можемо використовувати лише цей генератор випадкових чисел для генерування та друку всіх цілих чисел від 1 до 100 у випадковому порядку. Кожне число повинно входити рівно один раз, і ймовірність появи будь-якого числа в будь-якому …

11 algorithms  integers  randomness  random-number-generator 

Дан масив 1 , ... , п натуральних чисел ≤ до , де до є постійним, я хочу відповісти в O ( 1 ) запити виду: «скільки разів м з'явиться в масиві між індексами я і j "?a1,…,ana1,…,ana_1,\ldots,a_n≤k≤k\leq kkkkO(1)O(1)O(1)mmmiiijjj Масив слід попередньо обробити за лінійним часом. Зокрема, я хотів би …

11 algorithms  arrays  algorithm-design 

Я борюся з хешуючим та бінарним пошуковим деревом. І я читав, що замість того, щоб використовувати списки для зберігання записів з однаковими хеш-значеннями, також можна використовувати двійкові дерева пошуку. І я намагаюся зрозуміти, який найгірший і середній показник часу для операцій insert, find і delete стоїть на користь. середній випадок. …

11 data-structures  time-complexity  runtime-analysis  search-trees  hash-tables 

Чи правильний наступний приклад щодо того, чи є алгоритм висновку надійним і повним ? Припустимо, у нас голки a, b, c в копиці сіна, а також є алгоритм виводу, призначений для пошуку голок. звук - виходять лише голки a, b і c. повні - отримують голки a, b і c. …

11 logic 

Звичайний простий алгоритм знаходження серединного елемента в масиві з чисел:нAAAnnn Зразок елементів з із заміною на Бн3 / 4n3/4n^{3/4}АAAБBB Сортування і знайти ранг елементів і про| Б | ± √БBB lrB| Б | ± n--√|B|±n|B|\pm \sqrt{n}лllrrrБBB Переконайтеся, що і знаходяться на протилежних сторонах медіани і що в між та є …

11 algorithms  algorithm-analysis  randomized-algorithms 

Я намагаюся використовувати кольорову камеру для відстеження кількох об’єктів у просторі. Кожен об'єкт матиме різний колір, і щоб можна було добре розрізняти кожен об'єкт, я намагаюся переконатися, що кожен колір, присвоєний об'єкту, максимально відрізняється від будь-якого кольору на будь-якому іншому об’єкті. У просторі RGB у нас є три площини, всі …

11 algorithms  optimization  computational-geometry 

Нещодавнє екзаменаційне запитання: - це нескінченна рекурсивно-численна множина. Доведіть, що A має нескінченний рекурсивний підмножина.AAAAAA Нехай нескінченне рекурсивне підмножина A . Повинен C мати підмножину, яка не є рекурсивно перелічуваною?CCCAAACCC Я відповів 1. вже. Щодо 2. я відповів ствердно і аргументував так. Припустимо, що всі підмножини були рекурсивно переліченими. Оскільки …

11 computability  check-my-proof 

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

11 algorithms  reference-request  education  bioinformatics 

Припустимо, мені задано кінцевий набір точок у площині і попросимо провести двічі диференційовану криву через , щоб її периметр був максимально меншим. Якщо припустити, що та , я можу формалізувати цю проблему як: C ( P ) p i p i = ( x i , y i ) x …

11 complexity-theory  np-hard  optimization  computable-analysis 

Дано наступне рекурсивне рівняння Т( n ) = 2 Т( н2) +nжурналнТ(н)=2Т(н2)+нжурнал⁡н T(n) = 2T\left(\frac{n}{2}\right)+n\log n ми хочемо застосувати головну теорему і зауважимо, що нжурнал2( 2 )= n .нжурнал2⁡(2)=н. n^{\log_2(2)} = n. Тепер ми перевіряємо перші два випадки на , тобто чиε > 0ε>0\varepsilon > 0 n журналn ∈ O …

11 proof-techniques  asymptotics  recurrence-relation  master-theorem 

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

11 machine-learning  artificial-intelligence 

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

11 proof-techniques  semantics  arrays  hoare-logic  software-verification 

Я працюю над мовою генеалогії ML, заснованої на виразі, тому вона, природно, потребує введення тексту> :) Зараз я намагаюся розширити рішення на основі обмежень для проблеми випливаючих типів, що базується на простому впровадженні в EOPL (Friedman and Wand), але вони елегантно є алгебраїчними типами даних бічного кроку. Те, що я …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing