[問題] Solver::propagate(): Assertion stanleysu PTT批踢踢實業坊

作者: stanleysu (士唐) 2013-01-15 01:32:48

如標題,再做fraig的時候，程式跑一跑之後出現以下的這行
fraig: Solver.cpp:504: Clause* Solver::propagate():
Assertion `c[1] == false_lit' failed.
想請問這可能會是什麼樣的問題呢？

作者: sysgood (山藥) 2013-01-13 16:00:00

我是2013年修的，遇到一樣問題，我後來解決了，其中一個原因是因為我在fraig的時候，邊fraig邊刪gate，導致有些var被delete掉，所以他在算的時候可能會出問題。因此我只是加判斷，然後最後在delete，這樣可以避免。

作者: abc346289 2013-01-15 01:34:00

你在assume值前有先release嗎??

作者: stanleysu (士唐) 2013-01-15 01:51:00

有歐

作者: ric2k1 (Ric) 2013-01-15 02:05:00

看來 memory 有被 corrupt 掉... 只能 comment out 掉一些code 慢慢查看，或是呼叫 valgrind 了...

作者: stanleysu (士唐) 2013-01-15 03:43:00

我發現我把simulation的次數調少就不會出現那問題在simulation超過500之後大多就會fail QAQ

作者: XDucka (Duck) 2013-01-15 11:21:00

+1 ...

作者: ahpc82 (Ping) 2013-01-19 14:36:00

樓上高微A+

繼續閱讀