Conseguenze avvolgenti


11

introduzione

In questa sfida, il tuo compito è trovare sottosequenze generalizzate di stringhe. Le sottosequenze non sono necessariamente contigue e possono anche "avvolgere" la stringa, oltrepassandone la fine e ricominciando dall'inizio. Tuttavia, ti consigliamo di ridurre al minimo il numero di avvolgimenti.

Più formalmente, lascia uche vsiano due stringhe e k ≥ 0un numero intero. Diciamo che uè una ksottosequenza avvolgente di v, se esistono indici distinti tali , e al massimo gli indici soddisfano . Ciò significa che può essere trovato all'interno andando da sinistra a destra, scegliendo alcuni dei suoi personaggi lungo la strada e avvolgendosi il più delle volte (equivalentemente, facendo al massimo spazzate ). Nota che nessun personaggio può essere scelto più di una volta, anche dopo un avvolgimento, e che le sottosequenze avvolgenti sono esattamente le sottosequenze ordinarie che tutti conosciamo.i1, i2, ..., ilen(u)u == v[i1] v[i2] ... v[ilen(u)]kijij > ij+1uvkk+1v0

L'obiettivo

I tuoi input sono due stringhe alfanumeriche non vuote ue v, e il tuo output è il numero intero più piccolo ktale da uessere una ksottosequenza avvolgente di v. Se non kesiste, l'output deve essere -1.

Esempio

Considera gli input u := xyzyxzzxyxe v := yxzzazzyxxxyz. Se iniziamo a cercare i personaggi di uin vin modo avido, ci avvolgeremo 3 volte:

 yxzzazzyxxxyz
>─x─────y────z┐
┌─────────────┘
└y───────x────┐
┌─────────────┘
└──zz─────x─y─┐
┌─────────────┘
└──────────x──>

Pertanto, l'output corretto è al massimo 3. Nota come il carattere più a sinistra xviene selezionato una volta, quindi ignorato al secondo passaggio, poiché non può essere riutilizzato. Tuttavia, esiste un metodo più breve con solo 2 avvolgenti:

 yxzzazzyxxxyz
>──────────xyz┐
┌─────────────┘
└yxzz────x────┐
┌─────────────┘
└───────y─x───>

Si scopre che un avvolgimento (ovvero due sweep) non è sufficiente, quindi l'output corretto è 2.

Regole e bonus

È possibile scrivere una funzione o un programma completo e, se necessario, è anche possibile modificare l'ordine degli ingressi. Vince il conteggio di byte più basso e non sono consentite scappatoie standard.

C'è un bonus del -10% per calcolare tutti i casi di test in meno di 10 secondi in totale. Testerò casi poco chiari sulla mia macchina; la mia implementazione di riferimento in Python dura circa 0,6 secondi. Ho un laptop di 7 anni con CPU dual core da 1,86 GHz, che potresti voler prendere in considerazione.

Casi test

"me" "moe" -> 0
"meet" "metro" -> -1
"ababa" "abaab" -> 1
"abaab" "baabaa" -> 1
"1c1C1C2B" "1111CCCcB2" -> 3
"reverse" "reserved" -> 2
"abcdefg" "gfedcba" -> 6
"xyzyxzzxyx" "yxzzazzyxxxyz" -> 2
"aasdffdaasdf" "asdfddasdfsdaafsds" -> 2

1
Anche questa sarebbe una soluzione valida per l'esempio? È un approccio avido.
orlp,

@orlp Non è valido, perché il primo xviene utilizzato in tre distinti sweep. Può essere usato solo una volta.
Zgarb,

Ahhh, vedo adesso.
orlp,

Risposte:


4

Pyth, 34 byte

Mh+Smssm>.ukC,dtdfqGsm@HkT.PUHlG_1

Questo definisce una funzione g, che accetta due stringhe come parametro. Provalo online: Pyth Compiler / Executor

Questo codice è molto inefficiente. Ha una complessità di tempo e memoria di len(v)!/(len(v)-len(u))!. Non è in grado di risolvere i casi di test più lunghi in meno di 10 secondi. (Probabilmente si bloccherà molto probabilmente, poiché rimarrà senza memoria.)

M                                    define g(G, H): return _
                          .PUHlG        all permutations of [0, 1, ..., len(H)-1] of length len(G)
                 fqGsm@HkT              filter the permutations which form the string G
    mssm>.ukC,dtd                       compute the number of wraps for each of the remaining permutations
  +S                            _1      sort the numbers and append -1
 h                                      return the first element

4

Haskell, 160 * 0.9 = 144 byte

a#(-1)=a
a#b=min a b
f y=w(y++" ")0$length y
w _ n _[]=n
w(c:d)n o g@(a:b)|n>o=(-1)|a==c=z#w y n z g|c==' '=w y(n+1)o g|1<2=w y n o g where z=w d n o b;y=d++[c]

Tempistica per tutti i casi di test (nota: gli argomenti sono invertiti):

*Main> map (uncurry f) [
             ("moe", "me"),
             ("metro", "meet"),
             ("abaab", "ababa"),
             ("baabaa", "abaab"),
             ("1111CCCcB2", "1c1C1C2B"),
             ("reserved", "reverse"),
             ("gfedcba", "abcdefg"),
             ("yxzzazzyxxxyz", "xyzyxzzxyx"),
             ("asdfddasdfsdaafsds", "aasdffdaasdf")]
[0,-1,1,1,3,2,6,2,2]
(0.08 secs, 25794240 bytes)

Come funziona (versione corta): semplice forza bruta che richiede il minimo di usare un personaggio corrispondente e saltarlo. Arresto la ricerca quando ho finito (restituendo il numero di cicli) o quando ho pedalato più del minimo finora (restituendo -1).

Ho salvato molti byte rispetto alla mia prima versione, principalmente perché sono passato da un programma completo a una funzione.

Con alcuni commenti e una corretta spaziatura, Haskell è abbastanza leggibile:

-- a minimum function that ignores a -1 in the right argument to prevent
-- "not solvable" cases in parts of the recursive search to dominate low numbers
-- of solvable parts. If the case isn't solvabale at all, both arguments are
-- -1 and are carried on.
a # (-1) = a
a # b    = min a b

-- the main function f calls the worker funktion w with arguments
-- * the string to search in (STSI), appended by a space to detect cycles
-- * the number of cycles so far
-- * the minimum of cycles needed so far, starting with the length of STSI
-- * the string to search for (STSF) (partial applied away and therefore invisible)
f y = w (y++" ") 0 (length y)

-- the worker function 
w _ n _ [] = n          -- base case: if STSF is empty the work is done and the 
                        -- number of cycles is returned

w (c:d) n o g@(a:b)     -- "c" is first char of STSI, "d" the rest
                        -- "n" number of cycles, "o" minimum of cycles so far
                        -- "g" is the whole STSF, "a" the 1st char, "b" the rest
  | n>o    = (-1)             -- if current cycle is more than a previous result,
                              -- indicate failure
  | a==c   = z # w y n z g    -- if there's a character match, take the min of
                              -- using it and skipping it
  | c==' ' = w y (n+1) o g    -- cycle detected, repeat and adjust n
  | 1<2    = w y n o g        -- otherwise try next char in STSI

  where                 -- just some golfing: short names for common subexpressions
  z = w d n o b;        -- number of cycles if a matching char is used
  y = d ++ [c]          -- rotated STSI

Per riferimento: vecchia versione, programma completo, 187 byte

main=interact$show.f.lines
a#(-1)=a
a#b=min a b
f[x,y]=w x(y++" ")0 0
w[]_ n _=n
w g@(a:b)(c:d)n m|a==c=w b d n 1#y|c==' '&&m==1=w g(d++" ")(n+1)0|c==' '=(-1)|1<2=y where y=w g(d++[c])n m

@Zgarb: rielaborata la mia soluzione. Ora è più veloce e più breve.
nimi,

Viene eseguito in 0,6 secondi quando interpretato, 0,01 secondi quando compilato.
Zgarb,

2

JavaScript (ES6) 174 (193-10%)

Ricerca ricorsiva, come la risposta di @nimi, mantenendo il minimo di avvolgimenti. Lo spazio delle soluzioni è ampio (soprattutto per l'ultimo esempio) ma tagliare la ricerca al minimo attualmente trovato mantiene basso il tempo. Modifica 1 Aggiungi un caso di prova mancante, abbreviato un po ' Modifica 2 Non è necessario passare param w in giro, è risolto

K=(w,s,x)=>
  ~-(R=(r,l,p=0,q=1,z=w[p],i=0)=>
  {
    if(z&&!(q>x)){
      if(~(r+l).indexOf(z))
        for(t=l?R(l+r,'',p,q+1):x;x<t?0:x=t,i=~r.indexOf(z,-i);)
          t=R(r.slice(-i),l+r.slice(0,~i),p+1,q);
      q=x
    }
    return q
  })(s,'')

Ungolfed

K=(word, astring)=>
{
  var minWraps // undefined at first. All numeric comparison with undefined give false 
  var R=(right, left, pos, wraps)=>
  {
    var cur = word[pos]
    var i,t;
    if (! cur) // when all chars of word are managed
      return wraps;
    if (wraps > minWraps) // over the minimum wrap count already found, stop search
      return wraps; 
    if ( (right+left).indexOf(cur) < 0 ) // if the current char is not found in the remaining part of the string
      return minWraps; // return the current min, could still be undefined (that means 'no way')
    if ( left ) // if there is a left part, try a wrapping search with the current char
    {
      t = R(left+right, '', pos, wraps+1)
      if ( !(minWraps < t)) minWraps = t; // set current min if t is less than current min or current min is still undefined
    }
    // find all occurrences of current char in the remaining part
    // for each occurrence, start a recursive search for the next char
    for(i = 0; (i = right.indexOf(cur, i)) >= 0; i++)
    {
      var passed = right.slice(0,i) // the passed chars go in the left part
      var rest = right.slice(i+1) 
      t = R(rest, left+passed, pos+1, wraps) // try next char in the remaining part, no wrap
      if ( !(minWraps < t)) minWraps = t; // set current min if t is less than current min or current min is still undefined
    }
    return minWraps
  }
  var result = R(astring, '', 0, 1) // start with right=string and left empty
  return ~-result; // decrement. convert undefined to -1
}

Test nella console Firefox / FireBug

time=~new Date;
[['me','moe']
,['meet','metro']
,['ababa','abaab']
,['abaab','baabaa']
,['1c1C1C2B','1111CCCcB2']
,['reverse','reserved']
,['abcdefg','gfedcba']
,['xyzyxzzxyx','yxzzazzyxxxyz']
,['aasdffdaasdf','asdfddasdfsdaafsds']]
.forEach(s=>console.log(s,r=K(...s)))
time-=~new Date

Uscita (l'ultima riga è il tempo di esecuzione in ms)

["me", "moe"] 0
["meet", "metro"] -1
["ababa", "abaab"] 1
["abaab", "baabaa"] 1
["1c1C1C2B", "1111CCCcB2"] 3
["reverse", "riservato"] 2
["abcdefg", "gfedcba"] 6
["xyzyxzzxyx", "yxzzazzyxxxyz"] 2
["aasdffdaasdf", "asdfddasdfsdaafsds"] 2
116


Testato con Firebug, gira 175ms sulla mia macchina.
Zgarb,

@Zgarb c'è spazio per miglioramenti: proverò a renderlo più lento e più breve
edc65
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.