Perguntas com a marcação «dc.parallel-comp»

Os anos 80 deram origem aos modelos de computação paralela PRAM e BSP . Parece que o apogeu de ambos os modelos ocorreu no final dos anos 80 e início dos anos 90. Essas áreas ainda estão ativas em termos de pesquisa de algoritmos paralelos? Existem modelos mais novos e …

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

Existe um análogo paralelo natural às árvores de vermelho-preto com propriedades semelhantes ou até mesmo terrivelmente piores para atualizações, sendo razoavelmente eficiente no trabalho? De um modo mais geral, o que podemos fazer de melhor para pesquisas paralelas com atualizações?

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

captura a idéia de eficientemente paralelizável, e uma interpretação disso são problemas que são solucionáveis ​​no tempo O ( log c n ) usandoprocessadores paralelos O ( n k ) para algumas constantes c , k . Minha pergunta é se existe uma classe de complexidade análoga em que o …

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

Essa questão está relacionada principalmente a um problema prático de engenharia de software, mas eu ficaria curioso para saber se os teóricos poderiam fornecer mais insights sobre isso. Simplificando, eu tenho uma simulação de Monte Carlo que usa um gerador de números pseudo-aleatórios e gostaria de paralelá-la para que haja …

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

Estou procurando uma boa pesquisa sobre algoritmos e complexidade da álgebra linear (operações como rank, inverso, autovalores, ... para matrizes booleanas, e números inteiros / racionais) com ênfase nos algoritmos paralelo ( hierarquia N C ) e polytime . Não consegui encontrar uma recente.FpFp\mathbb{F}_pNCNCNC Você conhece uma boa pesquisa recente …

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

Na classe de complexidade , existem alguns problemas conjecturados para NÃO pertencer à classe N C , ou seja, problemas com algoritmos paralelos determinísticos. O problema de fluxo máximo é um exemplo. E acredita-se que haja problemas em N C , mas uma prova ainda não foi encontrada.PP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} Perfeito Matching …

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

Estou interessado na complexidade de resolver equações lineares módulo k , para k arbitrário (e com um interesse especial em potências primárias), especificamente: Problema. Para um dado sistema de mmm equações lineares em nnn módulo desconhecido kkk , existem soluções? No resumo de seu artigo Estrutura e importância das classes …

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

É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis ​​fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado ao fato de que não é possível …

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 

A complexidade do circuito de profundidade limitada é uma das principais áreas de pesquisa na teoria da complexidade do circuito. Este tópico tem origens em resultados como "a função de paridade não está em " e "a função mod não é calculada por ", onde é a classe de idiomas …

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

Existem problemas interessantes em mas não em N C 2 ? No artigo 'A Taxonomy of Problems With Fast Parallel Algorithms', Cook menciona que MIS era conhecido por estar apenas em N C 5, mas isso foi reduzido a N C 2 . Eu estou querendo saber se existem outros …

14 complexity-classes  dc.parallel-comp 

A partir dos comentários de uma das minhas perguntas no MathOverflow, sinto que a pergunta sobre o GCD estar em vs. é semelhante à pergunta sobre a Fatoração Inteira em vs. .N CNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}N PNP\mathsf{NP} Existe algo como um algoritmo "quantum " para GCD, pois existe um algoritmo de tempo polinomial …

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

Chong, Han e Lam mostraram que a conectividade st não direcionada pode ser resolvida no EREW PRAM em time com processadores .O ( log n )O(registron)O({\log}n)O ( m + n )O(m+n)O(m+n) Qual é o algoritmo paralelo mais conhecido para conectividade st em gráficos planares direcionados? Indique o tempo de execução, …

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

Minha formação é em teoria / lógica da complexidade (onde há apenas um processo na maioria das vezes) e em computação distribuída (onde há processos e um ou mais podem falhar ao longo do tempo). No entanto, agora eu quero poder dizer algo sobre um processo de criação / criação …

13 dc.parallel-comp  process-algebra 

Chong, Han e Lam mostraram que a conectividade st não direcionada pode ser resolvida no EREW PRAM no tempo com os processadores O ( m + n ) . Qual é o algoritmo paralelo mais conhecido para conectividade st direcionada ? Indique o tempo de execução, o algoritmo determinístico / …

13 dc.parallel-comp 

Em resumo, a questão é: até que ponto, a capacidade computacional para tarefas difíceis realmente ajuda você a resolver tarefas fáceis. (Pode haver várias maneiras de tornar essa pergunta interessante e não trivial, e aqui está uma dessas tentativas.) Questão 1: Considere um circuito para resolver SAT para uma fórmula …

11 cc.complexity-theory  dc.parallel-comp