HF RL Explorer

Prove Superstring (openai/math family 128: A factor-two approximation for shortest common superstring) in…

Prove Superstring (openai/math family 128: A factor-two approximation for shortest common superstring) in…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 128 of the release, A factor-two approximation for shortest common superstring…

The task

Context: this statement belongs to family 128 of the release, *A factor-two approximation for shortest common superstring* (Theoretical computer science). The family as a whole: Gives a deterministic polynomial-time algorithm constructing a common superstring of length at most twice the optimum for every finite…

Part of raising-heart/openai-math.