コメント/Problem 1615 の変更点

追加された行はこの色です。
削除された行はこの色です。
コメント/Problem 1615 へ行く。
[[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 &new{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 &new{2012-10-28 (日) 23:54:56};
-23Bまでいければ、XXXsXの部分がX→Xlでどう変換されるかに気をつけると

[21B] 
a(X):XXXXr 
b(X):a(a(a(sXs)))b(rXl) 
b() -- mas &new{2012-10-28 (日) 23:55:45};
-s + (S) + s = sss
s + (R) + s = srsls
s + (B) + s = s
s + (L) + s = slsrs

... -- mas &new{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 &new{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 &new{2012-10-28 (日) 23:58:54};