Informatique théorique

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

1
Problème de vecteur algorithmique
J'ai un problème algébrique lié aux vecteurs dans le domaine GF (2). Soit (0,1) de dimension et . Trouver un algorithme polynomial temporel qui trouve un (0,1) -vecteur de la même dimension tel que n'est pas la somme des vecteurs parmi . L'addition de vecteurs se fait sur le champ …
2
Application des numéros Ramsey
La définition des nombres de Ramsey est la suivante: Soit un nombre positif tel que tout graphe d'ordre au moins contienne soit une clique sur sommet soit un ensemble stable sur sommets.R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)aaabbb Je travaille sur une extension de Ramsey Numbers. Bien que l'étude présente un certain intérêt théorique, il serait …
6
Conseils pour les études supérieures en informatique
Je recherche des conseils et des retours. Contexte: Je suis un étudiant de premier cycle en mathématiques, avec un intérêt pour l'informatique théorique (complexité informatique, théorie des graphes, combinatoire). Je veux poursuivre un doctorat en informatique et me concentrer sur la théorie. Mes antécédents sont dans des domaines mathématiques intensifs …
4
Modélisation d'objets (POO) dans la théorie des types dépendants
Je m'intéresse à la modélisation d'objets, de la programmation orientée objet, à la théorie des types dépendants. Comme application possible, j'aimerais avoir un modèle où je peux décrire différentes fonctionnalités des langages de programmation impératifs. Je n'ai pu trouver qu'un seul article sur la modélisation d'objets dans la théorie des …
1
Réductibilité SERF et algorithmes sous-exponentiels
J'ai une question concernant la réductibilité SERF d'Impagliazzo , Paturi et Zane et les algorithmes sous-exponentiels. La définition de SERF-réductibilité donne ce qui suit: Si P1P1P_1 est SERF-réductible à P2P2P_2 et qu'il existe un algorithme O(2εn)O(2εn)O(2^{\varepsilon n}) pour P2P2P_2 pour chaque ε>0ε>0\varepsilon > 0 , alors il existe un algorithme …
4
Calcul de la fonction Mobius
La fonction Mobius est définie comme , si a un facteur premier carré, et si tous les nombres premiers sont différents. Est-il possible de calculer sans calculer la factorisation première de ?μ ( 1 ) = 1 μ ( n )μ(n)μ(n)\mu(n)μ(1)=1μ(1)=1\mu(1)=1μ(n)=0μ(n)=0\mu(n)=0nnnμ(p1…pk)=(−1)kμ(p1…pk)=(−1)k\mu(p_1 \dots p_k)= (-1)^kp1,…,pkp1,…,pkp_1,\dots,p_kμ(n)μ(n)\mu(n)nnn
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.