Вопросы с тегом «dc.parallel-comp»

В 1980-х годах появились модели параллельных вычислений PRAM и BSP . Кажется, что расцвет обеих моделей был в конце 80-х и начале 90-х годов. Эти области все еще активны с точки зрения исследования параллельных алгоритмов? Существуют ли более новые, более сложные модели для параллельных вычислений? Общие модели все еще в …

30 ds.algorithms  dc.parallel-comp  dc.distributed-comp 

Существует ли естественный параллельный аналог красно-черных деревьев со схожими или даже не очень худшими свойствами для обновлений, хотя он достаточно эффективен для работы? В целом, что мы можем сделать лучше для параллельного поиска с обновлениями?

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

N CNC\mathsf{NC} отражает идею эффективного распараллеливания, и одна из его интерпретаций - это проблемы, которые разрешимы во времени с использованием параллельных процессоров для некоторых констант , . У меня вопрос, есть ли аналогичный класс сложности, где время равно а число процессоров - . Как заполнить пустой вопрос:O ( n k …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

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

20 cr.crypto-security  dc.parallel-comp  pseudorandom-generators 

В классе сложности есть некоторые проблемы, предположительно не входящие в класс N C , то есть проблемы с детерминированными параллельными алгоритмами. Проблема максимального потока является одним из примеров. И есть проблемы, СЧИТАЕМЫЕ быть в N C , но доказательство еще не найдено.PP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} Идеальный Matching проблема является одной из наиболее фундаментальной …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Я ищу хороший обзор алгоритмов и сложности линейной алгебры (операции типа ранга, обратные, собственные значения, ... для логических, и целых / рациональных матриц) с акцентом на параллельные ( иерархия N C ) и полимерные алгоритмы , Я не мог найти недавний.FpFp\mathbb{F}_pNCNCNC Знаете ли вы хороший недавний опрос или книгу о …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

Меня интересует сложность решения линейных уравнений по модулю k для произвольного k (и с особым интересом к простым степеням), а именно: Проблема. Для данной системы из линейных уравнений по неизвестным по модулю , существуют ли какие-либо решения?н кmmmnnnkkk В аннотации к своей статье Структура и важность классов logspace-MOD для классов …

19 cc.complexity-theory  dc.parallel-comp  linear-algebra  nt.number-theory 

Можно ли алгоритмически проверить, является ли вычисляемое число рациональным или целым? Другими словами, возможно ли для библиотеки, которая реализует вычислимые числа, предоставлять функции isIntegerили isRational? Я предполагаю, что это невозможно, и что это как-то связано с тем, что невозможно проверить, равны ли два числа, но я не вижу, как это …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Сложность схемы с ограниченной глубиной является одной из основных областей исследования в теории сложности схемы. Эта тема имеет происхождение в результатах типа «функция четности не в » и « функция mod не вычисляется », где - класс языков, разрешимых по неоднородности, постоянной глубине, полиномиальному размеру, неограниченному разветвлению AND, OR, NOT …

17 cc.complexity-theory  circuit-complexity  lower-bounds  dc.parallel-comp  gct 

Есть ли интересные проблемы, которые есть в но неизвестно, что они есть в ? В статье «Таксономия проблем с быстрыми параллельными алгоритмами» Кук упоминает, что MIS, как было известно, находится только в но с тех пор он был переведен в , Мне интересно, есть ли какие-либо другие проблемы с параллельными …

14 complexity-classes  dc.parallel-comp 

Из комментариев на один из моих вопросов о MathOverflow у меня возникает ощущение, что вопрос о GCD в vs. похож на вопрос о целочисленной факторизации в vs. .N CNС\mathsf{NC}пп\mathsf{P}пп\mathsf{P}Н ПNп\mathsf{NP} Существует ли что-то вроде алгоритма «квант » для GCD, поскольку существует алгоритм квантового полиномиального времени ( ) для целочисленной факторизации?N …

14 cc.complexity-theory  quantum-computing  dc.parallel-comp  nt.number-theory  comp-number-theory 

Чонг, Хан и Лэм показали, что ненаправленное соединение через st-соединение может быть решено с помощью EREW PRAM за с помощью O ( m + n ) процессоров.O ( log n )О(журналN)O({\log}n)O ( m + n )О(м+N)O(m+n) Каков наиболее известный параллельный алгоритм для st-связности в направленных плоских графах? Пожалуйста, укажите время …

13 ds.algorithms  graph-theory  dc.parallel-comp 

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

13 dc.parallel-comp  process-algebra 

Чонг, Хан и Лэм показали, что ненаправленное соединение через st-соединение может быть решено с помощью EREW PRAM за с помощью O ( m + n ) процессоров. Какой самый известный параллельный алгоритм для направленной st-связности ? Пожалуйста, укажите время работы, детерминированный / рандомизированный алгоритм и используемую модель PRAM (предполагая, что …

13 dc.parallel-comp 

Короче говоря, вопрос заключается в следующем: в какой степени вычислительные способности для сложных задач действительно помогают вам в решении простых задач. (Могут быть разные способы сделать этот вопрос интересным и нетривиальным, и вот одна из таких попыток.) Вопрос 1: Рассмотрим схему решения SAT для формулы с n переменными. (Или для …

11 cc.complexity-theory  dc.parallel-comp