因為來日方長,所以別把夢吵醒
在Zero Judge上的
a042: 平面圓形切割
對任意正整數n,平面上的n 個圓最多可將平面切成幾個區域?
我發現跟以下數列有關:
1. Install Lean Environment: https://lean-lang.org/install/ 試著完Step one, two, three 2. 在VS code下,建一新的project: 取名Hello_World 3. 嘗試執行Main.lea...
沒有留言:
張貼留言