Comment prouvez-vous que la hauteur attendue d'un arbre de recherche binaire construit de façon aléatoire avec nœuds est ? Il y a une preuve dans CLRS Introduction to Algorithms (chapitre 12.4), mais je ne la comprends pas.O ( log n )nnnO(logn)O(Journaln)O(\log
Je prends un cours sur la complexité informatique. Mon problème est que je ne comprends pas la méthode de relativisation . J'ai essayé de trouver un peu d'intuition dans de nombreux manuels, malheureusement, jusqu'à présent sans succès. J'apprécierai que quelqu'un puisse faire la lumière sur ce...
J'aimerais vraiment votre aide pour prouver ce qui suit. Si alors .NTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Ici, est la classe de toutes les langues qui peut être décidée par la machine de Turing non...
Supposons que j'ai un graphique dirigé avec des poids de bord tirés de la plage [1,…,K][1,…,K][1,\dots, K] où KKK est constant. Si j'essaie de trouver le chemin le plus court en utilisant l'algorithme de Dijkstra , comment puis-je modifier la structure de l'algorithme / des données et améliorer la...
Existe-t-il des langages de programmation (ou logique) qui peuvent implémenter (ou exprimer) une fonction si et seulement si est une fonction bijective calculable? ff:N→Nf:N→Nf:\mathbb{N}\to
Issu du POV de quelqu'un qui envisage de poursuivre un doctorat en informatique. J'ai du mal à décider sur quoi je concentrerais mes recherches lorsque je ferai mon doctorat. Voir aussi cette question sur academia.SE . Je pense donc que lire / se tenir au courant des recherches en cours et des...
Il existe un éventail parfois vertigineux de symboles utilisés dans les documents mathématiques et CS. Pourtant, beaucoup supposent une familiarité de base qui semble rarement enseignée au même endroit. Je cherche un dictionnaire quelque chose comme le suivant, en particulier du point de vue CS. Il...
maximize f(x)subject to Ax=bmaximize f(x)subject to Ax=b\text{maximize } f(\mathbf{x}) \quad\text{subject to } \mathbf{Ax} = \mathbf{b} où f(x)=∑i=1N1+x4i(∑Ni=1x2i)2−−−−−−−−−−−−−⎷,f(x)=∑i=1N1+xi4(∑i=1Nxi2)2,f(\mathbf{x}) = \sum_{i=1}^N\sqrt{1+\frac{x_i^4}{\left(\sum_{i=1}^{N}x_i^2\right)^2}},...
J'ai besoin d'aide pour comprendre la fonction potentielle d'un tas max afin que l'extraction max soit terminée en temps amorti. Je dois ajouter que je n'ai pas une bonne compréhension de la méthode potentielle.O ( 1 )O(1)O(1) Je sais que la fonction d'insertion devrait "payer" davantage afin de...
J'ai suivi un cours sur les compilateurs dans mes études de premier cycle dans lequel nous avons écrit un compilateur qui compile les programmes source dans un langage Java similaire à un langage d'assemblage de jouets (pour lequel nous avions un interprète). Dans le projet, nous avons fait...
Étant donné un graphique acyclique dirigé D = ( V, A )D=(V,A)D = (V,A), un sommet v ∈ Vv∈Vv \in Vest une source si son indegree est nul, ce qui signifie qu'il n'a que des arcs sortants. Existe-t-il un algorithme de temps linéaire pour trouver une source dans un graphe acyclique dirigé donné?...
Cette page sur l'algorithme de Knuth-Moriss-Pratt par rapport à Boyer-Moore décrit un cas possible où l'algorithme de Boyer-Moore souffre d'une petite distance de saut alors que KMP pourrait mieux fonctionner. Je cherche un bon exemple (texte, motif) qui peut clairement démontrer ce...
Que sont les fonctions anonymes (lambda)? Quelle est la définition formelle d'une fonction anonyme dans un langage de programmation fonctionnel? En termes simples, lorsque je programme en schéma / lisp, je dirais qu'une fonction anonyme (lambda) est une fonction qui n'est pas liée à un identifiant....
Considérons le problème suivant dont l'instance d'entrée est un simple graphe et un entier naturel .GGGkkk Existe-t-il un ensemble tel que est biparti et ?S⊆V(G)S⊆V(G)S \subseteq V(G)G−SG−SG - S|S|≤k|S|≤k|S| \leq k Je voudrais montrer que ce problème est -complet en y réduisant 3-SAT, -CLIQUE,...
J'ai récemment rencontré un article décrivant la technique d'analyse mentionnée dans le titre. Malheureusement, la terminologie utilisée dans cet article est quelque peu au-delà de ma compréhension, j'ai donc essayé de saisir l'algorithme de construction de manière plus intuitive. Je crois que j'ai...
Les machines de Turing et les grammaires illimitées sont deux formalismes différents qui définissent les langages RE. Certaines langues RE sont décidables, mais pas toutes. Nous pouvons définir les langues décidables avec les machines de Turing en disant qu'une langue est décidable si il y a une MT...
Il s'agit d'un problème de la session de pratique du Polish Collegiate Programming Contest 2012 . Bien que je puisse trouver les solutions pour le concours principal, je n'arrive pas à trouver la solution à ce problème n'importe où. Le problème est le suivant: étant donné un ensemble de entiers...
J'apprends la classification SVM et je rencontre un problème. Je ne sais pas si ce dilemme a une terminologie. Supposons que nous aimerions classer les patients par SVM compte tenu des échantillons de personnes en bonne santé (des deux sexes) et de personnes atteintes d'un cancer du foie (des deux...
Du point de vue du comportement asymptotique, qu'est-ce qui est considéré comme un algorithme "efficace"? Quelle est la norme / raison de tracer la ligne à ce point? Personnellement, je penserais que tout ce que je pourrais naïvement appeler "sous-polynôme", tel que tel que serait efficace et tout...
Je ne peux pas comprendre comment fonctionne le verrou SR. Apparemment, vous branchez une ligne d'entrée de R, et une autre de S, et vous êtes censé obtenir des résultats dans et Q ' .QQQQ′Q′Q' Cependant, les deux R et S nécessitent une entrée de la sortie de l'autre, et la sortie de l'autre...