Yes it is possible to do an array reduction with OpenMP. In Fortran it even has construct for this. In C/C++ you have to do it yourself. Here are two ways to do it. The first method makes private version of S for each thread, fill them in parallel, and then merges them into S … Read more
I am going to try and first formalize the problem, and then attempt to reduce it to SAT. Define the class scheduling problem as: Input = { S1,S2,….,Sn | Si = {(x_i1, y_i1), (x_i2, y_i2) , … , (x_ik, y_ik) | 0 <= x_ij < y_ij <= M } } Informally: The input is a … Read more
To state it different: Having a (complex) query with JOINs, SUBSELECTs, UNIONs is it possible (or not) to reduce it to a simpler, equivalent SQL statement, which is producing the same result, by using some transformation rules? This answer was written in 2009. Some of the query optimization tricks described here are obsolete by now, … Read more