FOCS
1992
IEEE
13 years 9 months ago
1992
IEEE
FOCS
1992
IEEE
13 years 9 months ago
1992
IEEE
FOCS
1992
IEEE
13 years 9 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 9 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 9 months ago
1992
IEEE
FOCS
1992
IEEE
13 years 9 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 9 months ago
1992
IEEE
FOCS
1992
IEEE
13 years 9 months ago
1992
IEEE
FOCS
1992
IEEE
13 years 9 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...