covering problem
1.THE CORONA PROBLEM FOR COUNTABLY MANY DATA ON FINITELY SHEETED COVERING SURFACES
2.Considering the decision problem for validity of DNF,the following result is obtained by analyzing the problem from the constructive viewpoint:among all DNFs without any equal covering generated by composing n definite proposition variables,those with cone-shaped forms are in the overwhelming majority?Based on this result,a fast algorithm for the approximate solution of the decision problem of DNF validity is obtained??
