Skip to content

Conversation

@hitonanode
Copy link
Owner

@hitonanode hitonanode commented Aug 5, 2025

「燃やす埋める」をできるだけ楽にする

  • ACM洋菓子店 とか、そもそも定式化がむずいやつが全自動で解けるようにはなっていないが...
  • 状態数をいい感じに増やす探索も自動化されていないが...

@hitonanode hitonanode self-assigned this Aug 5, 2025
@hitonanode hitonanode added documentation Improvements or additions to documentation enhancement New feature or request labels Aug 5, 2025
@hitonanode hitonanode force-pushed the submodular-minimization branch from 894f9ce to e7e92ba Compare August 5, 2025 13:41
@hitonanode hitonanode merged commit a716e16 into master Aug 5, 2025
2 checks passed
@hitonanode hitonanode deleted the submodular-minimization branch August 5, 2025 13:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants