We present a new algorithm for the exact uniform sampling of proper -colorings of a graph on vertices with maximum degree~. The algorithm is based on partial rejection sampling (PRS) and introduces a soft relaxation of the proper coloring constraint that is progressively tightened until an exact sample is obtained. Unlike coupling from the past (CFTP), the method is inherently parallelizable. We propose a hybrid variant that decomposes the global sampling problem into independent subproblems of size , each solved by any existing exact sampler. This decomposition acts as a {\em complexity reducer}: it replaces the input size~ with in the component solver’s runtime, so that any improvement in direct methods automatically yields a stronger result. Using an existing CFTP method as the component solver, this improves upon the best known exact sampling runtime for . Recursive application of the hybrid drives the runtime to , where is the number of relaxation levels. We conjecture that is bounded independently of~, which would yield a linear-time parallelizable algorithm for general graphs. Our simulations strongly support this conjecture.

生成讲解博客的中文版本

生成AI智能校验的中文版本