Вопросы с тегом «sample-complexity»

Рассмотрим следующую вычислительную задачу: мы хотим отобрать 3-SAT формулу из переменных (вариант: переменных предложений) относительно равномерного распределения вероятностей, при условии, что формула выполнима:NNnNNnммm Q1: может ли это быть эффективно достигнуто с помощью классического компьютера (со случайными битами)? Q2: может ли это быть эффективно достигнуто квантовым компьютером? Меня также интересуют следующие …

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\} , представленная оракулом членства, то есть оракулом, который дал xxx , возвращает f(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