Skip to content

マトロイドの circuit() 関数の定義がまずい #92

@hitonanode

Description

@hitonanode

現在のマトロイドライブラリの circuit(I, e) 関数は,「$I + \{ e \}$ が独立のとき空集合を,それ以外の場合はサーキットの($e$ 以外の)要素集合を返す実装になっているが,これは例えば

  • Graphic matroid のループ辺
  • 分割マトロイドの要素数上限 0 の成分

など,要素数 1 のサーキットが存在する状況でバグになる.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions