谁知道“一个很小的问题,乘以13亿……”的出处_百度知道
谁知道“一个很小的问题,乘以13亿……”的出处
一个很小的问题，乘以13亿，都会变成一个大问题； 一个很大的总量，除以13亿，都会变成一个小数目。 这句话是温总理在哪些场合说过？我想要这个视频或者音频！谢谢
我想要相关的视频啊 或者声音的素材 谁能帮我找到网址啊！不一定是华盛顿邮报采访的那次。
我有更好的答案
这个问题是温家宝在接受&华盛顿邮报&记者采访时时说的,大约过去有五年了.具体时间是日.下面是当时的新闻:
采纳率：33%
应该是在512吧
5年前，温家宝说的
为您推荐：
其他类似问题
换一换
回答问题，赢新手礼包
个人、企业类
违法有害信息,请在下方选择后提交
色情、暴力
我们会通过消息、邮箱等方式尽快将举报结果通知您。简单介绍了下Prolog的一些基本概念，今天我们来利用这些基本概念解决两个问题：数独和八皇后问题。
&数独是一个很经典的游戏：
玩家需要根据n&n盘面上的已知数字，推理出所有剩余空格的数字，并满足每一行、每一列、每一个粗线宫内的数字均含1-n，不重复。
当然数独的阶有很多，9&9是最常见的，我们就以它做例子。在用Prolog解决之前先想想如果我们用C#或Java来做或怎么做？无非就是数据结构加算法，我们先得用一个数据结构表示数独，然后我们要在这个数据结构上&施加&算法进行求解。采用Prolog的第一步是相同的，我们得找一个数据结构表示数独，毫无疑问在Prolog中我们只能选择列表或元组，这里列表是更好的选择，因为列表可以进行[Head|Tail]解析，后面你就知道为什么了。我们像下面这样表示一个数独：
[_, 6, _, 5, 9, 3, _, _, _,
9, _, 1, _, _, _, 5, _, _,
_, 3, _, 4, _, _, _, 9, _,
1, _, 8, _, 2, _, _, _, 4,
4, _, _, 3, _, 9, _, _, 1,
2, _, _, _, 1, _, 6, _, 9,
_, 8, _, _, _, 6, _, 2, _,
_, _, 4, _, _, _, 8, _, 7,
_, _, _, 7, 8, 5, _, 1, _]
&_&代表未知的数字，需要玩家填空的地方。
接下来的步骤跟命令式语言就截然不同了，我们不是描述算法，而是要描述数独这个游戏的规则：
给定玩家一个9&9的盘面，玩家填充完所有的空格后最终的解仍然是这个9&9的盘面；
填充完空格后，每一个空格内的数字均在1~9之内；
填充完空格后，每一行9个数字各不相同；
填充完空格后，每一列9个数字各不相同；
填充完空格后，每一个宫格内的数字各不相同。
Ok，这就是整个游戏的规则。你可能觉得第一条规则没什么用，实际上第一条规则定义了&解&的形式，就像在C#中我们确定了方法的签名一样：
sudoku(Puzzle,Solution):- Solution = Puzzle.
事实上这个规则已经可以工作了：
| ?- sudoku([1,2,3,4,5,6,7,8,9,
1,2,3,4,5,6,7,8,9,
1,2,3,4,5,6,7,8,9,
1,2,3,4,5,6,7,8,9,
1,2,3,4,5,6,7,8,9,
1,2,3,4,5,6,7,8,9,
1,2,3,4,5,6,7,8,9,
1,2,3,4,5,6,7,8,9,
1,2,3,4,5,6,7,8,9],Solution).
Solution = [1,2,3,4,5,6,7,8,9,1,2,3,4,5,6,7,8,9,1,2,3,4,5,6,7,8,9,1,2,3,4,5,6,7,8,9,1,2,3,4,5,6,7,8,9......
当然这只是第一步，这个规则对于输入的数独形式没有任何限制，事实上可以是任意的列表,Prolog都返回yes：
| ?- sudoku([1,2,3],Solution).
Solution = [1,2,3]
我们需要规定下数独的形式：
sudoku(Puzzle,Solution):-
Solution = Puzzle,
Puzzle = [S11,S12,S13,S14,S15,S16,S17,S18,S19,
S21,S22,S23,S24,S25,S26,S27,S28,S29,
S31,S32,S33,S34,S35,S36,S37,S38,S39,
S41,S42,S43,S44,S45,S46,S47,S48,S49,
S51,S52,S53,S54,S55,S56,S57,S58,S59,
S61,S62,S63,S64,S65,S66,S67,S68,S69,
S71,S72,S73,S74,S75,S76,S77,S78,S79,
S81,S82,S83,S84,S85,S86,S87,S88,S89,
S91,S92,S93,S94,S95,S96,S97,S98,S99].
| ?- sudoku([1,2,3],Solution).
我们接着看第二条规则：&填充完空格后，每一个空格内的数字均在1~9之内&&。上一篇文章中我们介绍了Prolog中有一个内置谓词叫，这时候就可以派上用场了：
sudoku(Puzzle,Solution):-
Solution = Puzzle,
Puzzle = [S11,S12,S13,S14,S15,S16,S17,S18,S19,
S21,S22,S23,S24,S25,S26,S27,S28,S29,
S31,S32,S33,S34,S35,S36,S37,S38,S39,
S41,S42,S43,S44,S45,S46,S47,S48,S49,
S51,S52,S53,S54,S55,S56,S57,S58,S59,
S61,S62,S63,S64,S65,S66,S67,S68,S69,
S71,S72,S73,S74,S75,S76,S77,S78,S79,
S81,S82,S83,S84,S85,S86,S87,S88,S89,
S91,S92,S93,S94,S95,S96,S97,S98,S99],
fd_domain(Puzzle,1,9).
好了现在我们只能输入9&9并且每个每个位置上只能是1~9之间的数的列表了。
好了，现在到整个游戏的关键规则，事实上2,3,4这三个规则才决定了数独的难度，1,2只不过是基础，我们来统一考虑这三个问题。这里其实比想象的简单多了。我们首先要做的就是需要定义出来行、列、宫格：
Row1 = [S11,S12,S13,S14,S15,S16,S17,S18,S19],
Row2 = [S21,S22,S23,S24,S25,S26,S27,S28,S29],
Row3 = [S31,S32,S33,S34,S35,S36,S37,S38,S39],
Row4 = [S41,S42,S43,S44,S45,S46,S47,S48,S49],
Row5 = [S51,S52,S53,S54,S55,S56,S57,S58,S59],
Row6 = [S61,S62,S63,S64,S65,S66,S67,S68,S69],
Row7 = [S71,S72,S73,S74,S75,S76,S77,S78,S79],
Row8 = [S81,S82,S83,S84,S85,S86,S87,S88,S89],
Row9 = [S91,S92,S93,S94,S95,S96,S97,S98,S99],
Col1 = [S11,S21,S31,S41,S51,S61,S71,S81,S91],
Col2 = [S12,S22,S32,S42,S52,S62,S72,S82,S92],
Col3 = [S13,S23,S33,S43,S53,S63,S73,S83,S93],
Col4 = [S14,S24,S34,S44,S54,S64,S74,S84,S94],
Col5 = [S15,S25,S35,S45,S55,S65,S75,S85,S95],
Col6 = [S16,S26,S36,S46,S56,S66,S76,S86,S96],
Col7 = [S17,S27,S37,S47,S57,S67,S77,S87,S97],
Col8 = [S18,S28,S38,S48,S58,S68,S78,S88,S98],
Col9 = [S19,S29,S39,S49,S59,S69,S79,S89,S99],
Square1 = [S11,S12,S13,S21,S22,S23,S31,S32,S33],
Square2 = [S14,S15,S16,S24,S25,S26,S34,S35,S36],
Square3 = [S17,S18,S19,S27,S28,S29,S37,S38,S39],
Square4 = [S41,S42,S43,S51,S52,S53,S61,S62,S63],
Square5 = [S44,S45,S46,S54,S55,S56,S64,S65,S66],
Square6 = [S47,S48,S49,S57,S58,S59,S67,S68,S69],
Square7 = [S71,S72,S73,S81,S82,S83,S91,S92,S93],
Square8 = [S74,S75,S76,S84,S85,S86,S94,S95,S96],
Square9 = [S77,S78,S79,S87,S88,S89,S97,S98,S99],
上一篇文章中我还提到一个谓词叫fd_all_different:检查列表中是否有重复元素，接下来我们只要证明每一列，每一行，每一个宫格列表内没有重复元素就可以了：
fd_all_different(Row1),
fd_all_different(Row2),
fd_all_different(Col1),
fd_all_different(Col2),
fd_all_different(Square1),
fd_all_different(Square2),
其实到此这个解数独的程序已经结束了，不过最后这几行代码太土了，我们可以采用用递归&优化&下，像下面这样：
valid([]).
valid([Head|Tail]):-
fd_all_different(Head),
valid(Tail).
valid([Row1,Row2,Row3,Row4,Row5,Row6,Row7,Row8,Row9,
Col1,Col2,Col3,Col4,Col5,Col6,Col7,Col8,Col9,
Square1,Square2,Square3,Square4,Square5,Square6,Square7,Square8,Square9]).
不管你信不信，我们已经搞定了，最终完整的代码如下：
valid([]).
valid([Head|Tail]):-
fd_all_different(Head),
valid(Tail).
sudoku(Puzzle,Solution):-
Solution = Puzzle,
Puzzle = [S11,S12,S13,S14,S15,S16,S17,S18,S19,
S21,S22,S23,S24,S25,S26,S27,S28,S29,
S31,S32,S33,S34,S35,S36,S37,S38,S39,
S41,S42,S43,S44,S45,S46,S47,S48,S49,
S51,S52,S53,S54,S55,S56,S57,S58,S59,
S61,S62,S63,S64,S65,S66,S67,S68,S69,
S71,S72,S73,S74,S75,S76,S77,S78,S79,
S81,S82,S83,S84,S85,S86,S87,S88,S89,
S91,S92,S93,S94,S95,S96,S97,S98,S99],
fd_domain(Puzzle,1,9),
Row1 = [S11,S12,S13,S14,S15,S16,S17,S18,S19],
Row2 = [S21,S22,S23,S24,S25,S26,S27,S28,S29],
Row3 = [S31,S32,S33,S34,S35,S36,S37,S38,S39],
Row4 = [S41,S42,S43,S44,S45,S46,S47,S48,S49],
Row5 = [S51,S52,S53,S54,S55,S56,S57,S58,S59],
Row6 = [S61,S62,S63,S64,S65,S66,S67,S68,S69],
Row7 = [S71,S72,S73,S74,S75,S76,S77,S78,S79],
Row8 = [S81,S82,S83,S84,S85,S86,S87,S88,S89],
Row9 = [S91,S92,S93,S94,S95,S96,S97,S98,S99],
Col1 = [S11,S21,S31,S41,S51,S61,S71,S81,S91],
Col2 = [S12,S22,S32,S42,S52,S62,S72,S82,S92],
Col3 = [S13,S23,S33,S43,S53,S63,S73,S83,S93],
Col4 = [S14,S24,S34,S44,S54,S64,S74,S84,S94],
Col5 = [S15,S25,S35,S45,S55,S65,S75,S85,S95],
Col6 = [S16,S26,S36,S46,S56,S66,S76,S86,S96],
Col7 = [S17,S27,S37,S47,S57,S67,S77,S87,S97],
Col8 = [S18,S28,S38,S48,S58,S68,S78,S88,S98],
Col9 = [S19,S29,S39,S49,S59,S69,S79,S89,S99],
Square1 = [S11,S12,S13,S21,S22,S23,S31,S32,S33],
Square2 = [S14,S15,S16,S24,S25,S26,S34,S35,S36],
Square3 = [S17,S18,S19,S27,S28,S29,S37,S38,S39],
Square4 = [S41,S42,S43,S51,S52,S53,S61,S62,S63],
Square5 = [S44,S45,S46,S54,S55,S56,S64,S65,S66],
Square6 = [S47,S48,S49,S57,S58,S59,S67,S68,S69],
Square7 = [S71,S72,S73,S81,S82,S83,S91,S92,S93],
Square8 = [S74,S75,S76,S84,S85,S86,S94,S95,S96],
Square9 = [S77,S78,S79,S87,S88,S89,S97,S98,S99],
valid(Row1,Row2,Row3,Row4,Row5,Row6,Row7,Row8,Row9,
Col1,Col2,Col3,Col4,Col5,Col6,Col7,Col8,Col9,
Square1,Square2,Square3,Square4,Square5,Square6,Square7,Square8,Square9).
反正我信了，我们来试试吧，就以上面我从百度上找到的那个图为例：
| ?- sudoku([_, 6, _, 5, 9, 3, _, _, _,
9, _, 1, _, _, _, 5, _, _,
_, 3, _, 4, _, _, _, 9, _,
1, _, 8, _, 2, _, _, _, 4,
4, _, _, 3, _, 9, _, _, 1,
2, _, _, _, 1, _, 6, _, 9,
_, 8, _, _, _, 6, _, 2, _,
_, _, 4, _, _, _, 8, _, 7,
_, _, _, 7, 8, 5, _, 1, _],Solution).
Solution = [7,6,2,5,9,3,1,4,8,9,4,1,2,7,8,5,3,6,8,3,5,4,6,1,7,9,2,1,9,8,6,2,7,3,5,4,4,7,6,3,5,9,2,8,1,2,5,3,8,1,4,6,7,9,3,8,7,1,4,6,9,2,5,5,1,4,9,3,2,8,6,7,6,2,9,7,8,5,4,1,3]
美化后的结果是这样的：
[7,6,2,5,9,3,1,4,8,
9,4,1,2,7,8,5,3,6,
8,3,5,4,6,1,7,9,2,
1,9,8,6,2,7,3,5,4,
4,7,6,3,5,9,2,8,1,
2,5,3,8,1,4,6,7,9,
3,8,7,1,4,6,9,2,5,
5,1,4,9,3,2,8,6,7,
6,2,9,7,8,5,4,1,3]
八皇后问题
Ok，有了数独问题作为铺垫，下面看八皇后问题应该就应该没那么难了，请保持用Prolog思考问题的方式，解决后你会发现Prolog真是这方面的&专家&，Let's Go!
八皇后问题也是一个非常经典的问题：
八皇后问题是一个以国际象棋为背景的问题：如何能够在 8&8 的国际象棋棋盘上放置八个皇后，使得任何一个皇后都无法直接吃掉其他的皇后？为了达到此目的，任两个皇后都不能处于同一条横行、纵行或斜线上。
老套路我们先描述游戏规则。
每个皇后有一个行号和列号，行号和列号的取值范围在1~8之间；
一个棋盘上有八个皇后；
任意两个皇后不可以共享一行；
任意两个皇后不可以共享一列；
任意两个皇后不可以在同一个对角线上（左下角-&右上角）；
任意两个皇后不可以在同一个对角线上（右下角-&左上角）。
在了解规则之后我们梳理一下这个问题，对照上面这个图：
我们给棋盘上每一个位置设定一个坐标(x,y)，八个皇后的坐标分别为(x1,y1)，(x2,y2)&&我们以回溯的角度看问题，假设如图已经得到了最后解，那么这8个坐标满足：x1，x2&&各不相同，y1，y2&&个不相同，找出(x1,y1)，(x2,y2)&&中属于对角线1上的和对角线2上的位置，它们坐标应该个不相同。
(1,1),(1,2),(1,3),(1,4),(1,5),(1,6),(1,7),(1,8)
(2,1),(2,2),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8)
(3,1),(3,2),(3,3),(3,4),(3,5),(3,6),(3,7),(3,8)
(4,1),(4,2),(4,3),(4,4),(4,5),(4,6),(4,7),(4,8)
(5,1),(5,2),(5,3),(5,4),(5,5),(5,6),(5,7),(5,8)
(6,1),(6,2),(6,3),(6,4),(6,5),(6,6),(6,7),(6,8)
(7,1),(7,2),(7,3),(7,4),(7,5),(7,6),(7,7),(7,8)
(8,1),(8,2),(8,3),(8,4),(8,5),(8,6),(8,7),(8,8)
所以整个问题的难点在于给定类似下面这样一个列表，我们需要找出其中的所有的行号，列号，和在对角线上的坐标：
[(1,1),(1,5),(2,5),(2,2),(8,8),(4,4),(4,5),(5,4)]
找出行号和列号稍微简单点，这里直接给出答案，大家也可以自己思考下：
rows([],[]).
rows([(Row,_)|QueensTail],[Row|RowsTail]):-
rows(QueensTail,RowsTail).
cols([],[]).
cols([(_,Col)|QueensTail],[Col|ColsTail]):-
cols(QueensTail,ColsTail).
把上面的列表代进去简单验证下：
| ?- rows([(1,1),(1,5),(2,5),(2,2),(8,8),(4,4),(4,5),(5,4)],Rows).
Rows = [1,1,2,2,8,4,4,5]
| ?- cols([(1,1),(1,5),(2,5),(2,2),(8,8),(4,4),(4,5),(5,4)],Cols).
Cols = [1,5,5,2,8,4,5,4]
关键是如何验证对角线上的元素，而且两条对角线是不一样的，提醒下因为我们最后会还是会利用fd_all_different这个谓词。
好吧，我们回过头观察下上面那个棋盘的坐标图（注意我标红的地方），有没有发现什么规则呢？
左上角到右下角的对角线上的元素：所有坐标的横坐标-纵坐标都相同，等于0；
左下角到右上角的对角线上的元素：所有坐标的横坐标+纵坐标都相同，等于9；
OK，我们可以定义下面这样两个谓词diags1和diags2：
diags1([],[]).
diags1([(Row,Col)|QueensTail],[Diagonal|DiagonalsTail]):-
Diagonal is Col - Row,
diags1(QueensTail,DiagonalsTail).
diags2([],[]).
diags2([(Row,Col)|QueensTail],[Diagonal|DiagonalsTail]):-
Diagonal is Col + Row,
diags2(QueensTail,DiagonalsTail).
我们可以简单验证下：
| ?- diags1([(2,2),(8,8)],Diags1).
Diags1 = [0,0]
&| ?- diags2([(4,5),(5,4)],Diags2).
&Diags2 = [9,9]
如果坐标在对角线上，那么抓取到的列表元素都是相等的。
好了，到目前为止我们已经完成了最难的部分，剩下的都是一些验证性工作。我们最终的&程序入口&应该是这样的：
eight_queens([(X1,Y1),(X2,Y2),(X3,Y3),(X4,Y4),(X5,Y5),(X6,Y6),(X7,Y7),(X8,Y8)])
我们还需要一些验证性工作：
1.给定列表里的皇后是不是合法的，即横纵坐标都在1~8之内，这用到了我上一篇中提到的member谓词：
valid_queen((Row,Col)):-
Range = [1,2,3,4,5,6,7,8],
member(Row,Range),member(Col,Range).
2.验证给定的列表是不是八个皇后，这里用到一个length谓词，顾名思义：
length(Board,8).
3.需要递归的验证给定的列表中的每个元素是不是&皇后&：
valid_board([]).
valid_board([Head|Tail]):- valid_queen(Head),valid_board(Tail).
Ok，下面就是八皇后问题的答案的完整代码：
valid_queen((Row,Col)):-
Range = [1,2,3,4,5,6,7,8],
member(Row,Range),member(Col,Range).
valid_board([]).
valid_board([Head|Tail]):- valid_queen(Head),valid_board(Tail).
rows([],[]).
rows([(Row,_)|QueensTail],[Row|RowsTail]):-
rows(QueensTail,RowsTail).
cols([],[]).
cols([(_,Col)|QueensTail],[Col|ColsTail]):-
cols(QueensTail,ColsTail).
diags1([],[]).
diags1([(Row,Col)|QueensTail],[Diagonal|DiagonalsTail]):-
Diagonal is Col - Row,
diags1(QueensTail,DiagonalsTail).
diags2([],[]).
diags2([(Row,Col)|QueensTail],[Diagonal|DiagonalsTail]):-
Diagonal is Col + Row,
diags2(QueensTail,DiagonalsTail).
eight_queens(Board) :-
length(Board,8),
valid_board(Board),
rows(Board,Rows),
cols(Board,Cols),
diags1(Board,Diags1),
diags2(Board,Diags2),
fd_all_different(Rows),
fd_all_different(Cols),
fd_all_different(Diags1),
fd_all_different(Diags2).
没错，答案已经出来，但事实上上面这个程序运行的非常慢，我在我i7的笔记本上的GNU Prolog中执行下面这个问题，半天没有响应：
| ?- eight_queens([(X1,Y1),(X2,Y2),(X3,Y3),(X4,Y4),(X5,Y5),(X6,Y6),(X7,Y7),(X8,Y8)]).
其实我们可以对这个问题进行一个简化。我们可以肯定棋盘上八行每行肯定有一个皇后，又因为互不能在一行，因此我们假设八皇后的坐标分别为：(1,A),(2,B),(3,C),(4,D),(5,E),(6,F),(7,G),(8,H)。那么我们可以对上面的代码进行优化，去掉所有对行的操作，优化后代码如下：
valid_queen((Row,Col)):- member(Col,[1,2,3,4,5,6,7,8]).
valid_board([]).
valid_board([Head|Tail]):- valid_queen(Head),valid_board(Tail).
cols([],[]).
cols([(_,Col)|QueensTail],[Col|ColsTail]):-
cols(QueensTail,ColsTail).
diags1([],[]).
diags1([(Row,Col)|QueensTail],[Diagonal|DiagonalsTail]):-
Diagonal is Col - Row,
diags1(QueensTail,DiagonalsTail).
diags2([],[]).
diags2([(Row,Col)|QueensTail],[Diagonal|DiagonalsTail]):-
Diagonal is Col + Row,
diags2(QueensTail,DiagonalsTail).
eight_queens(Board) :-
Board = [(1,_),(2,_),(3,_),(4,_),(5,_),(6,_),(7,_),(8,_)],
length(Board,8),
valid_board(Board),
cols(Board,Cols),
diags1(Board,Diags1),
diags2(Board,Diags2),
fd_all_different(Cols),
fd_all_different(Diags1),
fd_all_different(Diags2).
然后这样问问题：
eight_queens([(1,Y1),(2,Y2),(3,Y3),(4,Y4),(5,Y5),(6,Y6),(7,Y7),(8,Y8)]).
| ?- eight_queens([(1,Y1),(2,Y2),(3,Y3),(4,Y4),(5,Y5),(6,Y6),(7,Y7),(8,Y8)]).
Y8 = 4 ? a
(81860 ms) no
?后跟a可以一次性询问所有答案，可以看到还是相当的慢，这也算是声明式语言的一个劣势吧。
好了，今天介绍的两个问题就到此结束了。问题本身并不是重点，重点是我们思考问题的方式。&
最后提供：，希望大家可以喜欢Prolog这门小巧简单，功能强大的语言。
阅读(...) 评论()为什么火星如此小？这是个问题……
为什么我会提出这个问题呢？
作为人类最想登陆的红色星球，我们当然要关注它了，包括它的个头儿。
我们先看看火星的大小，再看看邻居的大小，就知道我为什么要提这种问题了。
火星体积1.631 8×1011立方千米，只有地球的15%，火星质量6.418 5×1023千克，只有地球的10%。火星表面积只相当于地球上的陆地面积，要知道地球71%的面积都是被水覆盖的。可见火星有多小了吧。
再看看火星在太阳系八大行星中的大小排行，倒数第二，仅仅比水星稍大一点。距太阳最近的水星个头儿小，人家理由很充分：离得太近，太阳引力太大了，再大些的行星就会一头扎进去，葬身火海。淘汰法则，让水星不可能很大。
但距离太阳比地球还远的火星，为什么会那么小？
要知道火星轨道外侧可是靠近小行星带，完全有理由也有可能从那里掳走一些小天体，逐渐养肥／壮大自己嘛。
但事实上，火星竟然如此之小，以至于两颗天然卫星火卫一、火卫二，直径仅仅27公里和16公里，却还能相安无事，一起共舞——这到底是什么原因呢？
其实，这个问题一直以来都引得无数天文学家累弯了腰，但都没个令人信服的答案。直到2011年，法国波尔多天体物理实验室的行星科学家肖恩·雷蒙德领导的一个研究团队，提出了【大策略模型】，才被天文学界逐渐接受——火星为什么会如此小？终于有了一个靠谱的答案。
原本这个大策略模型，并不是专为解释火星大小问题而提出的，而是为整个太阳系演化过程创建的模型，所以人家才会叫「太阳系大策略模型」，简称大策略模型。
从这个模型演化当中，我们可以一窥究竟——早在46亿年前，从太阳系的初始阶段开始，整个演化过程都是动荡不安的，太阳系远没有我们今天看到的这种和谐环境。
膀大腰圆的木星和土星，就像市井恶霸一样，终年在太阳系里晃悠。动不动就手欠，不是经常撇东西，就是时常偷东西，这背后全靠引力给撑腰。
但是，它俩也得服一个巨无霸——这就是太阳。所以，有时候受到太阳的引力召唤，就会把它俩往太阳系里边儿拽。
当木星晃悠到如今的火星轨道时，就会把这个轨道里的各种小天体／陨石／尘埃碎片，顺手清理干净，不是直接吞掉，就是抛甩扔掉，这导致了原本应该被火星吃掉吸收的天体物质，都被木星事先清理了，造成火星天生营养不良。
▲大策略模型解释了造成火星天生营养不良的主要原因。
本来可以长成金星、地球一样大小的个头儿，结果却成了一个侏儒星球。
此时此刻，有人问了：那时木星横晃到火星轨道上，为啥没把火星一块儿擒获了？
事实上，木星并不总是霸占火星或者其他轨道，这背后还要感谢另一个恶霸——土星，掣肘、制衡着木星。由于土星的强大引力，又会把木星拽会太阳系外侧轨道。
当木星霸占火星轨道的时候，只能说火星很走运，刚好离得不是太近。否则，今天我们人类也看不到这颗红色星球啦。
所以，某种意义上说，存在就是一种偶然，活着就是一种幸运。
责任编辑：
声明：该文观点仅代表作者本人，搜狐号系信息发布平台，搜狐仅提供信息存储空间服务。
今日搜狐热点大家 ios9 有没有这个问题，待机状态下，微信消息不震动也没有铃声 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
已注册用户请 &
大家 ios9 有没有这个问题，待机状态下，微信消息不震动也没有铃声
12:51:12 +08:00 · 6311 次点击
没开勿扰模式
17 回复 &| &直到
21:07:30 +08:00
& & 12:57:40 +08:00
20% 概率，十次有八次是有通知音的，还有两次不知道为什么就是不响。
& & 13:02:52 +08:00
9.0.1 依然有这个问题，不止微信，连电话也会不响。现在还没看到媒体报道这个 bug ，估计现在手机都不当手机用了，目测短期内苹果都不会修复。
& & 13:12:55 +08:00 via iPhone
把手机盖着放好像默认是勿扰模式
& & 13:17:42 +08:00
我以为是个案。。。
& & 13:20:31 +08:00 via iPhone
& & 14:04:17 +08:00
有时是不震不响
& & 14:05:26 +08:00 via iPhone
我以为只有我这样呢??看来 iOS9 小问题很多啊
& & 14:16:33 +08:00
这个问题在测试版就有了。
妈蛋，我这两天也发现正式版也有这个问题。。。
& & 15:12:26 +08:00
我是开着微信的时候看朋友圈不震动的问题
今天把聊天记录同步到另外一个机子上以后，删掉微信，重装微信，再导回聊天记录。终于尼玛好了
& & 16:37:06 +08:00 via iPad
省电模式下会啊
& & 16:39:36 +08:00
我感觉 iOS 8 的时候就有这个毛病了……有时候来了提醒不震动，但是屏幕会亮。
& & 16:43:19 +08:00
原来这不是 feature 啊……
& & 16:43:51 +08:00
低电量模式？
& & 18:07:44 +08:00
木有开省点模式
& & 20:57:45 +08:00 via iPhone
和省电模式什么关系，就是正常模式下才说
& & 11:55:13 +08:00
原来我不是一个人……
& & 21:07:30 +08:00
经常的事啊....
& · & 779 人在线 & 最高记录 3541 & · &
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.1 · 21ms · UTC 18:45 · PVG 02:45 · LAX 11:45 · JFK 14:45? Do have faith in what you're doing.