求救, 怎样证明 n^sqrt(n) 属于 O(2^n) - 未名空间MITBBS历史存档

国际科技财经博客移民网络热点娱乐民生时事公众号

Redian新闻

>未名空间

>Computation - 科学计算

求救, 怎样证明 n^sqrt(n) 属于 O(2^n)

求救, 怎样证明 n^sqrt(n) 属于 O(2^n)# Computation - 科学计算

l*a2009-04-21 07:04

1 楼

https://www.youtube.com/watch?v=faD2a3Denwc
很多很多年前，中国的流行音乐界走出了以为很特别的女歌手，朱哲琴，朱哲琴的音乐
不同于主流的流行音乐，更像是把民族的东西进行了通俗化的处理和包装，刚出道就让
一首特别有异域风情的《阿姐鼓》不单在国内大红大紫，而且还走向了世界，在国际上
获了大奖
但朱哲琴的音乐太过于曲高和寡，这样的歌手个音乐注定要被淹没在一些口水歌当中，
果不其然只是一段时间，朱哲琴就消失了，再也没听到过她的任何消息，世间空留阿姐鼓
我的阿姐从小不会说话
在我记事的那年离开了家
从此我就天天天天的想阿姐啊
一直想到阿姐那样大
我突然间懂得了她
从此我就天天天天的找阿姐啊
玛尼堆前坐着一位老人
反反覆覆念着一句话
唔嘛呢叭咪唔嘛呢叭咪
唔嘛呢叭咪唔嘛呢叭咪
我的阿姐从小不会说话
在我记事的那年离开了家
从此我就天天天天的想阿姐啊
一直想到阿姐那样大
我突然间懂得了她
从此我就天天天天的找阿姐啊
天边传来阵阵鼓声
我的阿姐从小不会说话
在我记事的那年离开了家
从此我就天天天天的想阿姐啊
一直想到阿姐那样大
我突然间懂得了她
从此我就天天天天的找阿姐啊
玛尼堆前坐着一位老人
反反覆覆念着一句话
唔嘛呢叭咪唔嘛呢叭咪
唔嘛呢叭咪唔嘛呢叭咪

a*r2009-04-21 07:04

2 楼

这本小说是我上的一门课的必读教材，鉴于其他课的教材对我来说都像天书，所以拿到
这本书后,两口气就读完了，中间还抹了n次泪儿。。
如果你对尼日利亚1900到1970年间的历史和文化感兴趣，狠推荐这本书。
少量剧透：
二十世纪初的尼日利亚内陆，人们还过着传统的部落生活，靠耕种和打猎为生。一位威
猛智慧的族长，和另一位族长美丽而倔强的女儿相爱，生下一个同样美丽的女儿Nnu
Ego（意为二十袋宝贝）。Nnu Ego长大后嫁给了另一个部落族长的长子，可是因为一
直没有生育，被丈夫殴打并赶回了家。之后，Nnu Ego被父亲送到需要走4天才能到达的
城市里，嫁给了在那里为白人洗衣服的乡亲、另一个族长的次子。Nnu Ego虽然不爱这个
又矮又胖的男人，却为了证明自己是个能生育的“完整”的女人，和他生活在一起。她终于
如愿以偿的生下了一个儿子。Nnu Ego以为这是她苦难生活的结束，哪里想到更多苦难还
在前面。二战开始，贫穷、战乱、疾病、种族矛盾，不断冲击着她的生活。在种种苦难挣
扎中，Nnu Ego努力的扮演着女儿、妻子和母亲的角色，可是她渐渐发现，她是一个被爱、
责任和传统所牢牢禁锢的奴隶。她为家庭

m*a2009-04-21 07:04

3 楼

*****************************
原创作者 mesh
y******[email protected]
欢迎非商业性转载
商业性转载请先与作者联系,涉及版权问题
*****************************
镜中的罪犯
mesh
8月12日，13:20
“图像重建开始。”
这条简短的计算机人声宣告，使大厅中的人群齐刷刷地停止交头接耳，注视着大厅
背墙中央两米见方的液晶显示屏。一个裸体的白人男婴在屏幕上出现，淡金色胎毛，可
爱的蓝色大眼睛，十分健壮。
主显示屏旁边另一个较小的分离显示屏上，远在洛杉矶的麦克弗森警长刹那间血色
上脸，似乎难以置信：“这就是你给我的疑犯？”
坐在主控台上的夏泉笑了：“放松，警长，多看一眼，这是你的疑犯1岁纪念照。我
们才刚刚开始。”
围观的人群中，两个翻译低声把大洋两岸的英语对话译成普通话。夏泉的鼠标推动
时间条，大屏幕上的人形瞬间变幻，天使般的小男孩，带雀斑的少年，稍显瘦弱的青年
，肌肉发达、皮肤苍白、脖子粗短、络腮胡须、下肢略呈O形的壮年男人，年龄计数定
格在26岁。头发从淡金色变成了

a*e2009-04-21 07:04

4 楼

google的网络相册picasaweb，能否记录访问者IP？谢谢！

g*m2009-04-21 07:04

5 楼

rt
真折磨人的一道题，刚入门CS的菜鸟，拜谢了

g*a2009-04-21 07:04

6 楼

她姐被奉献了做了人皮鼓

姐鼓

【在 l******a 的大作中提到】

: https://www.youtube.com/watch?v=faD2a3Denwc
: 很多很多年前，中国的流行音乐界走出了以为很特别的女歌手，朱哲琴，朱哲琴的音乐
: 不同于主流的流行音乐，更像是把民族的东西进行了通俗化的处理和包装，刚出道就让
: 一首特别有异域风情的《阿姐鼓》不单在国内大红大紫，而且还走向了世界，在国际上
: 获了大奖
: 但朱哲琴的音乐太过于曲高和寡，这样的歌手个音乐注定要被淹没在一些口水歌当中，
: 果不其然只是一段时间，朱哲琴就消失了，再也没听到过她的任何消息，世间空留阿姐鼓
: 我的阿姐从小不会说话
: 在我记事的那年离开了家
: 从此我就天天天天的想阿姐啊

a*d2009-04-21 07:04

7 楼

来一篇读后感？

这个
她终于

【在 a**r 的大作中提到】

: 这本小说是我上的一门课的必读教材，鉴于其他课的教材对我来说都像天书，所以拿到
: 这本书后,两口气就读完了，中间还抹了n次泪儿。。
: 如果你对尼日利亚1900到1970年间的历史和文化感兴趣，狠推荐这本书。
: 少量剧透：
: 二十世纪初的尼日利亚内陆，人们还过着传统的部落生活，靠耕种和打猎为生。一位威
: 猛智慧的族长，和另一位族长美丽而倔强的女儿相爱，生下一个同样美丽的女儿Nnu
: Ego（意为二十袋宝贝）。Nnu Ego长大后嫁给了另一个部落族长的长子，可是因为一
: 直没有生育，被丈夫殴打并赶回了家。之后，Nnu Ego被父亲送到需要走4天才能到达的
: 城市里，嫁给了在那里为白人洗衣服的乡亲、另一个族长的次子。Nnu Ego虽然不爱这个
: 又矮又胖的男人，却为了证明自己是个能生育的“完整”的女人，和他生活在一起。她终于

c*c2009-04-21 07:04

8 楼

咦，这是当年写《参和陂》的mesh？

【在 m***a 的大作中提到】

: *****************************
: 原创作者 mesh
: y******[email protected]
: 欢迎非商业性转载
: 商业性转载请先与作者联系,涉及版权问题
: *****************************
: 镜中的罪犯
: mesh
: 8月12日，13:20
: “图像重建开始。”

a*k2009-04-21 07:04

9 楼

That's just a server site application feature, and
it's trivial to implement, nothing to do
networking technology.

【在 a*****e 的大作中提到】

: google的网络相册picasaweb，能否记录访问者IP？谢谢！

c*a2009-04-21 07:04

10 楼

ln (ln (n ^ sqrt(n) ) > 2 ln(n) == ln ln (2^n)

f*o2009-04-21 07:04

11 楼

这首歌歌词的含义让人感到毛骨悚然

a*r2009-04-21 07:04

12 楼

本来是想写读后感的，后来发现不会写了。。汗 ^_^；

【在 a***d 的大作中提到】

: 来一篇读后感？
:
: 这个
: 她终于

C*H2009-04-21 07:04

13 楼

大bug：红绿灯永远是红灯在上绿灯在下，任何一个会开车的色盲都会形成条件反射，
几乎不会有闯红灯的事情发生。（这个固定的颜色顺序就是专门为色盲设计的）

【在 m***a 的大作中提到】

s*g2009-04-21 07:04

14 楼

If front end load-balancers source NAT all connections -- this configuration can be common, i.e. in certain network design, backend servers accept connections from front end load balancers and from other sources, to ensure that return traffic hits load balancers in stead of following default gateway for traffic coming from load balancers, load balancers will perform both source NAT and destination NAT, in the case back end servers will have no visibility to the source.

【在 a**********k 的大作中提到】

: That's just a server site application feature, and
: it's trivial to implement, nothing to do
: networking technology.

n*g2009-04-21 07:04

15 楼

n^sqrt(n) > n^n = 2^n

l*a2009-04-21 07:04

16 楼

哈哈

【在 f****o 的大作中提到】

: 这首歌歌词的含义让人感到毛骨悚然

a*d2009-04-21 07:04

17 楼

想得太多了吧。。。不一定要把所有想到的都写出来嘛，选一点说得充实点就好了：-）

【在 a**r 的大作中提到】

: 本来是想写读后感的，后来发现不会写了。。汗 ^_^；

s*g2009-04-21 07:04

18 楼

好看。
就是一开始进入故事慢了点（前边破案的铺垫有点太长了）。这个天才mm真不错。。。
。。

a*k2009-04-21 07:04

19 楼

HTTP XFF header.

configuration can be common, i.e. in certain network design, backend servers
accept connections from front end load balancers and from other sources, to
ensure that return traffic hits load balancers in stead of following
default gateway for traffic coming from load balancers, load balancers will
perform both source NAT and destination NAT, in the case back end servers
will have no visibility to the source.

【在 s*****g 的大作中提到】

: If front end load-balancers source NAT all connections -- this configuration can be common, i.e. in certain network design, backend servers accept connections from front end load balancers and from other sources, to ensure that return traffic hits load balancers in stead of following default gateway for traffic coming from load balancers, load balancers will perform both source NAT and destination NAT, in the case back end servers will have no visibility to the source.

a*r2009-04-21 07:04

20 楼

有可能，这本书里讲的东西满多的，呵呵

-）

【在 a***d 的大作中提到】

: 想得太多了吧。。。不一定要把所有想到的都写出来嘛，选一点说得充实点就好了：-）

s*g2009-04-21 07:04

21 楼

Good point, would webserver log source IP of incoming request or log the IP
in XFF header?

servers
to
will

【在 a**********k 的大作中提到】

: HTTP XFF header.
:
: configuration can be common, i.e. in certain network design, backend servers
: accept connections from front end load balancers and from other sources, to
: ensure that return traffic hits load balancers in stead of following
: default gateway for traffic coming from load balancers, load balancers will
: perform both source NAT and destination NAT, in the case back end servers
: will have no visibility to the source.

a*k2009-04-21 07:04

22 楼

A web server should log both for completeness.

IP

【在 s*****g 的大作中提到】

: Good point, would webserver log source IP of incoming request or log the IP
: in XFF header?
:
: servers
: to
: will

m*d2009-04-21 07:04

23 楼

configuration can be common, i.e. in certain network design, backend
servers accept connections from front end load balancers and from other
sources, to ensure that return traffic hits load balancers in stead of
following default gateway for traffic coming from load balancers, load
balancers will perform both source NAT and destination NAT, in the case
back end servers will have no visibility to the source.
除了http header外，再给你挑个错，呵呵。
loadbalancer的工作原理是和nat一样么？如果不一样，最明显的差别是什么？

【在 s*****g 的大作中提到】

s*g2009-04-21 07:04

24 楼

I admit I don't know nothing about load balancer, I was just bull shitting
around, care to educate me (or us) how load balancer works?

【在 m********d 的大作中提到】

:
: configuration can be common, i.e. in certain network design, backend
: servers accept connections from front end load balancers and from other
: sources, to ensure that return traffic hits load balancers in stead of
: following default gateway for traffic coming from load balancers, load
: balancers will perform both source NAT and destination NAT, in the case
: back end servers will have no visibility to the source.
: 除了http header外，再给你挑个错，呵呵。
: loadbalancer的工作原理是和nat一样么？如果不一样，最明显的差别是什么？

W*22009-04-21 07:04

25 楼

Loadbalancer更常用的是转换目的地址吧（多个server）；而nat常用的是转换源地址。

【在 m********d 的大作中提到】

m*d2009-04-21 07:04

26 楼

址。
根本区别是loadbalancer终结tcp连接，nat仅做地址转换。实战中区别就大了，
loadbalancer可以做tcp multiplexing, tcp tunning, etc.，而nat
这些都不容易做。

【在 W****2 的大作中提到】

: Loadbalancer更常用的是转换目的地址吧（多个server）；而nat常用的是转换源地址。

s*g2009-04-21 07:04

27 楼

If the original client is behind a NAT firewall using private IP (or public
IP that overlaps with globally routable IP), what would this XFF header be?
if firewall does not change it (most likely it will be the case), if frond
end load balancer changes IP header source, then webserver will see two
meaningless addresses, right?
So what good will this XFF header do?

【在 a**********k 的大作中提到】

: A web server should log both for completeness.
:
: IP

s*g2009-04-21 07:04

28 楼

Hehehe ... what is the difference between apple and orange?
What if I tell you that a loadbalancer should not terminate TCP connections
if it is configured to load balance L4 traffic?

【在 m********d 的大作中提到】

:
: 址。
: 根本区别是loadbalancer终结tcp连接，nat仅做地址转换。实战中区别就大了，
: loadbalancer可以做tcp multiplexing, tcp tunning, etc.，而nat
: 这些都不容易做。

m*d2009-04-21 07:04

29 楼

我想不出为什么。展开说说？

s*g2009-04-21 07:04

30 楼

Sure ... first of all, TCP termination does not come for free, it consumes a lot of memory and CPU. At L4, load balancer only sees TCP/IP traffic (as opposed to at L7, it has to look at contents of the packets), this is no information for load balancer to make correct load balance decision to back end servers, only it needs to do is to do destination NAT and stitch the TCP handshake between client and back end server. TCP termination does not buy you anything at L4.

【在 m********d 的大作中提到】

: 我想不出为什么。展开说说？

m*d2009-04-21 07:04

31 楼

那就是说tcp 3-way handshake实质上是发生在server和client之间的，象
普通的nat一样？

a*k2009-04-21 07:04

32 楼

SLB does not necessarily terminate TCP although most
advanced ones often do, such as F5's BIGIP.

【在 m********d 的大作中提到】

: 那就是说tcp 3-way handshake实质上是发生在server和client之间的，象
: 普通的nat一样？

a*k2009-04-21 07:04

33 楼

Highend Load balancer (or ADC as called recently) can
do load balancing based on L4-L7 info. It can do
TCP, SSL, XML offloading etc.

a lot of memory and CPU. At L4, load balancer only sees TCP/IP traffic (as
opposed to at L7, it has to look at contents of the packets), this is no
information for load balancer to make correct load balance decision to back
end servers, only it needs to do is to do destination NAT and stitch the TCP
handshake between client and back end server. TCP termination does not buy
you anything at L4.

【在 s*****g 的大作中提到】

: Sure ... first of all, TCP termination does not come for free, it consumes a lot of memory and CPU. At L4, load balancer only sees TCP/IP traffic (as opposed to at L7, it has to look at contents of the packets), this is no information for load balancer to make correct load balance decision to back end servers, only it needs to do is to do destination NAT and stitch the TCP handshake between client and back end server. TCP termination does not buy you anything at L4.

s*g2009-04-21 07:04

34 楼

Hmm, I thought TCP off loading often means move TCP transaction to NIC card.
Off loading SSL/encryption etc to load balancer makes sense, but off
loading TCP? interesting ...

as
back
TCP
buy

【在 a**********k 的大作中提到】

: Highend Load balancer (or ADC as called recently) can
: do load balancing based on L4-L7 info. It can do
: TCP, SSL, XML offloading etc.
:
: a lot of memory and CPU. At L4, load balancer only sees TCP/IP traffic (as
: opposed to at L7, it has to look at contents of the packets), this is no
: information for load balancer to make correct load balance decision to back
: end servers, only it needs to do is to do destination NAT and stitch the TCP
: handshake between client and back end server. TCP termination does not buy
: you anything at L4.

a*k2009-04-21 07:04

35 楼

NAT devices only operates at L3/L4 layer, so it just
modifies client private source IP to a routable IP, but
will not touch HTTP layer.
HTTP XFF header is at L7, so it will only be used by
Proxy (or reverse proxy), which will record routable IP
after NAT. SLB is a type of proxy.

public
?

【在 s*****g 的大作中提到】

: If the original client is behind a NAT firewall using private IP (or public
: IP that overlaps with globally routable IP), what would this XFF header be?
: if firewall does not change it (most likely it will be the case), if frond
: end load balancer changes IP header source, then webserver will see two
: meaningless addresses, right?
: So what good will this XFF header do?

a*k2009-04-21 07:04

36 楼

TCP is not merely 3-way handshaking, it has much more
tasks to perform, such as congestion control over WAN,
DDoS prevention etc. Some of them can be offloaded to SLB.

card.

【在 s*****g 的大作中提到】

: Hmm, I thought TCP off loading often means move TCP transaction to NIC card.
: Off loading SSL/encryption etc to load balancer makes sense, but off
: loading TCP? interesting ...
:
: as
: back
: TCP
: buy