ASCII文字列（大文字または小文字、あるいはその両方）を指定すると、各文字で分岐する文字列を表示するために必要な生のMathJaxを上付き文字と下付き文字に出力します。たとえば、入力catとhorse出力は、MathJaxがそれぞれ次のようにレンダリングする出力になります。

必要な入力は1つだけであることに注意してください。これら2つは、単に垂直方向のスペースを節約するために並べてリストされています。

マークアップの意味

• _ 添え字を示します。
• ^ 上付き文字を示します。
• すべてが同じレベルにならないようにするために、上付き文字または下付き文字をさらに含む上付き文字または下付き文字列を囲む中かっこが必要です。

テストケース

テストケースの形式はですinput : output。最初のテストケースでは、入力として空の文字列が表示され、出力として空の文字列が生成されます。

"" : ""
"a" : "a"
"me" : "m_e^e"
"cat" : "c_{a_t^t}^{a_t^t}"
"frog" : "f_{r_{o_g^g}^{o_g^g}}^{r_{o_g^g}^{o_g^g}}"
"horse" : "h_{o_{r_{s_e^e}^{s_e^e}}^{r_{s_e^e}^{s_e^e}}}^{o_{r_{s_e^e}^{s_e^e}}^{r_{s_e^e}^{s_e^e}}}"
"bifurcate" : "b_{i_{f_{u_{r_{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}^{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}}^{r_{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}^{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}}}^{u_{r_{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}^{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}}^{r_{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}^{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}}}}^{f_{u_{r_{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}^{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}}^{r_{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}^{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}}}^{u_{r_{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}^{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}}^{r_{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}^{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}}}}}^{i_{f_{u_{r_{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}^{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}}^{r_{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}^{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}}}^{u_{r_{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}^{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}}^{r_{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}^{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}}}}^{f_{u_{r_{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}^{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}}^{r_{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}^{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}}}^{u_{r_{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}^{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}}^{r_{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}^{c_{a_{t_e^e}^{t_e^e}}^{a_{t_e^e}^{t_e^e}}}}}}}"

出力をmathurl.comに貼り付けると、これらがどのようにレンダリングされるかを確認できます。

冗長な括弧なし

MathJaxは、冗長なブレースを含むマークアップを喜んでレンダリングします。レンダリングされたときたとえば、以下はすべて同じになりますa、{a}、{}{a}、{{{{a}}}}。

ただし、このチャレンジの有効な出力には冗長な括弧はありません。特に、出力の単一文字は中括弧で囲まれていないことに注意してください。

注文

下付き文字と上付き文字の順序は重要ではありません。以下は同等であり、レンダリング時に区別できません（すべて等しく有効な出力です）。

c_{a_t^t}^{a_t^t}
c_{a^t_t}^{a_t^t}
c_{a_t^t}^{a^t_t}
c_{a^t_t}^{a^t_t}
c^{a_t^t}_{a_t^t}
c^{a^t_t}_{a_t^t}
c^{a_t^t}_{a^t_t}
c^{a^t_t}_{a^t_t}

得点

言語ごとに、勝者はバイト単位の最短コードです。

_{通知が多すぎますか？添え字}を解除するタイプ</sub>

Python、95 90 86 92 82バイト

@ConnerJohnstonのおかげで10バイト節約

f=lambda s:s and s[0]+(s[1:]and'_{0}^{0}'.format(s[2:]and'{'+f(s[1:])+'}'or s[1]))

オンラインでお試しください！

Mathematica、72 84 77 76バイト

a_±b__:={"{",a,"_",±b,"^",±b,"}"};±(a_:""):={"",a,""};""<>Most@Rest@±##&@@#&

CP-1252（Windows）エンコードを使用します。入力として文字のリストを受け取ります。

説明

a_±b__:=

±2つ以上の引数を使用して、関数を定義します。最初の引数aにラベルを付け、2番目以降にラベルを付けbます。

{"{",a,"_",±b,"^",±b,"}"}

にList相当するものを作成します"{a_±b^±b}"（±b再帰的に再度評価されます）。

±(a_:""):= ...

±1または0の引数で関数を定義します。第一引数にラベルを付けa、それが存在する場合、および割り当て""にaそう。

{"",a,""}

にList相当するものを作成し、"a"空Stringのsを埋め込みます。

""<>Most@Rest@±##&@@#&

±入力に適用され、最初と最後の要素を削除し、に変換Listする純粋な関数String。

CJam（35バイト）

MqW%{"^{ }_{ }"{AW$,)3e<#<},S/@*+}/

これは完全なプログラムです。オンラインデモ。

3バイトは、インタープリターのバグを回避します（以下を参照）。

解剖

M            e# Start building from the empty string
qW%{         e# For each character in the reversed input
  "^{ }_{ }" e#   Take a template
  {          e#   If the accumulator is of length n, remove all characters whose
    A        e#   codepoints are greater than pow(10,
    W$,)3e<  e#                                   min(n+1, 3))
    #<       e#   When the accumulator is the empty string, that's all of them.
  },         e#   When the accumulator is one character, that's {}
             e#   When the accumulator is any longer, it's none of them.
  S/@*       e#   Substitute the accumulator for the spaces.
  +          e#   Append to the new character.
}/

これmin(n+1, 3)はインタプリタのバグを回避するためのものであることに注意してください。10の累乗に'}は、それよりも小さいパターンがあるはずですが、それは明らかではありません。

JavaScript（ES6）、57 55バイト

f=([c,...s])=>s+s?c+`_${p=s[1]?`{${f(s)}}`:s}^`+p:c||''

Θ（len（s））の複雑さ！@PeterTaylorによると、これは実際にはΘ（2 ^ len（s））であり、これは依然として可能な限り最高です...

Haskell、71バイト

f[x,y]=x:'_':y:'^':y:[]
f(x:y@(_:_))=x:"_{"++f y++"}^{"++f y++"}"
f x=x

オンラインでお試しください！

有効なコードを出力する必要がある場合、次のコードは44バイトで機能します。

f[a]=[a]
f(a:b)=a:"_{"++f b++"}^{"++f b++"}"

オンラインでお試しください！

SOGL V0.12、21のバイト

±K;{╔+;lH?"{ŗ}”}1 ^Ο+

ここで試してみてください！

説明：

±                      reverse the string
 K                     take off the first letter - will slowly convert to the output
  ;                    get the rest of the string ontop
   {                   iterate over the rest of the characters
    ╔+                   append "_" to it
      ;                  get the output string ontop
       lH?     }         if it's length - 1 [isn't 0]
          "{ŗ}”            push the string "{ŗ}" where ŗ is replaced by the output string
                1 ^Ο     wrap "^" around with the output string
                    +    prepend to it the current character + "_"

Perl 5 + 1（-p）= 55バイト

s/\{(.)\}/$1/g while s/([a-z])([a-z]+)/$1_{$2}^{$2}/ig

オンラインでお試しください！

どうやって？

while条件の置換により、最初の文字に複数の文字が出現し、その後に次のように中かっこで区切られた文字が出現します。

abc -> a_{bc}^{bc}

whileループは、複数文字のシーケンスがなくなるまで置換を実行します。ループ内の置換により、単一文字の前後から中括弧が削除されます。

ルビー、76 73 72 68 67 57バイト

Tutlemanのおかげで4バイトを節約するラムダの使用

f=->s{(r=s[1..-1])[0]?s[0]+?_+[r[1]??{+f[r]+?}:r]*2*?^:s}

オンラインでお試しください！

ゴルフをしていない：

def f(s)
  r = s[1..-1]
  if r.size > 0
    if r.size > 1
      x = "{" + f(r) + "}"
    else
      x = r
    end
    return s[0] + "_" + [x, x].join("^")
  else
    return s
  end
end

Python 2、84バイト

def b(s):q=s and(s[2:]and'{%s}'or'%s')%b(s[1:]);return s[1:]and s[0]+'^%s_'%q+q or s

オンラインでお試しください！

Pyth、47バイト

Ljk[hb|&ttbs[\_\{ytb"}^{"ytb\})&tbs[\_htb\^htb;

オンラインでお試しください！

これは、@ UrielのPythonの答えをそのまま移植したものです。少しでゴルフに行きます。

PHP、121バイト

function b($s){return $s[0].($s[1]?'_'.($s[2]?'{'.($b=b(substr($s,1))).'}^{'.$b.'}':"$s[1]^$s[1]"):'');}echo b($argv[1]);

関数自体は104バイトで、PHP通知が表示されます。

網膜、43バイト

(.)(.)$
$1¶$2
+`(.)¶(.*)
¶{$1_$2^$2}
¶{|}$

オンラインでお試しください！リンクにはテストケースが含まれます。説明：

(.)(.)$
$1¶$2

最後のキャラクターをスライスしてボールを転がします。（ただし、それが唯一のキャラクターである場合は、そのままにします。）

+`(.)¶(.*)
¶{$1_$2^$2}

¶文字を一度に1ステップずつ戻します。毎回前の結果を取得し、次の文字の添え字と上付きにします。

¶{|}$

冗長な¶と外側の{}を削除します。

Java（OpenJDK 8）、121バイト

s->{int l=s.length;String r=--l<0?"":""+s[l];for(;l-->0;)r="{"+s[l]+"_"+r+"^"+r+"}";return r.replaceAll("^\\{|\\}$","");}

オンラインでお試しください！

Javascript、73バイト

s=>[...s].reduceRight((m,c)=>`${c}_{${m}}^{${m}}`).replace(/{(.)}/g,'$1')

説明

s=>                                  // take the input string
    [...s]                           // split the string into an array
    .reduceRight(                    // reduce the array in reverse order
        (m,c)=>`${c}_{${m}}^{${m}}`  // storing the result of each iteration in the memo m
    )                                // and returning m at the end
    .replace(/{(.)}/g,'$1')          // replace redundant {}

全くの初期値が指定されているのでm、reduceRight最後の要素取りませんs初期値としては、インデックスで反復処理を開始しますs.length-2。

const f=s=>[...s].reduceRight((m,c)=>`${c}_{${m}}^{${m}}`).replace(/{(.)}/g,'$1');

const input = document.querySelector('#input');
const output = document.querySelector('#output');
output.textContent = f(input.value);
input.addEventListener('keyup', e => output.textContent = f(input.value));

Enter text to bifurcate: <input type="text" id="input" value="cat" />
<br />
<span id="output"></span>