@yy306525121 "和 or-tool 这些其实是一类工具， 都是问题求解器， 但是他们都是基于一个原理， 把所有可能的组合全部排列出来，然后找出最优解，这种框架会有一个问题， 就是当你的问题或者叫排课里面的教师和班级数量上来之后问题规模会成指数倍增长，家用计算机跑一天都跑不出来"

不是把所有组合排列出来，会有大量的剪枝操作。一般人自己写的系统是比不过的。

你整个帖子都没有一个正确的数学上的描述。只要能描述出来，就能找做运筹的人写出来。

老婆收入比我高很多。
所以于情于理我都觉得分一半非常合理。

https://chaoxu.prof/blog 写了好多年了

https://chaoxu.prof/blog

我境外身份，长期在国内工作。当然我不是中国国籍所以会比香港的难不少。但是有些我遇到的问题香港护照也会遇到。统战部门会和你搞好关系。

大多东西都不支持身份证以外的东西，当然如果是香港身份等等，可以支持的稍微多一点。港澳居住证支持的地方多了不少。外国护照一般是支持最少得。所以有很多走人工的东西，比如
- 我常常要报销东西，比如火车票。就很烦需要人工亲自跑一趟（自己，或者其他人帮忙跑也行）
- 但如果不需要报销会简单不少。少数火车站刷护照的东西是可行的（如上海虹桥）。但是不少老旧一点的火车站没有这个系统只能人工。
- 弄宽带改地址的时候非要我亲自去改。 网上只支持身份证。
- 似乎大多地方政策是只能在全国买一套房子。
- 成都的话，外国人是拿不到公积金的。当然不同地区不一样，比如上海是可以。香港护照不清楚。社保啥的没问题。
- 似乎有些东西比较难搞，但可能也只是对外籍来说的。比如同时给几个不同的地方工作，有的地方可能是怕麻烦就直接表示不可以。（有可能是外籍的人是要被当地的省级的各种地方管理而不是国家管理，同时几个省工作可能有行政上的难度。）

有些福利只有外籍人或者香港人才能获得，不过都是和地区相关的。
比如菲佣，你想在国内有合法个人雇佣菲佣，你自己就不能是内地人（你所在的地区需要是上海或者广东）。

我一直用 fastmail 。没出过什么问题。有 issue 对方一般 24 小时就会回复。

公司给大家从 12/23 放假到 1/3 。

家里有很小孩子的都想早点返工。不然在家还要带孩子烦死了。哈哈哈。

考虑 m=n ，则这个问题是 APSP-hard ，没人知道 O(n^{3-\epsilon})复杂度的算法。

Backurs, Arturs; Dikkala, Nishanth; Tzamos, Christos (2016), "Tight Hardness Results for Maximum Weight Rectangles", Proc. 43rd International Colloquium on Automata, Languages, and Programming: 81:1–81:13, doi:10.4230/LIPIcs.ICALP.2016.81

我流动资产里 90%是美股。
然后还有个房子。
流动资产约等于房子价值的 2 倍。

@polymer 不是 NP-complete 。这个问题有多项式时间算法。

顺便国内问肯定不如在美卡论坛问呀 我发了个贴

https://www.uscardforum.com/t/topic/165438/

你好能不能说一下这是哪一家的 plan 我也去弄一个。
"工作电脑连美国手机的热点，开了国际漫游流浪套餐，差不多一个月 200 刀。"

顺便有没有办法弄香港的？

而且能不能不用手机直接插到某个变 lte 为 wifi 的东西？

用的 hakyll 和自己改的 theme 。 极简。
https://chaoxuprime.com/blog.html

毫无作用。就是顶会大多文章也很快就会被忘却。
科研就是个小众的活动。
想象等于练橄榄球练到区里最强的水平。
花了心血，体验到快乐就行了。

我就用这个。

做啥都不应该卡。时间值钱。
使用东西舒服的体验会让心情好。心情好值钱。

我有时会跑写点暴力的程序求解东西。有各种数学猜想的时候就跑一跑。z3 这种东西跑起来还是很费资源的。

同时跑几个 z3 来找反例，windows 虚拟机。在虚拟机中还能玩玩游戏用用 word 。

@ivvei 如果钱不带走，按汇率来算意义小很多。

你赚了 A 地方的钱可以在 B 花。
如果你赚 A 的钱主要也只在 A 花，就没啥意义了。除了一些全世界统一定价的东西。

要当程序员赚钱不要考虑任何其他地方，只考虑美国赚。去硅谷赚钱，但生活的节俭。
财务自由去低成本生活的国家花钱。

@hardwork

抱歉回复晚了点。但我只是用我自己的经验推广东西。
- 日本 3 个月的居住
- 成都 1 年的居住

日本人几乎都很平均的穷。大多人的状态是差不多的。附近圈子也没啥可以攀比的。
基础设施是很棒的。保证基本生活质量不需要多少钱。

年纪轻轻 1000w 日币，在日本那是真的鹤立鸡群。国内这种百万年薪码农虽然不能说比比皆是，但是北上广大厂员工里多得很。

要不要读个博士呀。我这里招博士。非常欢迎有 ACM 背景的。