Informatique théorique reference-request

4

Pourquoi le problème du consensus est-il si important en informatique distribuée?

En informatique distribuée, le problème du consensus semble être l'un des sujets centraux qui a attiré des recherches intensives. En particulier, le document "Impossibilité d'un consensus distribué avec un processus défectueux" a reçu le PODC Influential Paper Award 2001 . Alors pourquoi le problème du consensus est-il si important? Que …

19 reference-request big-picture dc.distributed-comp

3

Complexité de décider si une matrice est totalement régulière

Une matrice est dite totalement régulière si toutes ses sous-matrices carrées ont un rang complet. De telles matrices ont été utilisées pour construire des superconcentrateurs. Quelle est la complexité de décider si une matrice donnée est totalement régulière sur les logiques? Sur des champs finis? Plus généralement, appelons une matrice …

19 cc.complexity-theory reference-request linear-algebra matrices

2

Calcul de la constante de Cheeger: faisable pour quelles classes?

Le calcul de la constante de Cheeger d'un graphique , également connu sous le nom de constante isopérimétrique (car il s'agit essentiellement d'un rapport surface / volume minimum), est connu pour être NP-complet. Elle est généralement approximative. Je voudrais savoir si des algorithmes polynomiaux exacts sont connus pour des classes …

19 ds.algorithms reference-request graph-algorithms

4

Complexité informatique en finance quantitative

Prédire la bourse est difficile! TCS peut-il rendre ce sentiment plus formel? Récemment, j'ai commencé à réfléchir un peu à la finance et je me demandais en quoi la connaissance du TCS pouvait aider. Les fonds spéculatifs et les sociétés d'investissement semblent utiliser le trading algorithmique, l'apprentissage automatique et l'IA …

19 cc.complexity-theory reference-request survey ce.computational-finance algorithmic-lens

11

Modèles de graphiques aléatoires, pour de vrais réseaux informatiques

Je m'intéresse aux modèles de graphes aléatoires similaires aux graphes de vrais réseaux informatiques. Je ne sais pas si le modèle commun bien étudié ( n sommets, chaque bord possible est sélectionné avec la probabilité p ) est bon pour étudier les réseaux informatiques réels (est-ce?).G(n,p)G(n,p)G(n,p)nnnppp Quels modèles de graphes …

19 reference-request graph-theory co.combinatorics

3

Quels algorithmes sont connus pour calculer les interpolants de Craig?

Existe-t-il un aperçu des algorithmes de calcul des interpolants? Qu'en est-il des articles sur un seul algorithme? Le cas qui m'intéresse le plus est et C = q , plus la contrainte que l'interpolant est aussi petit que possible. (Je connais l'article de McMillan de 2005 , qui décrit comment …

19 reference-request lo.logic proof-complexity feasible-interpolation

2

Des conjectures de longue date prouvées par la suite trivialement par une implication

J'aimerais savoir s'il y a eu des conjectures qui n'ont pas été prouvées depuis longtemps dans le TCS, qui ont ensuite été prouvées par une implication d'un autre théorème, qui auraient pu être plus faciles à prouver.

18 reference-request soft-question big-list

2

Problèmes avec une solution efficace, sauf pour une petite fraction des entrées

Le problème d'arrêt des machines Turing est peut-être l'ensemble canonique indécidable. Néanmoins, nous prouvons qu'il existe un algorithme qui en décide presque toutes les instances. Le problème de l'arrêt fait donc partie de la collection croissante de ceux qui présentent le phénomène de «trou noir» de la théorie de la …

18 cc.complexity-theory reference-request computability undecidability

7

Livres / notes de cours sur la complexité paramétrée

Je voudrais en savoir plus sur la complexité paramétrée (à la fois du côté algorithmique et du côté de la dureté). Quels livres / notes de cours puis-je lire à ce sujet?

18 reference-request parameterized-complexity fixed-parameter-tractable

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

Reconstruire un arbre à partir de requêtes de séparation

Supposons que soit un arbre à degrés constants dont nous ne connaissons pas la structure. Le problème est de sortir l'arbre en posant des requêtes de la forme: "Le nœud se trouve-t-il sur le chemin du nœud au nœud ?". Supposons que chaque requête puisse recevoir une réponse en temps …

18 ds.algorithms reference-request graph-algorithms oracles query-complexity

3

Module déterminant m

Quels sont les algorithmes efficaces connus pour calculer un déterminant d'une matrice entière à coefficients dans , l'anneau de résidus modulo . Le nombre peut ne pas être premier mais composite (donc les calculs sont effectués en anneau, pas dans un champ). mmZmZm\mathbb{Z}_mmmmmmm Pour autant que je sache (lire ci-dessous), …

18 ds.algorithms reference-request linear-algebra comp-number-theory

2

Utilisations de XORification

La XORification est la technique pour rendre plus difficile une fonction ou une formule booléenne en remplaçant chaque variable par le XOR de k ≥ 2 variables distinctes x 1 ⊕ … ⊕ x k . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Je connais les utilisations de cette technique dans …

18 cc.complexity-theory reference-request boolean-functions proof-complexity

3

Pourquoi la recherche sur l'hypercomputation s'est-elle éteinte?

Je vois beaucoup de recherches sur l' hypercalcul dans les années 1990, mais ces dernières années, il semble y avoir peu de travail sur le sujet. Est-il vrai que la recherche dans ce domaine s'est éteinte? Si oui, quelles pourraient en être les raisons? A-t-on démontré de façon convaincante que …

18 reference-request computability hypercomputation

6

Algorithmes SAT non basés sur DPLL

Existe-t-il des algorithmes de résolution SAT qui ne sont pas basés sur DPLL? Ou tous les algorithmes utilisés par les solveurs SAT sont-ils basés sur DPLL?

18 ds.algorithms reference-request sat

Questions marquées «reference-request»