Let and be integer-valued functions defined on with for all . A graph is called a -graph if for each vertex , and a -factor of a graph is a spanning -subgraph of . A graph is -factorable if its edges can be decomposed into -factors.
The purpose of this paper is to prove the following three theorems: (i) If , every -graph is -factorable. (ii) Let be even and . (1) If is even, and is a -graph, then is -factorable; (2) If is odd, and is a -graph, then is -factorable. (iii) Let be even and . (1) If is even, and is a -graph, then is -factorable;
(2) If is odd, and is a , -graph, then is -factorable.
where , are integers and is a nonnegative integer.