student91 wrote:Thus so far, the oneshaven't been investigated. The ones that are CRF are:
- Code: Select all
BD
AABDD
AABCD
ABCDD
AABCDDand of course B, which is not new. Lacing edges are provided in this post, thus so far the following have been proven not to be CRF
- Code: Select all
AB
ABDD
BC
BCD
- Code: Select all
AABD
(ABC)
Some further investigations gave: (BD) is CRF, same lacings as ABDD, (AABDD) is not, as 4 and 5 are completely isolated. (AABCD) has the same problem. (ABCDD) on the other hand has a connection between 4 and 5, but these are then not connected to the others. (AABCDD) then has 4 and 5 completely isolated again.
Indeed, for the B-ed ones we have:
- Code: Select all
(B) = BAFox2oxofo3oooox5ooxoo&#zx = oxoofooxo3oooxoxooo5ooxoooxoo&#xt (CRF, done)
(BD) = BAFox2xoxFx3oxoox5ooxoo&#zx = xoxxFxxox3oxoxoxoxo5ooxoooxoo&#xt (CRF)
(AAB) -> non-unit edges within the "layers"
(AABD) = BAFox2xoxFo3oxooo5ooxof&#zx -> non-unit edges between the "layers"
(AB) = BAFox2oxofx3xxxxo5ooxof&#zx = oxoxfxoxo3xxxoxoxxx5ooxfofxoo&#xt (CRF)
(BDD) -> non-unit edges within the "layers"
(ABDD) = BAFox2ooofx3xoxxo5ofxof&#zx = oooxfxooo3xoxoxoxox5ofxfofxfo&#xt (CRF)
(BC) = BAFox2oxofo3oofox5xxoxx&#zx = oxoofooxo3oofxoxfoo5xxoxxxoxx&#xt (CRF)
(ABD) -> non-unit edges within the "layers"
(AABDD) = BAFox2xxxFo3xoxxx5ofxof&#zx -> non-unit edges between the "layers"
(BCD) = BAFox2xoxFx3oxfox5xxoxx&#zx = xoxxFxxox3oxfxoxfxo5xxoxxxoxx&#xt (CRF)
(AABC) -> non-unit edges within the "layers"
(AABCD) = BAFox2xoxFo3oxfoo5xxoxF&#zx -> non-unit edges between the "layers"
(ABC) = BAFox2oxofx3xxFxo5xxoxF&#zx -> non-unit edges between the "layers"
(BCDD) -> non-unit edges within the "layers"
(ABCDD) = BAFox2ooofx3xoFxo5xFoxF&#zx -> non-unit edges between the "layers"
(ABCD) -> non-unit edges within the "layers"
(AABCDD) = BAFox2xxxFo3xoFxx5xFoxF&#zx -> non-unit edges between the "layers"
--- rk