commit d8e8d9ad8ef6473aad7b2971a24c8690f12385d0
parent c8e202001431a4a29d5d0fee0a2da7d55d81c0c6
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Sun, 19 Oct 2025 23:19:05 +0200
commit with codex
Diffstat:
2 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/conl b/conl
@@ -3,3 +3,5 @@
[complement] of [nlogspace], equal to [logspace] by [immerman_szelepcsenyi_theorem]
Up: [nlogspace]
+
+Aliases: co NLogspace, coNLogspace, CoNL, Co_NL
diff --git a/st_reliability b/st_reliability
@@ -7,3 +7,5 @@ Can be posed on [directed_graphs] and [undirected_graphs]
[st_reliability_approximation]
Up: [network_reliability]
+
+See also: [st_connectivity]