首页 > 最新文献

Doklady Mathematics最新文献

英文 中文
Semi-Analytical Solution of Brent Equations 布伦特方程的半解析解法
IF 0.5 4区 数学 Q3 MATHEMATICS Pub Date : 2024-10-20 DOI: 10.1134/S1064562424702223
I. E. Kaporin

A parametrization of Brent equations is proposed which leads to a several times reduction of the number of unknowns and equations. The arising equations are solved numerically using a nonlinear least squares method. Matrix multiplication algorithms that are faster than previously known ones are obtained. In particular, ((4,4,4;48))- and ((2,4,5;32))-algorithms are found.

提出了布伦特方程的参数化方法,从而将未知数和方程的数量减少了数倍。所产生的方程采用非线性最小二乘法进行数值求解。得到的矩阵乘法算法比以前已知的算法更快。特别是找到了((4,4,4;48))和((2,4,5;32))算法。
{"title":"Semi-Analytical Solution of Brent Equations","authors":"I. E. Kaporin","doi":"10.1134/S1064562424702223","DOIUrl":"10.1134/S1064562424702223","url":null,"abstract":"<p>A parametrization of Brent equations is proposed which leads to a several times reduction of the number of unknowns and equations. The arising equations are solved numerically using a nonlinear least squares method. Matrix multiplication algorithms that are faster than previously known ones are obtained. In particular, <span>((4,4,4;48))</span>- and <span>((2,4,5;32))</span>-algorithms are found.</p>","PeriodicalId":531,"journal":{"name":"Doklady Mathematics","volume":"110 1","pages":"318 - 322"},"PeriodicalIF":0.5,"publicationDate":"2024-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142679555","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On a Dini Type Blow-Up Condition for Solutions of Higher Order Nonlinear Differential Inequalities 论高阶非线性微分不等式解的迪尼型炸裂条件
IF 0.5 4区 数学 Q3 MATHEMATICS Pub Date : 2024-10-20 DOI: 10.1134/S1064562424601276
A. A. Kon’kov, A. E. Shishkov

We obtain a Dini type blow-up condition for solutions of the differential inequality (sumlimits_{|alpha | = m} {{partial }^{alpha }}{{a}_{alpha }}(x,u) geqslant g({text{|}}u{text{|)}};{text{in}};{kern 1pt} {{mathbb{R}}^{n}},) where (m,n geqslant 1) are integers and ({{a}_{alpha }}) and g are some functions.

我们得到了微分不等式解的一个迪尼式炸毁条件(sumlimits_{|alpha | = m}{{/partial }^{/alpha }}{{a}_{alpha }}(x,u) geqslant g({text{|}}u{text{|)}};{text{in}};{其中 (m,n geqslant 1) 是整数,({{a}_{alpha }}) 和 g 是一些函数。
{"title":"On a Dini Type Blow-Up Condition for Solutions of Higher Order Nonlinear Differential Inequalities","authors":"A. A. Kon’kov,&nbsp;A. E. Shishkov","doi":"10.1134/S1064562424601276","DOIUrl":"10.1134/S1064562424601276","url":null,"abstract":"<p>We obtain a Dini type blow-up condition for solutions of the differential inequality <span>(sumlimits_{|alpha | = m} {{partial }^{alpha }}{{a}_{alpha }}(x,u) geqslant g({text{|}}u{text{|)}};{text{in}};{kern 1pt} {{mathbb{R}}^{n}},)</span> where <span>(m,n geqslant 1)</span> are integers and <span>({{a}_{alpha }})</span> and <i>g</i> are some functions.</p>","PeriodicalId":531,"journal":{"name":"Doklady Mathematics","volume":"110 1","pages":"308 - 311"},"PeriodicalIF":0.5,"publicationDate":"2024-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142679665","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A New Spectral Measure of Complexity and Its Capabilities for Detecting Signals in Noise 复杂性的新频谱测量方法及其在噪声中检测信号的能力
IF 0.5 4区 数学 Q3 MATHEMATICS Pub Date : 2024-10-20 DOI: 10.1134/S1064562424702235
A. A. Galyaev, V. G. Babikov, P. V. Lysenko, L. M. Berlin

This article is devoted to the improvement of signal recognition methods based on information characteristics of the spectrum. A discrete function of the normalized ordered spectrum is established for a single window function included in the discrete Fourier transform. Lemmas on estimates of entropy, imbalance, and statistical complexity in processing a time series of independent Gaussian variables are proved. New concepts of one- and two-dimensional spectral complexities are proposed. The theoretical results were verified by numerical experiments, which confirmed the effectiveness of the new information characteristic for detecting a signal mixed with white noise at low signal-to-noise ratios.

本文致力于改进基于频谱信息特征的信号识别方法。针对离散傅里叶变换中包含的单窗函数,建立了归一化有序频谱的离散函数。证明了处理独立高斯变量时间序列时的熵估计、不平衡和统计复杂性的定理。提出了一维和二维频谱复杂性的新概念。数值实验验证了理论结果,证实了新的信息特征在低信噪比条件下检测混有白噪声的信号的有效性。
{"title":"A New Spectral Measure of Complexity and Its Capabilities for Detecting Signals in Noise","authors":"A. A. Galyaev,&nbsp;V. G. Babikov,&nbsp;P. V. Lysenko,&nbsp;L. M. Berlin","doi":"10.1134/S1064562424702235","DOIUrl":"10.1134/S1064562424702235","url":null,"abstract":"<p>This article is devoted to the improvement of signal recognition methods based on information characteristics of the spectrum. A discrete function of the normalized ordered spectrum is established for a single window function included in the discrete Fourier transform. Lemmas on estimates of entropy, imbalance, and statistical complexity in processing a time series of independent Gaussian variables are proved. New concepts of one- and two-dimensional spectral complexities are proposed. The theoretical results were verified by numerical experiments, which confirmed the effectiveness of the new information characteristic for detecting a signal mixed with white noise at low signal-to-noise ratios.</p>","PeriodicalId":531,"journal":{"name":"Doklady Mathematics","volume":"110 1","pages":"361 - 368"},"PeriodicalIF":0.5,"publicationDate":"2024-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142679673","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On Removable Singularities of Harmonic Functions on a Stratified Set 论分层集合上谐函数的可移动奇点
IF 0.5 4区 数学 Q3 MATHEMATICS Pub Date : 2024-09-29 DOI: 10.1134/S1064562424601379
N. S. Dairbekov, O. M. Penkin, D. V. Savasteev

We consider sets removable for bounded harmonic functions on a stratified set with flat interior strata. It is proved that relatively closed sets of finite Hausdorff ((n - 2))-measure are removable for bounded harmonic functions on an n-dimensional stratified set satisfying the strong sturdiness condition.

我们考虑在具有平坦内层的分层集合上有界谐函数的可移动集合。证明了有限 Hausdorff ((n-2))度量的相对闭集对于满足强坚固性条件的 n 维分层集合上的有界谐函数是可移动的。
{"title":"On Removable Singularities of Harmonic Functions on a Stratified Set","authors":"N. S. Dairbekov,&nbsp;O. M. Penkin,&nbsp;D. V. Savasteev","doi":"10.1134/S1064562424601379","DOIUrl":"10.1134/S1064562424601379","url":null,"abstract":"<p>We consider sets removable for bounded harmonic functions on a stratified set with flat interior strata. It is proved that relatively closed sets of finite Hausdorff <span>((n - 2))</span>-measure are removable for bounded harmonic functions on an <i>n</i>-dimensional stratified set satisfying the strong sturdiness condition.</p>","PeriodicalId":531,"journal":{"name":"Doklady Mathematics","volume":"110 1","pages":"297 - 300"},"PeriodicalIF":0.5,"publicationDate":"2024-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142679729","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On Tautochronic Motions 论鹦鹉螺运动
IF 0.5 4区 数学 Q3 MATHEMATICS Pub Date : 2024-09-29 DOI: 10.1134/S106456242470220X
A. G. Petrov

Linear motion of a point particle influenced by two forces varying according to power laws with arbitrary exponents is considered. Exponents are found for which the governing equation is nonlinear and the oscillation period is independent of the initial data (tautochronic motion). The equations are brought to Hamiltonian form, and the Hamiltonian normal form method is used to prove that there exist only two variants of tautochronic motion, namely, when the exponents are equal to 1 and –3 (variant 1) and when the exponents are equal to 0 and –1/2 (variant 2). For the other power laws, the motion of the point particle is not tautochronic. The Hamiltonian normal form of tautochronic motion is the Hamiltonian of a linear oscillator. The canonical transformation reducing the original Hamiltonian to normal form is expressed in terms of elementary functions. Hamiltonians of tautochronic motions can be used to test computer codes for calculating Hamiltonian normal forms.

研究考虑了一个点质点受两个力影响的直线运动,这两个力按任意指数的幂律变化。在找到指数时,控制方程是非线性的,振荡周期与初始数据无关(同调运动)。将方程转化为哈密顿形式,并使用哈密顿正态方法证明同调运动只存在两种变体,即指数等于 1 和 -3 时(变体 1)以及指数等于 0 和 -1/2 时(变体 2)。对于其他幂律,点粒子的运动不是同调运动。同调运动的哈密顿正常形式是线性振荡器的哈密顿。将原始哈密顿简化为正态形式的规范变换用初等函数表示。同调运动的哈密顿可以用来测试计算哈密顿正态的计算机代码。
{"title":"On Tautochronic Motions","authors":"A. G. Petrov","doi":"10.1134/S106456242470220X","DOIUrl":"10.1134/S106456242470220X","url":null,"abstract":"<p>Linear motion of a point particle influenced by two forces varying according to power laws with arbitrary exponents is considered. Exponents are found for which the governing equation is nonlinear and the oscillation period is independent of the initial data (tautochronic motion). The equations are brought to Hamiltonian form, and the Hamiltonian normal form method is used to prove that there exist only two variants of tautochronic motion, namely, when the exponents are equal to 1 and –3 (variant 1) and when the exponents are equal to 0 and –1/2 (variant 2). For the other power laws, the motion of the point particle is not tautochronic. The Hamiltonian normal form of tautochronic motion is the Hamiltonian of a linear oscillator. The canonical transformation reducing the original Hamiltonian to normal form is expressed in terms of elementary functions. Hamiltonians of tautochronic motions can be used to test computer codes for calculating Hamiltonian normal forms.</p>","PeriodicalId":531,"journal":{"name":"Doklady Mathematics","volume":"110 1","pages":"312 - 317"},"PeriodicalIF":0.5,"publicationDate":"2024-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142679730","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Compactification of Spaces of Measures and Pseudocompactness 度量空间的紧凑性与伪紧凑性
IF 0.5 4区 数学 Q3 MATHEMATICS Pub Date : 2024-09-29 DOI: 10.1134/S1064562424702181
V. I. Bogachev

We prove pseudocompactness of a Tychonoff space X and the space (mathcal{P}(X)) of Radon probability measures on it with the weak topology under the condition that the Stone–Čech compactification of the space (mathcal{P}(X)) is homeomorphic to the space (mathcal{P}(beta X)) of Radon probability measures on the Stone–Čech compactification of the space X.

在空间 (mathcal{P}(X) 的 Stone-Čech compactification 与空间 X 的 Stone-Čech compactification 上的 Radon 概率度量的空间 (mathcal{P}(beta X))同构的条件下,我们证明了弱拓扑的 Tychonoff 空间 X 及其上的 Radon 概率度量的空间 (mathcal{P}(X) 的伪紧密性。
{"title":"Compactification of Spaces of Measures and Pseudocompactness","authors":"V. I. Bogachev","doi":"10.1134/S1064562424702181","DOIUrl":"10.1134/S1064562424702181","url":null,"abstract":"<p>We prove pseudocompactness of a Tychonoff space <i>X</i> and the space <span>(mathcal{P}(X))</span> of Radon probability measures on it with the weak topology under the condition that the Stone–Čech compactification of the space <span>(mathcal{P}(X))</span> is homeomorphic to the space <span>(mathcal{P}(beta X))</span> of Radon probability measures on the Stone–Čech compactification of the space <i>X</i>.</p>","PeriodicalId":531,"journal":{"name":"Doklady Mathematics","volume":"110 1","pages":"357 - 360"},"PeriodicalIF":0.5,"publicationDate":"2024-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142679732","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On Hyperelliptic Curves of Odd Degree and Genus g with Six Torsion Points of Order 2g + 1 论奇数度、属 g 的超椭圆曲线与 2g + 1 阶的六个扭转点
IF 0.5 4区 数学 Q3 MATHEMATICS Pub Date : 2024-09-29 DOI: 10.1134/S1064562424702193
G. V. Fedorov

Let a hyperelliptic curve (mathcal{C}) of genus g defined over an algebraically closed field K of characteristic 0 be given by the equation ({{y}^{2}} = f(x)), where (f(x) in K[x]) is a square-free polynomial of odd degree (2g + 1). The curve (mathcal{C}) contains a single “infinite” point (mathcal{O}), which is a Weierstrass point. There is a classical embedding of (mathcal{C}(K)) into the group (J(K)) of K-points of the Jacobian variety J of (mathcal{C}) that identifies the point (mathcal{O}) with the identity of the group (J(K)). For (2 leqslant g leqslant 5), we explicitly find representatives of birational equivalence classes of hyperelliptic curves (mathcal{C}) with a unique base point at infinity (mathcal{O}) such that the set (mathcal{C}(K) cap J(K)) contains at least six torsion points of order (2g + 1). It was previously known that for (g = 2) there are exactly five such equivalence classes, and, for (g geqslant 3), an upper bound depending only on the genus g was known. We improve the previously known upper bound by almost 36 times.

让一条在特征为 0 的代数闭域 K 上定义的属数为 g 的超椭圆曲线 (mathcal{C}) 由方程 ({{y}^{2}} = f(x)) 给出,其中 (f(x) in K[x]) 是奇数度 (2g + 1) 的无平方多项式。曲线 (mathcal{C}) 包含一个 "无限 "点 (mathcal{O}),这是一个魏尔斯特拉斯点。有一种将 (mathcal{C}(K)) 嵌入到 (mathcal{C}(K)) Jacobian variety J 的 K 点的群(J(K))中的经典嵌入,这种嵌入将点 (mathcal{O}) 与群(J(K))的同一性确定下来。对于 (2 leqslant g leqslant 5), 我们明确地找到了超椭圆曲线 (mathcal{C}) 的双等价类的代表,这些超椭圆曲线在无穷远处有一个唯一的基点 (mathcal{O}),使得集合 (mathcal{C}(K) cap J(K))至少包含六个阶为 (2g + 1) 的扭转点。之前已经知道,对于(g = 2)来说,正好有五个这样的等价类,而对于(g geqslant 3)来说,已经知道了一个只取决于属g的上界。我们将之前已知的上界提高了近 36 倍。
{"title":"On Hyperelliptic Curves of Odd Degree and Genus g with Six Torsion Points of Order 2g + 1","authors":"G. V. Fedorov","doi":"10.1134/S1064562424702193","DOIUrl":"10.1134/S1064562424702193","url":null,"abstract":"<p>Let a hyperelliptic curve <span>(mathcal{C})</span> of genus <i>g</i> defined over an algebraically closed field <i>K</i> of characteristic 0 be given by the equation <span>({{y}^{2}} = f(x))</span>, where <span>(f(x) in K[x])</span> is a square-free polynomial of odd degree <span>(2g + 1)</span>. The curve <span>(mathcal{C})</span> contains a single “infinite” point <span>(mathcal{O})</span>, which is a Weierstrass point. There is a classical embedding of <span>(mathcal{C}(K))</span> into the group <span>(J(K))</span> of <i>K</i>-points of the Jacobian variety <i>J</i> of <span>(mathcal{C})</span> that identifies the point <span>(mathcal{O})</span> with the identity of the group <span>(J(K))</span>. For <span>(2 leqslant g leqslant 5)</span>, we explicitly find representatives of birational equivalence classes of hyperelliptic curves <span>(mathcal{C})</span> with a unique base point at infinity <span>(mathcal{O})</span> such that the set <span>(mathcal{C}(K) cap J(K))</span> contains at least six torsion points of order <span>(2g + 1)</span>. It was previously known that for <span>(g = 2)</span> there are exactly five such equivalence classes, and, for <span>(g geqslant 3)</span>, an upper bound depending only on the genus <i>g</i> was known. We improve the previously known upper bound by almost 36 times.</p>","PeriodicalId":531,"journal":{"name":"Doklady Mathematics","volume":"110 1","pages":"301 - 307"},"PeriodicalIF":0.5,"publicationDate":"2024-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142679731","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Erratum to: On an Extremal Problem for Compactly Supported Positive Definite Functions 勘误:论紧凑支持正定函数的极值问题
IF 0.5 4区 数学 Q3 MATHEMATICS Pub Date : 2024-09-26 DOI: 10.1134/S1064562424550015
A. D. Manov
{"title":"Erratum to: On an Extremal Problem for Compactly Supported Positive Definite Functions","authors":"A. D. Manov","doi":"10.1134/S1064562424550015","DOIUrl":"10.1134/S1064562424550015","url":null,"abstract":"","PeriodicalId":531,"journal":{"name":"Doklady Mathematics","volume":"109 3","pages":"295 - 295"},"PeriodicalIF":0.5,"publicationDate":"2024-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142414187","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
New Cases of Integrable Ninth-Order Conservative and Dissipative Dynamical Systems 可积分九阶保守和耗散动力系统的新案例
IF 0.5 4区 数学 Q3 MATHEMATICS Pub Date : 2024-09-13 DOI: 10.1134/S1064562424601434
M. V. Shamolin

New cases of integrable ninth-order dynamical systems that are homogeneous in terms of some of their variables are presented, in which a system on the tangent bundle of a four-dimensional manifold can be distinguished. In this case, the force field is divided into an internal (conservative) and an external one, which has dissipation of different signs. The external field is introduced using some unimodular transformation, and it generalizes previously considered fields. Complete sets of both first integrals and invariant differential forms are given.

摘要 介绍了可积分九阶动力系统的新情况,这些系统的某些变量是同质的,其中可以区分四维流形切线束上的系统。在这种情况下,力场分为内部力场(保守力场)和外部力场,后者具有不同符号的耗散。外部力场是通过某种单模态变换引入的,它概括了之前考虑过的力场。给出了第一积分和不变微分形式的完整集合。
{"title":"New Cases of Integrable Ninth-Order Conservative and Dissipative Dynamical Systems","authors":"M. V. Shamolin","doi":"10.1134/S1064562424601434","DOIUrl":"10.1134/S1064562424601434","url":null,"abstract":"<p>New cases of integrable ninth-order dynamical systems that are homogeneous in terms of some of their variables are presented, in which a system on the tangent bundle of a four-dimensional manifold can be distinguished. In this case, the force field is divided into an internal (conservative) and an external one, which has dissipation of different signs. The external field is introduced using some unimodular transformation, and it generalizes previously considered fields. Complete sets of both first integrals and invariant differential forms are given.</p>","PeriodicalId":531,"journal":{"name":"Doklady Mathematics","volume":"110 1","pages":"337 - 345"},"PeriodicalIF":0.5,"publicationDate":"2024-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142181030","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Sufficient Condition for Polynomial Solvability of Random 3-CNF Formulas 随机 3-CNF 公式多项式可解性的充分条件
IF 0.5 4区 数学 Q3 MATHEMATICS Pub Date : 2024-09-13 DOI: 10.1134/S1064562424601148
S.  I. Uvarov

This paper is devoted to the localisation of random 3-CNF formulas that are polynomially solvable by the resolution algorithm. It is shown that random formulas with the number of clauses proportional to the square of the number of variables, are polynomially solvable with probability close to unity when the proportionality coefficient exceeds the found threshold.

摘要 本文主要研究用解析算法对可多项式求解的随机 3-CNF 公式进行定位。研究表明,当比例系数超过所发现的阈值时,子句数与变量数的平方成正比的随机公式是多项式可解的,其概率接近于一。
{"title":"Sufficient Condition for Polynomial Solvability of Random 3-CNF Formulas","authors":"S.  I. Uvarov","doi":"10.1134/S1064562424601148","DOIUrl":"10.1134/S1064562424601148","url":null,"abstract":"<p>This paper is devoted to the localisation of random 3-CNF formulas that are polynomially solvable by the resolution algorithm. It is shown that random formulas with the number of clauses proportional to the square of the number of variables, are polynomially solvable with probability close to unity when the proportionality coefficient exceeds the found threshold.</p>","PeriodicalId":531,"journal":{"name":"Doklady Mathematics","volume":"110 1","pages":"323 - 327"},"PeriodicalIF":0.5,"publicationDate":"2024-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142223729","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Doklady Mathematics
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1