vault backup: 2025-04-02 12:31:12

2025-04-02 12:31:12 +02:00 · 2025-04-02 12:31:12 +02:00 · a2e91be432
commit a2e91be432
parent e37fc71f91
2 changed files with 12 additions and 11 deletions
--- a/Systems/notes/3a
+++ b/Systems/notes/3a
@ -150,9 +150,9 @@ lock(i) :=
 	FLAG[i] <- up
 	max_turn <- max{MY_TURN[1],...,MY_TURN[n]}
 	if max_turn > 2n then
-		MY_TURN[i] = max_turn - 2n + 1
+		MY_TURN[i] = 1
 	else
-		MY_TURN[i] = max_turn + 1 | secondo me basta già così
+		MY_TURN[i] = max_turn + 1


 	FLAG[i] <- down