Теоретическая информатика

У меня есть 400 шаров, из которых 100 - красные, 40 - желтые, 50 - зеленые, 60 - синие, 70 - фиолетовые, 80 - черные. (шарики одного цвета идентичны) мне нужен эффективный алгоритм перетасовки, чтобы после перетасовки шары были в списке, и Любые 3 последовательных шара не одного цвета. Например, …

10 ds.algorithms  randomized-algorithms  permutations 

Я часто слышал, как говорят, что вы не можете написать программу для обнаружения ошибок в веб-браузере, текстовом процессоре или операционной системе из-за теоремы Райса: любое семантическое свойство для языка, полного по Тьюрингу, неразрешимо. Однако я не уверен, в какой степени это относится к реальным программным операциям, таким как операционные системы. …

10 computability 

Я ищу полный текст результата клики Луны и Мозера 1965 г. О кликах в графах (существуют графы с числом максимальных клик, экспоненциальным по ). Платежная система моего университета не имеет доступа к конкретному журналу. (На самом деле, предварительный просмотр предоставляет первые несколько предложений доказательства, но затем оставляет меня без остатка!)Nnn …

10 reference-request  graph-theory  co.combinatorics  clique 

Я столкнулся с довольно сложной дилеммой: Я закончил M.Tech в CS 2 года назад, закончив диссертацию в области VLSI тестирования. Хотя мне нравилась моя работа, я не хочу возвращаться, чтобы продолжить свою докторскую диссертацию в этом - я очень хотел продолжить теоретический курс (в приближении / онлайн-алгоритмах) в качестве средства …

10 soft-question  advice-request  career 

При рассмотрении взаимодействий в сетях обычно очень трудно рассчитать динамический анализ , и используются приближения. Аппроксимации среднего поля обычно заканчиваются полным игнорированием структуры сети, и поэтому редко являются хорошим приближением. Популярным приближением является парное приближение, которое рассматривает корреляции, присущие соседним узлам (интуитивно мы можем думать о нем как о типе …

10 graph-theory  gt.game-theory  evolutionary-game-theory 

Предположим, что - булев язык из конечных строк над . Пусть будет количеством строк в с длиной . Для функции от натуральных чисел до натуральных чисел имеет верхнюю плотность если для всех достаточно больших .{ 0 , 1 } L n L n d ( n ) L d ( …

10 cc.complexity-theory  reference-request  p-hardness 

Кац и Линделл упоминают в своей книге, что LFSR были ужасны в качестве основы для псевдослучайных генераторов, и выступают за то, чтобы они больше не использовались (ну, они также рекомендуют людям использовать блочные шифры вместо потоковых шифров). Но я вижу, например, что один из шифров в портфеле estream ( Grain …

10 soft-question  cr.crypto-security  pseudorandom-generators 

Язык входит в класс если есть два языка и такие чтоD P L 1 ∈ N P L 2 ∈ c o N P L = L 1 ∩ L 2LLLД ПDPDPL 1 ∈ NпL1∈NPL1 \in NPL 2 ∈ c o NпL2∈coNPL2 \in coNPL = L 1 ∩ L 2L=L1∩L2L …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Для смешанного графа с ребрами E и дугами A найдите совпадение в E, которое минимизирует количество дуг в G / M , где G / M получается из G путем сжатия совпадающих вершин и удаления параллельные дуги.G=(V,E,A)G=(V,E,A)G=(V,E,A)EEEAAAEEEG/MG/MG/MG/MG/MG/MGGG Является ли (вариант решения) этой проблемой NP-полной? Было ли это изучено в литературе?

10 cc.complexity-theory  reference-request  graph-theory 

Скажем, у нас есть многогранник в стандартной форме: A x = bх ≥0Ax=bx≥0\begin{equation*} \begin{array}{rl} \mathbf{A}\mathbf{x} = \mathbf{b} \\\\ \mathbf{x} \ge 0 \end{array} \end{equation*} Существуют ли какие-либо известные способы нахождения гиперплоскости которая разбивает многогранник таким образом, чтобы число вершин на каждой стороне гиперплоскости было приблизительно одинаковым? (т.е. алгоритм, который минимизирует абсолютную …

10 ds.algorithms  linear-programming  linear-algebra 

Я хочу начать изучать сетевое кодирование: http://en.wikipedia.org/wiki/Network_coding Знаете ли вы какой-либо хороший опрос (например, из опросов и учебных пособий IEEE) по вышеуказанным предметам. Я нашел несколько университетских курсов в Google, но я хотел бы получить рекомендации от людей, которые уже читают и знают хороший источник. Спасибо василис

10 it.information-theory  coding-theory  survey  ni.networking-internet 

Может ли кто-нибудь указать мне на ссылку на неопределяемость модуля функционала непрерывности в PCF? \newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} Андрей Бауэр написал очень хороший пост в блоге, в котором более подробно рассматриваются некоторые вопросы, но я кратко изложу его пост, чтобы дать некоторый контекст этому вопросу. Бэровский этом множество последовательностей натурального числа, или …

10 pl.programming-languages  lambda-calculus  denotational-semantics  computing-over-reals 

Существует ли структура данных w-bit word-RAM с временем O (1) на операцию для следующей задачи ?: Поддерживать набор w-битовых неотрицательных целых чисел, который поддерживает операции добавить (х): добавить х к набору удалить (х): удалить х из набора fingerprint (): вернуть отпечаток набора. Этот w-битный отпечаток обладает тем свойством, что два …

10 ds.data-structures 

Существуют ли должности для недавно выпускников бакалавриата или магистратуры, имеющих опыт исследований, для работы в качестве научного сотрудника, прежде чем приступить к выполнению своей кандидатской диссертации? У TCS есть культура постдоковых должностей для недавних выпускников PhD, чтобы сделать исследование прежде, чем попытаться подать заявку на должность преподавателя. Существует ли аналогичный …

10 soft-question  advice-request  career 

Я читаю превосходный обзорный документ Уотроуса на бумаге по теории квантовой сложности. В нем он заявляет, что было бы удивительно, если бы обнаружилось, что проблема, полная QMA, имеет бессмысленное обещание (т.е. быть языком). Почему это так? Связано ли это с тем фактом, что k-локальная гамильтонова задача является проблемой обетованной? Кроме …

10 cc.complexity-theory  quantum-computing