Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Подольский Владимир Владимирович

Публикаций: 49 (47)
в MathSciNet: 34 (32)
в zbMATH: 23 (22)
в Web of Science: 31 (30)
в Scopus: 39 (39)
Цитированных статей: 27
Цитирований: 198
Лекций и докладов: 44

Статистика просмотров:
Эта страница:8128
Страницы публикаций:5773
Полные тексты:1050
Списки литературы:272
доктор физико-математических наук (2021)
E-mail:
Сайт: https://www.mi.ras.ru/~podolskii

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

Теория сложности вычислений.


https://www.mathnet.ru/rus/person47204
https://scholar.google.com/citations?user=56S9XEsAAAAJ&hl=ru
https://zbmath.org/authors/ai:podolskii.vladimir-v
https://mathscinet.ams.org/mathscinet/MRAuthorID/864796
https://www.webofscience.com/wos/author/record/K-1430-2015
https://www.scopus.com/authid/detail.url?authorId=23092161300

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


Цитирования (Crossref Cited-By Service + Math-Net.Ru)

   2023
1. Natalia Dobrokhotova-Maikova, Alexander Kozachinskiy, Vladimir Podolskii, “Constant-Depth Sorting Networks”, 14th Innovations in Theoretical Computer Science Conference (ITCS 2023), Leibniz Internat. Proc. in Inform., 251, 2023, 43 , 19 pp.  mathnet  crossref  mathscinet;

   2022
2. Anastasiya Chistopolskaya, Vladimir V. Podolskii, “On the Decision Tree Complexity of Threshold Functions”, Theory Comput. Syst., 66 (2022), 1074–1098  mathnet  crossref  mathscinet; 1
3. Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir Podolskii, Michael Zakharyaschev, “A tetrachotomy of ontology-mediated queries with a covering axiom”, Artif. Intell., 309 (2022), 103738 , 46 pp.  mathnet  crossref  mathscinet; 1
4. Vladimir Podolskii, Nikolay V. Proskurin, “Polynomial threshold functions for decision lists”, 33rd International Symposium on Algorithms and Computation (ISAAC 2022), Leibniz Internat. Proc. in Inform., 248, 2022, 52:1–52:12  mathnet  crossref  mathscinet;
5. Alexander Kozachinskiy, Vladimir Podolskii, “Multiparty Karchmer–Wigderson games and threshold circuits”, Theory Comput., 18 (2022), 15 , 33 pp.  mathnet  crossref  mathscinet  isi;

   2021
6. Л. Бабаи, К. А. Хансен, В. В. Подольский, Сяомин Сюн, “Веса точных пороговых функций”, Изв. РАН. Сер. матем., 85:6 (2021), 5–26  mathnet  crossref  mathscinet  zmath  adsnasa  isi; L. Babai, K. A. Hansen, V. V. Podolskii, Xiaoming Sun, “Weights of exact threshold functions”, Izv. Math., 85:6 (2021), 1039–1059  crossref  mathscinet  zmath  isi  scopus
7. В. С. Атабекян, Л. Д. Беклемишев, В. М. Бухштабер, С. С. Гончаров, В. С. Губа, Ю. Л. Ершов, В. В. Козлов, И. Г. Лысёнок, С. П. Новиков, Ю. С. Осипов, М. Р. Пентус, В. В. Подольский, А. А. Разборов, В. А. Садовничий, А. Л. Семенов, А. Л. Таламбуца, Д. В. Трещев, Л. Н. Шеврин, “Сергей Иванович Адян (некролог)”, УМН, 76:1(457) (2021), 191–194  mathnet  crossref  mathscinet  zmath  adsnasa  isi; V. S. Atabekyan, L. D. Beklemishev, V. M. Buchstaber, S. S. Goncharov, V. S. Guba, Yu. L. Ershov, V. V. Kozlov, I. G. Lysenok, S. P. Novikov, Yu. S. Osipov, M. R. Pentus, V. V. Podolskii, A. A. Razborov, V. A. Sadovnichii, A. L. Semenov, A. L. Talambutsa, D. V. Treschev, L. N. Shevrin, “Sergei Ivanovich Adian (obituary)”, Russian Math. Surveys, 76:1 (2021), 177–181  crossref  mathscinet  zmath  isi

   2020
8. Fedor V. Fomin, Vladimir V. Podolskii, “CSR 2018 Special Issue on TOCS”, Theory Comput. Syst., 64 (2020), 1–2  mathnet  crossref  mathscinet  zmath  isi  scopus;
9. Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir Podolskii, Michael Zakharyaschev, “A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom”, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, IJCAI Organization, 2020, 403–413  crossref  isi 1
10. Alexander Kozachinskiy, Vladimir Podolski, “Multiparty Karchmer – Wigderson Games and Threshold Circuits”, 35th Computational Complexity Conference, CCC 2020, July 28-31, 2020, Saarbrücken, Germany, Leibniz Internat. Proc. in Inform., 169, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2020, 24 , 23 pp.  mathnet  crossref  scopus;
11. Anastasiya Chistopolskaya, Vladimir V. Podolskii, “On the Decision Tree Complexity of Threshold Functions”, Computer Science - Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020, Lecture Notes in Comput. Sci., 12159, Springer, Cham, 2020, 198–210  mathnet  crossref  scopus;
12. Dima Grigoriev, Vladimir V. Podolskii, “Tropical Combinatorial Nullstellensatz and sparse polynomials”, Found. Comput. Math., 20 (2020), 753–781  mathnet  crossref  mathscinet  isi  scopus; 4
13. Vladimir V. Podolskii, Alexander A. Sherstov, “Inner Product and Set Disjointness: Beyond Logarithmically Many Parties”, ACM Trans. Comput. Theory, 12:4 (2020), 26 , 28 pp.  mathnet  crossref  isi  scopus;

   2019
14. Alexander S. Kulikov, Vladimir V. Podolskii, “Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates”, Theory Comput. Syst., 63:5 (2019), 956–986  mathnet  crossref  mathscinet  zmath  isi  scopus
15. A. S. Kulikov, I. Mikhailin, A. Mokhov, V. V. Podolskii, “Complexity of Linear Operators”, 30th International Symposium on Algorithms and Computation (ISAAC 2019), Shanghai University of Finance and Economics, in ShanghaiShanghai; China; 8 December 2019 – 11 December 2019, Leibniz Internat. Proc. in Inform., 149, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019, 17, 1–12  mathnet  crossref  scopus;

   2018
16. Dima Grigoriev, Vladimir V. Podolskii, “Tropical effective primary and dual nullstellensätze”, Discrete Comput. Geom., 59:3 (2018), 507–552  mathnet  crossref  mathscinet  isi  scopus 8
17. Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev, “Ontology-mediated queries: Combined complexity and succinctness of rewritings via circuit complexity”, Journal of the ACM, 65:5 (2018), 28 , 51 pp.  mathnet  crossref  mathscinet  zmath  isi  scopus 14
18. Fedor V. Fomin, Vladimir V. Podolskii (eds.), Computer Science - Theory and Applications - 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings, Lecture Notes in Computer Science 10846, Springer, 2018 https://link.springer.com/book/10.1007  mathscinet

   2017
19. Vladimir V. Podolskii, “Bounds in Ontology-Based Data Access via Circuit Complexity”, Theory Comput. Syst., 61:2 (2017), 464–493  mathnet  crossref  mathscinet  isi  elib  scopus 1
20. M. Bienvenu, S. Kikot, R. Kontchakov, V. V. Podolskii, V. Ryzhikov, M. Zakharyaschev, “The complexity of ontology-based data access with OWL2QL and bounded treewidth queries”, Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Volume Part F127745, 9 May 2017 (Chicago, United States, 14 May 2017 до 19 May 2017, Код 127745), 2017, 201–216  crossref  mathscinet  isi  scopus 5
21. O. A. Gerasimova, S. P. Kikot, V. V. Podolskii, M. Zakharyaschev, “More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom”, International Conference on Knowledge Engineering and the Semantic Web KESW 2017: Knowledge Engineering and Semantic Web, Commun. Comput. Inf. Sci., 786, Springer, 2017, 143–158  mathnet  crossref  mathscinet  elib  scopus 3
22. A. S. Kulikov, V. V. Podolskii, “Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates”, 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), Leibniz Internat. Proc. in Inform., 66, no. 49, 2017, 1–14  mathnet  crossref  isi  scopus
23. D. Yu. Grigor'ev, V. V. Podolskii, “Tropical Combinatorial Nullstellensatz and Fewnomials Testing”, International Symposium on Fundamentals of Computation Theory FCT 2017: Fundamentals of Computation Theory, Lecture Notes in Comput. Sci., 10472, Springer, 2017, 284–297  mathnet  crossref  mathscinet  isi  scopus 1
24. O. Gerasimova, S. Kikot, V. Podolskii, M. Zakharyaschev, “On the data complexity of ontology-mediated queries with a covering axiom”, Proceedings of the 30th International Workshop on Description Logics (Montpellier, France, 18 July 2017 - 21 July 2017), CEUR Workshop Proceedings, 1879, CEUR-WS, 2017, 39 , 12 pp.  mathnet  scopus

   2016
25. M. Bienvenu, S. Kikot, R. Kontchakov, V. Podolskii, M. Zakharyaschev, “Theoretically optimal datalog rewritings for OWL 2 QL ontology-mediated queries” (Cape Town, South Africa, 22 April 2016 – 25 April 2016), CEUR Workshop Proceedings, 1577, 2016 , arXiv: 1604.05258  mathnet  elib  scopus

   2015
26. K. A. Hansen, V. V. Podolskii, “Polynomial threshold functions and Boolean threshold circuits”, Inform. and Comput., 240 (2015), 56–73  mathnet  crossref  mathscinet  zmath  isi  elib  scopus 11
27. Dima Grigoriev, Vladimir V. Podolskii, “Complexity of tropical and min-plus linear prevarieties”, Comput. Complexity, 24:1 (2015), 31–64 http://www.mpim-bonn.mpg.de/preblob/5202, arXiv: 1204.4578  mathnet  crossref  mathscinet  zmath  isi  scopus 16
28. D. Grigoriev, V. V. Podolskii, “Tropical effective primary and dual Nullstellensätze”, 32nd International Symposium on Theoretical Aspects of Computer Science, LIPIcs. Leibniz Int. Proc. Inform., 30, Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, 2015, 379–391  mathnet  crossref  mathscinet  zmath  scopus
29. V. V. Podolskii, “Circuit complexity meets ontology-based data access”, 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13–17, 2015, Proceedings, Lecture Notes in Comput. Sci., 9139, 2015, 7–26 , arXiv: 1506.01296  mathnet  crossref  mathscinet  zmath  scopus 1
30. Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii, “Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results”, 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, 2015, 317–328  mathnet  crossref  isi  scopus 6

   2014
31. Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Thomas Schwentick, Michael Zakharyaschev, “The price of query rewriting in ontology-based data access”, Artificial Intelligence, 213 (2014), 42–59  mathnet  crossref  mathscinet  zmath  isi  elib  scopus 41
32. Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev, “On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Bounded Chase”, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), ACM Digital Library, 2014, 57:1–57:10 , arXiv: 1401.4420  zmath
33. M. Bienvenu, S. Kikot, V. Podolskii, “Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries”, Description Logics 2014, CEUR Workshop Proceedings, 1193, 2014, 45–57 http://ceur-ws.org/Vol-1193/paper_43.pdf  mathnet  scopus

   2013
34. V. V. Podolskii, “Lower bound on weights of large degree threshold functions”, Log. Methods Comput. Sci., 9:2 (2013), 13 , 17 pp.  mathnet  crossref  mathscinet  zmath  isi  elib  scopus 2
35. K. A. Hansen, V. V. Podolskii, “Polynomial threshold functions and Boolean threshold circuits”, Mathematical Foundations of Computer Science 2013, 38th International Symposium, MFCS 2013 (Klosterneuburg, Austria, August 26–30, 2013), Proceedings, Lecture Notes in Computer Science, 8087, Springer, Berlin–Heidelberg, 2013, 516–527 http://eccc.hpi-web.de/report/2013/021/  mathnet  crossref  mathscinet  zmath  isi  scopus 4
36. S. Kikot, R. Kontchakov, V. Podolskii, M. Zakharyaschev, “Query Rewriting over Shallow Ontologies”, Description Logics 2013, Informal Proceedings of the 26th International Workshop on Description Logics (Ulm, Germany, July 23–26, 2013), CEUR Workshop Proceedings, 1014, 2013, 316–327  mathnet  scopus
37. K. A. Hansen, R. Ibsen-Jensen, V. V. Podolskii, E. Tsigaridas, “Patience of matrix games”, Discrete Appl. Math., 161:16 (2013), 2440–2459  mathnet  crossref  mathscinet  zmath  isi  elib  scopus

   2012
38. V. V. Podolskii, “Exponential lower bound for bounded depth circuits with few threshold gates”, Inform. Process. Lett., 112:7 (2012), 267–271  mathnet  crossref  mathscinet  zmath  isi  elib  scopus 2
39. V. V. Podolskii, “Lower bound on weights of large degree threshold functions”, How the World Computes, Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012 (Cambridge, UK, June 18–23, 2012), Proceedings, Lecture Notes in Comput. Sci., 7318, Springer–Berlin–Heidelberg, 2012, 599–608 , arXiv: 1204.2652  mathnet  crossref  mathscinet  zmath  scopus 1
40. K. A. Hansen, R. Ibsen-Jensen, V. V. Podolskii, E. P. Tsigaridas, Patience of matrix games, 2012 , 32 pp., arXiv: 1206.1751
41. S. Kikot, R. Kontchakov, V. V. Podolskii, M. Zakharyaschev, “Exponential lower bounds and separation for query rewriting”, Automata, Languages, and Programming, 39th International Colloquium, ICALP 2012 (Warwick, UK, July 9–13, 2012), Proceedings, Part II, Lecture Notes in Comput. Sci., 7392, Springer Berlin Heidelberg, 2012, 263–274 , arXiv: 1202.4193  mathnet  crossref  mathscinet  zmath  isi  elib  scopus 20

   2011
42. В. В. Подольский, “Однородная по степени нижняя оценка на веса многочленов с заданной знаковой функцией”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 252–268  mathnet  mathscinet  isi  elib; Vladimir V. Podolskii, “Degree-uniform lower bound on the weights of polynomials with given sign function”, Proc. Steklov Inst. Math., 274 (2011), 231–246  crossref  mathscinet  zmath  isi  elib  scopus 1

   2010
43. В. В. Подольский, А. А. Шерстов, “Небольшое уменьшение степени многочлена с заданной знаковой функцией может экспоненциально увеличить его вес и длину”, Матем. заметки, 87:6 (2010), 885–899  mathnet  crossref  mathscinet  isi  elib; V. V. Podolskii, A. A. Sherstov, “A Small Decrease in the Degree of a Polynomial with a Given Sign Function Can Exponentially Increase Its Weight and Length”, Math. Notes, 87:6 (2010), 860–873  crossref  mathscinet  isi  elib  scopus 2
44. K. A. Hansen, V. V. Podolskii, “Exact threshold circuits”, Proc. of 25th Annual IEEE Conference on Computational Complexity (CCC), IEEE Computer Soc., Los Alamitos, CA, 2010, 270–279  crossref  mathscinet  isi  scopus 13
45. L. Babai, K. A. Hansen, V. Podolskii, Sun Xiaoming, “Weights of exact threshold functions”, Mathematical foundations of computer science 2010, Proc. of 35th International Symposium on Mathematical Foundations of Computer Science (MFCS) (Brno, Czech Republic, 2010), Lecture Notes in Comput. Sci., 6281, Springer, Berlin, 2010, 66–77  crossref  mathscinet  zmath  isi  scopus 11

   2009
46. В. В. Подольский, “Перцептроны с большим весом”, Пробл. передачи информ., 45:1 (2009), 51–59  mathnet  mathscinet  zmath  isi; V. V. Podolskii, “Perceptrons of large weight”, Problems Inform. Transmission, 45:1 (2009), 46–53  crossref  mathscinet  zmath  isi  elib  scopus 16
47. В. В. Подольский, А. А. Шерстов, “Уменьшение на единицу степени многочлена с заданной знаковой функцией может экспоненциально увеличить его вес и длину”, УМН, 64:5(389) (2009), 179–180  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; V. V. Podolskii, A. A. Sherstov, “Reducing by 1 the degree of a polynomial with fixed sign function can increase exponentially its weight and length”, Russian Math. Surveys, 64:5 (2009), 950–951  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus

   2008
48. V. V. Podolskii, “A uniform lower bound on weights of perceptrons”, Computer science—theory and applications, Lecture Notes in Comput. Sci., 5010, Springer, Berlin, 2008, 261–272  crossref  mathscinet  zmath  isi  scopus 10

   2007
49. V. V. Podolskii, “Perceptrons of large weight”, Computer science — theory and applications, Proceedings of the Second International Symposium on Computer Science in Russia, CSR 2007 (Ekaterinburg, Russia, 2007), Lecture Notes in Comput. Sci., 4649, 2007, 328–336  crossref  zmath  isi  scopus 2

Доклады и лекции в базе данных Math-Net.Ru
1. Majority circuits and sorting networks of small depth
Vladimir Podolskii
Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
26 октября 2022 г. 17:00   
2. Weights of polynomial threshold functions
V. V. Podolskii
Международная мини-конференция “Approximation and Matrix Complexity”
21 декабря 2021 г. 20:00   
3. Лекция 13. Введение в теорию сложности
В. В. Подольский
Введение в теорию сложности
6 декабря 2021 г. 10:00   
4. Лекция 12. Введение в теорию сложности
В. В. Подольский
Введение в теорию сложности
29 ноября 2021 г. 10:00   
5. Лекция 11. Введение в теорию сложности
В. В. Подольский
Введение в теорию сложности
22 ноября 2021 г. 10:00   
6. Лекция 10. Введение в теорию сложности
В. В. Подольский
Введение в теорию сложности
15 ноября 2021 г. 10:00   
7. Лекция 9. Введение в теорию сложности
В. В. Подольский
Введение в теорию сложности
8 ноября 2021 г. 10:00   
8. Лекция 8. Введение в теорию сложности
В. В. Подольский
Введение в теорию сложности
25 октября 2021 г. 10:00   
9. Лекция 7. Введение в теорию сложности
В. В. Подольский
Введение в теорию сложности
18 октября 2021 г. 10:00   
10. Лекция 6. Введение в теорию сложности
В. В. Подольский
Введение в теорию сложности
11 октября 2021 г. 10:00   
11. Лекция 5. Введение в теорию сложности
В. В. Подольский
Введение в теорию сложности
4 октября 2021 г. 10:00   
12. Лекция 4. Введение в теорию сложности
В. В. Подольский
Введение в теорию сложности
27 сентября 2021 г. 10:00   
13. Лекция 3. Введение в теорию сложности
В. В. Подольский
Введение в теорию сложности
20 сентября 2021 г. 10:00   
14. Лекция 2. Введение в теорию сложности
В. В. Подольский
Введение в теорию сложности
13 сентября 2021 г. 10:00   
15. Лекция 1. Введение в теорию сложности
В. В. Подольский
Введение в теорию сложности
6 сентября 2021 г. 10:00   
16. Макс-плюс многочлены и их корни
В. В. Подольский
Конференция международных математических центров мирового уровня
10 августа 2021 г. 11:00
17. Макс-плюс многочлены и их корни
В. В. Подольский
Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук
21 января 2021 г. 16:00   
18. Макс-плюс многочлены и их корни
В. В. Подольский
Научная сессия МИАН, посвященная подведению итогов 2020 года
25 ноября 2020 г. 11:00   
19. Занятие 7. NP-полнота следующих задач: NAE-3-SAT, 3-COL, SUBSET-SUM, CLIQUE, VERTEX-COVER
В. В. Подольский
Введение в теорию сложности
3 ноября 2020 г. 16:15
20. Занятие 6. Соотношение между классами P и P/poly. Задача CIRCUIT-SAT, ее NP-полнота. Задача 3-SAT, ее NP-полнота. Задача IND-SET, ее NP-полнота
В. В. Подольский
Введение в теорию сложности
27 октября 2020 г. 16:15
21. Занятие 5. Булевых схемы. Примеры: сложение, умножение, связность. Верхняя и нижняя оценки сложности вычисления булевых функций булевыми схемами
В. В. Подольский
Введение в теорию сложности
20 октября 2020 г. 16:15   
22. Занятие 4. Класс NP, примеры. Соотношение с классами P и PSPACE. Недетерминированные машины Тьюринга, второе определение класса NP, эквивалентность определений. Полиномиальные сводимости, их основные свойства. NP-трудность и NP-полнота, их основные свойства
В. В. Подольский
Введение в теорию сложности
13 октября 2020 г. 16:15   
23. Занятие 3. Теоремы об иерархии по времени и по памяти
В. В. Подольский
Введение в теорию сложности
6 октября 2020 г. 16:15
24. Занятие 2. Связь одноленточных и многоленточных машин Тьюринга. Универсальная машина Тьюринга. Вычисления с ограничением на время и память. Классы P, PSPACE, EXP. Примеры полиномиально вычислимых функций и полиномиально разрешимых языков
В. В. Подольский
Введение в теорию сложности
29 сентября 2020 г. 16:15   
25. Занятие 1. Машины Тьюринга, вычисление функций на машинах Тьюринга, лемма об очистке мусора, многоленточные машины Тьюринга
В. В. Подольский
Введение в теорию сложности
22 сентября 2020 г. 16:15   
26. Занятие 0. Устройство курса правила оценивания. Краткий обзор основ сложности вычислений. Классы с ограничением на память. Класс PSPACE, его свойства. Задача TQBF является PSPACE-полной. PSPACE=NPSPACE
В. В. Подольский
Введение в теорию сложности
15 сентября 2020 г. 16:15   
27. Макс-плюс многочлены и их корни
В. В. Подольский
Узлы и теория представлений
25 февраля 2020 г. 18:30
28. Сложность вычисления некоторых функций коммуникационными протоколами с большим числом участников
В. В. Подольский
Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
24 декабря 2018 г. 17:30   
29. Оценки сложности для баз данных, снабженных логическими теориями
В. В. Подольский
Конференция «Современная математика и ее приложения», посвященная подведению итогов реализации гранта РНФ № 14-50-00005
19 ноября 2018 г. 15:10   
30. Сложность вычисления некоторых функций коммуникационными протоколамис большим числом участников
В. В. Подольский
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
6 марта 2018 г. 18:30
31. О корнях многочленов в мин-плюс алгебре
В. В. Подольский
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
21 ноября 2017 г. 18:30
32. Ontology-based data access meets circuit complexity
V. V. Podolskii
Applied Mathematics Day
22 сентября 2017 г. 17:00   
33. Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates
В. В. Подольский
Межкафедральный семинар МФТИ по дискретной математике
23 марта 2017 г. 18:30
34. Polynomials in min-plus algebra and related algorithmic problems
В. В. Подольский
Математическая логика, алгебра и вычислимость: двухдневная конференция, посвященная 85-летию С. И. Адяна
19 июля 2016 г. 15:50   
35. Оценки длин преобразований запросов к снабженным логической теорией базам данных
В. В. Подольский
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
1 декабря 2015 г. 18:30
36. Оценки длин переформулировок запросов к снабженным логической теорией базам данных
В. В. Подольский
Научная сессия МИАН, посвященная подведению итогов 2015 года
11 ноября 2015 г. 11:45   
37. Мин-плюс многочлены и циклические игры
Владимир Подольский
Коллоквиум Факультета компьютерных наук НИУ ВШЭ
30 апреля 2015 г. 16:40   
38. Приближение булевых функций многочленами
В. В. Подольский
Общеинститутский семинар «Коллоквиум МИАН»
2 апреля 2015 г. 16:00   
39. Об одном аналоге известной теоремы Гильберта о нулях для многочленов в алгебраической системе $(\mathbb{R}, \min, +)$
В. В. Подольский
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
11 ноября 2014 г. 18:30
40. Пороговые элементы на множестве $\{1,2\}$ и пороговые схемы
В. В. Подольский
Колмогоровский семинар по сложности вычислений и сложности определений
1 апреля 2013 г. 16:45
41. Об аналоге теоремы Гильберта о нулях в алгебраической системе $(\mathbb{R}, \min, +)$
В. В. Подольский
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
26 марта 2013 г. 18:30
42. О реализации булевых функций знаковыми функциями целочисленных многочленов
В. В. Подольский
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
4 декабря 2012 г. 18:30
43. Об уравнениях в алгебраической системе $(\mathbb Z,\min, +)$
В. В. Подольский
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
15 мая 2012 г. 18:30
44. О некоторых классах пороговых булевых схем ограниченной глубины
В. В. Подольский
Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика»
18 декабря 2009 г. 16:00   

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