登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 


搜索: a072907-编号:a072907
    排序:关联|参考文献||被改进的|创建     格式:长的|短的|数据
方程log(2)-X*2^(-r)-exp(-X*r/(2^r-1))解的十进制展开式=0,r=4。解决方案是9.96955802。。。
+10
1
9, 9, 6, 9, 5, 5, 8, 0, 2, 8, 8, 7, 7, 7, 2, 6, 8, 3, 7, 9, 3, 4, 6, 8, 8, 0, 9, 2, 9, 2, 4, 2, 2, 1, 3, 0, 5, 2, 2, 7, 3, 7, 5, 1, 3, 8, 9, 8, 5, 3, 0, 2, 3, 5, 0, 7, 5, 5, 5, 6, 4, 8, 0, 2, 8, 4, 7, 6, 9, 6, 4, 2, 2, 5, 7, 8, 1, 1, 4, 9, 1, 7, 0, 2, 9, 3, 5, 2, 2, 5, 3, 4, 5, 1, 2, 4, 0, 5, 0, 6, 6, 1, 2, 9, 6
抵消
1,1
评论
这个常数被推测为可满足性问题中4子句阈值的精确值(Olivier Dubois 1993)。
链接
O.Dubois,J.Carlier,可满足性问题的概率方法《理论计算机科学》,811991年,第65-75页。
数学
16*Log[2]+15/4*ProductLog[-2*2^(11/15)/15]//RealDigits[#,10,105]&//第一个(*Jean-François Alcover公司2013年3月4日*)
黄体脂酮素
(PARI)r=4;求解(X=9,10,log(2)-X*2^(-r)-exp(-X*r/(2^r-1))
交叉参考
囊性纤维变性。A072907号.
关键字
欺骗,容易的,非n
作者
贝诺伊特·克洛伊特,2002年8月10日
状态
经核准的

搜索在0.006秒内完成

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2024年9月21日15:24。包含376087个序列。(在oeis4上运行。)