Kosoy
A theoretical computer science researcher working on sequence prediction, complexity measures, and combinatorial learning theory, who proposed concepts such as "arithmetic repetition complexity" (ARC) and zipline programs.
Timeline (last 90 days)
In the paper Stringological sequence prediction III, Kosoy proposed a complexity measure based on hierarchical zipline programs, which is weaker than ARC but corresponds to a more efficient prediction algorithm.
ARC (Arithmetic Recurrence Complexity) is a complexity measure defined by Kosoy in the 2026a and 2026b papers, which allows a polynomial-time prediction algorithm whose error bound is quasi-linear in the complexity.
Zipline programs are a variant of straight-line programs proposed by Kosoy in 2026b.
The author of the paper states that whether the trade-off between efficiency and expressiveness is fundamental or a limitation of current technical means remains an open question.
All Facts (4)
In the paper Stringological sequence prediction III, Kosoy proposed a complexity measure based on hierarchical zipline programs, which is weaker than ARC but corresponds to a more efficient prediction algorithm.
50%UnverifiedARC (Arithmetic Recurrence Complexity) is a complexity measure defined by Kosoy in the 2026a and 2026b papers, which allows a polynomial-time prediction algorithm whose error bound is quasi-linear in the complexity.
50%UnverifiedZipline programs are a variant of straight-line programs proposed by Kosoy in 2026b.
50%UnverifiedThe author of the paper states that whether the trade-off between efficiency and expressiveness is fundamental or a limitation of current technical means remains an open question.
50%