#3-SAT
タグ「3-SAT」の記事
該当記事
カード
リスト
CS
Ruby の正規表現も 3-SAT が解けるので NP-hard
マッチングが現実的な時間で終わるかどうかは、君の入力次第だ！
2026/06/05
Mutsuha Asada
CS
2026/06/05
Mutsuha Asada
Ruby の正規表現も 3-SAT が解けるので NP-hard
マッチングが現実的な時間で終わるかどうかは、君の入力次第だ！
Mutsuha AsadaMutsuha AsadaMutsuha Asada