これは私のPuzzling.SEの質問のフォローアップの質問です。ブール文字列をブール文字列にマッピングする関数fがあり、すべての入力文字列b に対してf（f（b））= reverse（b）があるかどうかを尋ねました。（reverseとは、ビットの順序を逆にする機能を意味します。）

上記のリンクには、優れたf ''による証明付きの肯定的な答えが含まれていますが、見る前に自分で質問を熟考することをお勧めします。

そのような関数fをできるだけ少ないバイトで実装します。

• STDINから入力を読み取るか、関数の引数を取ることができます。そして、結果文字列をSTDOUTに書き込むか、それを返します。

• どちらの方法でも、選択した2つの異なるバイトまたは文字の実際の文字列（0and 1、or \x00、andなど\x01）、またはtrueおよびfalse値の配列/リストを操作できます。ただし、2つの値を選択し、それらに固執します。

• fを 1回適用した結果は、バイナリ文字列そのものでなければなりませんb -> if b starts with 'x' then reverse(b[1:]) else 'x' + b。

• あなたの機能は合計する必要があります。特に、入力は空の文字列、または1ビット長などです。文字列の長さの上限はありません。

• また、純粋でなければなりません。関数呼び出し間でグローバルな状態を保持しないでください。入力文字列は出力文字列を完全に決定する必要があります。

CJam、32バイト

1q1]s:~__W%.&_,2/0t0#2%{2>W%2>}|

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

長すぎる...

Python 2、64 69バイト

def f(s):p=(s+s).find(s,1);return[s[~p::-1],s+s[:p]][len(s)/p%2]

ゴルフをしていない：

def f(s):
    p = (s+s).find(s,1)
    n = len(s)/p
    return s[:p][::1|n%-2] * -~(n-1^1)

これは、弦の周期、つまり、繰り返しの長さの弦であるpような最小値を見つけます（SOでゴルフ法を見つけました）。次に、奇数の場合、期間の繰り返しがもう1つ追加されます。偶数の場合、期間の繰り返しを1つ削除し、逆にします。spnnn

1 <-> 2、3 <-> 4などの間の関数マッピングの実装を支援してくれた@ Sp3000に感謝します。

Perl、49 47バイト

+2を含む -lp

@feersumの非常に素晴らしいアルゴリズムに基づく

STDINで入力して実行します。たとえば

perl -lp halfreverse.pl <<< "101001"

halfreverse.pl：

/^(.+?)((\1\1?)*)$/;$_=$3eq$1?reverse$2:$_.$1

説明

/^               $/         Match the complete input string
  (.+?)                     Non-greedy match. Try only one digit at the start,
                            if that doesn't work try 2, then 3 etc. The string
                            being tried is remembered in backreference \1
       ((\1\1?)*)           Try to repeat \1 as many times as possible but
                            prefer in groups of 2. Fall back to only 1 at the
                            end of the string if the trailing part has an odd
                            number of \1 (so the total count is even)

   $3eq$1                   So the last match $3 equals the first match $1
         ?                  if and only if the total count is even
          reverse$2         If total count is even drop the first instance of
                   :        \1 and reverse
                    $_.$1   If total count is odd extend $_ by one instance
$_=                         Assign result