Alexander Razborov
Alexandr Alexandrovitch Razborov (em russo: Алекса́ндр Александро́вич Разбо́ров; 16 de fevereiro de 1963), mais conhecido como Sasha Razborov, é um matemático e teórico computacional russo.
Foi palestrante convidado do Congresso Internacional de Matemáticos em Berkeley (1986: Lower bounds for monotone complexity of boolean functions).
Publicações
- Razborov, A. A. (1985). «Lower bounds for the monotone complexity of some Boolean functions» (PDF). Soviet Mathematics Doklady. 31: 354–357
- Razborov, A. A. (1985). «Lower bounds on monotone complexity of the logical permanent». Mathematical Notes of the Academy of Sciences of the USSR (PDF). 37 (6): 485–493. doi:10.1007/BF01157687
- Разборов, Александр Александрович (1987). О системах уравнений в свободной группе (PDF) (em russo). [S.l.]: Московский государственный университет (PhD thesis. 32.56MB)
- Razborov, A. A. (1987). «Lower bounds on the size of bounded depth circuits over a complete basis with logical addition». Mathematical Notes of the Academy of Sciences of the USSR (PDF). 41 (4): 333–338. doi:10.1007/BF01137685
- Razborov, Alexander A. (1989). «On the method of approximations» (PDF. 1.41MB). Proceedings of the 21st Annual ACM Symposium on the Theory of Computing. Seattle, Washington, United States. pp. 167–176. doi:10.1145/73007.73023
- Razborov, A. A. (1990). «Lower bounds of the complexity of symmetric boolean functions of contact-rectifier circuits». Mathematical Notes of the Academy of Sciences of the USSR (PDF). 48 (6): 1226–1234. doi:10.1007/BF01240265
- Razborov, Alexander A.; Rudich, Stephen (1994). «Natural proofs» (PostScript). Proceedings of the 26th Annual ACM Symposium on the Theory of Computing. Montreal, Quebec, Canada. pp. 204–213. doi:10.1145/195058.195134
- Razborov, Alexander A. (1998). «Lower Bounds for the Polynomial Calculus» (PostScript). Computational Complexity. 7 (4): 291–324. doi:10.1007/s000370050013
- Razborov, Alexander A. (2003). «Propositional proof complexity» (PostScript). Journal of the ACM. 50 (1): 80–82. doi:10.1145/602382.602406 (Survey paper for JACM's 50th anniversary)
Ligações externas
|
---|
1993: László Babai, Shafrira Goldwasser, Silvio Micali, Shlomo Moran, Charles Rackoff ·
1994: Johan Håstad ·
1995: Neil Immerman, Róbert Szelepcsényi ·
1996: Mark Jerrum, Alistair Sinclair ·
1997: Joseph Halpern, Yoram Moses ·
1998: Seinosuke Toda ·
1999: Peter Shor ·
2000: Moshe Y. Vardi, Pierre Wolper ·
2001: Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan, Mario Szegedy ·
2002: Géraud Sénizergues ·
2003: Yoav Freund, Robert Schapire ·
2004: Maurice Herlihy, Michael Saks, Nir Shavit, Fotios Zaharoglou ·
2005: Noga Alon, Yossi Matias, Mario Szegedy ·
2006: Manindra Agrawal, Neeraj Kayal, Nitin Saxena ·
2007: Alexander Razborov, Steven Rudich ·
2008: Shang-Hua Teng, Daniel Spielman ·
2009: Omer Reingold, Salil Vadhan, Avi Wigderson ·
2010: Sanjeev Arora, Joseph S. B. Mitchell ·
2011: Johan Håstad ·
2012: Elias Koutsoupias, Christos Papadimitriou, Noam Nisan, Amir Ronen, Tim Roughgarden, Éva Tardos ·
2013: Dan Boneh, Matthew Keith Franklin, Antoine Joux ·
2014: Ronald Fagin, Amnon Lotem, Moni Naor ·
2015: Daniel Spielman, Shang-Hua Teng ·
2016: Stephen Brookes, Peter O'Hearn ·
2017: Cynthia Dwork, Frank McSherry, Kobbi Nissim, Adam D. Smith ·
2018: Oded Regev ·
2019: Irit Dinur ·
2020: Robin Moser, Gábor Tardos
|
|
|