搜索结果: 1-2 共查到“数学分析 FORMULAS”相关记录2条 . 查询时间(0.062 秒)
Average-Case Separation in Proof Complexity:Short Propositional Refutations for Random 3CNF Formulas
Average-Case Short Propositional Random 3CNF Formulas
2012/12/4
Separating different propositional proof systems梩hat is, demonstrating that one proof system cannot efficiently simulate another proof system梚s one of the main goals of proof complexity. Nevertheless,...
On Rayleigh-Type Formulas for a Non-local Boundary Value Problem Associated with an Integral Operator Commuting with the Laplacian
Rayleigh functions Laplacian eigenvalue problems non-local boundary conditions
2010/12/9
In this article, we provide two different ways of producing recursive formulas for the Rayleigh functions of eigenvalues of the one-dimensional Laplacian with non-local boundary conditions, which comm...