Informatique théorique dc.parallel-comp

10

Modèles parallèles actuels pour le calcul

Les années 80 ont donné naissance aux modèles PRAM et BSP de calcul parallèle. Il semble que l'apogée des deux modèles remonte à la fin des années 80 et au début des années 90. Ces domaines sont-ils toujours actifs en termes de recherche d'algorithmes parallèles? Existe-t-il des modèles plus récents …

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

2

Recherche dynamique parallèle

Existe-t-il un analogue parallèle naturel aux arbres rouge-noir avec des propriétés de mise à jour similaires ou même pas pire, tout en étant raisonnablement efficace? Plus généralement, que pouvons-nous faire de mieux pour la recherche parallèle avec mises à jour?

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

2

Quelle est la grande version de NC?

capture l'idée d'une parallélisation efficace, et une interprétation de celui-ci est les problèmes qui peuvent être résolus dans le temps O ( log c n ) en utilisantdes processeurs parallèles O ( n k ) pour certaines constantes c , k . Ma question est de savoir s'il existe une …

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

6

Générateurs de nombres pseudo-aléatoires parallèles

Cette question est principalement liée à un problème pratique d'ingénierie logicielle, mais je serais curieux de savoir si les théoriciens pourraient fournir plus d'informations. En termes simples, j'ai une simulation de Monte Carlo qui utilise un générateur de nombres pseudo-aléatoires, et je voudrais le paralléliser afin qu'il y ait 1000 …

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

3

Enquête sur les algorithmes / complexité de l'algèbre linéaire

Je recherche une bonne enquête sur les algorithmes et la complexité de l'algèbre linéaire (opérations comme le rang, l'inverse, les valeurs propres, ... pour les matrices booléennes, et entières / rationnelles) en mettant l'accent sur les algorithmes parallèles ( hiérarchie N C ) et polytemporels . Je n'ai pas pu …

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

5

Algorithme parallèle déterministe pour une correspondance parfaite dans les graphiques généraux?

Dans la classe de complexité , il y a des problèmes supposés NE PAS être dans la classe , c'est-à-dire des problèmes avec des algorithmes parallèles déterministes. Le problème du débit maximal en est un exemple. Et il y a des problèmes que l'on croyait être dans , mais aucune …

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

1

La résolution de systèmes d'équations est-elle modulo

Je suis intéressé par la complexité de la résolution d'équations linéaires modulo k , pour k arbitraire (et avec un intérêt particulier pour les puissances premières), en particulier: Problème. Pour un système donné de équations linéaires dans n modules inconnus k , existe-t-il des solutions?mmmnnnkkk Dans l'abrégé de leur article …

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

5

Est-il possible de tester si un nombre calculable est rationnel ou entier?

Est-il possible de tester algorithmiquement si un nombre calculable est rationnel ou entier? En d'autres termes, serait-il possible pour une bibliothèque qui implémente des nombres calculables de fournir les fonctions isIntegerou isRational? Je suppose que ce n'est pas possible, et que cela est en quelque sorte lié au fait qu'il …

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

2

État sur les limites inférieures du circuit pour les circuits de profondeur bornés par polylog

La complexité des circuits en profondeur bornée est l'un des principaux domaines de recherche de la théorie de la complexité des circuits. Cette rubrique a des origines dans des résultats comme "la fonction de parité n'est pas dans " et "la fonction mod n'est pas calculée par ", où est …

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

1

Problèmes dans NC non connus pour résider dans NC2

Existe-t-il des problèmes intéressants dans mais non connus dans ? Dans l'article «Une taxonomie des problèmes avec les algorithmes parallèles rapides», Cook mentionne que MIS était connu pour être uniquement dans mais cela a depuis été ramené à . Je me demande s'il y a d'autres problèmes avec les algorithmes …

14 complexity-classes dc.parallel-comp

1

Existe-t-il un algorithme NC quantique pour calculer GCD?

D'après les commentaires sur une de mes questions sur mathoverflow je le sentiment que la question concernant GCD étant en par rapport à P est semblable à la question concernant Integer factorisation être dans P par rapport à N P .N CNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}N PNP\mathsf{NP} Y at - il quelque chose comme …

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

1

Algorithmes parallèles d'accessibilité dans les graphes planaires dirigés

Chong, Han et Lam ont montré que la connectivité st non dirigée peut être résolue sur la PRRE EREW en temps avec des processeurs O ( m + n ) .O ( log n )O(Journaln)O({\log}n)O ( m + n )O(m+n)O(m+n) Quel est l'algorithme parallèle le plus connu pour la connectivité …

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

2

Quand un processus engendre un autre processus

Mon expérience est en théorie / logique de la complexité (où il n'y a qu'un seul processus la plupart du temps), et en informatique distribuée (où il y a processus, et un ou plusieurs peuvent échouer au fil du temps). Cependant, je veux maintenant pouvoir dire quelque chose à propos …

13 dc.parallel-comp process-algebra

3

Algorithmes parallèles pour la connectivité st dirigée

Chong, Han et Lam ont montré que la connectivité st non dirigée peut être résolue sur la PRRE EREW en temps avec des processeurs . Quel est l'algorithme parallèle le plus connu pour la connectivité st dirigée ? Veuillez indiquer le temps d'exécution, l'algorithme déterministe / randomisé et le modèle …

13 dc.parallel-comp

1

Dans quelle mesure, la capacité de calcul pour les tâches difficiles aide à résoudre des tâches faciles

En bref, la question est: dans quelle mesure, la capacité de calcul pour les tâches difficiles vous aide vraiment à résoudre des tâches faciles. (Il pourrait y avoir plusieurs façons de rendre cette question intéressante et non triviale, et voici une telle tentative.) Question 1: Considérons un circuit pour résoudre …

11 cc.complexity-theory dc.parallel-comp

Questions marquées «dc.parallel-comp»