Sciweavers

1380 search results - page 49 / 276
» A General Polynomial Sieve
Sort
View
STACS
2010
Springer
14 years 3 months ago
The k-in-a-path Problem for Claw-free Graphs
Testing whether there is an induced path in a graph spanning k given vertices is already NP-complete in general graphs when k = 3. We show how to solve this problem in polynomial t...
Jirí Fiala, Marcin Kaminski, Bernard Lidick...
ISSAC
2004
Springer
99views Mathematics» more  ISSAC 2004»
14 years 2 months ago
Inversion of parameterized hypersurfaces by means of subresultants
We present a subresultant-based algorithm for deciding if the parametrization of a toric hypersurface is invertible or not, and for computing the inverse of the parametrization in...
Laurent Busé, Carlos D'Andrea
CORR
2010
Springer
162views Education» more  CORR 2010»
13 years 5 months ago
Cross-Composition: A New Technique for Kernelization Lower Bounds
We introduce a new technique for proving kernelization lower bounds, called cross-composition. A classical problem L cross-composes into a parameterized problem Q if an instance o...
Hans L. Bodlaender, Bart M. P. Jansen, Stefan Krat...
ICML
2004
IEEE
14 years 9 months ago
Nonparametric classification with polynomial MPMC cascades
A new class of nonparametric algorithms for high-dimensional binary classification is proposed using cascades of low dimensional polynomial structures. Construction of polynomial ...
Sander M. Bohte, Markus Breitenbach, Gregory Z. Gr...
CADE
2009
Springer
14 years 9 months ago
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
Albert Rubio, Cristina Borralleras, Enric Rodr&iac...