Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

1
Définir le couvercle avec une taille d'intersection limitée
Ainsi, le problème de couverture d'ensemble est trivial si aucun des ensembles candidats ne se recoupe. Cependant, que faire si la taille de l'intersection pour une paire d'ensembles candidats était au plus 1? Ce problème est-il difficile à résoudre? J'apprécierais toute idée. Merci, Garrett
11 set-cover 
2
Quel paradigme de démonstration automatisée de théorèmes convient à la formalisation de style Principia Mathematica?
Je suis en possession d'un livre qui, inspiré des Principia Mathematica (PM) de Russell et du positivisme logique, tente de formaliser un domaine spécifique en déterminant des axiomes et en déduisant des théorèmes. En bref, il tente de faire pour son domaine ce que PM a tenté de faire pour …
3
Qu'implique la recherche en informatique théorique?
J'essaie de comprendre ce qui est impliqué dans la recherche théorique en informatique. Que font les informaticiens théoriques? Je sais que l'on consacre beaucoup de temps à l'enseignement, à la supervision des étudiants des cycles supérieurs, à la demande de financement et aux fonctions ministérielles. Les mettre de côté comment …
1
Types W vs types inductifs
La théorie des types de Martin-Löf utilise des types W pour définir des structures inductives comme des nombres entiers, des listes, etc. Ces deux approches sont-elles équivalentes (elles semblent l'être)? Y a-t-il des raisons philosophiques pour lesquelles l'une est meilleure que l'autre (pour moi, les types W semblent plus intuitifs, …
1
Des preuves que Linial, Shraibman limite inférieure sur la complexité de la communication quantique n'est pas serrée?
Pour autant que je sache, la borne inférieure de la norme de factorisation donnée par Linial et Shraibman est essentiellement la seule borne inférieure connue pour la complexité de la communication quantique (ou du moins elle subsume toutes les autres). Y a-t-il des preuves que cette limite n'est pas stricte? …
1
Transformations naturelles et paramétricité
Dans les théorèmes gratuitement! , Wadler dit que la caractérisation de la paramétricité peut être ré-exprimée en termes de transformations naturelles laxistes et cela fera l'objet d'un autre article. De quel document parle-t-il? L'approche catégorique de la paramétricité que je connais utilise des transformations dinaturelles comme dans le polymorphisme funéraire …
1
Étant donné
Voici un problème avec une saveur similaire à l'apprentissage des juntes: Entrée: Une fonction F: { 0 , 1 }n→ { - 1 , 1 }f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\} , représentée par un oracle d'appartenance, c'est-à-dire un oracle qui a donné XXx , renvoie F( x )F(X)f(x) . Objectif: trouver …
2
Comment calculer les nœuds?
Existe-t-il un moyen documenté de calculer les nœuds? (circonférences incrustées dans un espace euclidien tridimensionnel). Je veux dire, un type de données pour les représenter, et un algorithme pour déterminer si deux instances du type de données représentent le même nœud. Si la réponse est positive, qu'en est-il de la …
1
Presque toujours presque raison
Je suis à la recherche d'une classe de complexité qui se rapporte à APX comme BPP se rapporte à P. J'ai déjà posé la même question ici , mais peut-être TCS serait un endroit plus fructueux pour les réponses. La raison de la question est que dans les problèmes pratiques, …
1
Modèle de calcul dans SETH
Impagliazzo, Paturi et Calabro, Impagliazzo, Paturi ont introduit l'hypothèse de temps exponentiel (ETH) et l'hypothèse de temps fortement exponentiel (SETH). En gros, SETH dit qu'il n'y a pas d'algorithme qui résout SAT dans le temps . 1,99n1.99n1.99^n Je me demandais ce que cela signifierait pour briser SETH. Nous devons certainement …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.