Angluin и Laird ('88) формализовали обучение со случайно искаженными данными в модели «PAC со случайным классификационным шумом» (или с шумным PAC). Эта модель аналогична обучению PAC , за исключением того, что метки примеров, данных учащемуся, искажены (перевернуты) независимо друг от друга...
Этот вопрос был мотивирован вопросом, заданным на stackoverflow . Предположим, вам дано корневое дерево (т. Е. Есть корень, а у узлов есть дочерние элементы и т. Д.) На n узлах (обозначены 1 , 2 , … , n ).TTTNnn1 , 2 , … , n1,2,…,n1, 2, \dots, n Каждая вершина имеет неотрицательный целочисленный...
Я студент CS. Мы делали теорию графов в одном курсе. Я нашел это интересным. Каковы реальные применения теории графов в области компьютерных наук? Например, я обнаружил, что некоторые понятия в теории графов могут использоваться для проектирования сетей. Какие есть другие похожие...
Безопасность SHA-1 обсуждалась с тех пор, как алгоритм обнаружения столкновений был впервые опубликован в CRYPTO 2004 и впоследствии был улучшен. В Википедии перечислено несколько ссылок , однако, похоже, что последнее исследование, опубликованное (и позднее отозванное) по этому вопросу, было в...
Мерлин, имеющий неограниченные вычислительные ресурсы, хочет убедить Артура, что для с и Простое вычисление этой суммы (модульное возведение в степень и сложение) занимает время с умножением на основе БПФ. * Но Артур может выполнять только операций.m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\...
Я пытаюсь найти проблемы, сложность которых в среднем случае была проанализирована. Более конкретно, мне интересно знать, есть ли какие-либо проблемы с доказанной нижней границей сложности пространства, которая является суперлинейной, и особенно, если есть какие-либо проблемы с анализом среднего...
Была ли работа по восстановлению наклона отрезка линии после его оцифровки? Конечно, нельзя делать это с идеальной точностью; то, что нужно, - это метод получения из оцифрованной линии интервала возможных уклонов. (Понятие оцифрованной строки, которую я использую, - это Розенфельд: набор пар где...
Nurikabe - это основанная на ограничениях головоломка, похожая на Minesweeper / Nonograms; числа помещаются в сетку, которая должна быть заполнена значениями включения / выключения для каждой ячейки, причем каждое число указывает область соединенных «включенных» ячеек этого размера, и некоторые...
У меня есть проблема, которая находится в NEXP и также может быть решена с помощью чередующегося ТМ, использующего экспоненциальное время и только одно чередование (начиная с экзистенциального состояния).NPNP^{\text{NP}} Что-нибудь известно о NEXP ? Это равно NEXP или какому-то другому классу?...
Условная логика - это логика, которая дополняет традиционную логическую импликацию модальными операторами, соответствующими другим понятиям условия (например, условная причина To гласит: « вызывает« B », или вероятностное обусловливание « », которое читается как « данный »).A□→BA◻→BA\;...
Я знаю, что вопрос «имеет ли формула первого порядка модель» вообще неразрешим.φϕ\phi Может ли кто-нибудь дать мне ссылку или книгу, которая даст ответ для конечных моделей. Если у меня есть формула первого порядка , можно ли имеет ли конечную модель? Я почти уверен, что вопрос хорошо известен, но...
Я хотел бы спросить, есть ли уже опубликованный результат по этому вопросу: Мы берем все возможные разные пути между каждой парой узлов двух соединенных регулярных (со степенью , скажем, числом узлов ) графов и записываем их длины. Конечно, это число различных путей является экспоненциальным. Мой...
Правильно ли называть инфраструктуру mapReduce типом структуры объемного синхронного параллельного программирования без сохранения локальной памяти в процессорах между синхронизациями? Если нет, то какая модель параллельного программирования наиболее точно инкапсулирует каркас...
Матрица имеет размерность n × n ( n - 1 ) . Мы хотим заполнить A, используя целые числа от 1 до n включительно.AAAn × n ( n - 1 )n×n(n−1)n \times n(n-1)AAA111Nnn Требования: Каждый столбец является перестановкой 1 , … , n .AAA1 , … , n1,…,n1, \dots, n Любая подматрица, образованная двумя строками...
Все известные мне компьютерные музеи и экспонаты, кажется, охватывают только историю вычислительной техники, но не затрагивают темы компьютерных наук. Вы участвуете в создании нового Музея вычислительной техники, созданного для обучения, развлечения и привлечения широкой публики к широкому кругу...
Я ищу высокоэффективную структуру данных для хранения данных, аналогичную следующей. Идентификационные метки Order1 Order2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 Мне нужно иметь возможность запрашивать эту структуру таким образом, чтобы она выдала мне список всех...
Полнота и обоснованность интерактивных систем доказательства неформально определяются как: Полнота: если утверждение верно, честный проверяющий может убедить честного проверяющего в этом факте whp . Обоснованность: если утверждение ложно, обманщик не может убедить честного проверяющего (в...
Я не помню, чтобы видел разделение классов, не основанное на диагонализации и результатах релятивизации. Диагонализация все еще может использоваться для разделения оставшихся известных классов, потому что нерелятивизирующие аргументы могут все еще использоваться в заключении диагонализации или в...
Можно ли построить алгоритм, который принимает в качестве входных данных автомат сокращения вместе с обещанием, что язык, принятый этим автоматом является детерминированным контекстно-свободным языком и выводит детерминированный автомат нажатия который принимает именно принятый язык на ?MMMЛ (...
В 1975 году Миллер показал, как уменьшить факторизацию целого числа чтобы найти период функции такой, что f (x + r) = f (x) с некоторым случайно выбранным <N . Хорошо известно, что алгоритм Шора может эффективно найти r на квантовом компьютере, в то время как считается, что классическому...