Информатика

Есть ли способ вычислить размер максимального соответствия в невзвешенном двудольном графе более эффективно (например, быстрее), чем вычисление максимального соответствия? Это длинный путь, но часто это интересная проблема, чтобы избежать одноразовых вычислений, подобных этим. мотивация Проблема , которую я пытаюсь решить это матч-2 , где два множества различных размеров. Мне нужно …

11 algorithms  graphs  optimization  matching  bipartite-matching 

Я интересно, если есть полиномиальный алгоритм для «2-SAT с XOR-отношений». И 2-SAT, и XOR-SAT находятся в P, но является ли их комбинация? Пример ввода: 2-SAT часть: (a or !b) and (b or c) and (b or d) XOR часть: (a xor b xor c xor 1) and (b xor c …

11 np-complete  satisfiability  xor  2-sat 

Я знаю, что это глупо, но мне удалось запутаться, и мне нужна помощь, чтобы решить эту проблему Предположим, что , тогда ясно, что для каждого оракула имеем что противоречит тому, что существует некоторый оракул для которого , следовательно,P=NPP=NPP=NPAAAPA=NPAPA=NPAP^A=NP^AAAAPA≠NPAPA≠NPAP^A\neq NP^AP≠NPP≠NPP\neq NP Что не так? Спасибо!

11 complexity-theory  p-vs-np  oracle-machines 

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

11 algorithms  quantum-computing 

Что мы знаем, так это то, что π бесконечно и вполне вероятно, что оно содержит все возможные конечные цепочки цифр ( дизъюнктивная последовательность ). Недавно я видел некоторый прототип πfs, который предполагает, что каждый файл, который вы создали (или кто-либо еще) или вы создадите, он уже там, так что это …

11 algorithms  data-compression  mathematical-programming 

Я читал, что операционные системы, такие как Android и iOS, каким-то образом оптимизированы для увеличения времени автономной работы. Насколько я понимаю, процессор выполняет определенное количество операций за определенное время, поэтому я думаю, что вы можете ускорить приложения, сократив количество требуемых операций, но поскольку процессор все равно будет выполнять x операций …

11 computer-architecture  operating-systems  performance  program-optimization 

Я смотрю на исчисление конструкций и его место в лямбда-кубе . Если я правильно понимаю, каждая ось куба может рассматриваться как добавление еще одной операции, связанной с типами, к простому типу исчисления, λ→λ→\lambda_\to . Первая ось добавляет операторы типа к термину, вторые операторы типа к типу и третью зависимую типизацию …

11 terminology  lambda-calculus  type-theory  dependent-types 

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

11 algorithms  graph-theory  graph-isomorphism 

Означает ли существование неразрешимых проблем непосредственную непредсказуемость физических систем? Давайте рассмотрим проблему остановки, сначала мы построим физический UTM, скажем, используя обычную конструкцию на основе схем. Тогда не может быть никакой разрешимой физической теории, которая могла бы определить, при любой входной настройке цепей, остановится ли цепь. Это кажется тривиальностью, но разве …

11 computability  turing-machines  undecidability  physics 

Пусть будет некоторой проблемой подсчета, которая известна как # P -Complete .ΠΠ\PiPPP Означает ли это , что является P X -Жесткий (т.е. не PTAS для проблема существует , если P = N P )?ΠΠ\PiAPXAPXAPXP=NPP=NпP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Мне интересно, есть ли какие-нибудь -hard проблемы, которые являются «полиномиальными» в среднем случае. Я думаю, что есть два способа интерпретировать это?NпNпNP Если , может ли быть алгоритм, решающий задачу N P -hard, с амортизированным (в среднем случае) временем работы O ( n k ) для константы k ?п≠ Nпп≠NпP \neq …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Что такое алгоритм bicriteria приближение? Это продолжает прибывать в случае потока данных кластеризации. Это связано с многоцелевой оптимизацией? Именно там я наткнулся на него: cis.upenn.edu/~sudipto/mypapers/datastream.pdf. Статья посвящена потоковой версии алгоритма k-средних. В статье есть ссылки, но ни одна из них не дает объяснения, что такое алгоритм бикритериальной аппроксимации. Похоже, я …

11 optimization  approximation 

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

11 data-structures  functional-programming  persistent-data-structure 

Можете ли вы дать мне несколько советов о хорошей вводной (но всеобъемлющей) книге о логике и вычислениях? Некоторые нечеткие темы, которые я имею в виду: Presburger artihm., PA, ZF, ZFC, HOL Теория множеств, Теория типов Моделирование вычислений (машины Тьюринга) в разных теориях Связи с вычислительной сложностью (FMT, описательная сложность)

11 reference-request  logic  books 

Мы были представлены в классе с алгоритмом нахождения максимума в массиве параллельно в временной сложности с компьютерами.O(1)O(1)O(1)n2n2n^2 Алгоритм был: Дан массив A длины n: Создайте массив флагов B длиной n и инициализируйте его нулями с компьютерами.nnn Сравните каждые 2 элемента и напишите 1 в B по минимальному индексу с компьютерами.n2n2n^2 …

11 algorithms  search-algorithms  parallel-computing