paper-with-me

홈 › Papers

RA-DCA: A Randomized Active-Set DCA for Directional Stationarity in Max-Structured DC Programs

2026-05-22 · Yi-Shuai Niu arxiv

We study nonsmooth difference-of-convex programs whose subtracted convex term is a finite maximum of smooth convex functions. In this setting, standard DCA iterations may converge to critical points that are not directionally stationary, whereas exact active-vertex screening can be expensive when active sets are large or combinatorial. We propose RA-DCA, a vertex-first randomized active-set DCA that projects active gradients onto sampled directions, checks a sampled vertex residual, and uses a small linear program only as a low-residual convex-combination fallback. The method preserves the descent structure of DCA and reduces the randomized screening layer to matrix multiplications. Under the stated regularity, numerical active-set consistency, and random-embedding assumptions, every accumulation point generated by the safeguarded method is directionally stationary with probability one. MATLAB experiments first test the theorem on degenerate max-affine, max-quadratic, and sparse support-function models, where the safeguard avoids nonstationary critical points and closely tracks a full active-vertex scan. Block top-k tests then show that the same screening idea remains useful when exact aggregate enumeration is combinatorial. Trimmed-regression, complementarity, and QUBO diagnostics separate cases where active-set selection helps from cases dominated by multistart search, the DC split, or other problem-specific features.

📄 PDF Abstract BibTeX arXiv:2605.23550

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Off-Policy Evaluation for Action-Dependent Non-Stationary Environments

2023-01-24 · Yash Chandak, Shiv Shankar, Nathaniel D. Bastian, Bruno Castro da Silva 외

Methods for sequential decision-making are often built upon a foundational assumption that the underlying decision process is stationary. This limits the application of such methods because real-world problems are often …

counterfactualCounterfactual ReasoningDecision MakingOff-policy evaluation+1

Bidirectional Reactive Programming for Machine Learning

2023-11-28 · Dumitru Potop Butucaru, Albert Cohen, Gordon Plotkin, Hugo Pompougnac

Reactive languages are dedicated to the programming of systems which interact continuously and concurrently with their environment. Values take the form of unbounded streams modeling the (discrete) passing of time or the…

LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing

2024-06-11 · Hongxiang Zhang, Yuyang Rong, Yifeng He, Hao Chen

Greybox fuzzing has achieved success in revealing bugs and vulnerabilities in programs. However, randomized mutation strategies have limited the fuzzer's performance on structured data. Specialized fuzzers can handle com…

Language ModelingLanguage ModellingLarge Language Modelmodel+1

Separation and Collapse of Equilibria Inequalities on AND-OR Trees without Shape Constraints

2024-05-30 · Fuki Ito, Toshio Suzuki

Herein, we investigate the zero-error randomized complexity, which is the least cost against the worst input, of AND-OR tree computation by imposing various restrictions on the algorithm to find the Boolean value of the …

Bilevel Imaging Learning Problems as Mathematical Programs with Complementarity Constraints: Reformulation and Theory

2021-10-05 · Juan Carlos De Los Reyes

We investigate a family of bilevel imaging learning problems where the lower-level instance corresponds to a convex variational model involving first- and second-order nonsmooth sparsity-based regularizers. By using geom…