Informatique théorique

1

Trouver la distance entre deux polynômes (représentés sous forme d'arbres)

Un collègue qui travaille sur la programmation génétique m'a posé la question suivante. J'ai d'abord essayé de le résoudre sur la base d'une approche gourmande, mais sur une deuxième pensée, j'ai trouvé un contre-exemple à l'algorithme gourmand. J'ai donc pensé qu'il valait la peine de le mentionner ici. Considérons deux …

20 ds.algorithms tree ai.artificial-intel genetic-programming

4

Jeu de permutation redux

Il s'agit d'une reformulation d'une question antérieure . Considérez le jeu d' information parfait et impartial suivant entre deux joueurs, Alice et Bob. Les joueurs reçoivent une permutation des nombres entiers 1 à n. A chaque tour, si la permutation actuelle augmente, le joueur actuel perd et l'autre joueur gagne; …

20 gt.game-theory combinatorial-game-theory

4

Existe-t-il actuellement des recherches sur la mise en œuvre des extracteurs de hasard?

Y a-t-il eu des recherches sur la mise en œuvre de constructions d'extracteurs aléatoires? Il semble que les preuves d'extraction utilisent Big-Oh, laissant la possibilité de grandes constantes cachées, rendant les implémentations programmatiques potentiellement irréalistes. Un peu de contexte: je suis intéressé par l'utilisation d'extracteurs aléatoires comme source rapide (de …

20 reference-request cr.crypto-security randomness implementation application-of-theory

2

Matrice explicite équilibrée

Est - il possible de construire un explicite 0 / 1 matrix avec N 1,5 ceux de telle sorte que tous les N 0,499 × N 0,499 sous - matrice contient moins de N 0,501 celles?N× NN×NN \times N 0 / 10/10/1N1,5N1.5N^{1.5}N0,499× N0,499N0.499×N0.499N^{0.499} \times N^{0.499}N0,501N0.501N^{0.501} Ou il est probablement possible …

20 co.combinatorics matrices pseudorandomness pseudorandom-generators

4

Complexité de la communication… des cours?

Discussion : J'ai passé un peu de temps récemment à apprendre différentes choses sur la complexité de la communication. Par exemple, je me suis familiarisé avec le chapitre pertinent d'Arora / Barak, j'ai commencé à lire certains articles et commandé le livre de Kushilevitz / Nisan. Intuitivement, je veux opposer …

20 cc.complexity-theory complexity-classes big-picture communication-complexity

7

Comment savoir que les méthodes formelles fonctionnent?

Un objectif important des méthodes formelles est de prouver l'exactitude des systèmes, par des moyens automatisés ou dirigés par l'homme. Cependant, il semble que même si vous pouvez fournir une preuve d'exactitude, vous ne pourrez PAS garantir que le système n'échouera pas. Par exemple: La spécification peut ne pas modéliser …

20 lo.logic pl.programming-languages formal-systems formal-methods

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

2

Existe-t-il des représentations descriptives de la complexité des classes de complexité quantique?

Le titre en dit plus ou moins, mais je suppose que je pourrais ajouter un peu de contexte et quelques exemples spécifiques qui m'intéressent. Les théoriciens de la complexité descriptive, tels que Immerman et Fagin, ont caractérisé la plupart des classes de complexité les plus connues à l'aide de la …

20 cc.complexity-theory quantum-computing descriptive-complexity

2

Pourquoi l'exponentiation modulaire de Montgomery n'est-elle pas envisagée pour une utilisation dans l'affacturage quantique?

Il est bien connu que l'exponentiation modulaire (la partie principale d'une opération RSA) est coûteux en calcul, et pour autant que je comprends les choses, la technique d' exponentiation modulaire de Montgomery est la méthode préférée. L'exponentiation modulaire est également mise en évidence dans l'algorithme d'affacturage quantique, et elle est …

20 cr.crypto-security quantum-computing factoring

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

4

Exemples de transitions de phase de dureté

Supposons que nous ayons un problème paramétré par un paramètre de valeur réelle p qui soit "facile" à résoudre lorsque et "difficile" lorsque p = p 1 pour certaines valeurs p 0 , p 1 .p = p0p=p0p=p_0p = p1p=p1p=p_1p0p0p_0p1p1p_1 Un exemple est le comptage des configurations de spin sur …

20 cc.complexity-theory counting-complexity approximation-hardness phase-transition

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

5

Une classe spéciale de langues: les langues «circulaires». Est-il connu?

Définissez la classe suivante de langues "circulaires" sur un alphabet fini Sigma. En fait, le nom existe déjà pour désigner une chose différente, semble-t-il, utilisée dans le domaine de l'informatique ADN. AFAICT, c'est une classe de langues différente. Un langage L est circulaire ssi pour tous les mots dans , …

20 fl.formal-languages automata-theory regular-language

1

Existe-t-il des limites générales efficaces de style Bonferroni?

Un problème classique dans la théorie des probabilités est d'exprimer la probabilité d'un événement en termes d'événements plus spécifiques. Dans le cas le plus simple, on peut dire . Write Let pour l'événement .A B A ∩ BP[ A ∪ B ] = P[ A ] + P[ B ] …

20 reference-request pr.probability

1

Preuves alternatives du théorème d'Immerman-Szelepcsenyi

Immerman et Szelepcsenyi indépendamment prouvé que . En utilisant leur technique de comptage inductif, Borodin et al ont prouvé que S A C i est fermé sous complémentation, pour i > 0 . Avant le théorème de Reingold ( S L = L ), Nisan et Ta-Shma ont prouvé S …

20 cc.complexity-theory space-bounded