Michael Saks

Michael Ezra Saks ist ein US-amerikanischer Informatiker und Mathematiker.

Saks wurde 1980 am Massachusetts Institute of Technology bei Daniel J. Kleitman promoviert (Duality Properties of Finite Set Systems).[1] Er ist Professor an der Rutgers University.

Saks befasst sich mit Komplexitätstheorie, Kombinatorik und Graphentheorie.

2004 erhielt er den Gödel-Preis mit Maurice Herlihy, Nir Shavit und Fotios Zaharoglou für seinen Aufsatz mit Zaharoglou: Wait-Free k-Set Agreement is Impossible: The Topology of Public Knowledge (SIAM Journal on Computing, Band 29, 2000). Damit wurde ihre Entdeckung der Rolle der Topologie im verteilten Rechnen gewürdigt, die es ermöglicht die Frage der Existenz von Protokollen für bestimmte Probleme von ihrer dynamischen Natur zu befreien und auf ein topologisches Problem zu reduzieren.[2] Zaharoglou war 1993 sein Doktorand an der University of California, San Diego.

Von ihm und Ramamohan Paturi, Pavel Pudlák und Francis Zane stammt der schnellste bekannte (randomisierte) Algorithmus für allgemeines k-SAT, PPSZ (benannt nach den Anfangsbuchstaben der Nachnamen der Autoren),[3][4] entstanden aus dem Vorläufer PPZ von 1999,[5] der nicht so gut wie der Algorithmus von Schöning war und wie PPSZ auf Encoding basierte. 2014 gab Timon Hertli Verbesserungen für den Fall unique 3-SAT.[6]