What Is External Verification?
[Out-of-bounds verification method] is an empirical method that can verify whether the "single closed ring beam cover semi-open rope cover" has a solution to the solution of the rope. This method is understood and written by sjw_ddk in the process of creative design The convenient and efficient verification scheme is also the result of exploration involving topological science.
Out-of-bounds verification
- [
- The following analyzes the scientificity of the method of judging the solution result of the "closed loop beam semi-open rope sleeve loop":
- As shown in Figure 1, the results of the two test methods mentioned above can be passed, that is, there is a solution. Figure 1 is more concise and it is easy to see whether there is a dead knot, so the first test can determine the result, so why Is there a second test? Because some complex beam-wrapping rings are not easy to see if there are dead knots, and dead knots cannot assume broken beams. The so-called hypothetical broken beams are actually shortcuts around the beams, which is easy to judge. If the first test assumes a broken beam When possible, dead knots are ruled out, which is laborious and difficult to accurately, so in the first test, directly ignore the possible dead knots, and then use the second test to check whether there are dead knots. This is simple and reliable. In other words, if it can be ensured that the dead knot does not participate in the hypothetical beam during the first test, the second test is unnecessary.
- So, how scientific is this test method? Does it apply to all similar structures?
- Figure 2 is a more complicated form of Figure 1. A part of itself passes through the rope and loop and is wrapped around the other part. According to the first test, the virtual lintel can be virtualized. After the lintel is still the structure of Figure 1, the actual lintel must be Pass the rope cover, and the ring body cannot actually pass through the rope cover. However, this ring can pass the two tests described above, that is, there is a solution, so does it have a solution?
- The body of the sleeve is not in conflict with this test. If this sleeve does not have to be roped, it is not special, but the sleeve must be roped and the hardware entity cannot pass through the loop, which is second only to a dead knot that participates effectively. If the above tests pass and can be practically solved, it indicates that the test theory is still somewhat scientifically based.
- It is certainly feasible to make a direct test of the same kind of thing. Of course, even if it is done, the direct solution of the kind is basically the same as no theoretical test.
- FIG. 3 is another state before the unsolved question that is expanded on the basis of not changing the original structure. This state clearly proves that the foregoing two tests are a verified and effective judgment method.
- As mentioned earlier, it is not ruled out that the same type of very special reinforcement structure requires a third test to determine whether there is a solution.
- Atlas of outside verification (9 photos)
- -------------------------------------------------- -------------------------------------------------- -
- The following supplements the third verification required for the special (additional independent ring) structure mentioned earlier:
- The third verification method is to add the conditions for the "circle" to the second result, as shown below.
- (In the case that the ring has a problem solving effect on the rope cover)
- 1. Expansion result, no solution for independent ring sleeve double beam.
- 2. There is no solution for the effective independent ring and ring beam connection.
- 3. There is no solution for cross-beams with independent ring sleeves.
- 4. Topological results There are solutions for single ring beams with independent rings and no actual connection to the beams.
- As far as we know, the fourth condition is the only solvable condition of this topic. The first three conditions and other results without the fourth condition cannot be fully listed, but from the perspective of extension solution, other results can be regarded as no solution.
- Figures s1, s2, s3.