Запитання з тегом «sample-complexity»

Розглянемо наступне обчислювальне завдання: Ми хочемо відібрати вибірку 3-SAT формули з змінних (варіант: змінних застережень) щодо рівномірного розподілу ймовірностей, що обумовлено задоволенням формули:ннnннnммm Q1: Чи можна цього досягти ефективно класичним комп'ютером (з випадковими бітами)? Q2: Чи можна цього досягти ефективно квантовим комп'ютером? Мене також цікавлять два варіанти: V2: Ви вибираєте …

23 cc.complexity-theory  quantum-computing  sample-complexity 

Одне, що можуть зробити квантові комп'ютери (можливо, навіть за допомогою лише квантових схем BPP + логічної глибини), це наблизити вибірку перетворення Фур'є булевої оціненої функції в P.± 1±1\pm 1 Тут і нижче, коли я говорю про вибірку перетворення Фур'є, я маю на увазі вибір x відповідно до . (Нормалізується при …

17 cc.complexity-theory  quantum-computing  pr.probability  randomized-algorithms  sample-complexity 

Відомо, що для навчання PAC існують природні класи концепцій (наприклад, підмножини списків рішень), для яких існують поліноміальні розриви між складністю вибірки, необхідною для теоретичного інформаційного навчання, який обчислюється без обмежень, і складності вибірки, необхідної полінома- час, що навчається. (див., наприклад, http://portal.acm.org/citation.cfm?id=267489&dl=GUIDE або http://portal.acm.org/citation.cfm?id=301437 ) Ці результати, схоже, залежать від кодування …

12 machine-learning  lg.learning  sample-complexity 

Ось проблема з подібним ароматом до вивчення хунтів: Вхід: Функція , представлена ​​оракул членства, тобто оракул, який дав , повертає .f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\}xxxf(x)f(x)f(x) Мета: Знайти подкуба з з об'ємом така , що . Ми припускаємо, що такий субкуб існує.SSS{0,1}n{0,1}n\{0,1\}^n|S|=2n−k|S|=2n−k|S|=2^{n-k}|Ex∈Sf(x)|≥0.1|Ex∈Sf(x)|≥0.1\left|\mathbb{E}_{x \in S} f(x) \right| \ge 0.1 Легко отримати алгоритм, який …

11 machine-learning  lg.learning  boolean-functions  sample-complexity 

Оскільки відповіді не було, встановлено прапор із проханням перетворити це питання на вікі спільноти. Зауваження Аарона Стерлінга, Сашо Ніколова та Вор були синтезовані у такій резолюції, яка відкрита для обговорення вікі спільноти: Вирішено: Що стосується класичних алгоритмів, які виводять числа, вибірки або траєкторії моделювання, сувора математична логіка вимагає прийняття або …

9 quantum-computing  program-verification  sample-complexity