UVA1678 折纸公理6 Huzita Axiom 6

折纸的第一个正式公理列表由Humiaki Huzita和Benedetto Scimemi出版，后来被称为Huzita公理。这些公理描述了通过点和线的对齐可以产生折叠线的方式。接下来是六个公理的一个版本。 1. 对于点p1和p2，有一个唯一的折痕穿过它们。 2. 对于点p1和p2，有一个唯一的折叠方式将p1置于p2上。 3. 对于第l1行和第l2行，有一个折叠方式能将l1放置到l2上。 4. 对于点p1和线l1，存在垂直于l1的唯一折叠方式，其穿过点p1。 5. 对于点p1和p2以及线l1，存在将p1置于l1并穿过p2的折叠方式。 6. 对于点p1和p2以及线l1和l2，有一个折叠将p1放在l1上，p2放在l2上。 罗曼是一个优秀的编码员，但他是折纸建筑的新手，所以他决定编写一个程序来为他计算必要的折叠。他已经完成了对前五个公理的案例编码，但现在他仍然坚持更难的案例，公理号为6.所以他决定雇用一支优秀的程序员团队——你的团队——为他的计划实施这个案例。

无

无