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

Хорошо известно , что для каждого матроидов и любой весовой функции , то выходит в алгоритм , которая возвращает максимальный вес основы . Итак, верно ли обратное направление? То есть, если есть какой-то жадный алгоритм, то должна быть и некоторая структура матроида.MMMвесwwGreedyBasis (M, ш )GreedyBasis(M,w)\mbox{GreedyBasis}(M,w)MMM

13 ds.algorithms  greedy-algorithms 

Предположим, что P NP.≠≠\ne Теорема Ладнера гласит, что существуют промежуточные проблемы NP (проблемы в NP, которые не находятся ни в P, ни в NP-Complete). Я нашел несколько завуалированных ссылок в Интернете, которые предполагают (я думаю), что в NPI существует много «уровней» взаимно сводимых языков, которые определенно не все сводятся в …

13 cc.complexity-theory  np  np-intermediate 

Насколько я понимаю, доказательство того, что P = NP или P ≠ NP, должно быть нерелятивизируемым (как в оракулах теории рекурсии). Практически все доказательства кажутся релятивизируемыми. Какие хорошие примеры , не являющиеся Релятивизуемых доказательств, из тех , что Р = NP / P ≠ NP доказательству было бы нужно быть, …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

Для ориентированного циклического графа, где вес каждого ребра может быть отрицательным, концепция «кратчайшего пути» имеет смысл, только если нет отрицательных циклов, и в этом случае вы можете применить алгоритм Беллмана-Форда. Тем не менее, я заинтересован в поиске кратчайшего пути между двумя вершинами, в котором не задействовано циклирование (т.е. при условии, …

13 ds.algorithms  graph-algorithms  shortest-path 

На странице «Продвинутая схема: некоторые непослушные биты» говорится: Продолжения - это мощная конструкция потока управления, из которой может быть получена почти любая другая структура потока управления [...]. Я думал, что схемы call/cc, связанные (*) с оператором J Питера Лэндена, могут быть использованы для реализации любой известной структуры потока управления? Что …

13 lambda-calculus  denotational-semantics  scheme  operational-semantics 

Обучая, как реализовывать автоматы с использованием синхронных логических схем, я заметил интересное совпадение: как в теоретическом мире CS, так и в мире электротехники «состояние» обычно обозначается как (и пространство состояний Q ). Сначала я спросил об EE.sx , но затем, немного исследуя эту тему, я обнаружил, что даже в оригинальной …

13 automata-theory  ho.history-overview 

Скажем, у нас есть векторное представление любого целого числа n, V_n Этот вектор является входом в алгоритм машинного обучения. Первый вопрос: для какого типа представлений можно узнать первичность / составность n, используя нейронную сеть или какое-либо другое ML-отображение векторов в биты. Это чисто теоретически - нейронная сеть может быть неограниченной …

13 co.combinatorics  machine-learning  primes 

Известно ли, что задача множества вершин обратной связи на неориентированных плоских графах ограниченной степени является трудной?Н ПNP\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness 

Я ищу ссылку (не доказательство того, что я могу сделать) на следующее расширение Черноффа. Пусть Икс1, . , , XNX1,..,XnX_1,..,X_n - булевы случайные величины, не обязательно независимые . Вместо этого гарантируется, что пг ( хя= 1 | С) < рPr(Xi=1|C)<pPr(X_i=1|C)(1+\lambda)np\right) Заранее спасибо!

13 reference-request  pr.probability  chernoff-bound 

Класс сложности PPAD обычно определяется указанием того, что End-Of-The-Line является PPAD-завершенным. End-Of-The-Line - это проблема поиска. Входные данные состоят из ориентированного графа, в котором у каждого узла максимальная и минимальная степени равны 1. Граф задается вычисляемой функцией полиномиального времени которая возвращает предшественника и преемника x . Кроме того, каждому дается …

13 cc.complexity-theory  complexity-classes  ppad 

Рассмотрим следующую игру на ориентированном взвешенном графе гGG с чипом в некотором узле. Все узлы гGG отмечены буквой A или B. Есть два игрока Алиса и Боб. Цель Алисы (Боба) - сдвинуть фишку к узлу, обозначенному буквой A (B). Первоначально Алиса и Боб имеют мAmAm_A и мВmBm_B долларов соответственно. Если …

13 cc.complexity-theory  complexity-classes  gt.game-theory 

Предположим, что у каждого есть рандомизированный (BPP) алгоритм AAA использующий рrr битов случайности. Естественные способы увеличить вероятность успеха до 1 - δ1−δ1-\delta для любого выбранного δ> 0δ>0\delta>0 : Независимые прогоны + голосование большинством: прогоните AAA независимо T= Θ ( журнал( 1 / δ)T=Θ(log⁡(1/δ)T=\Theta(\log(1/\delta) раз и получите большинство голосов выходов. Для …

12 reference-request  randomness  pseudorandomness  expanders 

Пусть С4C4C_4 - цикл с четырьмя вершинами. Для произвольного графа GGG с nnn вершинами и m ребрами скажем m>nn−−√m>nnm>n\sqrt n , сколько существуетC4C4C_4? Есть ли нижняя граница для этого?

12 graph-theory  graph-minor 

Я студент третьего курса университета «топ-20», который работает над мелкозернистой сложностью (много игр с 3-SUM, OV и обычными популярными гипотезами о твердости). Я был довольно продуктивным в течение последнего года или около того, и у меня есть 3 принятых документа и два представленных документа. Все это говорит о том, что …

12 soft-question 

Рассмотрим функцию вычисляется с помощью булевой схемы C с п входами размера сек ( п ) = р ø л у ( п ) в базисе { Х О Р , Н Д , Н О Т } (с полустепень захода 2 для X O R , A N D …

12 circuit-complexity  circuits