38 search results - page 5 / 8 » jal 2006 |
JAL
1998
13 years 7 months ago
1998
JAL
2002
13 years 7 months ago
2002
The number of comparisons Xn used by Quicksort to sort an array of n distinct numbers has mean
JAL
2000
13 years 7 months ago
2000
Random independent sets in graphs arise, for example, in statistical physics, in the hard-core model of a gas. In 1997, Luby and Vigoda described a rapidly mixing Markov chain for...
JAL
2000
13 years 7 months ago
2000
The (unweighted) Maximum Satisfiability problem (MaxSat) is: given a boolean formula in conjunctive normal form, find a truth assignment that satisfies the most number of clauses....
JAL
2002
13 years 7 months ago
2002
We study the computational problem "find the value of the quantified formula obtained by quantifying the variables in a sum of terms." The "sum" can be based o...