introduzione

In questa sfida, il tuo compito è decidere se una determinata sequenza di numeri può essere suddivisa in due sottosequenze, una delle quali è in aumento e l'altra in diminuzione. Ad esempio, considera la sequenza 8 3 5 5 4 12 3. Può essere suddiviso in due sottosequenze come segue:

  3 5 5   12
8       4    3

La sottosequenza sulla prima riga sta aumentando e quella sulla seconda riga sta diminuendo. Inoltre, è necessario eseguire questa attività in modo efficiente.

Ingresso

Il tuo input è un elenco non vuoto Ldi numeri interi compresi tra 0 e 99999 inclusi. Viene fornito nel formato nativo della tua lingua o semplicemente delimitato da spazi.

Produzione

L'output è un valore veritiero se Lpuò essere suddiviso in una sottosequenza crescente e decrescente e in caso contrario un valore errato. Le sottosequenze non devono necessariamente essere strettamente aumentanti o decrescenti e nessuna delle due può essere vuota.

Regole e bonus

È possibile scrivere un programma completo o una funzione. Vince il conteggio di byte più basso e non sono consentite scappatoie standard. Inoltre, in questa sfida è vietata la forzatura bruta: il programma deve essere eseguito in un tempo polinomiale per la lunghezza dell'input .

Non è necessario restituire effettivamente le due sottosequenze, ma per farlo è previsto un bonus del -20% . Per rendere il bonus più facile da richiedere in linguaggi tipicamente statici, è accettabile restituire un paio di liste vuote per le istanze errate.

Casi test

Dato nel formato input -> Noneper gli input falsi e input -> inc decper gli input sinceri. Qui viene fornita solo una possibile coppia di sottosequenze; potrebbe essercene di più.

[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 byte

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

Test Suite

Utilizza la ricorsione memorizzata per ridurre il tempo di esecuzione. Definisce una funzione di 3 input :, che accetta il suffisso della lista degli input, la fine della sequenza crescente, la fine della sequenza decrescente.

Brachylog , 16 byte - 20% = 12,8 (ma quasi certamente non è polinomiale)

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

Provalo online!

Non riesce se non c'è una coppia di sottosequenze conformi e le emette attraverso la sua variabile di output se ce n'è una (ma stamperà solo true.se viene eseguita come programma). Dico che quasi sicuramente non è polinomiale perché il bello di Brachylog è che, dato che è un linguaggio dichiarativo, non si fa molto nel modo di implementare un algoritmo come si fa semplicemente descrivendo le relazioni tra variabili e chiedendo al computer di ottenere risultati . Quindi è probabile che questa sia la forza bruta hardcore, ma ho speso abbastanza a lungo copiando i casi di test (due dei quali è appena scaduto) che mi sento come se dovessi inviarlo comunque, se non altro per trascinare questa sfida dal retro dell'elenco "Più recente" del problema decisionale .

   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 byte

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

Provalo online!

Scorre l'elenco, monitorando le possibili coppie (u,d)del massimo della sequenza crescente e del minimo di quella decrescente. Ogni nuovo elemento xsostituisce o uo d, che corrisponde al fatto che viene aggiunto a quella sottosequenza. È possibile che entrambe o nessuna delle opzioni siano valide. Alla fine, controlliamo che l'elenco delle possibilità sia vuoto.

I limiti iniziali (0,9^6)utilizzano che il problema specifica i numeri per essere nel range 0 - 99999. Una soluzione più generale poteva fare (1/0,-1/0)a marche (-inf,inf).