2 ms·
Even though it seems that you can create pathological SIP rules that are undecidable could you reduce a subset of the problem if you are only allowed to do a se
by zitterbewegung 12y ago
Even though it seems that you can create pathological SIP rules that are undecidable could you reduce a subset of the problem if you are only allowed to do a set of forwards and then you have a graph where you can detect cycles with a simple cycle detection algorithm?