Seinosuke Toda — is a computer scientist working at the Nihon University in Tokyo. He was a recipient of the 1998 Gödel Prize for his work … Wikipedia
Toda — can refer to:People: *Hiroshi Toda, Japanese mathematician *Morikazu Toda, Japanese physicist *Keiko Toda, Japanese actress *Erika Toda, Japanese actress *Naho Toda, Japanese actress *Toda Seigen, swordsman *Toda Katsushige, daimyo *Toda Kazuaki … Wikipedia
Toda — bezeichnet: Toda (Saitama), die Stadt in Japan Toda (Volk), das indigene Volk in Südindien Toda (Sprache), die Sprache der Toda Toda Gitter, Modell in der Festkörperphysik Toda ist der Familienname folgender Personen Toda Jōsei (1900–1958),… … Deutsch Wikipedia
Toda's theorem — The Toda s Theorem was proven by Seinosuke Toda in his paper PP is as Hard as the Polynomial Time Hierarchy (1991) and was given 1998 Gödel Prize. The theorem considers solution counting for polynomial problem class PP and polynomial hierarchy PH … Wikipedia
Teorema de Toda — El teorema de Toda es un teorema demostrado por Seinosuke Toda en el artículo de 1991 PP is as Hard as the Polynomial Time Hierarchy , que le dio a su autor el Premio Gödel en 1998. El teorema establece que toda la jerarquía polinomial PH está… … Wikipedia Español
Prix Gödel — Nommé en l honneur du logicien Kurt Gödel, le prix Gödel a été créé en 1992 par l European Association for Theoretical Computer Science (EATCS), l Association for Computing Machinery (ACM) et le groupe de l ACM sur l algorithmique et la théorie… … Wikipédia en Français
Permanent is sharp-P-complete — The correct title of this article is Permanent is #P complete. The substitution or omission of the # sign is because of technical restrictions. In a 1979 paper Leslie Valiant proved[1] that the problem of computing the permanent of a matrix is #P … Wikipedia
Géraud Sénizergues — est professeur d informatique à l Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique. Récipiendaire du Prix Gödel en 2002 pour avoir démontré la décidabilité de l égalité des langages reconnus par des automates … Wikipédia en Français
Johan Håstad — Johan Håstad, né en 1960, est un informaticien théorique suédois connu particulièrement pour son travail sur la complexité algorithmique. Il a reçu le Prix Gödel en 1994 et 2011 et le Doctoral Dissertation Award de l Association for Computing… … Wikipédia en Français
László Lovász — (9 mars 1948, à Budapest ) est un mathématicien connu pour ses travaux en combinatoire et dans la théorie des graphes. Sommaire … Wikipédia en Français
Japón
