RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив
2004, том 316
| Общая информация | Содержание |


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


Complexity bound of absolute factoring of parametric polynomials
A. Ayad 		5
Некоторые свойства независимых относительно минимума семейств и групп перестановок
В. Баргачев 		30
Computing the dimension of a semi-algebraic set
S. Basu, R. Pollack, M.-F. Roy 		42
О вершинной связности отношения ассоциативной схемы
С. А. Евдокимов, И. Н. Пономаренко 		55
Towards Applying Computational Complexity to Foundations of Physics
V. Kreinovich, A. M. Finkelstein 		63
Автоматические доказательства верхних оценок на время работы алгоритмов расщепления
А. С. Куликов, С. С. Федин 		111
Intuitionistic frege systems are polynomially equivalent
G. Mints, A. A. Kojevnikov 		129
Новый разрешимый хорновский фрагмент исчисления предикатов
В. П. Оревков 		147
On theoretical and practical acceleration of randomized computation of the determinant of an integer matrix
V. Ya. Pan 		163
Circuit lower bounds and linear codes
R. Paturi, P. Pudlák 		188
On infinite real trace rational languages of maximum topological complexity
O. Finkel, J.-P. Ressayre, P. Simonnet 		205

© МИАН, 2025