Timeline for Bubblesort with a twist: a tricky termination
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 24, 2023 at 1:06 | history | became hot network question | |||
| Oct 24, 2023 at 0:21 | answer | added | Jan Nienhaus | timeline score: 10 | |
| Oct 23, 2023 at 16:11 | comment | added | darij grinberg | @JosephVanName: This is why confluence follows from termination for P-moves in the case of integers. | |
| Oct 23, 2023 at 16:08 | comment | added | Joseph Van Name | The S-move mapping $(x,y)\mapsto(\min(x,y),\max(x,y))$ satisfies the Yang-Baxter equation, and every solution to the Yang-Baxter equation induces an action of the positive braid monoid. For the P-move, we do not have a solution to the Yang-Baxter equation, but the positive braid monoid $B_n^+$ still acts on $\mathbb{Z}^n\cup\{\#\}$ by setting $(x_1,\dots,x_n)\cdot\sigma_i=\#$ whenever $x_i\leq x_{i+1}$, $(x_1,\dots,x_n)\cdot\sigma_i=(x_1,\dots,x_{i-1},x_{i+1},x_i,x_{i+2},\dots,x_n)$ whenever $x_i<x_{i+1}$, and $\#\cdot\sigma_i=\#$. | |
| Oct 23, 2023 at 15:27 | history | edited | darij grinberg | CC BY-SA 4.0 |
deleted 1 character in body
|
| Oct 23, 2023 at 15:04 | history | asked | darij grinberg | CC BY-SA 4.0 |