2-SAT #17

Activity

1. NASU41

   added

   help wantedExtra attention is neededExtra attention is needed

   on Sep 8, 2020
2. m1kit commented on Sep 9, 2020

   

   m1kit

   on Sep 9, 2020

   Contributor

   More actions

   https://github.com/m1kit/competitive-lib/blob/master/src/dev/mikit/atcoder/lib/misc/TwoSat.java
3. suisen-cp commented on Sep 10, 2020

   

   suisen-cp

   on Sep 10, 2020

   Collaborator

   More actions

   とりあえず SCC に依存しないように 2 SAT の中に SCC を貼っています.

   SCC は細かい高速化を入れているので結構速くなっていると思います.
4. NASU41

   added

   invalidThis doesn't seem rightThis doesn't seem right

   and removed

   help wantedExtra attention is neededExtra attention is needed

   invalidThis doesn't seem rightThis doesn't seem right

   on Sep 10, 2020
5. NASU41 commented on Sep 15, 2020

   

   NASU41

   on Sep 15, 2020

   Owner

   More actions

   「変数xの値がfに確定した」とか書きたくなりませんかね
   addClause(x,f,x,f)とすればいいのですが, 頻出なら関数化したくなるもので

   👍React with 👍1Reacted by Uwi Tenpen
6. suisen-cp commented on Sep 15, 2020

   

   suisen-cp

   on Sep 15, 2020

   Collaborator

   More actions

   確かにあるとよいかもしれません．関数名をどうしましょうか
7. NASU41 commented on Jan 22, 2021

   

   NASU41

   on Jan 22, 2021

   Owner

   More actions

   とりあえず set(int x, boolean f) でコード書きました.