Sciweavers

ICLA
2009
Springer
13 years 5 months ago
Connection Matrices for MSOL-Definable Structural Invariants
Abstract. Connection matrices of graph parameters were first introduced by M. Freedman, L. Lov
Johann A. Makowsky
ANTS
1998
Springer
93views Algorithms» more  ANTS 1998»
13 years 11 months ago
Evaluation of Linear Relations between Vectors of a Lattice in Euclidean Space
We prove that to find a nontrivial integer linear relation between vectors of a lattice L IRn , whose euclidean length is at most M, one needs O n5+ (ln Mn/)1+ binary operations f...
Igor A. Semaev