Jin-Yi Cai

Jin-Yi Cai (* 1961) ist ein chinesisch-US-amerikanischer Informatiker.

Cai studierte ab 1977 an der Fudan-Universität (Zertifikat in Mathematik 1981), an der Temple University mit dem Master-Abschluss (M.A.) 1983 und an der Cornell University, an der er 1985 einen Master-Abschluss (M.S.) erhielt und 1986 bei Juris Hartmanis an der Cornell University in Informatik promovierte (''On Some Most Probable Separations of Complexity Classes''). 1986 wurde er Assistant Professor an der Yale University und 1989 an der Princeton University, 1993 Associate Professor und 1996 Professor an der State University of New York at Buffalo und 2003 Professor an der University of Wisconsin-Madison., an der er seit 2014 ''Steenbock-Professor'' für Mathematik ist.

1995 bis 2001 und 2003 bis 2006 war er Gastprofessor an der Universität Fudan in Shanghai, 2010 bis 2013 Gastprofessor an der Universität Peking und 2007/08 Radcliffe Fellow am Radcliffe Institute der Harvard University.

Cai befasst sich mit Komplexitätstheorie und Algorithmentheorie.

Für 2021 wurde ihm gemeinsam mit Xi Chen ein Gödel-Preis zugesprochen für ihre Arbeit ''An Effective Dichotomy for the Counting Constraint Satisfaction Problem'' von 2010. Wie die anderen Empfänger des Gödel-Preises von 2021 wurden damit Arbeiten gewürdigt, die den Höhepunkt der Klassifikation von Abzählkomplexität von Constraint Satisfaction Problems (CSP) darstellen. Sie bewiesen zusammen ein umfassendes Komplexitäts-Dichotomie-Theorem für CSP-artige Abzählprobleme, die als Verteilungsfunktion (partition function) ausdrückbar sind: alle diese Probleme sind entweder in Polynomzeit lösbar oder Sharp-P-schwer (Laudatio zum Gödel-Preis). Für dieselbe Arbeit erhielten beide 2021 den Fulkerson-Preis.

Er entwickelte die ''holographischen Algorithmen'' (auch ''accidental algorithms'') von Leslie G. Valiant weiter.

Cai entwickelte mit anderen einen effizienten Algorithmus um Änderungen in XML Dokumenten festzustellen (X-Diff).

1990 erhielt er einen Presidential Young Investigator Award der National Science Foundation, 1994 war er Sloan Research Fellow, 1998 Guggenheim Fellow und 2004 erhielt er die Morning Side Silver Medal in Mathematik ''für die Lösung langer offener Probleme von Juris Hartmanis über dünnbesetzte Mengen (sparse sets) und Beiträge zur Komplexitätstheorie'' (Laudatio).

Er ist Herausgeber beim Journal of Computer and Systems Sciences (JCSS), beim Chicago Journal of Theoretical Computer Science, im Herausgebergremium von Computational Complexity und Associate Editor des Journal of Complexity. Cai ist Fellow der Association for Computing Machinery (ACM), des IEEE, der American Association for the Advancement of Science und auswärtiges Mitglied der Academia Europaea. Er erhielt einen Humboldt-Forschungspreis. Veröffentlicht in Wikipedia