Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Lithium should not try reductions which have already been tested. #52

Open
@jschwartzentruber

Description

@jschwartzentruber

If we have a testcase containingabc, andbc is the reduced result (--char mode, strategy=minimize), the run will look like this:

bc ➡️ interestingc ➡️ not interestingb ➡️ not interestingStarting another round with chunk size 1c ➡️ not interestingb ➡️ not interesting

This final round of chunk size 1 will always be unneeded as long as the reduction in the previous round was only at the beginning. I think this will be true for all atom types (line/char/symbol) and strategies.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions


      [8]ページ先頭

      ©2009-2025 Movatter.jp