Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Naidenko, Vladimir"'
Autor:
Naidenko, Vladimir
Descriptive complexity theory is an important area in the study of computational complexity. In this direction, it is possible to describe combinatorial problems exclusively by logical methods, without resorting to the use of complicated algorithms.
Externí odkaz:
http://arxiv.org/abs/2012.07514
Autor:
Naidenko, Vladimir
Publikováno v:
Logic Journal of the IGPL (2014) 22 (6): 1075-1093
A new syntactic characterization of problems complete via Turing reductions is presented. General canonical forms are developed in order to define such problems. One of these forms allows us to define complete problems on ordered structures, and anot
Externí odkaz:
http://arxiv.org/abs/1312.4652
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Naidenko, Vladimir1
Publikováno v:
Logic Journal of the IGPL. Dec2014, Vol. 22 Issue 6, p1075-1093. 19p.
Autor:
Naidenko, Vladimir1 naidenko@im.bas-net.by
Publikováno v:
Central European Journal of Operations Research. Mar2009, Vol. 17 Issue 1, p55-63. 9p.
Autor:
Naidenko, Vladimir
Publikováno v:
Journal of Geometry; 2009, Vol. 93 Issue 1/2, p139-145, 7p, 1 Diagram