scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Promote the TODO of submitting update-graph to Stephen Chang.

Browse source
This commit is contained in:
Sergiu Ivanov 2023-08-08 16:50:15 +02:00
parent ddc6b3d10c
commit ceb8e64a35
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.org
View file

@ -112,13 +112,13 @@ Racket, which should break a lot of things in [[file:example/example.org][exampl
(define-pbf my-pbf (or (and (not :Go) :new-x) (and :Go :old-x))) (define-pbf my-pbf (or (and (not :Go) :new-x) (and :Go :old-x)))
#+END_SRC #+END_SRC
*** TODO Submit =update-graph= to =stchang=
*** TODO Implement =monotone?= *** TODO Implement =monotone?=
=monotone?= would verify whether a given Boolean function is =monotone?= would verify whether a given Boolean function is
monotone according to the definition in the book /Boolean monotone according to the definition in the book /Boolean
Functions: Theory, Algorithms, and Applications/ by Crama Functions: Theory, Algorithms, and Applications/ by Crama
and Hammer. and Hammer.
*** TODO Submit =update-graph= to =stchang=
*** DONE Split =networks= into general networks and threshold Boolean networks *** DONE Split =networks= into general networks and threshold Boolean networks
*** TODO Consider optimizing the algorithms in =networks= and =dynamics= *** TODO Consider optimizing the algorithms in =networks= and =dynamics=
*** TODO Implement the BN \to RS conversion *** TODO Implement the BN \to RS conversion