Questions découlant des applications de l'informatique théorique dans d'autres domaines de la recherche / pratique en informatique ou dans d'autres domaines.
Pour démontrer l’importance des algorithmes (par exemple pour les étudiants et les professeurs qui ne pratiquent pas la théorie ou qui viennent même de domaines totalement différents), il est parfois utile de disposer d’une liste d’exemples où des algorithmes centraux ont été déployés dans les...
Pour le problème du débit maximal , il semble y avoir un certain nombre d'algorithmes très sophistiqués, avec au moins un développé aussi récemment que l'année dernière. Le débit maximal d'Orlin en O (mn) temps ou mieux donne un algorithme qui s'exécute en O (VE). D'un autre côté, les algorithmes...
L'étude de l'écologie et de l'évolution devient de plus en plus mathématique, mais la plupart des outils théoriques semblent provenir de la physique. Cependant, dans de nombreux cas, les problèmes ont un caractère très discret (voir par exemple SLBS00 ) et pourraient bénéficier d'une perspective...
Je ne suis pas un théoricien de l'informatique, mais je pense que ce problème du monde réel appartient ici. Le problème Mon entreprise possède plusieurs unités à travers le pays. Nous avons offert aux employés la possibilité de travailler sur une autre unité. Mais il y a une condition: le nombre...
J'ai travaillé sur l'introduction de certains résultats de la complexité informatique dans la biologie théorique, en particulier l' évolution et l'écologie , dans le but d'être intéressant / utile pour les biologistes. L'une des plus grandes difficultés que j'ai rencontrées est de justifier...
Dernièrement, j'ai commencé à chercher des algorithmes d'approximation pour les problèmes NP-difficiles et je me demandais les raisons théoriques de les étudier. (La question n'est pas censée être incendiaire - je suis simplement curieux). Une théorie vraiment belle est sortie de l'étude des...
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...
Je voudrais donner une conférence mathématique sur le système de contrôle de révision git . Il est maintenant largement utilisé en mathématiques ainsi que dans l'industrie informatique. Par exemple, la communauté HoTT (Homotopy Type Theory) l'utilise, et c'est le système de référence pour l'édition...
Supposons que nous avons construit un ordinateur quantique universel. À l'exception des problèmes liés à la sécurité (cryptographie, confidentialité, ...), quels problèmes actuels du monde réel peuvent bénéficier de son utilisation? Je suis intéressé par les deux: problèmes actuellement insolubles...
Lorsqu'on essaie de convaincre les économistes de la pertinence de la théorie de la complexité dans la presse écrite, existe-t-il une référence standard à citer? Je connais le billet de blog de Noam Nisan , l'enquête de Tim Roughgarden et le chapitre 11 de l'essai de Scott Aaronson . Ces articles...
J'ai posé cette question sur Stack Overflow il y a un moment: Problème: la vente de Bob . Quelqu'un a également suggéré de poser la question ici. Quelqu'un a déjà posé une question liée à ce problème ici - sous- forêt de poids minimum de cardinalité donnée - mais pour autant que je comprends cela...
Quels sont les problèmes du monde réel qui ont été résolus en utilisant un algorithme génétique? Quel est le problème? Quel est le test de condition physique utilisé pour résoudre ce
Considérez le problème suivant, Étant donné un ensemble de nombres positifs { a 1 , … , a n } dans lesquels k ≥ 3 est une constante, nous voulons partitionner l'ensemble en m sous-ensembles de taille k de sorte que le produit de la somme de chaque sous-ensemble est maximisé.n = k mn=kmn = k m{ a1,...
Soit points dans le plan R 2 . Considérons un graphique complet avec les points comme sommets et avec des poids de bord de ‖ x i - x j ‖ 2 . Pouvez-vous toujours trouver une réduction de poids d'au moins 2x1,…,xnx1,…,xnx_1, \ldots, x_nR2R2\mathbb{R}^2∥xi−xj∥2‖xi−xj‖2\|x_i - x_j\|^2 du poids total?...
Le concept de schéma de partage secret est souvent attribué à Shamir (A. Shamir, How to share a secret , Comm. ACM, 22 (1979), pp. 612-613.) Et Blakey (GR Blakey, Safeguarding cryptographic keys , dans Proc. NCC, vol. 48, 1979, p. 313-317.). L'idée générale est qu'un secret S est caché aux...
Je recherche une structure de données très efficace pour le stockage de données similaire à la suivante. Étiquettes d'identification Order1 Order2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 J'ai besoin de pouvoir interroger cette structure de manière à ce qu'elle me donne une...
Je m'intéresse aux propriétés combinatoires des réseaux sociaux sous forme de graphes. Les gens ont regardé des choses telles que la distribution des degrés, le coefficient de regroupement et la compressibilité de ces graphiques. Une question fondamentale est la suivante: ces graphiques sont-ils...
Je suis un étudiant CS. Nous avons fait de la théorie des graphes dans un cours. Je l'ai trouvé intéressant. Quelles sont les applications réelles de la théorie des graphes dans le domaine de l'informatique? Par exemple, j'ai trouvé que certains concepts de la théorie des graphes peuvent être...
Soit un vecteur de variables booléennes. Soit C , D deux circuits booléens sur x . Disons que C est similaire à D si:x = ( x1, … , Xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C, DC,DC,DXxxCCCréDD est exponentiellement petit, lorsque x est tiré uniformément au hasard à partir de { 0 , 1 } n (en d'autres termes,...
Cette question était motivée par une question posée sur stackoverflow . Supposons que l'on vous donne un arbre enraciné (c'est-à-dire qu'il y a une racine et que les nœuds ont des enfants, etc.) sur n nœuds (étiquetés 1 , 2 , … , n ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Chaque sommet a un poids...