SearcharxivSearch

arXiv subjects

Yuanyuan Zhong

Publications and source records attributed to Yuanyuan Zhong.

2 recordsLinked to original sources

Efficient and Stable Reinforcement Learning for Diffusion Language Models

Reinforcement Learning (RL) is crucial for unlocking the complex reasoning capabilities of Diffusion-based Large Language Models (dLLMs). However, applying RL to dLLMs faces unique challenges in efficiency and stability. To address these challenges, we propose Spatio-Temporal Pruning (STP), a framework designed to simultaneously improve the efficiency and stability of RL for dLLMs. STP compresses the redundancy in the generative process through: (1) \textit{spatial pruning}, which constrains the exploration space using static priors; and (2) \textit{temporal pruning}, which bypasses redundant late-stage refinement steps. Our theoretical analysis demonstrates that STP strictly reduces the variance of the log-likelihood estimation, thereby ensuring more stable policy updates. Extensive experiments demonstrate that STP surpasses state-of-the-art baselines in both efficiency and accuracy. Our code is available at https://github.com/Lolo1222/STP.

cs.AI

Max-Bisections of graphs without perfect matching

A bisection of a graph is a bipartition of its vertex set such that the two resulting parts differ in size by at most 1, and its size is the number of edges that connect vertices in the two parts. The perfect matching condition and forbidden even cycles subgraphs are essential in finding large bisections of graphs. In this paper, we show that the perfect matching condition can be replaced by the minimum degree condition. Let $C_{\ell}$ be a cycle of length $\ell$ for $\ell\ge 3$, and let $G$ be a $\{C_4, C_6\}$-free graph with $m$ edges and minimum degree at least 2. We prove that $G$ has a bisection of size at least $m/2+Ω\left(\sum_{v\in V(G)}\sqrt{d(v)}\right)$. As a corollary, if $G$ is also $C_{2k}$-free for $k\ge3$, then $G$ has a bisection of size at least $m / 2+Ω\left(m^{(2 k+1) /(2 k+2)}\right)$, thereby confirming a conjecture proposed by Lin and Zeng [J. Comb. Theory A, 180 (2021), 105404].

math.CO