Problem 1615

• 普通に書くと a(X):XXXXr b(X):a(a(a(X))) b(srsls)b(slsrs)b(sss)b(s)

もう一歩自明なことをすると b(X):a(a(a(sX))) b(rsls)b(lsrs)b(ss)b()

でもこれだと全然Bestに及んでなくて何事！？っていう問題. -- mas 2012-10-28 (日) 23:52:43

• srslsとslsrsをまとめて作ります. a(X):XXXXr b(X):a(a(a(sXXXsXs))) b(r)b(l)b()a(a(a(s)))

実はb(ll)=a(a(a(s)))が成り立ち, 4つが対称な並列になっているということが分かります.

[23B] a(X):XXXXr b(X):a(a(a(sXXXsXs)))b(Xl) b() -- mas 2012-10-28 (日) 23:54:56

• 23Bまでいければ、XXXsXの部分がX→Xlでどう変換されるかに気をつけると

[21B] a(X):XXXXr b(X):a(a(a(sXs)))b(rXl) b() -- mas 2012-10-28 (日) 23:55:45

• s + (S) + s = sss s + (R) + s = srsls s + (B) + s = s s + (L) + s = slsrs

... -- mas 2012-10-28 (日) 23:57:11

• ちなみに僕の思考回路だとまず"sが三つ"なる文字列が三つある事に注目して a(X):XXXXr b(X,Y):a(a(sXsYs)) a(b(r,l)b(l,r)b(,)a(a(s))r)

  -- Ktya &new{2012-10-28 (日) 23:57:44};

• そのあと1-1+1=1となることからX=Y=rrとしてみれば上手く行く事を用いて a(X):XXXXr b(X,Y):a(a(sXsYs)) a(b(r,l)b(l,r)b(,)b(rr,rr)r) -- Ktya 2012-10-28 (日) 23:58:07
• そのあとはX側がr倍,Y側がl倍と言う事を用いて a(X):XXXXr b(X,Y):a(a(a(sXsYs)))b(rX,lY) b(,) この後はmasさんの解と同じになります(XとYをくっつける) -- Ktya 2012-10-28 (日) 23:58:54