Page Summary
Active Entries
- 1: Helion details
- 2: "Narrow AGI" this year?
- 3: Tao on coordinate vs coordinate-free math reasoning
- 4: "Aging as a loss of goal-directedness"
- 5: New integrated mode for GPT-4 in ChatGPT+
- 6: Китайский новый год начнётся 10-го февраля
- 7: Automating the Search for Artificial Life with Foundation Models
- 8: "Anatomy of a Formal Proof"
Style Credit
- Style: Neutral Good for Practicality by
Expand Cut Tags
No cut tags
no subject
Date: 2021-10-11 05:24 pm (UTC)no subject
Date: 2021-10-11 05:30 pm (UTC)Вообще, это совсем не любительская работа и, по моему, очень изящная...
no subject
Date: 2021-10-11 06:21 pm (UTC)no subject
Date: 2021-10-11 06:28 pm (UTC)(Загляните в статью, там очень изящный инвариант в доказательстве.)
no subject
Date: 2021-10-11 07:00 pm (UTC)Однако если изменить второй цикл на "for j = i+1 to n do", сортировка станет вдвое быстрее, но по убыванию.
no subject
Date: 2021-10-11 06:13 pm (UTC)