Beautify paper: cover page, indices, CLI args, page numbering (#1045)

* Enhance graph data handling and layout in KSatisfiability to TimetableDesign reduction

- Introduced pre-indexing for graph edges and nodes to optimize lookups, reducing complexity from O(n) to O(1).
- Updated the layout structure by removing unnecessary blocker pairs, simplifying the logic for handling blocked colors.
- Adjusted the expected number of craftsmen and tasks in the test cases to reflect the new encoding scheme.
- Improved documentation for the ellipse drawing function to clarify label positioning options.

* Update document formatting and enhance problem indexing in reductions.typ

- Adjusted page settings to include a footer with page numbers.
- Updated the rendering of problem CLI arguments and improved table headers for clarity.
- Added indices for problems and reduction rules, enhancing navigation within the document.
- Revised comments and documentation for better understanding of the changes made.

* Refactor page numbering and improve document structure in reductions.typ

- Updated page settings to replace footer with appropriate numbering options.
- Enhanced comments to clarify the purpose of page numbering in front and main matter.
- Adjusted indices for problems and reduction rules to improve document navigation.
- Standardized text link color for better visibility in the index sections.

Author: isPANN

docs/paper/lib.typ

@@ -117,7 +117,7 @@
 // Draw a set region as an ellipse enclosing given positions.
 //   positions: array of (x, y) positions the set should enclose
 //   pad: padding distance around the bounding box
-//   label: set label (e.g., [$S_1$]), placed above the ellipse
+//   label: set label (e.g., [$S_1$]), placed above the ellipse (or below if label-below)
 //   fill: translucent fill color
 //   stroke: border stroke
 #let sregion(
@@ -128,6 +128,7 @@
   stroke: 0.8pt + rgb("#4e79a7"),
   label-size: 8pt,
   label-anchor: "south",
+  label-below: false,
 ) = {
   if positions.len() == 0 { return }
 
@@ -140,10 +141,18 @@
 
   draw.circle((cx, cy), radius: (rx, ry), fill: fill, stroke: stroke)
   if label != none {
-    draw.content(
-      (cx, cy + ry + 0.15),
-      text(label-size, label), anchor: label-anchor,
-    )
+    if label-below {
+      draw.content(
+        (cx, cy - ry - 0.15),
+        text(label-size, label),
+        anchor: "north",
+      )
+    } else {
+      draw.content(
+        (cx, cy + ry + 0.15),
+        text(label-size, label), anchor: label-anchor,
+      )
+    }
   }
 }