Sciweavers

2069 search results - page 42 / 414
» Linear time algorithms for Clobber
Sort
View
ISAAC
1997
Springer
162views Algorithms» more  ISAAC 1997»
15 years 8 months ago
A Randomized Linear Work EREW PRAM Algorithm to Find a Minimum Spanning Forest
We present a randomized EREW PRAM algorithm to nd a minimum spanning forest in a weighted undirected graph. On an n-vertex graph the algorithm runs in o((logn)1+ ) expected time f...
Chung Keung Poon, Vijaya Ramachandran
AMAI
2006
Springer
15 years 3 months ago
Tableau-based automata construction for dynamic linear time temporal logic*
We present a tableau-based algorithm for obtaining a B
Laura Giordano, Alberto Martelli
SIAMJO
2000
116views more  SIAMJO 2000»
15 years 3 months ago
Computational Experience with an Interior Point Cutting Plane Algorithm
There has been a great deal of success in the last twenty years with the use of cutting plane algorithms to solve specialized integer programming problems. Generally, these algori...
John E. Mitchell
AAECC
2001
Springer
121views Algorithms» more  AAECC 2001»
15 years 8 months ago
Algorithms for Large Integer Matrix Problems
Abstract. New algorithms are described and analysed for solving various problems associated with a large integer matrix: computing the Hermite form, computing a kernel basis, and s...
Mark Giesbrecht, Michael J. Jacobson Jr., Arne Sto...
SIAMCOMP
2002
153views more  SIAMCOMP 2002»
15 years 3 months ago
A Decision Procedure for Unitary Linear Quantum Cellular Automata
Linear quantum cellular automata were introduced recently as one of the models of quantum computing. A basic postulate of quantum mechanics imposes a strong constraint on any quan...
Christoph Dürr, Miklos Santha