Preguntas etiquetadas con dc.parallel-comp

La década de 1980 dio lugar a los modelos PRAM y BSP de cómputo paralelo. Parece que el apogeo de ambos modelos fue a finales de los 80 y principios de los 90. ¿Estas áreas aún están activas en términos de investigación para algoritmos paralelos? ¿Existen modelos más nuevos y …

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

¿Existe un análogo paralelo natural a los árboles rojo-negros con propiedades similares o incluso no terriblemente peores para las actualizaciones, mientras que es razonablemente eficiente en el trabajo? En términos más generales, ¿qué es lo mejor que podemos hacer para la búsqueda paralela con actualizaciones?

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

O ( log c n ) O ( n k )NCNC\mathsf{NC} captura la idea de eficientemente paralelizable, y una interpretación de la misma son los problemas que se pueden resolver en el tiempo usando procesadores paralelos para algunas constantes , . Mi pregunta es si hay una clase de complejidad …

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

Esta pregunta se relaciona principalmente con un problema práctico de ingeniería de software, pero me gustaría saber si los teóricos podrían proporcionar más información al respecto. En pocas palabras, tengo una simulación de Monte Carlo que usa un generador de números pseudoaleatorio, y me gustaría paralelizarlo para que haya 1000 …

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

Estoy buscando una buena encuesta sobre algoritmos y complejidad del álgebra lineal (operaciones como rango, inverso, valores propios, ... para matrices booleanas, y enteros / racionales) con énfasis en paralelo ( jerarquía ) y algoritmos polytime. No pude encontrar uno reciente. NCFpFp\mathbb{F}_pNCNCNC ¿Conoces una buena encuesta reciente o libro sobre …

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

En la clase de complejidad , se conjetura que algunos problemas NO están en la clase N C , es decir, problemas con algoritmos deterministas paralelos. El problema del flujo máximo es un ejemplo. Y se cree que hay problemas en N C , pero todavía no se encuentra una …

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

Estoy interesado en la complejidad de resolver ecuaciones lineales módulo k , para k arbitrario (y con un interés especial en las potencias primarias), específicamente: Problema. Para un sistema dado de ecuaciones lineales en incógnitas módulo , ¿existe alguna solución?n kmmmnnnkkk En el resumen de su artículo Estructura e importancia …

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

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el hecho de que no es posible …

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 

La complejidad del circuito de profundidad limitada es una de las principales áreas de investigación dentro de la teoría de la complejidad del circuito. Este tema tiene su origen en resultados como "la función de paridad no está en AC0AC0AC^{0} " y "la función mod no es calculada por ", …

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

¿Hay problemas interesantes que están en pero no se sabe que están en N C 2 ? En el documento 'Una taxonomía de problemas con algoritmos paralelos rápidos', Cook menciona que se sabía que MIS solo estaba en N C 5, pero esto se ha reducido a N C 2 …

14 complexity-classes  dc.parallel-comp 

A partir de los comentarios sobre una de mis preguntas sobre MathOverflow, tengo la sensación de que la pregunta sobre que GCD está en vs. es similar a la pregunta sobre la Factorización de enteros en vs. .NCNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}NPNP\mathsf{NP} ¿Hay algo así como un algoritmo "quantum " para GCD ya que …

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

Chong, Han y Lam mostraron que la conectividad st no dirigida se puede resolver en la EREW PRAM en tiempo con procesadores O ( m + n ) .O ( log n )O(Iniciar sesiónnorte)O({\log}n)O ( m + n )O(metro+norte)O(m+n) ¿Cuál es el algoritmo paralelo más conocido para la conectividad st …

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

Mi experiencia es en teoría / lógica de complejidad (donde solo hay un proceso la mayor parte del tiempo), y en computación distribuida (donde hay procesos y uno o más pueden fallar con el tiempo). Sin embargo, ahora quiero poder decir algo sobre un proceso que genera / crea / …

13 dc.parallel-comp  process-algebra 

Chong, Han y Lam mostraron que la conectividad st no dirigida se puede resolver en la EREW PRAM en tiempo con procesadores . ¿Cuál es el algoritmo paralelo más conocido para la conectividad st dirigida ? Indique el tiempo de ejecución, el algoritmo determinista / aleatorio y el modelo PRAM …

13 dc.parallel-comp 

En resumen, la pregunta es: en qué medida, la capacidad computacional para tareas difíciles realmente lo ayuda a resolver tareas fáciles. (Podría haber varias formas de hacer esta pregunta interesante y no trivial, y aquí hay uno de esos intentos). Pregunta 1: Considere un circuito para resolver SAT para una …

11 cc.complexity-theory  dc.parallel-comp