Accès plus rapide que le navigateur!
14 relations: Algorithme d'approximation, Combinatoire, Informatique théorique, Institut Weizmann, Israël, Preuve combinatoire, Prix Erdős, Prix Gödel, Produit zig-zag de graphes, Shmuel Safra, Symposium on Theory of Computing, Taux d'expansion (théorie des graphes), Théorème PCP, Université de Tel Aviv.
Algorithme d'approximation
En informatique théorique, un algorithme d'approximation est une méthode permettant de calculer une solution approchée à un problème algorithmique d'optimisation.
Nouveau!!: Irit Dinur et Algorithme d'approximation · Voir plus »
Combinatoire
En mathématiques, la combinatoire, appelée aussi analyse combinatoire, étudie les configurations de collections finies d'objets ou les combinaisons d'ensembles finis, et les dénombrements.
Nouveau!!: Irit Dinur et Combinatoire · Voir plus »
Informatique théorique
Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.
Nouveau!!: Irit Dinur et Informatique théorique · Voir plus »
Institut Weizmann
L'Institut Weizmann des Sciences (en hébreu: מכון ויצמן למדע) est une université de recherche fondée en 1934 et située à Rehovot, au sud de Tel Aviv en Israël.
Nouveau!!: Irit Dinur et Institut Weizmann · Voir plus »
Israël
Israël En français, le nom « Israël » s’utilise sans article défini (« le ») et s'accorde au masculin.
Nouveau!!: Irit Dinur et Israël · Voir plus »
Preuve combinatoire
Une preuve combinatoire est une démonstration qui tend à établir une identité entre deux expressions a priori différentes.
Nouveau!!: Irit Dinur et Preuve combinatoire · Voir plus »
Prix Erdős
Le prix Anna-et-Lajos-Erdős en mathématiques est un prix décerné par l'Union mathématique israélienne à un mathématicien israélien dans n'importe quel champ des mathématiques et de l'informatique,.
Nouveau!!: Irit Dinur et Prix Erdős · Voir plus »
Prix Gödel
Le prix Gödel est une distinction créée en 1992 par l'European Association for Theoretical Computer Science (EATCS) et le Special Interest Group on Algorithms and Computation Theory (SIGACT) de l'Association for Computing Machinery (ACM) pour honorer des travaux remarquables d'informatique théorique.
Nouveau!!: Irit Dinur et Prix Gödel · Voir plus »
Produit zig-zag de graphes
En théorie des graphes, le produit zig-zag de graphes est une opération sur des graphes réguliers.
Nouveau!!: Irit Dinur et Produit zig-zag de graphes · Voir plus »
Shmuel Safra
Shmuel (Muli) Safra est un professeur et chercheur en informatique théorique, de l'université de Tel Aviv.
Nouveau!!: Irit Dinur et Shmuel Safra · Voir plus »
Symposium on Theory of Computing
La conférence Annual ACM Symposium on Theory of Computing (abrégé en STOC) est une conférence scientifique dans le domaine de l’informatique théorique.
Nouveau!!: Irit Dinur et Symposium on Theory of Computing · Voir plus »
Taux d'expansion (théorie des graphes)
En mathématiques, et plus particulièrement en théorie des graphes, le taux d'expansion d'un graphe est une mesure de connectivité de ce graphe Shlomo Hoory, Nathan Linial et Avi Widgerson.
Nouveau!!: Irit Dinur et Taux d'expansion (théorie des graphes) · Voir plus »
Théorème PCP
En théorie de la complexité, un domaine de l'informatique théorique, le théorème PCP (acronyme de l'anglais probabilistically checkable proof, qui peut se traduire en français par « preuve vérifiable en probabilité ») est une caractérisation de la classe NP dans le contexte d'un système de preuve interactive.
Nouveau!!: Irit Dinur et Théorème PCP · Voir plus »
Université de Tel Aviv
L'université de Tel Aviv (en hébreu: texte) est une université publique située à Tel Aviv.
Nouveau!!: Irit Dinur et Université de Tel Aviv · Voir plus »
