Informatica teorica

2

Quali sono le relazioni tra Alternative, MonadPlus (LeftCatch) e MonadPlus (LeftDistributive)?

Seguito Qual è un esempio di Monade che è un'alternativa ma non un MonadPlus? : Supponiamo che sia una monade. Quali sono i rapporti betweem m essere un alternativa , un MonadPlusCatch e MonadPlusDistr ? mmmmmmPer ognuna delle sei coppie possibili, vorrei avere una prova che l'una implica un'altra o …

12 pl.programming-languages functional-programming haskell monad applicative

3

Come viene definita la dualità dei tipi?

Nei tipi ricorsivi di Wadler gratis! [1], ha dimostrato due tipi, e ∃ X . ( X → F ( X ) ) × X e ha affermato che sono doppie . In particolare, ha sottolineato che il tipo ∃ X . X → ( X → F ( X …

12 lo.logic type-theory

2

Complessità dello spazio per calcolare l'allineamento ottimale della stringa per la distanza di modifica di Levenshtein

Se ci vengono date due stringhe di dimensione e n 2 , il calcolo standard della distanza di modifica di Levenshtein avviene mediante un algoritmo dinamico con complessità temporale O ( n 1 n 2 ) e complessità spaziale O ( n 1 n 2 ) . (Alcuni miglioramenti possono …

12 cc.complexity-theory dynamic-algorithms edit-distance space-time-tradeoff

3

Sull'entropia di una somma

Sto cercando un balzo sul entropia della somma di due variabili aleatorie discrete indipendenti X e Y . Naturalmente, H ( X + Y ) ≤ H ( X ) + H ( Y ) ( ∗ ) Tuttavia, applicato alla somma di n variabili casuali indipendenti di Bernoulli Z …

12 it.information-theory shannon-entropy

1

Gli algoritmi quantistici con accelerazione esponenziale possono essere redivivati utilizzando i programmi span?

L'avversario generale con limite inferiore ora è noto per caratterizzare la complessità delle query quantistiche a causa del lavoro rivoluzionario di Reichardt et al. La stessa linea di lavoro stabilisce anche connessioni al framework del programma span per progettare algoritmi quantistici. Molti interessanti algoritmi quantistici, compresi quelli con accelerazione esponenziale …

12 cc.complexity-theory quantum-computing query-complexity

1

L'entropia di una convoluzione sopra l'ipercubo

Supponiamo di avere una funzione , tale che ∑ x ∈ Z n 2 f ( x ) 2 = 1 (quindi possiamo pensare a { f ( x ) 2 } x ∈ Z n 2 come una distribuzione) . È naturale definire l'entropia di una tale funzione come …

12 it.information-theory boolean-functions fourier-analysis

3

Complessità del conteggio dei percorsi in un grafico

Dato un grafico diretto con n nodi in modo tale che ogni vertice abbia esattamente due bordi in uscita e un numero naturale N codificato in binario, due vertici s e t, Voglio contare il numero di percorsi (non necessariamente semplici) da s a t all'interno di N passaggi. È …

12 cc.complexity-theory graph-theory counting-complexity

2

Risolutore di problemi universale efficiente?

Definire un "problema" per essere un algoritmo accettare un numero naturale e tornando 0 o 1 che ritorna 1 su almeno un n ∈ N . Una tale n è chiamata "soluzione" di AUNAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA Definire un "risolutore di problemi universale" come algoritmo accetta un problema e restituisce una …

12 cc.complexity-theory ai.artificial-intel

1

Una domanda sulle estensioni lineari di ordini parziali

Se ti viene data una raccolta di ordini parziali, l'ordinamento topologico ti dirà se esiste un'estensione della raccolta a un ordine totale (un'estensione in questo caso è un ordine totale coerente con ciascuno degli ordini parziali). Ho riscontrato una variazione: Fissare un set . Ti vengono date sequenze σ 1 …

12 ds.algorithms reference-request order-theory

2

Espressività di Büchi vs CTL (*)

Qual è la relazione tra l'espressività di LTL , Büchi / QPTL , CTL e CTL * ? Puoi fornire alcuni riferimenti che coprono il maggior numero possibile di queste logiche temporali (specialmente tra tempo lineare e tempo di ramificazione)? Un diagramma di Venn con quelle logiche temporali e alcune …

12 lo.logic automata-theory model-checking temporal-logic

1

Implementazione di Wilf-Zeilberger e metodi correlati

Il libro A = B di Petkovsek, Wilf e Zeilberger descrive algoritmi per calcolare diverse somme di binomi. AFAIK, questi algoritmi vengono ancora migliorati da autori diversi. Sai dove possiamo trovare le implementazioni più aggiornate di questi algoritmi? E sai se esistono implementazioni in alcuni software gratuiti come Sage ?

12 ds.algorithms co.combinatorics implementation

3

AM / MA e NP in analogia a P e BPP

Arora e Barak mostrano che può essere espresso come B P ⋅ N P, ovvero l'insieme delle lingue che hanno riduzioni randomizzate a 3SAT. M A è anche una generalizzazione randomizzata naturale di N P in quanto si sostituisce il verificatore deterministico con uno verificabile randomizzato.AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} C'è un senso …

12 cc.complexity-theory big-picture

2

Gli automi multipebble possono decidere tutti i linguaggi deterministici sensibili al contesto?

Un MPA (automa multipebble) è un 2DFA (automa finito deterministico a due vie) che può usare un numero arbitrario di ciottoli (in realtà al massimo ciottoli su un dato input - l'input è scritto sul nastro tra due estremità -marker come ). Durante il calcolo, un MPA può rilevare se …

12 cc.complexity-theory reference-request automata-theory space-bounded

3

Ordinamento delle sequenze "k-tonic"

Spero che qualcuno conosca un riferimento a questo, quindi non devo leggere la letteratura ... Considera una sequenza di numeri . Pensa alla sequenza come intervalli n - 1 [ x 1 , x 2 ] , [ x 2 , x 3 ] , … , [ x n …

12 ds.algorithms reference-request sorting

2

Suddividi uniformemente il testo in un determinato numero di righe

Esiste un algoritmo di tempo lineare per suddividere il testo in modo uniforme in righe di larghezza massima. Utilizza SMAWK (o Knuth & Plass) e "equamente" significa: http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness Esiste un algoritmo o una funzione di costo concavo per l'algoritmo sopra che tenga conto del numero di righe in cui vorrei …

12 ds.algorithms