Algorithm 代表及;行为-理性纠结舞

Algorithm 代表及;行为-理性纠结舞,algorithm,data-structures,discrete-mathematics,abstract-data-type,abstract-algebra,Algorithm,Data Structures,Discrete Mathematics,Abstract Data Type,Abstract Algebra,四个人站在A、B、C和D位置,并在初始位置握住两根绳子 显示配置 这些人可以用这些绳子“跳舞”,只需表演两个动作,多个动作 时间,以他们喜欢的任何顺序: 作为一组逆时针旋转90度。(因此,处于A位置的人 移动到位置B,位置B的人移动到位置C,依此类推。) 将此移动称为“旋转”,表示为R 示例:给定初始状态,在一次旋转中,以下为状态: 处于D和C位置的人(东北部和东南部的人)用D握住绳子在C上方交换位置。这一动作称为“交换”。表示为T 示例:给定初始状态,在一次交换中,以下是状态:

四个人站在A、B、C和D位置,并在初始位置握住两根绳子 显示配置

这些人可以用这些绳子“跳舞”,只需表演两个动作,多个动作 时间,以他们喜欢的任何顺序:

  • 作为一组逆时针旋转90度。(因此,处于A位置的人 移动到位置B,位置B的人移动到位置C,依此类推。) 将此移动称为“旋转”,表示为R

    示例:给定初始状态,在一次旋转中,以下为状态:

  • 处于D和C位置的人(东北部和东南部的人)用D握住绳子在C上方交换位置。这一动作称为“交换”。表示为T

    示例:给定初始状态,在一次交换中,以下是状态:


旋转-R

交换T

业务性质:

  • 操作不可交换-RRRTT不等于RTR

  • 操作是关联的-(TR)T等于T(RT)

  • 逆-R^-1=R^3或3R和T^-1=RTR

    R^-1(一个逆时针旋转)是:

    3R(三个顺时针旋转)为:


  • 如何用抽象数据类型表示这种混乱的状态

  • 这些操作(旋转和交换)如何修改这个抽象数据类型所表示的混乱状态


  • 就术语而言,我认为移动交换可能更明确地定义为“东北和东南位置的人交换位置”,等等,不仅仅是因为在该行前面的图表中,这些位置不是D和C!为什么不将其表示为一个Rs和Ts字符串?向字符串添加操作可能涉及重写,例如,“rrrrr”替换为空字符串,“TRTRT”替换为“RRR”。@n.“代词m”。我花了很多时间思考这个问题,相信任何字符串都会简化为一个唯一的最小值,但我无法证明这一点。或者,换句话说,如果R和T的两个字符串不包含trt或RRRR,并且它们不相等,不可能通过任何来回的替换组合从一个字符串到另一个字符串。这是一个,这是一个可解的-,前提是方程组真的是完整的。看起来我得到了答案:就术语而言,我认为移动交换可以更明确地定义为“东北和东南位置的人交换位置”,等等,不仅仅是因为在这条线之前的图表中,这些位置不是D和C!为什么不将其表示为一个Rs和Ts字符串?向字符串添加操作可能涉及重写,例如,“rrrrr”替换为空字符串,“TRTRT”替换为“RRR”。@n.“代词m”。我花了很多时间思考这个问题,相信任何字符串都会简化为一个唯一的最小值,但我无法证明这一点。或者,换句话说,如果R和T的两个字符串不包含trt或RRRR,并且它们是不相等的,那么就不可能通过任何来回替换的组合从一个字符串到另一个字符串。这是一个,这个可以用-来解,前提是方程组真的是完整的。看起来我得到了答案: