Sciweavers

1383 search results - page 107 / 277
» On the Complexity of the Interlace Polynomial
Sort
View
CHES
2005
Springer
83views Cryptology» more  CHES 2005»
15 years 12 months ago
Fast Truncated Multiplication for Cryptographic Applications
The Truncated Multiplication computes a truncated product, a contiguous subsequence of the digits of the product of 2 integers. A few truncated polynomial multiplication algorithms...
Laszlo Hars
FSTTCS
2005
Springer
15 years 12 months ago
Fixpoint Logics on Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey
COCO
1998
Springer
103views Algorithms» more  COCO 1998»
15 years 10 months ago
Nonrelativizing Separations
We show that MAEXP, the exponential time version of the Merlin-Arthur class, does not have polynomial size circuits. This significantly improves the previous known result due to K...
Harry Buhrman, Lance Fortnow, Thomas Thierauf
ESA
2006
Springer
112views Algorithms» more  ESA 2006»
15 years 10 months ago
Enumerating Spanning and Connected Subsets in Graphs and Matroids
We show that enumerating all minimal spanning and connected subsets of a given matroid is quasi-polynomially equivalent to the well-known hypergraph transversal problem, and thus ...
Leonid Khachiyan, Endre Boros, Konrad Borys, Khale...
DAGSTUHL
2006
15 years 7 months ago
A note on the size of Craig Interpolants
Mundici considered the question of whether the interpolant of two propositional formulas of the form F G can always have a short circuit description, and showed that if this is t...
Uwe Schöning, Jacobo Torán