FOCS
1992
IEEE
13 years 11 months ago
1992
IEEE
FOCS
1992
IEEE
13 years 11 months ago
1992
IEEE
FOCS
1992
IEEE
13 years 11 months ago
1992
IEEE
The problem of evaluating the sign of the determinant of a small matrix arises in many geometric algorithms. Given an n
FOCS
1992
IEEE
13 years 11 months ago
1992
IEEE
We give a new characterization of NP: the class NP contains exactly those languages L for which membership proofs (a proof that an input x is in L) can be verified probabilisticall...
FOCS
1992
IEEE
13 years 11 months ago
1992
IEEE
FOCS
1992
IEEE
13 years 11 months ago
1992
IEEE
Abstract Summary of results The subcubic (O(n ) for < 3) algorithms to multiply Boolean matrices do not provide the witnesses; namely, they compute C = AB but if Cij = 1 they d...
FOCS
1992
IEEE
13 years 11 months ago
1992
IEEE
FOCS
1992
IEEE
13 years 11 months ago
1992
IEEE
FOCS
1992
IEEE
13 years 11 months ago
1992
IEEE
We describe dynamic data structures for half-space range reporting and for maintaining the minima of a decomposable function. Using these data structures, we obtain efficient dyna...