frequentism-and-bayesianism-chs-iii

 

频率主义 vs 贝叶斯主义 III:置信(Confidence)与可信(Credibility),频率主义与科学,不能混为一谈

 

这个notebook出自Pythonic Perambulations博文 . The content is BSD licensed.

 

这个系列共4个部分:中文版Part I Part II Part III Part IV,英文版Part I Part II Part III Part IV

 

在道格拉斯·亚当斯(Douglas Adams)的经典著作《银河系漫游指南》中,有一种超智慧生物(老鼠)建造了一部超级电脑,名深思(Deep Thought),它们问超级电脑,“生命、宇宙以及任何事情的终极答案是什么”。经过750万年的计算,深思告诉老鼠的答案是:

42

失望的工程师们,折腾了一辈子就等到这样的回答,都呆住了。他们不停的追问深思更多的信息,最后深思说:“只要理解了问题的本质,你就能找到答案。”

也就是说,如果你不明白问题,那么答案也不会靠谱。

我觉得这个故事在科学统计工作中是个恰当的比喻。当估计未知参数时,频率论方法倾向于置信区间(confidence interval) (CI),而贝叶斯理论则用可信范围(credible region) (CR)。尽管听起来没啥区别,但是在处理一些基本问题时,两者的差异变得至关重要。

就像道格拉斯·亚当斯宇宙中可怜的生命希望得到启示(enlightenment),科学家们常常想运用频率主义获得正确结果,但这么做却忽略了科学的事实,那就是频率主义通常在回答错误的问题。这绝不是简单的纸上谈兵:只要我明白了观察数据,就可以从中获得正确的答案。

 

置信 vs. 可信

 

第一节中,我们讨论了频率主义与贝叶斯主义基本理论的差异:频率论认为概率是重复事件(假设)发生的频率;贝叶斯认为概率是数值的可信程度。更一般的结论是,频率论认为模型参数是固定的,而数据是随机的,而贝叶斯认为模型参数是随机的,而数据是固定的

基础理论的差异影响两种方法选择模型参数数据边界的方式。因为差异很小,我就用一个简单的例子来论述一下频率论置信区间与贝叶斯可信范围的差异。

 

例 1: 正态分布均值

 

让我们用一个简单的例子来验证一下;此例同第一节 中计算正态分布均值。 之前我们简单的分析了(频率论) 最大似然估计和(贝叶斯) 最大后验估计(posteriori estimates);这里我们拓展一下:看看频率论置信区间与贝叶斯可信范围的差异。

问题是:你在观察一颗星星,你认为它的亮度是恒定的。为了简化,我们可以认为其亮度就是每秒到达我们望远镜的光量子数量。任何观察值都会有误差:虽然在此例中这些误差并不重要,但是我们假设观察值xi 服从正态分布,且标准差已知为σx

对一组观察值,亮度置信水平95%(即2\sigma$)的置信区间是多少?

 

1. 频率论方法

 

这个问题是频率论方法的经典案例,分析如下:

对任意N 个值的D={xi}Ni=1 ,分布的无偏估计均值μ

x¯=1Ni=1Nxi

样本分布(sampling)描述了均值估计的频率;通过中心极限定理(central limit theorem)我们可以得出样本分布是正态分布:

f(x¯ || μ)∝exp[−(x¯−μ)22μ]

这里我们使用均值标准误差(standard error of the mean),

σμx/N

中心极限定理告诉我们如果N 足够大,任何分布都可以得到合理的近似值;如果分布呈正态分布,N 就可以缩小到2。

让我们赶紧来验证这条经验,看看5组106 个样本的均值情况:

In [1]:
import numpy as np

N = 5
Nsamp = 10 ** 6
sigma_x = 2 np.random.seed(0)
x = np.random.normal(0, sigma_x, size=(Nsamp, N))
mu_samp = x.mean(1)
sig_samp = sigma_x * N ** -0.5 print("{0:.3f} should equal {1:.3f}".format(np.std(mu_samp), sig_samp))
 
0.894 should equal 0.894
 

如前所述,观察值的标准差等于σxN−1/2

从样本的正态分布中,我们可以轻易得出95%置信水平下的置信区间(想想那条钟形线):

CIμ=(x¯−2σμ, x¯+2σμ)
 

我们再看看:如果现在三个观察值标准差(σx )是10。那么均值的95%置信区间是多少?

我们假设真实值是100:

In [2]:
true_B = 100
sigma_x = 10 np.random.seed(1)
D = np.random.normal(true_B, sigma_x, size=3)
print(D)
 
[ 116.24345364   93.88243586   94.71828248]
 

下面我们创建一个函数来算置信区间:

In [3]:
from scipy.special import erfinv

def freq_CI_mu(D, sigma, frac=0.95):
"""Compute the confidence interval on the mean"""
# we'll compute Nsigma from the desired percentage
Nsigma = np.sqrt(2) * erfinv(frac)
mu = D.mean()
sigma_mu = sigma * D.size ** -0.5
return mu - Nsigma * sigma_mu, mu + Nsigma * sigma_mu print("95% Confidence Interval: [{0:.0f}, {1:.0f}]".format(*freq_CI_mu(D, 10)))
 
95% Confidence Interval: [90, 113]
 

注意我们假设σx 是已知的,这可以通过均值μ 来估计,但这里简单起见。

 

2. 贝叶斯方法

 

用贝叶斯方法就得从贝叶斯定理开始:

P(μ | D)=P(D | μ)P(μ)P(D)

我们对μ 用扁平先验(flat prior) (如,整个区间满足P(μ)∝1 ) ,然后用似然估计

P(D | μ)=∏i=1N12πσ2xexp[(μ−xi)22x]

计算乘积然后进行变换,可以得出

P(μ | D)∝exp[−(μ−x¯)22μ]

也可以看作是均值为x¯ ,标准差为σμ 的正态分布。

也就是说,此例中μ 的贝叶斯后验结果等于频率论的样本分布均值μ

 

从后验结果可以计算出贝叶斯可信范围是95%可能的最短区间。看起来和频率论的置信区间很像:

CRμ=(x¯−2σμ, x¯+2σμ)

我们设计一个函数来解叶斯可信范围:

In [4]:
def bayes_CR_mu(D, sigma, frac=0.95):
"""Compute the credible region on the mean"""
Nsigma = np.sqrt(2) * erfinv(frac)
mu = D.mean()
sigma_mu = sigma * D.size ** -0.5
return mu - Nsigma * sigma_mu, mu + Nsigma * sigma_mu print("95% Credible Region: [{0:.0f}, {1:.0f}]".format(*bayes_CR_mu(D, 10)))
 
95% Credible Region: [90, 113]
 

到底有啥区别?

 

上面的论证过程就是频率论置信区间与贝叶斯可信范围令人混乱的地方。在很多简单问题中,它们完全相等。但是我们必须清楚一点:数量相等,但是含义不同

贝叶斯的概率反映我们相信的程度。所以当我们计算可信范围时,其实就是

“对这个观察数据,真实值μ 会落在可信范围CRμ (固定的)内有95%的可能性”——贝叶斯主义

而频率论认为μ 是一个固定值,而数据(以及所有数据派生的变量,包括置信区间的边界)是随机的。因此,频率论置信区间就是

“当我们从这些数据(而不是那些数据)中计算CIμ 时,有95%的可能性,真实值μ 会落在CIμ 内”——频率主义

注意区别:贝叶斯方法是对具有固定边界的参数值的概率表述(a statement of probability about the parameter value given fixed bounds),而频率论方法是对固定参数值的边界的概率表述(a probability about the bounds given a fixed parameter value.)。

差别很小,但是我们下面会讲,这将造成极大差距。首先,让我们进一步用仿真方法来验证。

 

确定贝叶斯可信范围

 

确定贝叶斯可信范围,步骤如下:

  1. 先验样本均值μ 是随机的
  2. 每个μ 有随机的数据集合
  3. 选取符合观察值的数据点
  4. 看看哪些μ 的值落在我们的可信范围内

代码如下:

In [5]:
# first define some quantities that we need
Nsamples = 2E7
N = len(D)
sigma_x = 10 # if someone changes N, this could easily cause a memory error
if N * Nsamples > 1E8:
raise ValueError("Are you sure you want this many samples?") # eps tells us how close to D we need to be to consider
# it a matching sample. The value encodes the tradeoff
# between bias and variance of our simulation
eps = 0.5 # Generate some mean values from the (flat) prior in a reasonable range
np.random.seed(0)
mu = 80 + 40 * np.random.random(Nsamples) # Generate data for each of these mean values
x = np.random.normal(mu, sigma_x, (N, Nsamples)).T # find data which matches our "observed" data
x.sort(1)
D.sort()
i = np.all(abs(x - D) < eps, 1)
print("number of suitable samples: {0}".format(i.sum()))
 
number of suitable samples: 528
In [6]:
# Now we ask how many of these mu values fall in our credible region
mu_good = mu[i]
CR = bayes_CR_mu(D, 10)
within_CR = (CR[0] < mu_good) & (mu_good < CR[1])
print "Fraction of means in Credible Region: {0:.3f}".format(within_CR.sum() * 1. / within_CR.size)
 
Fraction of means in Credible Region: 0.949
 

跟想的一样,95%可能的μ 的值落在我们的可信范围内。

这里,关键是明白哪些变量是随机的,哪些是固定的。在贝叶斯方法中,我们从我们的数据里计算出一个单独的可信范围,然后我们把它当作是μ 的多个随机点画出的图像

 

确定频率论置信区间

 

确定频率论置信区间有点小复杂,步骤如下:

  1. 从唯一的真实值μ 定义的分布中画出数据集合
  2. 对每组数据,计算一个新的置信区间
  3. 看看哪些置信区间包含μ

代码如下:

In [7]:
# define some quantities we need
N = len(D)
Nsamples = 1E4
mu = 100
sigma_x = 10 # Draw datasets from the true distribution
np.random.seed(0)
x = np.random.normal(mu, sigma_x, (Nsamples, N)) # Compute a confidence interval from each dataset
CIs = np.array([freq_CI_mu(Di, sigma_x) for Di in x]) # find which confidence intervals contain the mean
contains_mu = (CIs[:, 0] < mu) & (mu < CIs[:, 1])
print "Fraction of Confidence Intervals containing the mean: {0:.3f}".format(contains_mu.sum() * 1. / contains_mu.size)
 
Fraction of Confidence Intervals containing the mean: 0.951
 

跟想的一样,95%置信区间包含μ的真实值。

同理,关键是明白哪些变量是随机的,哪些是固定的。我们把唯一值μ 看作是多个随机样本中的不同置信区间构成的

 

讨论

 

我们应该再一次提醒自己两者的差异:

  • 贝叶斯方法固定了可信范围,保证μ 95%的可能值落在可信范围内。
  • 频率论方法固定了参数μ , 保证95%置信区间包含μ

比较上面两者的结论,我们会发现两者源自概率定义的区别。

  • 贝叶斯主义认为参数 (如μ ) 是随机变量,而频率主义认为是固定的。
  • 贝叶斯主义认为观察值(如D )是固定的,而频率主义认为是随机变量。
  • 贝叶斯主义认为参数约束(parameter constraints,如CRμ )是固定的,而频率主义认为(如CIμ )是是随机变量。

很多简单问题都和上面的例子一样,置信水平和可信范围完全相等,所以这种差异一般不太重要。但是,科学计算不是简单问题;下面我们就看个复杂的例子,来感受一下这种差异。

 

例 2:Jaynes截断分布(Truncated Exponential)

 

要找一个呈现两者差异的例子,我打算用E.T. Jaynes,一个20世纪的物理学家,做了大量统计工作。在他的书Confidence Intervals vs. Bayesian Intervals (pdf)中第15个例子,他用了一个截断分布。他是这么说的:

一个设备,因为注入了一种防护性化学试剂(protective chemical inhibitor),所以在θ 时间内运行正常;但是在θ 时间之后,化学试剂用光了,问题就出现了,而且失败次数呈指数分布。没有办法直接观察化学试剂消耗的情况;只能观察到失败的结果。从实际观察数据中,估计θ 时间以确保运行安全......

从下面的模型可以获得一个数据D

$$ p(x~|~\theta) = \left\{ \begin{array}{lll} \exp(\theta - x) &,& x > \theta\\ 0 &,& x 这里$p(x~|~\theta)$表示时间$x$失败的概率,化学试剂可用时间$\theta$。观察数据$D = \{x_i\}$,我们的目标是估计$\theta$。

我们先为θ=10 画个图看看:

In [8]:
%matplotlib inline
import numpy as np
import matplotlib.pyplot as plt def p(x, theta):
return (x > theta) * np.exp(theta - x) x = np.linspace(5, 18, 1000)
plt.fill(x, p(x, 10), alpha=0.3)
plt.ylim(0, 1.2)
plt.xlabel('x')
plt.ylabel('p(x)');
 
aaarticlea/png;base64,iVBORw0KGgoAAAANSUhEUgAAAYQAAAEPCAYAAABCyrPIAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz%0AAAALEgAACxIB0t1+/AAAG0pJREFUeJzt3Xlwm/dh5vEvQIIgCVC8dFNy5Dh2Irm2ctiO28Y10xx1%0AMm087e4k9aZtju5uZmecPWeTJjtTK9Npptkm02zHXcebTTLp5nBcb9rYiRNvfMCxVdvxSSu6ad0X%0AZZE6SEmkeGD/eEEJoniAFF++wIvvZwZDHC/AxzKIB+/7+73vC5IkSZIkSZIkSZIkSZIkSVLkvgn0%0AAJumePyjQBfwKrARuH6BckmSFtgtwNuYuhB+HWguXL8NeHYhQkmSorGGqQuhWCtwINwokqSpJKMO%0AUORPgYejDiFJCs8aZl5DeDewhWAtQZIUgdqoAxAMJH+dYAzh+GQLrF+/Pt/V1bWgoSQpBrqAt5a6%0AcNSbjK4Afgj8EdA91UJdXV3k8/mKvdx1112RZ6jW/JWc3fzRXyo9P7B+Nh/IYa8hfB+4FVgM7Afu%0AAlKFx+4F/pxgM9E9hfuGgZtCziRJmkTYhXDHDI//68JFkhSxqDcZVYXOzs6oI1yWSs5fydnB/FGr%0A9PyzlYg6QInyhe1hkqQSJRIJmMXnvGsIkiTAQpAkFVgIkiTAQpAkFVgIkiTAQpAkFVgIkiTAQpAk%0AFVgIkiTAQpAkFVgIkiTAQpAkFVgIkiTAQpAkFVgIkiTAQpAkFVgIkiTAQpAkFVgIkiTAQpAkFVgI%0AkiTAQpAkFVgIkiTAQpAkFVgIkiTAQpAkFYRdCN8EeoBN0yzzt8BOoAt4W8h5JElTCLsQvgXcNs3j%0AHwTeBFwN/FvgnpDzSJKmEHYhPAUcn+bxDwHfLlx/DmgBloWcSZI0iajHEDqA/UW3DwCrIsoiSVUt%0A6kIASEy4nY8khSRVudqIf/9BYHXR7VWF+y6xYcOG89c7Ozvp7OwMM5ckVZxcLkcul5vz8yd+Ow/D%0AGuAh4LpJHvsgcGfh583AVws/J8rn8644aPaeeCLHjTfeQDabjTqKtOASiQTM4nM+7DWE7wO3AosJ%0AxgruAlKFx+4FHiYog27gNPCJkPOoyvT29tPT02MhSCUIuxDuKGGZO0POoCp27hycOXMm6hhSRSiH%0AQWUpNMPD0N9vIUilsBAUe8ePWwhSKSwExVo+D319p6OOIVUEC0GxVl9fz+CgM9SkUlgIirXa2hSD%0AgzA0NBR1FKnsWQiKvZGRWmcaSSWwEBRr+XyeRCJjIUglsBBUBRoZGHBgWZqJhaDYq6vLONNIKoGF%0AoFjL56G+PkNfn5uMpJlYCIq9dNo1BKkUFoJiL5VKc+bMKCMjI1FHkcqahaDYCw4B3Mjp064lSNOx%0AEBRz43spO/VUmomFoKqQz2dcQ5BmYCGoKtTVZejttRCk6VgIqgrptIUgzcRCUFWor8/Q2zsQdQyp%0ArFkIirV8YUy5rq7eqafSDCwExV4w7RTAgWVpOhaCYi2fLz45ToaBATcbSVOxEFQ18vmMRz2VpmEh%0AqGqk01mOHXMNQZqKhaCqUV+fdeqpNA0LQVWjvj7jGoI0DQtBsVY8plxbm+LcuRoGBwejCySVMQtB%0AVSBx4Voi60wjaQoWgqpM1n0RpClYCKoqyWSWvr7+qGNIZSnsQrgN2AbsBD47yeOLgZ8BrwC/Aj4e%0Ach5VmYt3THOmkTSdMAuhBriboBTWAXcAaycscyfwMvBWoBP4ClAbYiZVuYaGLK+/7hiCNJkwC+Em%0AoBvYAwwD9wG3T1jmMLCocH0R0At49DGFpq6ugZMnhxgdHY06ilR2wiyEDmB/0e0DhfuKfR24FjgE%0AdAH/IcQ8EolEgkTCYxpJkwlz80x+5kX4PMH4QSdwFfBzYD1wyajfhg0bzl/v7Oyks7NzHiKqOjUx%0AMDBAc3Nz1EGkeZXL5cjlcnN+fmLmRebsZmADwRgCwOeAMeBLRcs8DPwlsLFw+zGCwecXJrxWfuLg%0AoFSK733vUerqfpN0uuH8fYcO7eCWW8ZYt+4tESaTwlc49HvJn/NhbjJ6AbgaWAPUAR8BHpywzDbg%0AvYXry4A3A7tCzKQqdOF8CIH6+iYHlqVJhLnJaIRgFtEjBDOOvgFsBT5VePxe4IvAtwjGD5LAZ4C+%0AEDOpyky2ZtnQ0MTRo+6LIE0U9hTPnxYuxe4tun4M+L2QM0gXSacb6ek5y9jYGMmk+2ZK4/xrUNVJ%0AJpPk843ONJImsBBUpbL097vZSCpmIahKLeLkSQtBKmYhKNammq1cX99ET4+FIBWzEBR7E6edQjDT%0A6PXXLQSpmIWgWJtqh8b6+gzHjw96TCOpiIWgqhSsNXhMI6mYhaCqlc8v4tSpU1HHkMqGhaCqlUg0%0A0ddnIUjjLARVrcbGRc40kopYCIq16Q6SGxSCawjSOAtBVWDyo//W1dVz+nSeoaGhBc4jlScLQVUt%0AkXBgWRpnIaiqOdNIusBCUKzNdKa9ujrHEaRxFoKqWmPjIo4csRAksBBU5RoamujtPc3Y2FjUUaTI%0AWQiqaslkkrGxjOdGkLAQJPL5RZw8eTLqGFLkLARVvZqaFo4dsxAkC0GxN9n5EIplMs0cOmQhSBaC%0AYm2maacQzDQ6erS/pGWlOLMQVPVqamoZHq733AiqehaCBOTzzQ4sq+rNphDqgXRYQaQoJZPN9PZa%0ACKpu0xVCEvgD4B+Ag8BuYG/h+gPA7zPVYSSlCpPJtHDgwImoY0iRmq4QcsA7gC8DbwRWAMsL178M%0A3Ag8GXI+6bKUOk6cyTTT03PKgWVVtdppHnsfMNmB4oeAZwsXNyGp7M007RQuHlhuampagFRS+Zlu%0ADWG8DN47yWMfm7DMVG4DtgE7gc9OsUwn8DLwK4K1EmnezOYbfz7fwokTbjZS9SplUPku4B4gQ7DJ%0A6CHgQyU8rwa4m6AU1gF3AGsnLNMC/B3we8CvAf+ypNRSCGpqWjh69HjUMaTIlFIItwK7gC7gKeD7%0AwL8o4Xk3Ad3AHmAYuA+4fcIy/wr4v8CBwu1jJbyuFIpstoWDB51ppOpVSiG0EgwgvwacA66gtNlF%0AHcD+otsHCvcVuxpoA54AXgD+uITXlULR0LCInp4BRkdHo44iRWK6QeVxzwBfAr4BNBaubwR+Y4bn%0AlbLxNgW8HXhP4bWfIRis3jlxwQ0bNpy/3tnZSWdnZwkvL5WupqaGsbEsp06dorW1Neo40qzlcjly%0Audycn19KIbyPYP8DgDPApwk2I83kILC66PZqLmwaGrefYDPR2cLlF8B6ZigEKSz5fAvHjx+3EFSR%0AJn5Z/sIXvjCr50+3yeiqws+9kzz25IRlJvMCwSahNUAd8BHgwQnL/Ah4F8EAdCPwTmDLtImlWSt9%0A/8l0upVDhxxYVnWabg3hiwQzix4k+HA/TFAgy4EbCGYa9QN/OMXzR4A7gUcIPvC/AWwFPlV4/F6C%0AKak/A14FxoCvYyEoQtlsK/v3b4s6hhSJ6QrhI8CbCD7w/xJ4Q+H+vcDTBJuOds3w+j8tXIrdO+H2%0AlwsXKXL19RkOHhxlcHCQ+vr6qONIC2qmMYRu4CsE2/dvIfgW/zTBfglnw40mXb65HYqilePHj7Ni%0AxYp5zyOVs1Kmnf49wY5l/4NgR7N1hfukWEom2zh6tC/qGNKCK2WW0bUEJTDucdzOrxjLZFrZt28r%0A69dHnURaWKWsIbwE/HrR7ZuBF8OJI82vuWwxymRaOHKk3x3UVHVKWUO4gWBHtP0EO5tdAWwHNhVu%0AXx9aOikCwQ5qTZw4cYL29vao40gLppRCuC30FFLZaaO3t89CUFUppRD2hB1CClMp50OYqKGhjf37%0A93LNNSEEksrUbM6pLFWcuZ4BLZttY9++455BTVXFQpAmkUrVMTRUz6lTp6KOIi0YC0GaUju9vb1R%0Ah5AWjIUgTaG+vp29ey0EVQ8LQZrCokVBITiOoGphISjWLuezPJVKO46gqmIhKPbmMu10XD7fzrFj%0Anupb1cFCUMxd3uaehobF7NljIag6WAjSNJqa2tm7t4+xsbGoo0ihsxCkaaRSdQwPZzlx4kTUUaTQ%0AWQjSjBZz9KibjRR/FoI0g0xmMbt2vR51DCl0FoJibT52Ichm2zhw4BQjIyOX/2JSGbMQFHuXM+0U%0AgvMj5PNtTj9V7FkIirX52ss4mVzCwYNH5+W1pHJlIUglaG5eyo4dFoLizUKQStDQkOXkyQT9/f1R%0AR5FCYyFIJVtKT49rCYovC0EqUWPjUrq7e6KOIYXGQlCszeeRqxctWsy+fScZHh6evxeVyoiFIJWo%0ApqaGsbF2jh51s5HiKexCuA3YBuwEPjvNcjcCI8AfhJxHuix1dcvZs8fNRoqnMAuhBriboBTWAXcA%0Aa6dY7kvAz4DL24NImuByd0qbqKVlGTt3HvXop4qlMAvhJqAb2AMMA/cBt0+y3KeBBwAPFqN5Fcap%0AL1OpNIODWXp7Pdey4ifMQugA9hfdPlC4b+IytwP3FG578lqVvWRyOfv3H4k6hjTvakN87VI+3L8K%0A/Flh2QTTbDLasGHD+eudnZ10dnZeXjppjlpbV7B16z/z9rdfF3UU6SK5XI5cLjfn54e5zf5mYAPB%0AGALA54AxgvGCcbuKMiwGzgD/Bnhwwmvlw1j9V7zl83m+9rWfsGrV7877ax88+CQf/vB1tLW1zftr%0AS/OlMIZW8ud8mJuMXgCuBtYAdcBHuPSD/o3AlYXLA8C/m2QZqewkkyvYt+9w1DGkeRVmIYwAdwKP%0AAFuAHwBbgU8VLlLFamlZydatFoLiJcwxBICfFi7F7p1i2U+EnEVVaL6nnY5raMhy4EAtfX19bjZS%0AbLinsmIr7HGnmpoO9u49FOrvkBaShSDNUWvrSjZvPhR68UgLxUKQ5qi+PkN/f4On1lRsWAjSZUil%0AVtHdfSDqGNK8sBCky9DW1sHWrT2Mjo5GHUW6bBaCdBlSqTqGhto4fNgpqKp8FoJiLvwD6DY2rmbz%0A5n2h/x4pbBaCYmuhZv+0tCxj9+4Bzpw5syC/TwqLhSBdpmQySSLRwe7driWoslkI0jxoabmCV17Z%0A7z4JqmgWgjQPGhubOHWqkZ4eT6+pymUhSPOkvv4NbNmyN+oY0pxZCNI8aWtbyY4dJzl9+nTUUaQ5%0AsRAUa2Ed7XQyweDyanbu3LNgv1OaTxaCNI/a29fwyisHGBkZiTqKNGsWgjSP0ukGzp5dzL59+6OO%0AIs2ahaDYimoKaEvLG3nxxd1OQVXFsRCkeZbNtvL662mOHDkSdRRpViwEKQTZ7FW89FJ31DGkWbEQ%0AFGtRbbVpbV3O3r2jnjxHFcVCkELS0PAmXn55Z9QxpJJZCFJI2ts76O4+S19fX9RRpJJYCIq1hdwx%0AbbLfnU5fzUsvbY8sgzQbFoJiqxymfS5evIodO846lqCKYCFIIUokEjQ2vpnnn98WdRRpRhaCFLL2%0A9g527x5zvwSVPQtBWgCLFq1l48atZbEZS5qKhSAtgObmJfT0NLJ7956oo0hTWohCuA3YBuwEPjvJ%0A4x8FuoBXgY3A9QuQSVWinL6Qt7ev4+mnd3Lu3Lmoo0iTCrsQaoC7CUphHXAHsHbCMruA3yIogr8A%0A/lfImVRFopx2OlFjYxNnzqxk0yYHmFWewi6Em4BuYA8wDNwH3D5hmWeAk4XrzwGrQs6kKlGO2+uX%0ALXszzz/fw4kTJ6KOIl0i7ELoAIoPDH+gcN9U/hR4ONREUoRqa1Ok02t5+ulXy7KwVN3CLoTZvOPf%0ADXySyccZpNhYvHgV+/bV0d29K+oo0kVqQ379g8DqoturCdYSJroe+DrBWMPxyV5ow4YN5693dnbS%0A2dk5XxmlBbd06fU8+eRTrFy5nEwmE3UcxUQulyOXy835+WGPuNUC24H3AIeAXxIMLG8tWuYK4HHg%0Aj4Bnp3idvKvXmq1z587xrW89wcqVvxN1lEn19Oxm9epDvP/9v1FWg9+Kj8L7quQ3V9ibjEaAO4FH%0AgC3ADwjK4FOFC8CfA63APcDLBKUhzYty/h6xbNmVdHcn2b7dE+moPFTK1xLXEDRrwRpCjpUr3x91%0AlCkNDZ2lr+8pPvzhm2hpaYk6jmKm3NYQJE0jnW4gnb6On//8RYaHh6OOoypnIUgRa2tbQW/vMp57%0ArivqKKpyFoJiq5I2M65YsY6urkHHExQpC0EqA8lkkuXLb+Dxx3dz9OjRqOOoSlkIUpmoq6unpeUG%0AfvKTVzh16lTUcVSFLATFWgVtNQIgm20lkfg1Hn74lwwODkYdR1XGQpDKTHv7SgYGruSRR5515pEW%0AlIUglaFly67iyJGlPPbYc4yMjEQdR1XCQlCsVfIhIVauXMeePc08/riloIVhISi2Kmna6VQ6Oq7j%0AtdeaeOyx59x8pNBZCFKZW7XqevbsaeGRR55haGgo6jiKMQtBqgArV17L4cPL+fGPNzIwMBB1HMWU%0AhSBViOXLr+HUqav54Q//mWPHjkUdRzFkIUgVZPHi1dTUvIMHHnjJM65p3lkIirUYjCtfYtGidhYv%0AvoVHHjnIxo0vOgNJ88ZCUKxV8rTT6aTTDaxa9Zts2lTHP/7jk/T19UUdSTFgISi24jDtdDrJZJKO%0Ajus4e/Za7r//RTZt2sro6GjUsVTBLASpwrW2Lmfp0lt56qkz/OhHv3DAWXNmIUgxkErVsXr1OxgY%0AWMf993exceOLnD17NupYqjC1UQeQNH9aW5exaNFitmx5ja1bf8E733kFb3nLm0ilUlFHUwVwDUGK%0AmZqaGpYvv4bW1lvZuHGY7373cbZs2e6hLzQjC0GxFvNx5WnV1dXT0XE92ewtPPnkIN/5zuN0dW12%0AU5Km5CYjxVpcp53ORjrdyKpV6xkauoZnn93Nc8/9grVr23nLW97AkiVLoo6nMmIhSFUinW5g5cp1%0AjI5ew44dB/nVr7bS1vYq69evZvXqDjKZTNQRFTELQaoyNTW1LF36BuANnD59klxuP7CRjo4G1q5d%0AyYoVyy2HKmUhKLbivmPafMhkmslkmsnnr+XkyWM8+uhh8vmNLFtWxzXXLGP58iW0tbWRTDrcWA0s%0ABEkkEgmam5fQ3LwEuJ6BgRNs3NhDPr+NVKqf1atbWbOmnfb2NlpaWqipqYk6skJgIUi6RDbbQjbb%0AAryZkZFhjhzpY/fuXmAryWQ/y5Zl6ehoZsmSFpqbm2lqanItIgbCLoTbgK8CNcD/Br40yTJ/C3wA%0AOAN8HHg55EyqIm41uny1tSlaW5fR2roMgLGxMU6fPslLL51gdLSXRGI3icRp2tsbWbq0iSVLsjQ1%0AZclms2QyGWpr/d5ZKcL8P1UD3A28FzgIPA88CGwtWuaDwJuAq4F3AvcAN4eYKRK5XI7Ozs6oY8xZ%0AJeffseMVOjreE3WMOdu0Kcd113VGHeMiyWSSbLaVbLb1/H1jY2MMDg7w2mv9bNkyABwBTrN9+zO8%0A9a1vo7W1kZaWBlpbG8lmG6ivrz9/SafTZTs9uJLf+3MRZiHcBHQDewq37wNu5+JC+BDw7cL154AW%0AYBnQE2KuBVfpb6pKzr9jRxfvfnfUKeauHAthMslkksbGRTQ2Lrro/lzucd71rlsZGDhDb+8ZhobO%0Aks/3k0gcBQbJ5wdJJodpaEiRyaTJZNJks3U0NtaRydRRV1dHKpU6/7O2tvb8z4UYx6jk9/5chFkI%0AHcD+otsHCNYCZlpmFTErBEWpPL95VpNUKk0qlb5ojaJYPp9nZOQcw8NDvP76EIcPn2N4+BwjI0Mk%0Ak/3AMHCu8HOEfD74mUzmSadrqaurpa6u5vzPVCq4jN+urU2SStVQW1tDMpk8f6mpufh2IpG45Pq5%0Ac+c4c+bM+duJRGLKSxyEWQilbr2d+C+5oFt9d+3axebNm0P9Hdu3b+ehhx6a03PLYRv49u3befDB%0AueWfjXD+W89x6NCzYbzwgujvPzBN/jzl/jk0MLCfw4efmdNzi1cAginENUANiUQagLGxPAMDI4yO%0AjjA6OsTo6BnGxqY+H0QiEbxmIhFcksngMn4dLr29efNu7rvvsfPPKb6Mv+bE+ybeX3xf8c+p7pvu%0A/omPT/fcuQjz7XQzsIFgYBngc8AYFw8sfw3IEWxOAtgG3MqlawjdwFUh5ZSkuHqNYJw2crUEYdYA%0AdcArwNoJy3wQeLhw/Wagcr/KSZKm9QFgO8E3/M8V7vtU4TLu7sLjXcDbFzSdJEmSpMpTQ7CzWvij%0AmvOvBXiAYKrtFipvH4vPAZuBTcD3gHS0cWb0TYLxp01F97UBPwd2AP+P4P9JuZos/18TvH+6gB8C%0AzRHkKtVk+cf9F4IxxLYFTVS6qbJ/muDf/1dMvmNtuZgs/03ALwk+P58Hbowg17z7z8B3CXZqqzTf%0ABj5ZuF5Lef8xT7QG2MWFEvgB8LHI0pTmFuBtXPxH8d+BzxSufxb4q4UONQuT5X8fF05k9VdUXn6A%0A1cDPgN2UbyFMlv3dBF8mxs8/Ws4nj5gsfw74ncL1DwBPLHCmebcKeJTgf0ylrSE0E3ygVqo2gvGf%0AVoIye4hgr/Nyt4aL/yi2EezsCLC8cLucrWHyb9gAvw98Z+GizMkaLs3/D8D1lHchwKXZ7wd+O5oo%0Ac7KGi/N/H/hw4fodlPDeKfejUf0N8F8JVjUrzZXA68C3gJeArwONkSaanT7gK8A+4BBwgqCcK03x%0Anu89XCiHSvRJLszKqxS3E+xw+mrUQebgauC3CGY/5oAbIk0ze3/Ghb/hv+bCxJ4plXMh/C5wlGD7%0AV5nvfjOpWoJZU/+z8PM0wf+gSnEV8B8JvnWsBLLAR6MMNA/yLPCOj/PovxHsrvu9qIPMQiPweeCu%0Aovsq6W+5lmAN+WaCL6b3Rxtn1r4B/HvgCuA/EYwzVKwvEhzWYjdwmOAD9e8jTTQ7ywmyj3sX8OOI%0AsszFRwiOUDvuj4G/iyjLbKzh0k1GywvXV1CZm4w+DmwE6hc6zBys4UL+6wjWynYXLsMExzZbGkWw%0AEqzh4n/7nxLsKDuuG2hfyECztIaL858qup4ATs70AuW8hvB5gsGoK4E/BB4H/iTSRLNzhKDQrinc%0Afi/BjJ1KsY3gm1EDwZvpvQQzpSrNg1wYDP8Y8E8RZpmL2wi+nd4ODEacZbY2EWyiu7JwOUCwtnw0%0AylCz8E9cGEO4hmAH297o4sxaNxcK7bcJZtrFwq1U5iyj9QTTvSphyuBkPsOFaaff5sJsi3L1fYLx%0AjnMEZfwJgkHMR6mMaacT838S2AnsJdh0+jLBJshyNZ5/iAv//sV2Ub6DypNlTwH/h+D9/yLQGVW4%0AEkz23r+B4CjSrwDPEMxCkiRJkiRJkiRJkiRJkiRJkiRJkiRJUtRuJNgDPQ1kCE6gsi7SRNJlqqQj%0AD0rl5i8IDjjXQHC4gHI+o5YkKUQpgrWEZ/HLlWKgnI92KpW7xQSbi7IEawlSRfNbjTR3DxKcsOaN%0ABOda+HS0cSRJUfgTgnMFQ7Cm/SzlfXhkSZIkSZIkSZIkSZIkSZIkSZIkSZKk+fX/AeH4pZd+nuUh%0AAAAAAElFTkSuQmCC" alt="" />
 

现在我们的观察数据是D={10,12,15} ,我们想从这些数据中推断θ 。下面用四种方法来探索。

 

1. 常识(Common Sense)方法

 

我认为:遇到问题,计算之前,先想想怎么下手,并猜一猜结果。我们现在开始。想想这个问题,从概率分布的截断可以得出一个简单的观察结果:θ 必须小于观察值的最小值

这是显而易见的:看到一个小于θ 的观察值概率为0。因此,假如我们假设正确,那么一个θ 大于任何观察值的模型是不可能出现的。贝叶斯主义和频率主义的基本假设都是模型正确,因此我们可以直接写出常识条件:

θ或者,特别地,$D={10,12,15}$,

\theta 这组数据中,θ 的每一个合理约束都应该满足以上条件。带着这条规则,我们继续用贝叶斯主义和频率主义进行定量分析。

 

2. 频率论方法 #1:正态分布近似的样本分布

 

在频率论方法中,我们要计算θ 的置信区间,可以通过观察值的计算均值开始

因此,用样本均值作为E(x) 的点估计值, 就得到θ 的无偏估计(unbiased estimator)

θ^=1Ni=1Nxi−1

指数分布的标准差为1,所以当N 组够大,我们就可以用均值的标准差来表示θ^ 的样本分布情况,将满足方差σ2=1/N 的正态分布。因此,我们可以写出95% (就是2σ )的置信区间为

CIlarge N=(θ^−2N−1/2, θ^+2N−1/2)

写成函数代码如下:

In [9]:
from scipy.special import erfinv

def approx_CI(D, sig=0.95):
"""Approximate truncated exponential confidence interval"""
# use erfinv to convert percentage to number of sigma
Nsigma = np.sqrt(2) * erfinv(sig)
D = np.asarray(D)
N = D.size
theta_hat = np.mean(D) - 1
return [theta_hat - Nsigma / np.sqrt(N),
theta_hat + Nsigma / np.sqrt(N)]
In [10]:
D = [10, 12, 15]
print("approximate CI: ({0:.1f}, {1:.1f})".format(*approx_CI(D)))
 
approximate CI: (10.2, 12.5)
 

这里有个问题。通过我们简单的常识,我们认为θ 不可能大于10,但是上面的范围依然是95%置信区间。可能观察数据应该太少了: 上面的计算应该基于一个大的N ,而我们用的是一个很小的N=3 。我们用更多的计算来试试看:

 

3. 频率论方法 #2:精确的样本分布

 

用精确的样本分布计算置信区间需要费一番功夫:

对较小的N ,正态分布近似是不能用的,我们必须用真实的样本分布计算置信区间,就是N 个变量的均值的分布取决于p(θ) 。随机变量的和服从单个变量的分布的卷积(convolution),因此我们可以看看卷积理论(convolution theorem),再使用特征方程(characteristic functions),来找到取决于p(x | θ) 的N 个变量的和样本分布:

$$ f(\theta~|~D) \propto \left\{ \begin{array}{lll} z^{N - 1}\exp(-z) &,& z > 0\\ 0 &,& z

 

要计算95%置信区间,我们要算累计分别函数:求f(θ | D) 从0 到θ 的积分。如果我们使用不完全Gamma方程(incomplete gamma function)会容易点:

Γ(a,x)=∫xta−1e−tdt

看起来和f(θ) 非常的像。

算出积分,我们就可以得出累计分布函数是:

F(θ | D)=1Γ(N)[Γ(N,max[0,N(θ^+1−θ)])−Γ(N, N(θ^+1))]
 

一个连续的95%置信区间(θ12) 满足下列方程:

F(θ2 | D)−F(θ1 | D)=0.95

实际上有无限多组解,我们要的是最短的区间。我们可以增加两边概率密度相等的约束:

f(θ2 | D)=f(θ1 | D)

(Jaynes认为这一条确保区间是最短的,但是我(作者)不明白怎么证明)。其实因为正态分布钟形曲线的对称性,如果要达到同样的95%置信水平(概率),也就是同样的面积,则越往中间则面积越大,区间越小。那么对称的区间的长度一定比同面积的非对称区间的长度都短。

解决这两个非线性方程的系统就可以得出置信区间。计算过程如下:

In [11]:
from scipy.special import gammaincc
from scipy import optimize def exact_CI(D, frac=0.95):
"""Exact truncated exponential confidence interval"""
D = np.asarray(D)
N = D.size
theta_hat = np.mean(D) - 1 def f(theta, D):
z = theta_hat + 1 - theta
return (z > 0) * z ** (N - 1) * np.exp(-N * z) def F(theta, D):
return gammaincc(N, np.maximum(0, N * (theta_hat + 1 - theta))) - gammaincc(N, N * (theta_hat + 1)) def eqns(CI, D):
"""Equations which should be equal to zero"""
theta1, theta2 = CI
return (F(theta2, D) - F(theta1, D) - frac,
f(theta2, D) - f(theta1, D)) guess = approx_CI(D, 0.68) # use 1-sigma interval as a guess
result = optimize.root(eqns, guess, args=(D,))
if not result.success:
print "warning: CI result did not converge!"
return result.x
 

为了保证合理性(sanity check),确保精确的与近似的置信区间在大量数据下是一致的:

In [12]:
np.random.seed(0)
Dlarge = 10 + np.random.random(500)
print "approx: ({0:.3f}, {1:.3f})".format(*approx_CI(Dlarge))
print "exact: ({0:.3f}, {1:.3f})".format(*exact_CI(Dlarge))
 
approx: (9.409, 9.584)
exact: (9.408, 9.584)
 

确实,在较大的N 解出的精确区间与近似区间一致,这让我们确信我们的计算是正确的。

让我们回到之前3个点的数据集看看结果:

In [13]:
print("approximate CI: ({0:.1f}, {1:.1f})".format(*approx_CI(D)))
print("exact CI: ({0:.1f}, {1:.1f})".format(*exact_CI(D)))
 
approximate CI: (10.2, 12.5)
exact CI: (10.2, 12.2)
 

精确的置信区间与近似置信区间稍有不同,但是反映了同样的问题:我们从常识推断θ 不能大于10,而95%的置信区间完全处于大于10的区间内。这个置信区间看起来不太靠谱。

后面我们会仔细研究,现在我们看看贝叶斯的解决方法是不是更好。

 

4. 贝叶斯可信范围

 

首先我们用贝叶斯定理:

p(θ | D)=p(D | θ)p(θ)P(D)

用一个常量的p(θ) ,它的似然估计为

p(D | θ)=∏i=1Np(x | θ)

可以得出

p(θ | D)∝{Nexp[N(θ−min(D))],θmin(D)}

其中,min(D) 是D 的最小值, 之所以出现是因为p(x | θ) 的截断。因为p(θ | D) 会指数增长到截断位置(cutoff),所以最短的95%置信区间(θ12) 就是

θ2=min(D)

而θ1 就是下面方程的解

θ2θ1Nexp[N(θ−θ2)]dθ=f

算积分可以求解方程

θ12+log(1−f)N

解法如下所示:

In [14]:
def bayes_CR(D, frac=0.95):
"""Bayesian Credibility Region"""
D = np.asarray(D)
N = float(D.size)
theta2 = D.min()
theta1 = theta2 + np.log(1. - frac) / N
return theta1, theta2
 

贝叶斯方法就搞定了,下面我们来比较一下四种方法:

In [15]:
print("common sense:         theta < {0:.1f}".format(np.min(D)))
print("frequentism (approx): 95% CI = ({0:.1f}, {1:.1f})".format(*approx_CI(D)))
print("frequentism (exact): 95% CI = ({0:.1f}, {1:.1f})".format(*exact_CI(D)))
print("Bayesian: 95% CR = ({0:.1f}, {1:.1f})".format(*bayes_CR(D)))
 
common sense:         theta < 10.0
frequentism (approx): 95% CI = (10.2, 12.5)
frequentism (exact): 95% CI = (10.2, 12.2)
Bayesian: 95% CR = (9.0, 10.0)
 

我们会发现贝叶斯方法与常识是一致的,而频率论不靠谱。问题就是频率主义一直回答错误的问题。下面我会详谈,首先我们通过仿真来验证CI和CR的正确性。

 

数值方法验证

 

为了消除对数学的担忧,我想重复之前做过的事情,说明前面的置信区间其实是正确的。我们将用前面提到的方法,假设这个真实的θ 和具有同样分布的样本数据:

In [16]:
from scipy.stats import expon

Nsamples = 1000
N = 3
theta = 10 np.random.seed(42)
data = expon(theta).rvs((Nsamples, N))
CIs = np.array([exact_CI(Di) for Di in data]) # find which confidence intervals contain the mean
contains_theta = (CIs[:, 0] < theta) & (theta < CIs[:, 1])
print "Fraction of Confidence Intervals containing theta: {0:.3f}".format(contains_theta.sum() * 1. / contains_theta.size)
 
Fraction of Confidence Intervals containing theta: 0.953
 

按照频率主义的观点,计算出来的置信区间的95%可能是包含真实值的。我们计算置信区间的程序实际是正确的:数据其实是在另外的5%里面。但是:我们从数据本身出发,发现我们真处于让CI失败的5%数据中。标准的频率论置信区间理论忽略了这样的事实,那就是在处理任何问题时,常识都应该让你停止对置信区间的盲目依赖。

让我们检查一下贝叶斯可信区域的测试结果:

In [17]:
np.random.seed(42)
N = 1E7
eps = 0.1 theta = 9 + 2 * np.random.random(N)
data = (theta + expon().rvs((3, N))).T
data.sort(1)
D.sort()
i_good = np.all(abs(data - D) < eps, 1) print("Number of good samples: {0}".format(i_good.sum()))
 
Number of good samples: 65
In [18]:
theta_good = theta[i_good]
theta1, theta2 = bayes_CR(D) within_CR = (theta1 < theta_good) & (theta_good < theta2)
print("Fraction of thetas in Credible Region: {0:.3f}".format(within_CR.sum() * 1. / within_CR.size))
 
Fraction of thetas in Credible Region: 0.954
 

看,确实如此,~95%的θ 的数值落在我们通过单个数据样本计算的可信范围内。

 

频率主义回答错误问题

 

在例二中,我们演示了频率论方法是技术正确的,但是它违背我们的常识。到底是咋回事儿?

问题的关键是:频率论置信区间给出正确答案的同时,通常是在回答错误的问题。错误的问题就是频率论的基础——概率定义。

回想上面我对置信区间和可信范围的论述。贝叶斯主义说:

"从观察到的数据来看,θ 的真实值有95%的可能性落在可信范围内" - 贝叶斯主义

而频率主义说:

"当我用这组数据计算置信区间时,θ 有95%的可能在区间内" - 频率主义

想想看,假如你发现设备宕机了3次,你想估计θ 。我认为"这种数据"不是你的目标:你应该关心的是你可以从这三次观察中发现什么问题,而非观察的整个假设空间(not the entire hypothetical space of observations like them)。如前所述,如果你步频率论后尘去考虑"这种数据",你就置身获得答案的绝境,从你观察到的特殊情况中得不到任何价值。

假如你想改变知道从你观察到的数据中,频率论置信区间可以告诉你什么。这就是答案:

"从观察到的数据来看,θ 的真实值要么在置信区间里,要么不在里面" - 频率主义

这就是对你观察到的这些数据置信区间想说的,也能说的内容。当然,这看起来有点啰嗦,那么精简一点的说法就是:

"从观察到的数据来看,我无法确定θ 值的范围" - 频率主义

如果你想从你观察到的数据中得到答案,频率主义是不靠谱的。

 

再坚持下哈... 这是不是有点过分苛责?

 

这么说可能有点苛刻,但是我想说这不是信口雌黄;这是关于频率主义的哲学立场和置信区间的定义的一个不争的事实。如果你想从观察到的数据中获得靠谱的结论(如置信区间和相关系数p 值),频率主义是相当不靠谱的。

不幸的是,整天在用频率论方法的很多人都没有意识到这些。我从天文学的案例中指明了这些,但是我并非要让大家难堪(他们很容易知道现在你要找什么)。很多科学家把置信区间当作贝叶斯可信范围,但这明显是错的。统计学外行可能会原谅对这一观点的忽略,但是专业的统计学家们也经常错误地解释置信区间。

我认为这个错误如此普遍的理由,是因为在很多小问题(如前所述)中,置信区间与可信范围恰好一致。这时,频率主义正确地回答了你的问题,但是仅仅因为贝叶斯主义也给出了相同的结果。(如果贝叶斯的结果不一样,频率论就错了。)

我绝非第一个这么说的人。物理学家E.T. Jaynes是公认的贝叶斯捍卫者; 我的一个灵感来自他1976的论文Confidence Intervals vs. Bayesian Intervals (pdf)。最近,持同样观点的,还有统计学家与博主W.M. Briggs 在arX发表的博文再也别给非统计学人士讲频率主义了(It's Time To Stop Teaching Frequentism to Non-Statisticians)。还有SavageCornfield,以及20世纪的贝叶斯实践者们大量的著作言论。

那么,你还想用置信区间吗?可能在多个数据获取可以实现的情况下(如分析赌博赔率),频率主义是有意义的。但是在大多数科学应用中,当你关心的是目前获取的数据可以告诉我们什么时,频率主义只会回答错误的问题

 

本文的寓意:频率主义不能与科学混为一谈

 

本文的寓意就是频率主义不能与科学混为一谈。在科学工作中,你要质疑对频率论的置信区间和p值的使用。在科学研究时,置信区间和相关系数p值,为错误的问题提供了正确的答案。尤其是当你发现有人说95%置信区间就是对目标参数95%的确定时,不要相信他们的解释和结论。如果你是论文审稿人,直接拒绝。他们的数据不能支撑其结论。

如果你坚持到这里,我非常感谢你!我希望这些解释成功地阐述了频率主义与贝叶斯主义的哲学假设对实际的数据分析和解释的差异。如果本文让一个研究者不再用频率论置信区间做科学研究,那么我就认为我成功l。

这篇博客是IPython notebook写的。可以[下载](http://jakevdp.github.io/downloads/notebooks/FreqBayes3.ipynb),或者看[nbviewer](http://nbviewer.ipython.org/url/jakevdp.github.io/downloads/notebooks/FreqBayes3.ipynb)静态网页。十分感谢David W. Hogg对本文提出的建议。

frequentism-and-bayesianism-chs-iii的更多相关文章

  1. The Model Complexity Myth

    The Model Complexity Myth (or, Yes You Can Fit Models With More Parameters Than Data Points) An oft- ...

  2. 用Kotlin开发Android应用(III):扩展函数和默认值

    这是关于Kotlin的第三篇. 原文标题:Kotlin for Android (III): Extension functions and default values 原文链接:http://an ...

  3. LeetCode Single Number I / II / III

    [1]LeetCode 136 Single Number 题意:奇数个数,其中除了一个数只出现一次外,其他数都是成对出现,比如1,2,2,3,3...,求出该单个数. 解法:容易想到异或的性质,两个 ...

  4. SPOJ GSS3 Can you answer these queries III[线段树]

    SPOJ - GSS3 Can you answer these queries III Description You are given a sequence A of N (N <= 50 ...

  5. 【Codeforces717F】Heroes of Making Magic III 线段树 + 找规律

    F. Heroes of Making Magic III time limit per test:3 seconds memory limit per test:256 megabytes inpu ...

  6. LeetCode——Best Time to Buy and Sell Stock III (股票买卖时机问题3)

    问题: Say you have an array for which the ith element is the price of a given stock on day i. Design a ...

  7. 1. Two Sum I & II & III

    1. Given an array of integers, return indices of the two numbers such that they add up to a specific ...

  8. 【LeetCode】Single Number I & II & III

    Single Number I : Given an array of integers, every element appears twice except for one. Find that ...

  9. 黑科技项目:英雄无敌III Mod <<Fallen Angel>>介绍

    英雄无敌三简介(Heroes of Might and Magic III) 英3是1999年由New World Computing在Windows平台上开发的回合制策略魔幻游戏,其出版商是3DO. ...

  10. hdu acm 1028 数字拆分Ignatius and the Princess III

    Ignatius and the Princess III Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K ...

随机推荐

  1. CentOS 下如何查看并清理系统内存空间

    有时候在服务器上打开了很多会占用内存的程序但关闭这些程序后,发现内存空间还是和没有关闭应用程序时的占用一样,以致使其它应用程序打开时内存不够或很卡,那么此时就想清理掉以前的程序打开时所占用的内存.而大 ...

  2. android使用library工程问题

    在windows系统下,library project必须和project处于相同的盘符中,因为如果在不同盘符,project.properties中的android.library.referenc ...

  3. HOOK API 在多线程时应该注意的问题点

    在使用INLINE HOOK API实现对系统API的拦截时,正常情况下并没有太大问题,但一旦涉及到多线程,不管是修改IAT还是JMP,2种方法均会出现不可预料的问题,特别是在HOOK一些复杂的大型系 ...

  4. GROUPING SETS、CUBE、ROLLUP

    其实还是写一个Demo 比较好 USE tempdb IF OBJECT_ID( 'dbo.T1' , 'U' )IS NOT NULL BEGIN DROP TABLE dbo.T1; END; G ...

  5. 【6.24-北京】AppCan移动开发者大会:最新议程曝光

    6.24,首届AppCan移动开发者大会将在北京国际会议中心召开. 大会以“平台之上,应用无限”为主题,旨在探讨在“互联网+双创”的大潮下,通过移动互联网技术.思维.模式,帮助开发者/创业者实现创新创 ...

  6. angularjs+nodejs+mongodb三件套

    说实话,自己对于web前段的认识并不是太深入,但是因为项目的需要,所以有的时候肯定会需要接触到web前段的知识点.说到web前端想必大家肯定会想到css+js+html,的确web前端的工作,从某总角 ...

  7. ios中怎么获得当前版本号

    NSString *version = [NSBundle mainBundle].infoDictionary[(__bridge NSString *)kCFBundleVersionKey];

  8. 在meteor中如何使用ionic组件tabs,及如何添加使用cordova plugin inappbrower

    更新框架: meteor update meteor框架的优点不言而喻,它大大减轻了App前后端开发的负担,今年5月又获得B轮2000万融资,代表了市场对它一个免费.开源开发框架的肯定.cordova ...

  9. SQL Server 2008 表变量参数(表值参数)用法

    表值参数是 SQL Server 2008 中的新参数类型.表值参数是使用用户定义的表类型来声明的.使用表值参数,可以不必创建临时表或许多参数,即可向 Transact-SQL 语句或例程(如存储过程 ...

  10. 45.modelsim仿真include文件

    modelsim仿真include文件会出现找不到文件的情况,这是因为include文件路径有两种,一种是相对路径,另一种是绝对路径. 相对路径: 如果 ‘include "primitiv ...