前書き

この課題では、与えられた数字のシーケンスを2つのサブシーケンスに分割できるかどうかを決定します。1つは増加し、もう1つは減少します。例として、シーケンスを考えます8 3 5 5 4 12 3。次のように、2つのサブシーケンスに分割できます。

  3 5 5   12
8       4    3

最初の行のサブシーケンスは増加しており、2番目の行のサブシーケンスは減少しています。さらに、このタスクを効率的に実行する必要があります。

入力

入力は、L0〜99999の範囲の整数の空でないリストです。言語のネイティブ形式で指定されるか、単にスペースで区切られます。

出力

出力はL、増加するサブシーケンスと減少するサブシーケンスに分割できる場合は真の値であり、そうでない場合は偽の値です。サブシーケンスは厳密に増加または減少する必要はなく、いずれかが空でもかまいません。

ルールとボーナス

完全なプログラムまたは関数を作成できます。最小のバイトカウントが優先され、標準の抜け穴は許可されません。さらに、このチャレンジではブルートフォーシングは禁止されています。入力の長さの多項式時間でプログラムを実行する必要があります。

2つのサブシーケンスを実際に返す必要はありませんが、返すと-20％のボーナスがあります。静的に型付けされた言語でボーナスを請求しやすくするために、偽のインスタンスに対して空のリストのペアを返すことは許容されます。

テストケース

input -> None偽の入力および真実の入力の形式で与えられますinput -> inc dec。ここでは、可能な1つのサブシーケンスのペアのみを示します。もっとあるかもしれません。

[4,9,2,8,3,7,4,6,5] -> None
[0,99999,23423,5252,27658,8671,43245,53900,22339] -> None
[10,20,30,20,32,40,31,40,50] -> None
[49,844,177,974,654,203,65,493,844,767,304,353,415,425,857,207,871,823,768,110,400,710,35,37,88,587,254,680,454,240,316,47,964,953,345,644,582,704,373,36,114,224,45,354,172,671,977,85,127,341,268,506,455,6,677,438,690,309,270,567,11,16,725,38,700,611,194,246,34,677,50,660,135,233,462,777,48,709,799,929,600,297,98,39,750,606,859,46,839,51,601,499,176,610,388,358,790,948,583,39] -> None
[0,1,2,3,4] -> [0,1,2,3,4] []
[4,3,2,1,0] -> [] [4,3,2,1,0]
[1,9,2,8,3,7,4,6,5] -> [1,2,3,4,6] [9,8,7,5]
[71414,19876,23423,54252,27658,48671,43245,53900,22339] -> [19876,23423,27658,48671,53900] [71414,54252,43245,22339]
[10,20,30,20,30,40,30,40,50] -> [10,20,20,30,40,40,50] [30,30]
[0,3,7,13,65,87,112,43,22,1] -> [0,3,7,13,65,87,112] [43,22,1]
[7,4,4,7,4,7,7,4,7,4,4,4,7,7] -> [7,7,7,7,7,7,7] [4,4,4,4,4,4,4]
[7,997,991,957,956,952,7,8,21,924,21,923,22,38,42,44,920,49,58,67,71,83,84,85,917,89,907,896,878,878,90,861,115,860,125,128,140,148,858,155,160,836,164,182,826,191,824,805,195,792,205,782,206,210,769,213,756,748,214,745,724,701,234,241,693,268,685,293,679,297,334,671,336,669,341,652,356,648,362,364,370,375,386,630,622,388,389,618,398,408,468,615,470,533,611,539,544,609,586,582,572,565,547,602,536,619,624,528,512,631,640,649,669,671,677,505,678,723,743,489,489,473,454,757,446,445,758,759,764,445,431,770,429,426,418,409,790,383,379,366,363,791,358,795,809,827,835,356,353,841,844,333,867,323,317,879,311,881,309,896,282,281,897,263,904,237,236,226,202,195,914,186,177,917,920,157,926,936,154,138,943,131,945,100,98,947,957,964,95,973,989,57,43,32,21,16,13,11,8,0] -> [7,7,8,21,21,22,38,42,44,49,58,67,71,83,84,85,89,90,115,125,128,140,148,155,160,164,182,191,195,205,206,210,213,214,234,241,268,293,297,334,336,341,356,362,364,370,375,386,388,389,398,408,468,470,533,539,544,586,602,619,624,631,640,649,669,671,677,678,723,743,757,758,759,764,770,790,791,795,809,827,835,841,844,867,879,881,896,897,904,914,917,920,926,936,943,945,947,957,964,973,989] [997,991,957,956,952,924,923,920,917,907,896,878,878,861,860,858,836,826,824,805,792,782,769,756,748,745,724,701,693,685,679,671,669,652,648,630,622,618,615,611,609,582,572,565,547,536,528,512,505,489,489,473,454,446,445,445,431,429,426,418,409,383,379,366,363,358,356,353,333,323,317,311,309,282,281,263,237,236,226,202,195,186,177,157,154,138,131,100,98,95,57,43,32,21,16,13,11,8,0] 

Pyth、34バイト

.N|!N|&ghNT:tNhNY&gYhN:tNThN:QZ^T5

テストスイート

メモ化された再帰を使用して、ランタイムを抑えます。3つの入力関数を定義します:。これは、入力 `リストサフィックス、増加シーケンスの終了、減少シーケンスの終了を受け取ります。

Brachylog、16バイト-20％= 12.8（ただし、ほぼ間違いなく多項式ではありません）

⊇≥₁X&⊇≤₁Y;X.cp?∧

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

準拠するサブシーケンスのペアがない場合は失敗し、出力変数がある場合は出力変数を介して出力します（ただしtrue.、プログラムとして実行されている場合は印刷されます）。私はそれがだと言うほとんど Brachylogの美しさは、それが宣言型言語なので、あなたはあなただけの変数間の関係を記述しないようなアルゴリズムを実装し、その結果からクランクにコンピュータを尋ねるの方法で、あまり行わないということですので、確かに多項式ではありません。これは筋金入りの総当たり攻撃である可能性がありますが、テストケース（そのうち2つはタイムアウトします）をコピーするのに十分な長さのコピーを費やしたため、このチャレンジをドラッグする以外の理由がない限り、これを提出する必要があります決定問題「最新」リストの後ろから。

   X                X is a
 ≥₁                 non-increasing
⊇                   sublist of the input
    &               and
        Y           Y is a
      ≤₁            non-decreasing
     ⊇              sublist of the input
         ;X         which paired with X
           .        is the output variable
            c       which when its elements are concatenated
             p      is a permutation of
              ?     the input
               ∧    which is not unified with the output.

Haskell、65バイト

(>[]).foldl(%)[(0,9^6)]
p%x=do(u,d)<-p;[(x,d)|x>=u]++[(u,x)|x<=d]

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

リストを反復処理し、(u,d)増加するシーケンスの最大値と減少するシーケンスの最小値の可能なペアを追跡します。新しい要素xはそれぞれ、uまたはを置き換えますd。これは、そのサブシーケンスに追加されることに対応します。両方または両方のオプションが有効ではない可能性があります。最後に、可能性のリストが空でないことを確認します。

最初の境界(0,9^6)は、問題が0〜99999の範囲の数値を指定することを使用(1/0,-1/0)します(-inf,inf)。より一般的な解決策は、make に対して行うことができます。