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

Будучи студентом, изучающим информатику, я познакомился с теорией игр, но не видел подробностей по этому вопросу. Я искал в Google и просмотрел несколько книг по теории игр, и они предоставили подтверждение ее использования в информатике. Я начал формальное изучение теории игр с точки зрения экономиста. Теперь я хочу узнать о …

14 reference-request  gt.game-theory 

Интересно, как найти обхват разреженного неориентированного графа. Под разреженным я подразумеваю . Под оптимальным я подразумеваю минимальную временную сложность.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Я думал о некоторой модификации алгоритма Тарьяна для неориентированных графов, но я не нашел хороших результатов. На самом деле я думал, что если бы я мог найти 2-связные компоненты в , …

14 ds.algorithms  graph-theory  open-problem 

В заявлении Дж. М. Сискинда говорится: Сталин - оптимизирующий компилятор для Scheme, который выполняет статический анализ всей программы и использует результаты этого анализа для генерации чрезвычайно эффективного кода. Сталин использует большой набор методов статического анализа. Он выполняет новую форму поливариантного анализа потока, в котором используется итеративный моновариантный анализ потока для …

14 compilers 

Я провел некоторый поиск по этому вопросу, но так или иначе не смог найти ответ. Гек ответил на это полностью. Благодарность :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

В последнее время я имел дело с алгоритмами, связанными со сжатием, и мне было интересно, какая наилучшая степень сжатия может быть достигнута при сжатии данных без потерь. До сих пор единственным источником, который я мог найти по этой теме, была Википедия: Сжатие без потерь оцифрованных данных, таких как видео, оцифрованные …

14 it.information-theory  data-streams 

Пусть - формула CNF с n переменными и m предложениями. Пусть t ∈ { 0 , 1 } n представляет присваивание переменной, а f φ ( t ) ∈ { 0 , … , m } подсчитывает количество предложений, удовлетворяемых присваиванием переменной φ . Затем определите Median-SAT как задачу вычисления …

14 cc.complexity-theory  sat  counting-complexity 

Это имя, которое я сделал для этой проблемы. Я не видел нигде описанного ранее. Я пока не смог найти ни доказательства NP-полноты, ни алгоритма полиномиального времени для этой задачи. Это не проблема домашней работы - это связано с проблемой, с которой я столкнулся в своей работе. НАИБОЛЕЕ ДИСКРИМИНАЦИОННЫЕ БИТЫ INSTANCE: …

14 cc.complexity-theory  np-hardness 

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

14 cc.complexity-theory  reference-request  soft-question  big-picture 

Цель : сформулировать гипотезу об отсутствии проективной плоскости порядка 12. В 1989 году, используя компьютерный поиск на Крей, Лэм доказал, что проективной плоскости порядка 10 не существует. Теперь, когда число Бога для кубика Рубика было определено после нескольких недель масштабного поиска грубой силы (плюс умная математика симметрии), мне кажется, что …

14 open-problem 

Многие криптосистемы с открытым ключом имеют доказуемую безопасность. Например, криптосистема Рабина доказуемо так же сложна, как и факторинг. Интересно, существует ли такая доказуемая безопасность для криптосистем с секретным ключом, таких как AES. Если нет, то каковы доказательства того, что взломать такие криптосистемы сложно? (кроме устойчивости к методам проб и ошибок) …

14 cr.crypto-security  algebra  algebraic-complexity 

Я студентка факультета компьютерных наук, и в настоящее время я планирую свой дипломный проект. Мне нужны некоторые идеи в области квантовых вычислений. любая помощь?

14 quantum-computing  soft-question 

Рассмотрим , где lambda_i> 0 и Y_i распределены как стандартная нормаль. Какие границы концентрации можно доказать на X как функцию (фиксированных) коэффициентов lambda_i?Икс= ∑яλяY2яИксзнак равноΣяλяYя2X = \sum_i \lambda_i Y_i^2 Если все лямбда_i равны, то это граница Чернова. Единственный другой результат, о котором я знаю, - это лемма из статьи Ароры …

14 chernoff-bound 

Были бы какие-нибудь серьезные последствия, если бы у SAT было самое большее субэкспоненциальное несогласованное доказательство или даже более сильно, у SAT были алгоритмы субэкспоненциального времени?

14 cc.complexity-theory  sat  proof-complexity 

Мы знаем, что алгоритм mincut Каргера может быть использован, чтобы доказать (неконструктивно), что максимальное число возможных срезов, которые может иметь граф, равно (n2)(n2)n \choose 2 . Мне было интересно, можем ли мы как-то доказать эту идентичность, дав биективное (довольно инъективное) доказательство от набора минутных чисел до другого набора мощности (n2)(n2)n …

14 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  max-flow-min-cut 

В системе автоматического обучения Англуина ученик стремится выучить обычный язык L ⊆ Σ*L⊆Σ*L\subseteq \Sigma^* , задавая своему учителю два типа вопросов: Запросы по словам: если w ∈ Σ*вес∈Σ*w\in \Sigma^* , есть ли ?w ∈ Lвес∈Lw\in L Запросы на эквивалентность: если задан язык , является ли ? Если нет, то учитель …

13 automata-theory  regular-language