L'informatique

Q & A pour les étudiants, chercheurs et praticiens de l'informatique





1
Mathématiques pour TCS major
Je recherche une majeure en informatique théorique; en particulier, je m'intéresse à la théorie de la complexité et à la théorie des automates probabilistes. Comme je suis diplômé en un an, quels cours avancés en mathématiques (comme la théorie de Galois ou l'analyse harmonique, par exemple) pensez-vous qu'il serait utile …

1
Variables distinctes pour différentes clauses
Dans la démonstration du théorème de résolution, il est normalement supposé que les variables dans différentes clauses sont distinctes. Ce n'est pas quelque chose qui se produit automatiquement; il nécessite du code et des calculs supplémentaires importants à implémenter. Compte tenu de cela, je cherche un cas de test pour …




2
Détermination du nombre particulier dans le temps et l'espace
\newcommand\ldotd{\mathinner{..}} Étant donné que A[1..n]A[1..n]A[1\ldotd n] sont des entiers tels que 0≤A[k]≤m0≤A[k]≤m0\le A[k]\le m pour tous les 1≤k≤n1≤k≤n1\le k\le n , et l'occurrence de chacun nombre sauf un nombre particulier dans A[1..n]A[1..n]A[1\ldotd n] est un nombre impair. Essayez de trouver le nombre dont l'occurrence est un nombre pair. Il existe …




3
Sums of Landau terms revisited
J'ai posé une question (initiale) sur des sommes de termes Landau auparavant , essayant de mesurer les dangers d'abuser de la notation asymptotique en arithmétique, avec un succès mitigé. Maintenant, ici, notre gourou de la récurrence, JeffE, fait essentiellement ceci: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) Bien que le résultat …


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.