diff --git a/other/two_sat/task.md b/other/two_sat/task.md index 09f6ca403..ab154b280 100644 --- a/other/two_sat/task.md +++ b/other/two_sat/task.md @@ -15,9 +15,9 @@ $N$ 変数 $M$ 節の 2 Sat が与えられる。充足可能か判定し、可 ## @{keyword.input} @{lang.en} -2-Sat is given as [DIMACS format](http://www.domagoj-babic.com/uploads/ResearchProjects/Spear/dimacs-cnf.pdf). Please see the samples. +2-Sat is given as [DIMACS format](https://www.cs.ubc.ca/~babic/doc/dimacs_cnf.pdf). Please see the samples. @{lang.ja} -[DIMACS 標準形式](http://www.domagoj-babic.com/uploads/ResearchProjects/Spear/dimacs-cnf.pdf) で与えられる。 +[DIMACS 標準形式](https://www.cs.ubc.ca/~babic/doc/dimacs_cnf.pdf) で与えられる。 サンプルも参考にせよ @{lang.end}