Informatica teorica ds.algorithms

1

In un grafico, un insieme indipendente è un sottoinsieme di vertici che non contiene un bordo come un sottografo indotto. Il problema di trovare i più grandi insiemi indipendenti in un grafico è una questione algoritmica fondamentale, e difficile a questo. Consideriamo la domanda più generale di trovare (la dimensione …

11 ds.algorithms reference-request graph-theory np-hardness co.combinatorics

4

Riduzione dimensionale con gioco lento?

Il lemma di Johnson-Lindenstrauss dice approssimativamente che per ogni raccolta di punti in , esiste una mappa where tale che per tutte : È noto che affermazioni simili non sono possibili per la metrica , ma è noto se esiste un modo per aggirare un valore così basso limiti offrendo …

11 ds.algorithms approximation-algorithms cg.comp-geom metrics embeddings

1

Qual è l'istanza più difficile per il problema dell'isomorfismo di gruppo?

Si dice che due gruppi ( G , ⋅ )(G,⋅)(G,\cdot) e ( H, × )(H,×)(H, \times) siano isomorfi se esiste un omomorfismo da solGG a HHH che è biiettivo. Il problema dell'isomorfismo di gruppo è il seguente: dati due gruppi, verificare se sono isomorfi o meno. Esistono diversi modi per …

11 ds.algorithms gr.group-theory

2

Problemi senza alcun vantaggio quantistico noto

Mi chiedevo quale fosse l'elenco degli attuali problemi computazionali naturali per i quali non esiste alcun vantaggio di complessità noto nell'uso di un computer quantistico. Per iniziare, penso che il calcolo della distanza di modifica sia uno per il quale l'algoritmo quantistico più veloce conosciuto sembra essere il classico più …

11 ds.algorithms quantum-computing big-list

1

Trovare un doppio di un grafico

Secondo il libro Topological Graph Theory di Gross and Tucker, dato l'incorporamento cellulare di un grafico su una superficie (per "superficie" intendo qui una sfera con alcune maniglie , e sotto S n si riferisce alla sfera con esattamente n maniglie), è possibile definire una doppia multigrafo trattando le facce …

11 ds.algorithms reference-request graph-theory cg.comp-geom topological-graph-theory

4

Algoritmi di approssimazione utilizzati in algoritmi esatti

Gli algoritmi di approssimazione potrebbero fornire output fino a un fattore costante. Questo è un po 'meno soddisfacente degli algoritmi esatti. Tuttavia, i fattori costanti vengono ignorati nella complessità temporale. Quindi mi chiedo se il seguente trucco è possibile o è stato usato, per risolvere qualche problema :B ∘ AB∘AB …

11 ds.algorithms big-list approximation-algorithms

5

Funzioni sottomodulari: richiesta di riferimento

Sarei molto interessato ai riferimenti alla teoria delle funzioni sottomodulari (dalle basi alle avanzate). In particolare, sto studiando approssimazioni a difficili problemi di ottimizzazione e voglio sviluppare le mie basi nelle funzioni sottomodulari in quanto sono rilevanti per i problemi di ottimizzazione che ho studiato. Grazie in anticipo.

11 ds.algorithms reference-request approximation-algorithms optimization

1

Ordinamento con una media di

Esiste un algoritmo di ordinamento confronto-based che utilizza una media di confronti?l g (n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) Esistenza di un caso peggiore algoritmo di confronto è un problema aperto, ma i suffissi caso medio per un algoritmo randomizzato con previsto l g ( n ! ) + O ( n ) confronti per …

10 cc.complexity-theory ds.algorithms sorting

2

Complessità di omogeneizzazione di una stringa

Motivazione : Durante lo sviluppo di strumenti per il versioning dei dati, abbiamo finito per esaminare gli algoritmi per "diff" due gruppi di numeri interi, presentando una sequenza di trasformazioni che portano un gruppo di numeri interi all'altro. Siamo riusciti a ridurre questo problema al seguente problema molto naturale che …

10 cc.complexity-theory ds.algorithms reference-request string-matching edit-distance

1

È determinabile se la lunghezza di uscita di un trasduttore è limitata dalla lunghezza di ingresso?

I trasduttori considerati qui sono quelli che Wikipedia chiama trasduttori a stati finiti . Il comportamento di un trasduttore , cioè la relazione che calcola, è scritto : una parola è un output per iff .[ T ] y x x [ T ] yTTT[T][T][T]yyyxXxx[T]yX[T]yx[T]y Domanda: è il seguente problema …

10 ds.algorithms reference-request automata-theory regular-language dfa

1

Possiamo costruire una permutazione indipendente dal punto di vista k su [n] usando solo tempo e spazio costanti?

Sia k>0k>0k>0 una costante fissa. Dato un numero intero nnn , vogliamo costruire una permutazione σ∈Snσ∈Sn\sigma \in S_n tale che: La costruzione utilizza tempo e spazio costanti (ovvero la preelaborazione richiede tempo e spazio costanti). Possiamo usare la randomizzazione. Dato i∈[n]i∈[n]i\in[n] , σ(i)σ(i)\sigma(i) può essere calcolato in tempo e spazio …

10 cc.complexity-theory ds.algorithms cr.crypto-security derandomization k-wise-independence

1

Decomposizione minima equidecomposibile

Dati due poliedri e Q , P e Q sono equidecomponibili se ci sono insiemi finiti di poliedri P 1 , ... , P n e Q 1 , ... , Q n tali che P i e Q i sono congruenti per tutti i , P = ∪ n …

10 ds.algorithms computational-geometry polygon

1

Algoritmo per determinare l'uguaglianza delle funzioni sul calcolo lambda semplicemente digitato?

Sappiamo che l'uguaglianza beta dei termini lambda semplicemente digitati è decidibile. Dato M, N: σ → τ, è decidibile se per tutti X: σ, MX NX?≃β≃β≃_β

10 ds.algorithms pl.programming-languages type-theory functional-programming

1

Biiezioni monotone tra elenchi di intervalli

Ho il seguente problema: Input: due serie di intervalli e T (tutti gli endpoint sono numeri interi). Query: esiste una biiezione monotona f : S → T ?SSSTTTf: S→ Tf:S→Tf:S \to T La biiezione monotona wrt set ordine inclusione e T . ∀ X ⊆ Y ∈ S , f …

10 cc.complexity-theory ds.algorithms np-hardness partial-order matching

1

Radici intere di un polinomio

Quale algoritmo possiamo usare per trovare tutte le radici intere di un polinomio con coefficienti interi?f(x)f(x)f(x) Osservo che Sage riesce a trovare le radici in pochi secondi anche quando tutti i coefficienti di sono molto grandi. Come è in grado di farlo?f(x)f(x)f(x)

10 ds.algorithms na.numerical-analysis

Domande taggate «ds.algorithms»