Informatica teorica

2

Sottotipi come sottoinsiemi di tipi di dati SML

Una delle poche cose che non mi piacciono del libro di Okasaki su strutture di dati puramente funzionali è che il suo codice è disseminato di un pattern inesauribile. Ad esempio, darò la sua implementazione di code in tempo reale (refactored per eliminare inutili sospensioni): infixr 5 ::: datatype 'a …

10 type-theory type-inference

1

Esiste una buona idea di non terminazione e fermare le prove nella teoria dei tipi?

La teoria dei tipi costruttiva con la sua interpretazione di base sotto la corrispondenza del curry howard consiste solo di funzioni totali e calcolabili. In letteratura, alcuni sono stati detti sull'uso della "teoria del tipo computazionale" al fine di rappresentare la non terminazione nei programmi funzionali, ma nei documenti che …

10 lo.logic type-theory oracles halting-problem

1

Introduzione agli automi probabilistici

Dove posso trovare un'introduzione agli automi probabilistici e cosa riconoscono (determinate funzioni dalle parole a [ 0 , 1 ][0,1][0,1] )? Esiste un termine standard per tali funzioni che sono riconosciuti dagli automi probabilistici, analogo ai "linguaggi regolari" per quali automi deterministici finiti (DFA) riconoscono? Sto cercando qualcosa che si …

10 reference-request fl.formal-languages probabilistic-automata

2

È noto se

L'inclusione inversa è ovvia, così come il fatto che qualsiasi linguaggio NP auto-riducibile in BPP è anche in RP. Questo è noto anche per le lingue NP non auto-riducibili?

10 cc.complexity-theory derandomization pseudorandomness

1

Classi di grafici con larghezza degli alberi supercorrente

Esistono diverse classi interessanti di grafici con larghezza degli alberi limitata. Ad esempio, alberi (larghezza dell'albero 1), grafici paralleli in serie (larghezza dell'albero 2), grafici planari esterni (larghezza dell'albero 2), grafici esterni (larghezza dell'albero O (k)), grafici della larghezza del ramo ( larghezza dell'albero O (k)), .. .KKkKKk Domanda: ci …

10 graph-theory treewidth

1

Migliorare la riduzione generica di Cook per Clique a SAT?

Sono interessato a ridurre -Clique in SAT senza rendere l'istanza molto più grande.Kkk Clique è in NP quindi può essere ridotto a SAT usando lo spazio logaritmico. La semplice riduzione del manuale di Garey / Johnson fa esplodere l'istanza a dimensioni cubiche . Tuttavia, -Clique è in P per ogni …

10 cc.complexity-theory sat reductions clique

1

Valutazione dei polinomi simmetrici

Sia un polinomio simmetrico , cioè un polinomio tale che per tutti tutte le permutazioni . Per comodità, possiamo supporre che sia un campo finito, per evitare di affrontare i problemi con il modello di calcolo.f: Kn→ Kf:Kn→Kf:\mathbb{K}^n \to \mathbb{K}x ∈ K n σ ∈ S n Kf( x ) …

10 cc.complexity-theory permutations polynomials

1

Massima corrispondenza del peso e funzioni sottomodulari

Dato un grafico bipartito con pesi positivi lasciare f : 2 U → R con f ( S ) uguale alla corrispondenza del peso massimo nel grafico G [ S ∪ V ] .G=(U∪V,E)G=(U∪V,E)G = (U \cup V, E)f:2U→Rf:2U→Rf: 2^U \rightarrow \mathbb{R}f(S)f(S)f(S)G[S∪V]G[S∪V]G[S\cup V] È vero che è una funzione sottomodulare?fff

10 matching submodularity

2

Facile da ottimizzare ma difficile da valutare

Esistono esempi naturali noti di problemi di ottimizzazione per i quali è molto più semplice produrre una soluzione ottimale che valutare la qualità di una data soluzione candidata? Per ragioni di concretezza, possiamo considerare problemi di ottimizzazione risolvibili nel tempo polinomiale della forma: "dato x, minimizza ", dove f : …

10 cc.complexity-theory optimization examples

1

Di cosa si nutrono i teoremi della dicotomia?

È ben noto che certe classi di NP -problemi Avere dicotomia teoremi, che garantisce che ogni compito in classe è o NP -complete o è in P . Il risultato più noto è il teorema della dicotomia di Schaefer , insieme a una serie di generalizzazioni. La mia comprensione è …

10 cc.complexity-theory np descriptive-complexity

1

I valutatori ottimali sono effettivamente ottimali?

Il seguente termine (usando gli indici bruijn): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Se applicato a un numero di chiesa, si Nvaluta rapidamente in forma normale in diversi valutatori esistenti, inclusi …

10 cc.complexity-theory lambda-calculus interaction-nets

1

Congettura: tutti i linguaggi completi di NP FPT sono isomorfi a parametro fisso

Congettura di Berman-Hartmanis: tutte le lingue complete di NP si assomigliano, nel senso che possono essere correlate tra loro da isomorfismi del tempo polinomiale [1]. Sono interessato a una versione più dettagliata del "tempo polinomiale", ovvero se utilizziamo riduzioni parametrizzate. Un problema con parametri è un sottoinsieme di , dove …

10 complexity-classes np-complete fixed-parameter-tractable

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

2

Massiccia collaborazione online per la risoluzione di problemi aperti in informatica teorica

Nei progetti Polymath un grande gruppo lavora su un problema aperto. Che tipo di problemi sembrano funzionare meglio in questo quadro? Ci sono buoni candidati per un progetto polymath in informatica teorica? Ci sono ostacoli che rendono meno probabile che i progetti Polymath abbiano successo nell'informatica teorica rispetto ad altre …

10 soft-question open-problem research-practice

2

Camminata casuale e tempo medio di risposta in un semplice grafico non orientato

Sia un semplice grafico non orientato su vertici e bordi.n mG=(V,E)sol=(V,E)G=(V,E)nnnmmm Sto cercando di determinare il tempo di esecuzione atteso di algoritmo di Wilson per la generazione di un albero di copertura casuale di . Qui, viene mostrato come , dove è il tempo medio di risposta : dove:O ( …

10 graph-theory graph-algorithms co.combinatorics random-walks analysis-of-algorithms