Распознавание и проверка изоморфизма циклических турниров за полиномиальное время

И.Н. Пономаренко

Displaying similar documents to “Распознавание и проверка изоморфизма циклических турниров за полиномиальное время”

Поиск периодичностей и идентификация подслов в реальное время

А.О. Слисенко (1981)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О распознавании в реальное время отношения вхождения

Ю.В. Матиясевич (1971)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Finding the automorphism group of a circulant association scheme in polynomial time.

Ponomarenko, I.N. (2005)

Zapiski Nauchnykh Seminarov POMI

Similarity:

Две системы доказательства тавтологичности, основанные на методе расщеплений

Е.Я. Данцин (1981)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Упрощенное доказательство распознаваемости симметричности слов в реальное время на машинах Тьюринга

А.О. Слисенко (1977)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Однозначная (с точностью до ориентации) определяемость времени пространственной структурой множества событий.

Ю.Ф. Борисов (1987)

Sibirskij matematiceskij zurnal

Similarity:

Диаграммы Хегора и крашеные многогранники

М.Л. Старец (1976)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Полиномиальный алгоритм изоморфизма для графов, не стягиваемых на $K_{3 g}$

И.Н. Пономаренко (1984)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Распознавание совместности системы полиномиальных от экспоненты неравенств в субэкспоненциальное время

Н.Н. мл. Воробьев (1989)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Распознавание изоморфизма древовидных изображений за линейное время

А.Н. Григорьева (1984)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Вычисление нижней границы длин расписаний

Т.А. Тушкина (1983)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О распределении супремума приращений броуновского локального времени

А.Н. Бородин (1985)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Нижние оценки сложности для машинных моделей вычисления

А.П. Бельтюков (1982)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Остовной алгоритм построения потоков в БКВ

К.В. Шахбазян, Т.А. Тушкина, М.М. Лебединский (1987)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Алгоритм полиномиальной сложности для факторизации многочленов над локальными полями

А.Л. Чистов (1991)

Zapiski naucnych seminarov Leningradskogo

Similarity: