Dans une question précédente sur la hiérarchie temporelle, j'ai appris que les égalités entre deux classes peuvent être propagées à des classes plus complexes et les inégalités peuvent être propagées à des classes moins complexes, avec des arguments utilisant le remplissage. Par conséquent, une...
Soit un arbre binaire enraciné. Chaque chemin de la racine de à une feuille a une longueur . Chaque nœud de a toujours un nœud enfant gauche et un droit, mais il est possible qu'ils soient identiques (il y a donc toujours chemins possibles). La taille de est délimitée par . Un nœud avec différents...
Cette question va dans le même sens que les discours inspirants pour les élèves de dernière année du secondaire . Mon doctorat. conseiller m'a demandé de donner une conférence inspirante pour le nouveau M.Sc. élèves. Le sujet est les fondements de la cryptographie , ce qui est mieux illustré par le...
J'ai lu un peu sur les structures de données suivantes: Essais de hachage idéaux de Bagwell Tables de hachage dynamiques de Larson Arbres rouges-noirs Arbres Patricia ... et je suis sûr qu'il y en a beaucoup d'autres. J'ai vu très peu de choses sur ce que chacun est le mieux adapté, ou pourquoi je...
Dans cette question , il a été mentionné qu'il existe des versions de complexité descriptive du théorème de Rice. J'ai trouvé une preuve du théorème suivant: Étant donné une classe de complexité C , les propriétés non triviales des langages en C ne peuvent pas être calculées en C J'avais déjà posté...
J'ai la théorie typée suivante |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) avec des équations pour tous les termes: f : A -> B, g : B -> C, h : C -> D |- compose(h,compose(f,g)) = compose(compose(h,f),g) f : A...
Étant donné un plan fini, j'ai une tessellation hexagonale de ce plan avec un hexagone régulier de taille fixe. Je calcule ensuite le graphe de Delaunay G pour la pavage. Étant donné un tel graphique G, je supprime des ensembles spécifiques de nœuds dans ce graphique pour produire plusieurs...
Énoncé du problème: Soit un automate de refoulement (potentiellement non déterministe) et soit son alphabet d'entrée. Y a-t-il un mot st accepté par ?A w ∈ A ∗ | w | ≤ k MMMMAA\cal Aw∈A∗w∈A∗w \in \cal A^*|w|≤k|w|≤k|w| \leq kMMM Ce problème est-il NP-complet? At-il été étudié? Existe-t-il un...
Quels classificateurs d'apprentissage automatique sont les plus parallélisables? Si vous aviez un problème de classification difficile, un temps limité, mais un réseau local décent d'ordinateurs avec lesquels travailler, quels classificateurs essayeriez-vous? D'un côté, il me semble que certains...
David Rodríguez - dribeas a écrit dans un commentaire sur StackOverflow que "toutes les collections ne peuvent pas être implémentées sans verrous". Je ne suis pas sûr que ce soit vrai, et je ne trouve aucune preuve de toute façon. Cette déclaration n'est pas très précise, mais permettez-moi...
La norme de coupe d'une matrice réelle est le maximum sur tout de la quantité. A = ( a i , j ) ∈ R n × n I ⊆ [ n ] , J ⊆ [ n ] | ∑ i ∈ I , j ∈ J a i , j |||A||C||A||C||A||_CA=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n}I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq...
Étant donné un circuit booléen sur variables (qui utilise uniquement les portes NON, ET et OU), quelle est la manière la plus efficace d'extraire la formule booléenne représentée par le circuit? Existe-t-il un algorithme de polytime pour ce
Je parcourais le papier séminal de Les Valiant et j'ai eu du mal avec la proposition 4.3 à la page 10 du papier. Je ne vois pas pourquoi est-ce que s'il y a un générateur avec certaines valeurs pour avec une base , alors il existe un générateur avec les mêmes valeurs pour tout base ( ) ou ( ) pour...
Existe-t-il un moyen pour un prouveur de convaincre un vérificateur qu'une expression HORN-SAT est satisfaisable? Bien sûr, cela peut sembler idiot, car il existe des algorithmes de temps linéaires pour HORN-SAT. D'un autre côté, HORN-SAT est P-complet, ce qui signifie qu'il n'a pas d'algorithmes...
MCTS / UCT est une méthode de recherche d'arbre de jeu qui utilise un algorithme de bandit pour sélectionner les nœuds prometteurs à explorer. Les jeux sont joués de manière aléatoire et les nœuds menant à plus de victoires sont explorés plus en profondeur. L'algorithme de bandit maintient un...
La somme de Minkowski de deux ensembles de vecteurs est donnée parA , B ∈ RréA,B∈RdA, B \in R^d A ⊕ B = { a + b ∣ a ∈ A , b ∈ B }A⊕B={a+b∣a∈A,b∈B} A \oplus B = \{ a + b \mid a \in A, b \in B \} Je viens d'entendre un problème intéressant (attribué à Dan Halperin): étant donné une forme ,...
Je jouais avec la question très intéressante et toujours ouverte " Alphabet of single-tape Turing machine " (par Emanuele Viola) et j'ai trouvé la langue suivante: L = { x ∈ { 0 , 1 }n st | x | = n = 2m et c o u n t 1 ( x ) = k ∗ m ;n , m , k ≥ 1
Je suis un programmeur professionnel autodidacte. Je suis assez bon dans ce domaine (Ruby, Unix, Clojure, Java, Objective-C), mais maintenant je pense à passer au niveau supérieur en postulant peut-être pour un programme de maîtrise ou de doctorat en CS. Quels sujets en mathématiques dois-je...
Je m'intéresse aux exemples explicites de graphiques pour lesquels l'application des algorithmes de Goemans et Williamson pour approximer les coupes maximales donne un facteur d'approximation de 0,878…. L'algorithme pour créer de telles instances serait parfait, les exemples explicites et les...
Nous travaillons dans des ordinateurs distribués et nous avons rencontré un problème de complexité qui se réduit à un problème de couverture de chemin minimum. Nous ne savons actuellement pas comment le résoudre. Le problème est le suivant: Soit un entier, et soit un graphe contenant sommets. Nous...