RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Разборов Александр Александрович

Публикаций: 100 (88)
в MathSciNet: 80 (74)
в zbMATH: 64 (60)
в Web of Science: 60 (55)
в Scopus: 56 (54)
Цитированных статей: 71
Ссылок в Math-Net.Ru: 173
Ссылок в Web of Science: 1833
Ссылок в Scopus: 1952
Лекций и докладов: 36

Статистика просмотров:
Эта страница:7369
Страницы публикаций:6700
Полные тексты:1869
Списки литературы:361
член-корреспондент РАН
доктор физико-математических наук (1991)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Телефон: +7 (495) 984 81 41 * 37 46
Факс: +7 (499) 135 05 55
E-mail: ,
Сайт: http://people.cs.uchicago.edu/~razborov
Ключевые слова: сложность вычислений, экстремальная комбинаторика.
Коды УДК: 510.52, 510.662, 519.712.4, 512.54, 512.554.322, 510.6, 519.85, 519.176, 519.179.1
Коды MSC: 03F20, 03D15, 68Q17, 68Q15

Основные темы научной работы

Теоретическая информация, дискретная математика.

   
Основные публикации:
  1. A. A. Razborov, “Flag algebras”, J. Symbolic Logic, 72:4 (2007), 1239–1282  crossref  mathscinet  zmath  isi  elib  scopus
  2. А. А. Разборов, “О квантовой коммуникационной сложности симметрических предикатов”, Изв. РАН. Сер. матем., 67:1 (2003), 159–176  mathnet  crossref  mathscinet  zmath  isi; A. A. Razborov, “Quantum communication complexity of symmetric predicates”, Izv. Math., 67:1 (2003), 145–159  crossref  mathscinet  zmath  isi  elib  scopus
  3. A. A. Razborov, S. Rudich, “Natural proofs”, J. Comput. System Sci., 55:1 (1997), 24–35  crossref  mathscinet  zmath  isi  scopus
  4. А. А. Разборов, “Нижние оценки монотонной сложности логического перманента”, Матем. заметки, 37:6 (1985), 887–900  mathnet  mathscinet  zmath  isi; A. A. Razborov, “Lower bounds on monotone complexity of the logical permanent”, Math. Notes, 37:6 (1985), 485–493  crossref  mathscinet  zmath  isi  elib  scopus
  5. А. А. Разборов, “О системах уравнений в свободной группе”, Изв. АН СССР. Сер. матем., 48:4 (1984), 779–832  mathnet  mathscinet  zmath  isi; A. A. Razborov, “On systems of equations in a free group”, Math. USSR-Izv., 25:1 (1985), 115–162  crossref  mathscinet  zmath

http://www.mathnet.ru/rus/person8770
Список публикаций на Google Scholar
http://zbmath.org/authors/?q=ai:razborov.alexander-a
https://mathscinet.ams.org/mathscinet/MRAuthorID/212097
http://elibrary.ru/author_items.asp?authorid=158
http://www.researcherid.com/rid/Q-4627-2016
http://www.scopus.com/authid/detail.url?authorId=7004103561

Полный список публикаций:
| по годам | по типам | по числу цитирований | научные публикации | общий список |


1. А. А. Разборов, “Нижние оценки размера схем ограниченной глубины в полном базисе, содержащем функцию логического сложения”, Матем. заметки, 41:4 (1987), 598–607  mathnet (цит.: 5)  mathscinet (цит.: 52)  zmath  isi (цит.: 180); A. A. Razborov, “Lower bounds on the size of bounded depth circuits over a complete basis with logical addition”, Math. Notes, 41:4 (1987), 333–338  crossref  mathscinet  zmath  isi (cited: 180)  elib (cited: 28)  scopus (cited: 208)
2. A. A. Razborov, S. Rudich, “Natural proofs”, J. Comput. System Sci., 55:1 (1997), 24–35  crossref  mathscinet (cited: 77)  zmath  isi (cited: 168)  scopus (cited: 208)
3. A. A. Razborov, “On the distributional complexity of disjointness”, Theoret. Comput. Sci., 106:2 (1992), 385–390  crossref  mathscinet (cited: 60)  zmath  isi (cited: 150)  scopus (cited: 223)
4. A. A. Razborov, “Flag algebras”, J. Symbolic Logic, 72:4 (2007), 1239–1282  crossref  mathscinet (cited: 62)  zmath  isi (cited: 79)  elib (cited: 62)  scopus (cited: 90)
5. A. A. Razborov, “On the minimal density of triangles in graphs”, Combin. Probab. Comput., 17:4 (2008), 603–618  crossref  mathscinet (cited: 51)  zmath  isi (cited: 69)  elib (cited: 48)  scopus (cited: 78)
6. V. Lifschitz, A. Razborov, “Why are there so many loop formulas?”, ACM Trans. Comput. Log., 7:2 (2006), 261–268  crossref  mathscinet (cited: 5)  isi (cited: 44)  elib (cited: 62)  scopus (cited: 77)
7. A. A. Razborov, “Lower bounds for the polynomial calculus”, Comput. Complexity, 7:4 (1998), 291–324  crossref  mathscinet (cited: 34)  zmath  isi (cited: 49)  elib (cited: 60)  scopus (cited: 64)
8. M. Alekhnovich, E. Ben-Sasson, A. A. Razborov, A. Wigderson, “Space complexity in propositional calculus”, SIAM J. Comput., 31:4 (2002), 1184–1211 (electronic)  crossref  mathscinet (cited: 22)  zmath  isi (cited: 53)  elib (cited: 55)  scopus (cited: 73)
9. А. А. Разборов, “Нижние оценки монотонной сложности некоторых булевых функций”, Докл. АН СССР, 281:4 (1985), 798–801  mathnet (цит.: 7)  mathscinet (цит.: 49)  zmath  isi (цит.: 55); A. A. Razborov, “Lower bounds on the monotone complexity of some Boolean functions”, Soviet Math. Doklady, 31 (1985), 354–357  mathscinet  zmath  isi (cited: 55)
10. A. A. Razborov, “Applications of matrix methods to the theory of lower bounds in computational complexity”, Combinatorica, 10:1 (1990), 81–93  crossref  mathscinet (cited: 18)  zmath  isi (cited: 52)  elib (cited: 10)  scopus (cited: 61)
11. А. А. Разборов, “О квантовой коммуникационной сложности симметрических предикатов”, Изв. РАН. Сер. матем., 67:1 (2003), 159–176  mathnet (цит.: 50)  crossref  mathscinet (цит.: 34)  zmath  isi (цит.: 48); A. A. Razborov, “Quantum communication complexity of symmetric predicates”, Izv. Math., 67:1 (2003), 145–159  crossref  mathscinet  zmath  isi (cited: 48)  elib (cited: 45)  scopus (cited: 64)
12. D. Grigoriev, A. Razborov, “Exponential lower bounds for depth 3 arithmetic circuits in algebras of functions over finite fields”, Appl. Algebra Engrg. Comm. Comput., 10:6 (2000), 465–487  crossref  mathscinet (cited: 24)  zmath  isi (cited: 38)  elib (cited: 41)  scopus (cited: 46)
13. A. A. Razborov, “On 3-hypergraphs with forbidden 4-vertex configurations”, SIAM J. Discrete Math., 24:3 (2010), 946–963  crossref  mathscinet (cited: 31)  zmath  isi (cited: 39)  elib (cited: 31)  scopus (cited: 46)
14. S. Buss, R. Impagliazzo, J. Krajíček, P. Pudlák, A. A. Razborov, J. Sgall, “Proof complexity in algebraic systems and bounded depth Frege systems with modular counting”, Comput. Complexity, 6:3 (1996), 256–298  crossref  mathscinet (cited: 26)  isi (cited: 24)  elib (cited: 38)  scopus (cited: 43)
15. А. А. Разборов, “Нижние оценки монотонной сложности логического перманента”, Матем. заметки, 37:6 (1985), 887–900  mathnet (цит.: 8)  mathscinet (цит.: 16)  zmath  isi (цит.: 35); A. A. Razborov, “Lower bounds on monotone complexity of the logical permanent”, Math. Notes, 37:6 (1985), 485–493  crossref  mathscinet  zmath  isi (cited: 35)  elib (cited: 4)  scopus (cited: 42)
16. A. Borodin, A. Razborov, R. Smolensky, “On lower bounds for read-$k$-times branching programs”, Comput. Complexity, 3:1 (1993), 1–18  crossref  mathscinet (cited: 33)  zmath  elib (cited: 34)  scopus (cited: 96)
17. A. Razborov, A. Wigderson, “$n^{\Omega(\log n)}$ lower bounds on the size of depth-3 threshold circuits with AND gates at the bottom”, Inform. Process. Lett., 45:6 (1993), 303–307  crossref  mathscinet (cited: 12)  zmath  isi (cited: 32)  scopus (cited: 40)
18. Goldmann Mikael, Håstad Johan, Razborov Alexander, “Majority gates vs. general weighted threshold gates”, Comput. Complexity, 2:4 (1992), 277–300  crossref  mathscinet (cited: 29)  zmath  elib (cited: 21)  scopus (cited: 98)
19. А. А. Разборов, “О системах уравнений в свободной группе”, Изв. АН СССР. Сер. матем., 48:4 (1984), 779–832  mathnet (цит.: 29)  mathscinet (цит.: 15)  zmath  isi (цит.: 7); A. A. Razborov, “On systems of equations in a free group”, Math. USSR-Izv., 25:1 (1985), 115–162  crossref  mathscinet  zmath
20. A. A. Razborov, “Unprovability of lower bounds on circuit size in certain fragments of bounded arithmetic”, Изв. РАН. Сер. матем., 59:1 (1995), 201–224  mathnet (цит.: 12)  mathscinet (цит.: 28)  zmath  isi (цит.: 12); A. A. Razborov, “Unprovability of lower bounds on circuit size in certain fragments of bounded arithmetic”, Izv. Math., 59:1 (1995), 205–227  crossref  mathscinet  zmath  isi (cited: 12)
21. M. Alekhnovich, E. Ben-Sasson, A. A. Razborov, A. Wigderson, “Pseudorandom generators in propositional proof complexity”, SIAM J. Comput., 34:1 (2004), 67–88  crossref  mathscinet (cited: 18)  zmath  isi (cited: 26)  scopus (cited: 30)
22. H. Hatami, J. Hladky, D. Král', S. Norin, A. Razborov, “On the number of pentagons in triangle-free graphs”, J. Combin. Theory Ser. A, 120:3 (2013), 722–732  mathnet  crossref  mathscinet (cited: 20)  zmath  isi (cited: 25)  elib (cited: 11)  scopus (cited: 32)
23. M. S. Paterson, A. A. Razborov, “The set of minimal braids is co-NP-complete”, J. Algorithms, 12:3 (1991), 393–408  crossref  mathscinet (cited: 10)  zmath  isi (cited: 25)  elib (cited: 7)  scopus (cited: 31)
24. A. A. Razborov, A. A. Sherstov, “The sign-rank of $\mathrm{AC}^0$”, SIAM J. Comput., 39:5 (2010), 1833–1855  crossref  mathscinet (cited: 14)  zmath  isi (cited: 24)  elib (cited: 16)  scopus (cited: 33)
25. A. A. Razborov, “Lower bounds for deterministic and nondeterministic branching programs”, Fundamentals of computation theory (Gosen, 1991), Lecture Notes in Comput. Sci., 529, Springer, Berlin, 1991, 47–60  crossref  mathscinet (cited: 21)  isi (cited: 24)
26. Б. С. Кашин, А. А. Разборов, “Новые нижние оценки устойчивости матриц Адамара”, Матем. заметки, 63:4 (1998), 535–540  mathnet (цит.: 23)  crossref  mathscinet (цит.: 14)  zmath  isi (цит.: 15); B. S. Kashin, A. A. Razborov, “Improved lower bounds on the rigidity of Hadamard matrices”, Math. Notes, 63:4 (1998), 471–475  crossref  mathscinet  zmath  isi (cited: 15)  elib (cited: 16)  scopus (cited: 17)
27. A. A. Razborov, “Bounded arithmetic and lower bounds in Boolean complexity”, Feasible mathematics, II (Ithaca, NY, 1992), Progr. Comput. Sci. Appl. Logic, 13, Birkhäuser Boston, Boston, MA, 1995, 344–386  mathscinet (cited: 21)  zmath
28. M. Alekhnovich, A. A. Razborov, “Resolution is not automatizable unless $W[P]$ is tractable”, SIAM J. Comput., 38:4 (2008), 1347–1363  crossref  mathscinet (cited: 7)  zmath  isi (cited: 20)  elib (cited: 9)  scopus (cited: 25)
29. М. В. Алехнович, А. А. Разборов, “Нижние оценки для полиномиального исчисления в случае идеалов, отличных от биномиальных”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Тр. МИАН, 242, Наука, М., 2003, 23–43  mathnet (цит.: 19)  mathscinet (цит.: 13)  zmath; M. V. Alekhnovich, A. A. Razborov, “Lower Bounds for Polynomial Calculus: Nonbinomial Case”, Proc. Steklov Inst. Math., 242 (2003), 18–35  mathscinet  zmath
30. A. A. Razborov, “The gap between the chromatic number of a graph and the rank of its adjacency matrix is superlinear”, Topological, algebraical and combinatorial structures. Frolík's memorial volume, Discrete Math., 108:1-3 (1992), 393–396  crossref  mathscinet (cited: 11)  zmath  isi (cited: 17)  scopus (cited: 19)
31. F. Eisenbrand, N. Hähnle, A. Razborov, T. Rothvoß, “Diameter of polyhedra: limits of abstraction”, Math. Oper. Res., 35:4 (2010), 786–794  crossref  mathscinet (cited: 8)  zmath  isi (cited: 16)  scopus (cited: 22)
32. S. Jukna, A. Razborov, P. Savický, I. Wegener, “On $\mathrm{P}$ versus $\mathrm{NP}\cap\mathrm{CO}$-$\mathrm{NP}$ for decision trees and read-once branching programs”, Comput. Complexity, 8:4 (1999), 357–370  crossref  mathscinet (cited: 11)  zmath  isi (cited: 16)  elib (cited: 15)  scopus (cited: 16)
33. A. Razborov, “Resolution lower bounds for the weak functional pigeonhole principle”, Logic and complexity in computer science (Créteil, 2001), Theoret. Comput. Sci., 303, no. 1, 2003, 233–243  crossref  mathscinet (cited: 10)  zmath  isi (cited: 11)  elib (cited: 15)  scopus (cited: 17)
34. S. Jukna, A. Razborov, “Neither reading few bits twice nor reading illegally helps much”, Discrete Appl. Math., 85:3 (1998), 223–238  crossref  mathscinet (cited: 9)  zmath  isi (cited: 13)  elib (cited: 15)  scopus (cited: 16)
35. A. A. Razborov, “Resolution lower bounds for perfect matching principles”, J. Comput. System Sci., 69:1 (2004), 3–27  crossref  mathscinet (cited: 9)  zmath  isi (cited: 12)  elib (cited: 14)  scopus (cited: 18)
36. A. A. Razborov, “An upper bound on the threshold quantum decoherence rate”, Quantum Inf. Comput., 4:3 (2004), 222–228  mathscinet  zmath  isi (cited: 10)  elib (cited: 11)  scopus (cited: 11)
37. A. A. Razborov, “Lower bounds for propositional proofs and independence results in bounded arithmetic”, Automata, languages and programming (Paderborn, 1996), Lecture Notes in Comput. Sci., 1099, Springer, Berlin, 1996, 48–62  crossref  mathscinet (cited: 11)  zmath
38. A. A. Razborov, “On systems of equations in free groups”, Combinatorial and geometric group theory (Edinburgh, 1993), London Math. Soc. Lecture Note Ser., 204, Cambridge Univ. Press, Cambridge, 1995, 269–283  mathscinet (cited: 11)  zmath  isi (cited: 8)
39. A. A. Razborov, “An equivalence between second order bounded domain bounded arithmetic and first order bounded arithmetic”, Arithmetic, proof theory, and computational complexity (Prague, 1991), Oxford Logic Guides, 23, Oxford Univ. Press, New York, 1993, 247–277  mathscinet (cited: 10)  zmath
40. A. Razborov, “On the Caccetta-Häggkvist conjecture with forbidden subgraphs”, J. Graph Theory, 74:2 (2013), 236–248 , arXiv: 1107.2247  mathnet  crossref  mathscinet (cited: 6)  zmath  isi (cited: 9)  elib (cited: 3)  scopus (cited: 9)
41. H. Hatami, J. Hladký, D. Král, S. Norin, A. Razborov, “Non-three-colourable common graphs exist”, Combin. Probab. Comput., 21:5 (2012), 734–742  mathnet  crossref  mathscinet (cited: 9)  zmath  isi (cited: 9)  elib (cited: 8)  scopus (cited: 15)
42. A. A. Razborov, “On small depth threshold circuits”, Algorithm theory – SWAT '92 (Helsinki, 1992), Lecture Notes in Comput. Sci., 621, Springer, Berlin, 1992, 42–52  crossref  mathscinet (cited: 9)  isi (cited: 5)
43. А. А. Разборов, “Формулы ограниченной глубины в базисе $\{&,\oplus\}$ и некоторые комбинаторные задачи”, Теория сложности и прикладная математическая логика, Проблемы кибернетики, 134, 1988, 149–166  mathscinet (цит.: 8)  zmath
44. А. А. Разборов, “Нижние оценки размера схем ограниченной глубины в базисе $\{&,\vee,\oplus\}$”, УМН, 41:4(250) (1986), 219–220  mathnet  mathscinet (цит.: 8)  zmath  adsnasa  isi (цит.: 1); A. A. Razborov, “Lower estimates of the dimension of schemes of bounded depth in the basis $\{&,\vee,\oplus\}$”, Russian Math. Surveys, 41:4 (1986), 181–182  crossref  mathscinet  zmath  adsnasa  isi (cited: 1)
45. А. А. Разборов, “Об интерпретации Фон-Дер-Флаасса экстремальных примеров для $(3,4)$-проблемы Турана”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 269–290  mathnet (цит.: 5)  mathscinet (цит.: 7)  isi (цит.: 6)  elib; Alexander A. Razborov, “On the Fon-Der-Flaass interpretation of extremal examples for Turán's $(3,4)$-problem”, Proc. Steklov Inst. Math., 274 (2011), 247–266  crossref  mathscinet  isi (cited: 6)  scopus (cited: 7)
46. A. A. Razborov, “Proof complexity of pigeonhole principles”, Developments in language theory (Vienna, 2001), Lecture Notes in Comput. Sci., 2295, Springer, Berlin, 2002, 110–116  mathscinet (cited: 7)  elib
47. J. Håstad, A. Razborov, A. Yao, “On the shrinkage exponent for read-once formulae”, Theoret. Comput. Sci., 141:1-2 (1995), 269–282  crossref  mathscinet (cited: 4)  isi (cited: 6)  elib  scopus (cited: 7)
48. A. Razborov, E. Szemerédi, A. Wigderson, “Constructing small sets that are uniform in arithmetic progressions”, Combin. Probab. Comput., 2:4 (1993), 513–518  crossref  mathscinet (cited: 6)  zmath
49. Oleg Pikhurko, Alexander Razborov, “Asymptotic structure of graphs with the minimum number of triangles”, Comb. Probab. Comput., 26:1 (2017), 138–160  mathnet  crossref  mathscinet (cited: 5)  isi (cited: 3)  scopus (cited: 5)
50. A. A. Razborov, “Pseudorandom generators hard for $k$-DNF resolution and polynomial calculus resolution”, Ann. of Math. (2), 181:2 (2015), 415–472  mathnet (cited: 3)  crossref  mathscinet  zmath  isi (cited: 5)  elib  scopus (cited: 7)
51. A. A. Razborov, “A product theorem in free groups”, Ann. of Math. (2), 179:2 (2014), 405–429  mathnet  crossref  mathscinet (cited: 5)  zmath  zmath  isi (cited: 1)  elib (cited: 1)  scopus (cited: 1)
52. A. A. Razborov, S. Yekhanin, “An $\Omega(n^{1/3})$ lower bound for bilinear group-based private information retrieval”, Theory of Computing, 3 (2007), 221–238  crossref  mathscinet (cited: 5)  zmath
53. A. Razborov, A. Wigderson, A. Yao, “Read-once branching programs, rectangular proofs of the pigeonhole principle and the transversal calculus”, Combinatorica, 22:4 (2002), 555–574  crossref  mathscinet (cited: 2)  zmath  isi (cited: 3)  elib (cited: 5)  scopus (cited: 7)
54. M. Alekhnovich, A. Razborov, “Satisfiability, branch-width and Tseitin tautologies”, Comput. Complexity, 20:4 (2011), 649–678  crossref  mathscinet (cited: 4)  zmath  isi (cited: 3)  elib (cited: 3)  scopus (cited: 8)
55. A. A. Razborov, “On submodular complexity measures”, Boolean function complexity (Durham, 1990), London Math. Soc. Lecture Note Ser., 169, Cambridge Univ. Press, Cambridge, 1992, 76–83  mathscinet (cited: 4)
56. А. А. Разборов, “Нижние оценки сложности реализации симметрических булевых функций контактно-вентильными схемами”, Матем. заметки, 48:6 (1990), 79–90  mathnet (цит.: 4)  mathscinet (цит.: 4)  zmath  isi (цит.: 3); A. A. Razborov, “Lower bounds of the complexity of symmetric boolean functions of contact-rectifier circuits”, Math. Notes, 48:6 (1990), 1226–1234  crossref  mathscinet  zmath  isi (cited: 3)  scopus (cited: 5)
57. С. И. Адян, А. А. Разборов, “Периодические группы и алгебры Ли”, УМН, 42:2(254) (1987), 3–68  mathnet (цит.: 4)  mathscinet (цит.: 4)  zmath  adsnasa  isi (цит.: 2); S. I. Adian, A. A. Razborov, “Periodic groups and Lie algebras”, Russian Math. Surveys, 42:2 (1987), 1–81  crossref  mathscinet  zmath  adsnasa  isi (cited: 2)
58. V. Guruswami, J. R. Lee, A. Razborov, “Almost Euclidean subspaces of $\ell^N_1$ via expander codes”, Combinatorica, 30:1 (2010), 47–68  crossref  mathscinet (cited: 1)  isi (cited: 3)  elib (cited: 3)  scopus (cited: 4)
59. Alexander Razborov, “A new kind of tradeoffs in propositional proof complexity”, Journal of the ACM, 63:2 (2016), 16 , 14 pp.  mathnet  crossref  isi (cited: 2)  elib  scopus (cited: 9)
60. А. А. Разборов, “О $(3,4)$-проблеме Турана с запрещенными подграфами”, Матем. заметки, 95:2 (2014), 271–281 , arXiv: 1210.4605  mathnet (цит.: 2)  crossref  mathscinet  isi (цит.: 2)  elib; A. A. Razborov, “On Turán's $(3,4)$-Problem with Forbidden Subgraphs”, Math. Notes, 95:2 (2014), 247–254  crossref  mathscinet  isi (cited: 2)  elib (cited: 1)  scopus (cited: 2)
61. O. Beyersdorff, N. Galesi, M. Lauria, A. Razborov, “Parameterized bounded-depth Frege is not optimal”, Automata, languages and programming, Part I, Lecture Notes in Comput. Sci., 6755, Springer, Heidelberg, 2011, 630–641  crossref  mathscinet (cited: 2)  zmath  scopus (cited: 3)
62. J. Nordström, A. Razborov, “On minimal unsatisfiability and time-space trade-offs for $k$-DNF resolution”, Automata, languages and programming. Part I, 38th International Colloquium, ICALP 2011 (Zurich, Switzerland, July 4–8, 2011), Lecture Notes in Computer Science, 6755, eds. Luca Aceto, Monika Henzinger, Jiri Sgall, Springer, Heidelberg, 2011, 642–653  crossref  mathscinet (cited: 2)  zmath  scopus (cited: 1)
63. A. A. Razborov, Vereshchagin Nikolai K., “A property of cross-intersecting families”, Paul Erdős and his mathematics (Budapest, 1999), János Bolyai Math. Soc., Budapest, 1999, 218–220  mathscinet (cited: 2)  zmath
64. A. A. Razborov, “On the parameterization of solutions for equations in free groups”, Internat. J. Algebra Comput., 3:3 (1993), 251–273  crossref  mathscinet (cited: 2)  zmath
65. A. A. Razborov, “Lower bounds of the monotone complexity of Boolean functions”, Proceedings of the International Congress of Mathematicians (Berkeley, Calif., 1986), v. 1, 2, Amer. Math. Soc., Providence, RI, 1987, 1478–1487  mathscinet (cited: 2)
66. Alexander Razborov, “On the width of semi-algebraic proofs and algorithms”, Mathematics of Operation Research, 42:4 (2017), 1106–1134  mathnet  crossref  isi (cited: 1)  scopus (cited: 1)
67. L. N. Coregliano, A. A. Razborov, “On the density of transitive tournaments”, J. Graph Theory, 85:1 (2017), 12–21 , arXiv: 1501.04074  mathnet  crossref  mathscinet  isi (cited: 1)  scopus (cited: 2)
68. E. Viola, A. Razborov, “Real advantage”, ACM Trans. Comput. Theory, 5:4 (2013), 17 , 8 pp.  mathnet  crossref  mathscinet (cited: 1)  zmath  scopus (cited: 4)
69. A. A. Razborov, “Guessing more secrets via list decoding”, Internet Math., 2:1 (2005), 21–30  crossref  mathscinet (cited: 1)  zmath
70. Alexander Razborov, “On Space and Depth in Resolution”, Computational Complexity, 27:3 (2018), 511-559  mathnet  crossref  isi  scopus (cited: 1)
71. Albert Atserias, Ilario Bonacina, Susanna de Rezende, Massimo Lauria, Jakob Nordström, Alexander Razborov, “Clique Is Hard on Average for Regular Resolution”, Proceedings of the 50th ACM Symposium on Theory of Computing (Los Angeles, CA, USA, June 2018), ACM Press, 2018, 866-877
72. Yuan Li, Alexander Razborov, Benjamin Rossman, “On the $AC^0$ Complexity of Subgraph Isomorphism”, SIAM Journal on Computing, 46:3 (2017), 936–971  mathnet  crossref  isi  scopus
73. A. Razborov, “Flag algebras: an interim report”, Mathematics of Paul Erdős II, Springer, 2013, 207–232  crossref
74. O. Beyersdorff, N. Galesi, M. Lauria, A. A. Razborov, “Parameterized bounded-depth Frege is not optimal”, ACM Transactions on Computation Theory, 4:3 (2012), 7 , 16 pp.  mathnet  crossref  zmath  scopus (cited: 10)
75. A. A. Razborov, “A simple proof of Bazzi's theorem”, ACM Transactions on Computation Theory (TOCT), 1:1 (2009), 3 , 5 pp.
76. A. A. Razborov, “The ${\mathsf P}\stackrel{?}{=}{\mathsf NP}$-problem: a view from the 1990s”, Mathematical events of the twentieth century, Springer, Berlin, 2006, 331–346  crossref  mathscinet  zmath
77. A. A. Razborov, “Foundations of computational complexity theory”, Surveys in modern mathematics, London Math. Soc. Lecture Note Ser., 321, Cambridge Univ. Press, Cambridge, 2005, 186–202  mathscinet
78. A. Razborov, “Feasible Proofs and Computations: Partnership and Fusion”, Automata, Languages and Programming, 31st International Colloquium, ICALP 2004 (Turku, Finland, July 12–16, 2004), Lecture Notes in Computer Science, 3142, Springer, 2004, 8–14  crossref  zmath  scopus
79. A. Razborov, “Propositional proof complexity”, J. ACM, 50:1 (2003), 80–82 (electronic)  crossref  mathscinet  isi  scopus
80. М. В. Алехнович, А. А. Разборов, “Нижние оценки для полиномиального исчисления в случае идеалов, отличных от биномиальных”, Докл. АН СССР, 380:3 (2001), 295–297  mathnet  mathscinet  zmath; M. V. Alekhnovich, A. A. Razborov, “Lower bounds for polynomial calculus in the case of nonbinomial ideals”, Dokl. Math., 64:2 (2001), 177–179  mathscinet  zmath  isi  scopus
81. A. Razborov, Improved Resolution Lower Bounds for the Weak Pigeonhole Principle, Electronic Colloquium on Computational Complexity, 2001
82. А. А. Разборов, “О сложности вычислений”, Труды математического центра им. Н. И. Лобачевского, Изд-во «УНИПРЕСС», Казань, 1998, 8–27  mathscinet
83. A. A. Razborov, “On small size approximation models”, The mathematics of Paul Erdős, I, Algorithms Combin., 13, Springer, Berlin, 1997, 385–392  crossref  mathscinet  zmath
84. A. Razborov, On Provably Disjoint NP-pairs, BRICS server, BRICS, Aarhus, Denmark, 1994
85. S. I. Adian, A. A. Razborov, N. N. Repin, “Upper and lower bounds for nilpotency classes of Lie algebras with Engel conditions”, Group theory (Singapore, 1987), de Gruyter, Berlin, 1989, 57–75  mathscinet
86. A. Razborov, “On the Method of Approximation”, Proceedings of the 21st Annual ACM Symposium on Theory of Computing, May 14-17, 1989, Seattle, Washigton, USA., ACM Press, 1989, 167-176
87. А. А. Разборов, Об устойчивых матрицах, МИАН, 1989 отсканированная версия с личного сайта
88. А. А. Разборов, О системах уравнений в свободных группах, канд. дисс., МИАН, Москва, 1987 отсканированная версия с личного сайта
89. D. G. Kendall, G. K. Batchelor, N. H. Bingham, W. K. Hayman, J. M. E. Hyland, G. G. Lorentz, H. K. Moffatt, W. Parry, A. A. Razborov, C. A. Robinson, P. Whittle, “Obituary: Andreĭ Nikolaevich Kolmogorov (1903–1987)”, Bull. London Math. Soc., 22:1 (1990), 31–100  crossref  mathscinet (cited: 4)  zmath  isi (cited: 13)
90. А. А. Разборов, “О сложности вычислений”, Матем. просв., 3, МЦНМО, М., 1999, 127–141  mathnet (цит.: 2)
91. А. А. Разборов, “What is a Flag Algebra?”, Notices Amer. Math. Soc., 60:10 (2013), 1324–1327  crossref  mathscinet
92. А. А. Разборов, Коммуникационная сложность, МЦНМО, 2012 с сайта МЦНМО
93. Л. Д. Беклемишев, В. М. Бухштабер, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, А. А. Разборов, А. Л. Семëнов, “Сергей Иванович Адян (к восьмидесятилетию со дня рождения)”, УМН, 66:1(397) (2011), 199–200  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; L. D. Beklemishev, V. M. Buchstaber, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, A. A. Razborov, A. L. Semenov, “Sergei Ivanovich Adian (on his eightieth birthday)”, Russian Math. Surveys, 66:1 (2011), 197–198  crossref  mathscinet  zmath  adsnasa  isi
94. A. Borodin, T. Pitassi, A. Razborov, “Special Issue In Memory of Misha Alekhnovich. Foreword”, Computational Complexity, 20:4 (2011), 579–590  crossref  mathscinet  zmath  isi  elib  scopus
95. S. Artemov, V. Diekert, A. Razborov, “Preface”, Symposium on Computer Science (Moscow, June 7–12, 2008), Theory Comput. Syst., 46, no. 4, 2010, 619  crossref  mathscinet  isi  scopus
96. Л. Д. Беклемишев, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, М. Р. Пентус, А. А. Разборов, А. Л. Семëнов, В. А. Успенский, “Сергей Иванович Адян (к 75-летию со дня рождения)”, УМН, 61:3(369) (2006), 179–191  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; L. D. Beklemishev, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, M. R. Pentus, A. A. Razborov, A. L. Semenov, V. A. Uspenskii, “Sergei Ivanovich Adian (on his 75th birthday)”, Russian Math. Surveys, 61:3 (2006), 575–588  crossref  mathscinet  zmath  adsnasa  isi
97. А. А. Разборов, “О научном вкладе Б. А. Субботовской”, Матем. просв., 9, Изд-во МЦНМО, М., 2005, 12–15  mathnet
98. А. Разборов, “Theoretical Computer Science: взгляд математика”, Компьютерра, 2001, № 2 электронный вариант
99. М. М. Арсланов, А. А. Разборов, “Международная школа-конференция “Теория рекурсий и теория сложности” (WRTCT'97)”, УМН, 52:6(318) (1997), 213–214  mathnet  crossref
100. Christos H. Papadimitriou, Oded Goldreich, Avi Wigderson, Alexander A. Razborov, Michael Sipser, “The future of computational complexity theory: part I.”, SIGACT News, 27:3 (1996), 6-12  crossref

Доклады и лекции в базе данных Math-Net.Ru
1. Полные подграфы в случайных графах и регулярные резолюции
А. А. Разборов
Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
24–25 декабря 2018 г.
2. Арифметическая комбинаторика. Занятие 3
А. А. Разборов
Летняя школа «Современная математика», посвященная памяти Виталия Арнольда, 2017
22 июля 2017 г. 17:15   
3. Арифметическая комбинаторика. Занятие 2
А. А. Разборов
Летняя школа «Современная математика», посвященная памяти Виталия Арнольда, 2017
21 июля 2017 г. 15:30   
4. Арифметическая комбинаторика. Лекция 1
А. А. Разборов
Летняя школа «Современная математика», посвященная памяти Виталия Арнольда, 2017
20 июля 2017 г. 15:30   
5. О невозможности одновременной оптимизации различных мер сложности пропозициональных доказательств
А. А. Разборов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
13 декабря 2016 г. 18:30
6. Теория сложности док­азательств
А. А. Разборов
Математическая логика, алгебра и вычислимость: двухдневная конференция, посвященная 85-летию С. И. Адяна
18 июля 2016 г. 15:50   
7. Непрерывная комбинаторика
А. А. Разборов
Узлы и теория представлений
16 июня 2016 г. 17:00
8. Теория сложности доказательств
А. А. Разборов
Коллоквиум Факультета компьютерных наук НИУ ВШЭ
14 июня 2016 г. 18:10
9. Непрерывная комбинаторика
А. А. Разборов
Общеинститутский семинар «Коллоквиум МИАН»
25 декабря 2015 г. 16:00   
10. Сложность доказательств. Занятие 3
А. А. Разборов
Летняя школа «Современная математика», 2015
28 июля 2015 г. 11:15   
11. Сложность доказательств. Занятие 2
А. А. Разборов
Летняя школа «Современная математика», 2015
27 июля 2015 г. 09:30   
12. Сложность доказательств. Занятие 1
А. А. Разборов
Летняя школа «Современная математика», 2015
26 июля 2015 г. 15:30   
13. Непрерывная комбинаторика III
А. А. Разборов
Летняя математическая школа «Алгебра и геометрия», 2014
28 июля 2014 г. 09:30   
14. Непрерывная комбинаторика II
А. А. Разборов
Летняя математическая школа «Алгебра и геометрия», 2014
27 июля 2014 г. 11:30   
15. Непрерывная комбинаторика I
А. А. Разборов
Летняя математическая школа «Алгебра и геометрия», 2014
26 июля 2014 г. 16:30   
16. Непрерывная комбинаторика
А. А. Разборов
Семинар «Глобус» (записи с 2011 года)
26 декабря 2013 г. 15:40   
17. Непрерывная комбинаторика
А. А. Разборов
Межкафедральный семинар МФТИ по дискретной математике
18 декабря 2013 г. 18:30
18. Непрерывная комбинаторика. Лекция 3
А. А. Разборов
Летняя школа «Современная математика», 2013
25 июля 2013 г. 12:45   
19. Непрерывная комбинаторика. Лекция 2
А. А. Разборов
Летняя школа «Современная математика», 2013
24 июля 2013 г. 15:30   
20. Непрерывная комбинаторика. Лекция 1
А. А. Разборов
Летняя школа «Современная математика», 2013
23 июля 2013 г. 15:30   
21. О приближении булевых функций вещественными полиномами малой степени
А. А. Разборов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
11 декабря 2012 г. 18:30
22. Экстремальная комбинаторика. Лекция 2
А. А. Разборов
Летняя школа «Современная математика», 2012
26 июля 2012 г. 11:15   
23. Экстремальная комбинаторика. Лекция 1
А. А. Разборов
Летняя школа «Современная математика», 2012
25 июля 2012 г. 09:30   
24. Алгебры флагов
А. А. Разборов
Заседания Санкт-Петербургского математического общества
27 декабря 2011 г. 18:00
25. Теория сложности вычислений. Лекция 3
А. А. Разборов
Летняя школа «Современная математика», 2011
25 июля 2011 г. 12:45   
26. Теория сложности вычислений. Лекция 2
А. А. Разборов
Летняя школа «Современная математика», 2011
24 июля 2011 г. 12:45   
27. Теория сложности вычислений. Лекция 1
А. А. Разборов
Летняя школа «Современная математика», 2011
23 июля 2011 г. 09:30   
28. Алгебраическая сложность. Лекция 2
А. А. Разборов
Летняя школа «Современная математика», 2010
24 июля 2010 г. 09:30   
29. Алгебраическая сложность. Лекция 1
А. А. Разборов
Летняя школа «Современная математика», 2010
23 июля 2010 г. 15:30   
30. Алгебры флагов
А. А. Разборов
Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика»
17 декабря 2009 г. 10:30   
31. Коммуникационная сложность. Лекция 2
А. А. Разборов
Летняя школа «Современная математика», 2009
27 июля 2009 г. 09:30   
32. Коммуникационная сложность. Лекция 1
А. А. Разборов
Летняя школа «Современная математика», 2009
26 июля 2009 г. 15:30   
33. Плотность числа треугольников в графах с известной плотностью рёбер
А. А. Разборов
Семинар отдела дискретной математики МИАН
2 сентября 2008 г. 16:00
34. Обратные задачи арифметической комбинаторики. Лекция вторая
А. А. Разборов
Летняя школа «Современная математика», 2007
29 июля 2007 г. 09:30   
35. Обратные задачи арифметической комбинаторики. Лекция первая
А. А. Разборов
Летняя школа «Современная математика», 2007
28 июля 2007 г. 15:45   
36. Proof Complexity of pigeonhole principles
A. A. Razborov
International Workshop on Logic and Complexity in Computer Science (LCCS'2001)
5 сентября 2001 г. 09:00   

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018