commit 7cddba2f7eaf008c89c5491270b0d3effa2f341e
parent 989be652403bf77f37c27fb6c3393db7562977c2
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Sun, 29 Dec 2024 16:30:31 +0100
commit with codex
Diffstat:
4 files changed, 20 insertions(+), 4 deletions(-)
diff --git a/enumeration_definition b/enumeration_definition
@@ -1,7 +1,7 @@
# Enumeration definition
-Two phases:
-- [preprocessing_phase]
-- [enumeration_phase] where you measure [delay]
+An [enumeration_algorithm] consists of two phases:
+- A [preprocessing_phase]
+- An [enumeration_phase] where you measure [enumeration_delay]
Up: [enumeration]
diff --git a/enumeration_delay b/enumeration_delay
@@ -0,0 +1,11 @@
+# Enumeration delay
+
+The [worst_case] running time between the production of two consecutive results in an [enumeration_algorithm].
+
+Possible types:
+
+- [constant_delay]
+- [output_linear_delay]
+- [polylog_delay]
+
+Up: [enumeration_definition]
diff --git a/enumeration_polylog_delay b/enumeration_polylog_delay
@@ -1,6 +1,6 @@
# Enumeration polylog delay
-[enumeration] with [polylog] [delay] and [log_linear] [preprocessing]
+[enumeration] with [polylog_delay] and [log_linear] [preprocessing]
Up: [enumeration]
diff --git a/polylog_delay b/polylog_delay
@@ -0,0 +1,5 @@
+# Polylog delay
+
+- [enumeration_polylog_delay]
+
+Up: [enumeration_delay], [polylog]