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

Публикаций: 99 (87)
в MathSciNet: 80 (74)
в zbMATH: 64 (60)
в Web of Science: 59 (54)
в Scopus: 56 (54)
Цитированных статей: 69
Ссылок в Math-Net.Ru: 167
Ссылок в MathSciNet: 1020
Ссылок в Web of Science: 1397
Ссылок в Scopus: 1740
Лекций и докладов: 35

Статистика просмотров:
Эта страница:6142
Страницы публикаций:5755
Полные тексты:1677
Списки литературы:321
член-корреспондент РАН
доктор физико-математических наук (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; 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; 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
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=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

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



   2018
1. Alexander Razborov, “On Space and Depth in Resolution”, Comput. Complexity, 2018, 1–49 (Published online)  mathnet  crossref  scopus

   2017
2. Alexander Razborov, “On the width of semi-algebraic proofs and algorithms”, Mathematics of Operation Research, 42:4 (2017), 1106–1134  mathnet  crossref  isi  scopus
3. 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: 1)  scopus (cited: 2)
4. 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  scopus (cited: 1)
5. 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

   2016
6. 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: 1)  elib  scopus (cited: 6)

   2015
7. 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: 3)  elib  scopus (cited: 5)

   2014
8. А. А. Разборов, “О $(3,4)$-проблеме Турана с запрещенными подграфами”, Матем. заметки, 95:2 (2014), 271–281 , arXiv: 1210.4605  mathnet (цит.: 1)  crossref  mathscinet  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: 1)  elib (cited: 1)  scopus (cited: 1)
9. 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)

   2013
10. 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: 17)  elib (cited: 11)  scopus (cited: 23)
11. 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: 7)  elib (cited: 3)  scopus (cited: 7)
12. E. Viola, A. Razborov, “Real advantage”, ACM Trans. Comput. Theory, 5:4 (2013), 17 , 8 pp.  mathnet  crossref  mathscinet (cited: 1)  zmath  scopus (cited: 2)
13. A. Razborov, “Flag algebras: an interim report”, Mathematics of Paul Erdős II, Springer, 2013, 207–232  crossref
14. А. А. Разборов, “What is a Flag Algebra?”, Notices Amer. Math. Soc., 60:10 (2013), 1324–1327  crossref  mathscinet

   2012
15. 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: 8)
16. 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: 8)  elib (cited: 8)  scopus (cited: 11)
17. А. А. Разборов, Коммуникационная сложность, МЦНМО, 2012 с сайта МЦНМО

   2011
18. 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)
19. А. А. Разборов, “Об интерпретации Фон-Дер-Флаасса экстремальных примеров для $(3,4)$-проблемы Турана”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 269–290  mathnet (цит.: 5)  mathscinet (цит.: 7)  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)
20. 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)
21. 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: 5)
22. Л. Д. Беклемишев, В. М. Бухштабер, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, А. А. Разборов, А. Л. Семëнов, “Сергей Иванович Адян (к восьмидесятилетию со дня рождения)”, УМН, 66:1(397) (2011), 199–200  mathnet  crossref  mathscinet  zmath  adsnasa  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
23. 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

   2010
24. 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: 33)  elib (cited: 31)  scopus (cited: 37)
25. 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: 3)
26. 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: 15)  elib (cited: 16)  scopus (cited: 24)
27. 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: 13)  scopus (cited: 17)
28. 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

   2009
29. A. A. Razborov, “A simple proof of Bazzi's theorem”, ACM Transactions on Computation Theory (TOCT), 1:1 (2009), 3 , 5 pp.

   2008
30. 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: 18)  elib (cited: 9)  scopus (cited: 22)
31. 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: 60)  elib (cited: 48)  scopus (cited: 66)

   2007
32. 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
33. A. A. Razborov, “Flag algebras”, J. Symbolic Logic, 72:4 (2007), 1239–1282  crossref  mathscinet (cited: 62)  zmath  isi (cited: 66)  elib (cited: 62)  scopus (cited: 73)

   2006
34. 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: 41)  elib (cited: 62)  scopus (cited: 71)
35. 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
36. Л. Д. Беклемишев, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, М. Р. Пентус, А. А. Разборов, А. Л. Семëнов, В. А. Успенский, “Сергей Иванович Адян (к 75-летию со дня рождения)”, УМН, 61:3(369) (2006), 179–191  mathnet  crossref  mathscinet  zmath  adsnasa  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

   2005
37. 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
38. A. A. Razborov, “Guessing more secrets via list decoding”, Internet Math., 2:1 (2005), 21–30  crossref  mathscinet (cited: 1)  zmath
39. А. А. Разборов, “О научном вкладе Б. А. Субботовской”, Матем. просв., 9, Изд-во МЦНМО, М., 2005, 12–15  mathnet

   2004
40. 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: 25)  scopus (cited: 29)
41. A. A. Razborov, “An upper bound on the threshold quantum decoherence rate”, Quantum Inf. Comput., 4:3 (2004), 222–228  mathscinet  zmath  isi (cited: 9)  elib (cited: 11)  scopus (cited: 11)
42. 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: 11)  elib (cited: 14)  scopus (cited: 18)
43. 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

   2003
44. A. Razborov, “Propositional proof complexity”, J. ACM, 50:1 (2003), 80–82 (electronic)  crossref  mathscinet  isi  scopus
45. 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: 16)
46. А. А. Разборов, “О квантовой коммуникационной сложности симметрических предикатов”, Изв. РАН. Сер. матем., 67:1 (2003), 159–176  mathnet (цит.: 49)  crossref  mathscinet (цит.: 34)  zmath; 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: 53)
47. М. В. Алехнович, А. А. Разборов, “Нижние оценки для полиномиального исчисления в случае идеалов, отличных от биномиальных”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Тр. МИАН, 242, Наука, М., 2003, 23–43  mathnet (цит.: 18)  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

   2002
48. 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
49. 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: 2)  elib (cited: 5)  scopus (cited: 6)
50. 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: 49)  elib (cited: 55)  scopus (cited: 64)

   2001
51. М. В. Алехнович, А. А. Разборов, “Нижние оценки для полиномиального исчисления в случае идеалов, отличных от биномиальных”, Докл. АН СССР, 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
52. A. Razborov, Improved Resolution Lower Bounds for the Weak Pigeonhole Principle, Electronic Colloquium on Computational Complexity, 2001
53. А. Разборов, “Theoretical Computer Science: взгляд математика”, Компьютерра, 2001, № 2 электронный вариант

   2000
54. 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: 37)  elib (cited: 41)  scopus (cited: 43)

   1999
55. 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
56. 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)
57. А. А. Разборов, “О сложности вычислений”, Матем. просв., 3, МЦНМО, М., 1999, 127–141  mathnet (цит.: 2)

   1998
58. 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: 62)
59. А. А. Разборов, “О сложности вычислений”, Труды математического центра им. Н. И. Лобачевского, Изд-во «УНИПРЕСС», Казань, 1998, 8–27  mathscinet
60. 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)
61. Б. С. Кашин, А. А. Разборов, “Новые нижние оценки устойчивости матриц Адамара”, Матем. заметки, 63:4 (1998), 535–540  mathnet (цит.: 22)  crossref  mathscinet (цит.: 14)  zmath; 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)

   1997
62. A. A. Razborov, S. Rudich, “Natural proofs”, J. Comput. System Sci., 55:1 (1997), 24–35  crossref  mathscinet (cited: 77)  zmath  isi (cited: 161)  scopus (cited: 194)
63. 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
64. М. М. Арсланов, А. А. Разборов, “Международная школа-конференция “Теория рекурсий и теория сложности” (WRTCT'97)”, УМН, 52:6(318) (1997), 213–214  mathnet  crossref

   1996
65. 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
66. 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: 20)  elib (cited: 38)  scopus (cited: 40)
67. 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

   1995
68. 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)
69. 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
70. 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)
71. 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; 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: 11)

   1994
72. A. Razborov, On Provably Disjoint NP-pairs, BRICS server, BRICS, Aarhus, Denmark, 1994

   1993
73. 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
74. 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
75. 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
76. 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: 89)
77. 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: 39)

   1992
78. 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: 4)
79. 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: 90)
80. 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)
81. A. A. Razborov, “On the distributional complexity of disjointness”, Theoret. Comput. Sci., 106:2 (1992), 385–390  crossref  mathscinet (cited: 60)  zmath  isi (cited: 139)  scopus (cited: 200)
82. 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: 16)  scopus (cited: 18)

   1991
83. 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: 22)
84. 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: 23)  elib (cited: 7)  scopus (cited: 30)

   1990
85. 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: 47)  elib (cited: 10)  scopus (cited: 53)
86. А. А. Разборов, “Нижние оценки сложности реализации симметрических булевых функций контактно-вентильными схемами”, Матем. заметки, 48:6 (1990), 79–90  mathnet (цит.: 4)  mathscinet (цит.: 4)  zmath; 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)
87. 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)

   1989
88. 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
89. 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
90. А. А. Разборов, Об устойчивых матрицах, МИАН, 1989 отсканированная версия с личного сайта

   1988
91. А. А. Разборов, “Формулы ограниченной глубины в базисе $\{&,\oplus\}$ и некоторые комбинаторные задачи”, Теория сложности и прикладная математическая логика, Проблемы кибернетики, 134, 1988, 149–166  mathscinet (цит.: 8)  zmath

   1987
92. 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)
93. А. А. Разборов, “Нижние оценки размера схем ограниченной глубины в полном базисе, содержащем функцию логического сложения”, Матем. заметки, 41:4 (1987), 598–607  mathnet (цит.: 4)  mathscinet (цит.: 52)  zmath; 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: 167)  elib (cited: 28)  scopus (cited: 190)
94. С. И. Адян, А. А. Разборов, “Периодические группы и алгебры Ли”, УМН, 42:2(254) (1987), 3–68  mathnet (цит.: 4)  mathscinet (цит.: 4)  zmath  adsnasa; 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)
95. А. А. Разборов, О системах уравнений в свободных группах, канд. дисс., МИАН, Москва, 1987 отсканированная версия с личного сайта

   1986
96. А. А. Разборов, “Нижние оценки размера схем ограниченной глубины в базисе $\{&,\vee,\oplus\}$”, УМН, 41:4(250) (1986), 219–220  mathnet  mathscinet (цит.: 8)  zmath  adsnasa; 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)

   1985
97. А. А. Разборов, “Нижние оценки монотонной сложности некоторых булевых функций”, Докл. АН СССР, 281:4 (1985), 798–801  mathnet (цит.: 7)  mathscinet (цит.: 49)  zmath  isi (цит.: 51); A. A. Razborov, “Lower bounds on the monotone complexity of some Boolean functions”, Soviet Math. Doklady, 31 (1985), 354–357  mathscinet  zmath  isi (cited: 51)
98. А. А. Разборов, “Нижние оценки монотонной сложности логического перманента”, Матем. заметки, 37:6 (1985), 887–900  mathnet (цит.: 8)  mathscinet (цит.: 16)  zmath; A. A. Razborov, “Lower bounds on monotone complexity of the logical permanent”, Math. Notes, 37:6 (1985), 485–493  crossref  mathscinet  zmath  isi (cited: 33)  elib (cited: 4)  scopus (cited: 38)

   1984
99. А. А. Разборов, “О системах уравнений в свободной группе”, Изв. АН СССР. Сер. матем., 48:4 (1984), 779–832  mathnet (цит.: 28)  mathscinet (цит.: 15)  zmath  isi (цит.: 5); A. A. Razborov, “On systems of equations in a free group”, Math. USSR-Izv., 25:1 (1985), 115–162  crossref  mathscinet  zmath

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

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