Запитання з тегом «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 

O ( log c n ) O ( n k ) c k n c 2 n kN CNC\mathsf{NC} фіксує ідею про ефективну паралелізацію, і одне її тлумачення - це проблеми, що вирішуються за часом використовуючи паралельні процесори для деяких констант , . Моє запитання, чи існує аналогічний клас складності, …

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 ієрархія) та політаймні алгоритми . Не знайшов останніх.FpFp\mathbb{F}_pNCNCNC Чи знаєте ви гарне нещодавнє опитування чи книгу про складність …

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

У класі складності існують деякі проблеми, які НЕ знаходяться в класі 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 

Мене цікавить складність вирішення лінійних рівнянь по модулю k , для довільних k (і з особливим інтересом до простих сил), зокрема: Проблема. Для даної системи лінійних рівнянь у невідомих модулях , чи існують рішення?мmmkнnnкkk У рефераті до своєї статті Структура та значення класів журналів-MOD для класів Mod k L , …

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 

AC0AC0AC^{0}pppAC0[q]AC0[q]AC^{0}[q]AC0[q]AC0[q]AC^0[q]qqqgcd(p,q)=1gcd(p,q)=1\gcd(p,q)=1. Однак отримання результатів конкретних нижніх меж на полілогоарифмічних глибинних схемах здається недосяжним за допомогою класичних методів, таких як обмеження входів та наближення поліномів до кінцевих полів. Я знаю документ STOC'96, який веде до теорії геометричної складності і який показує, що ефективне паралельне обчислення з використанням операцій без біт-розумних не …

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

Чи є цікаві проблеми, які є в але невідомо, що в N C 2 ? У статті "Таксономія проблем з швидкими паралельними алгоритмами" Кук згадує, що МІС, як відомо, було лише в N C 5, але відтоді це було зведено до N C 2 . Мені цікаво, чи є якісь …

14 complexity-classes  dc.parallel-comp 

З коментарів до одного з моїх запитань щодо MathOverflow у мене виникає відчуття, що питання про те, що GCD знаходиться в NCNC\mathsf{NC} проти є подібним до питання про те, що факторизація знаходиться в vs. .PP\mathsf{P}PP\mathsf{P}NPNP\mathsf{NP} Чи є щось на зразок алгоритму "квантовий " для GCD, оскільки існує квантовий алгоритм багаточленного …

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

Чонг, Хан і Лам показали, що непряме st-підключення може бути вирішено на EREW PRAM за час з процесорами.O(logn)O(logn)O({\log}n)O(m+n)O(m+n)O(m+n) Який найвідоміший паралельний алгоритм для st-зв’язності у спрямованих плоских графах? Будь ласка, вкажіть час роботи, детермінований / рандомізований алгоритм та використану модель PRAM (припустимо, що кількість процесорів є многочленом). Це питання пов'язане …

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

Моє підґрунтя полягає в теорії та логіці складності (там, де більшість часу є лише один процес), і в розподілених обчисленнях (де є процесів, і один або більше з часом можуть вийти з ладу). Однак зараз я хочу мати можливість сказати щось про нерест / створення / спінінг іншого процесу. Чи …

13 dc.parallel-comp  process-algebra 

Чонг, Хан і Лам показали, що непряме st-підключення може бути вирішено на EREW PRAM за час з процесорами. Який найвідоміший паралельний алгоритм для спрямованого st-з'єднання ? Будь ласка, вкажіть час роботи, детермінований / рандомізований алгоритм та використану модель PRAM (припустимо, що кількість процесорів є многочленом). Чи відомі паралельні алгоритми часу …

13 dc.parallel-comp 

Коротше кажучи, питання полягає в тому, якою мірою обчислювальна здатність для важких завдань насправді допомагає вам у вирішенні простих завдань. (Можуть бути різні способи зробити це питання цікавим та нетривіальним. Ось одна з таких спроб.) Питання 1: Розглянемо схему розв’язання SAT для формули з n змінними. (Або для знаходження гамільтонового …

11 cc.complexity-theory  dc.parallel-comp