Informatica teorica

1

Algoritmo di intersezione DFA per casi speciali

Sono interessato a algoritmi efficienti per l'intersezione DFA per casi speciali. Vale a dire, quando i DFA da intersecare obbediscono a una determinata struttura e / o operano con un alfabeto limitato. Esiste una fonte in cui posso trovare algoritmi in questi casi? Al fine di non rendere la domanda …

9 automata-theory time-complexity dfa

4

Buoni libri sulla teoria dei parser?

Uno dei miei progetti Java è un fork di parboiled e, a differenza, diciamo, Antlr o JavaCC, i parser vengono generati in fase di esecuzione. Le grammatiche generate sono Grammatiche di espressione di analisi o PEG (ho sentito che un altro termine per loro è "packrat"). Mentre la generazione di …

9 research-practice books parsing

2

Comprensione del teorema minore del grafico

Questa domanda è duplice ed è principalmente orientata al riferimento: Esiste un luogo in cui vengono fornite le principali intuizioni per dimostrare il teorema minore del grafico, senza entrare troppo nei dettagli? So che la prova è lunga e difficile, ma sicuramente ci devono essere idee chiave che possono essere …

9 reference-request graph-theory graph-minor

1

Uguaglianza delle prove decidibili?

Voglio sapere se la decidibilità dell'uguaglianza di due prove decidibili della stessa proposizione può essere dimostrata senza ulteriori assiomi nel calcolo delle costruzioni induttive. In particolare, voglio sapere se questo è vero senza ulteriori assiomi in Coq. ∀P:Prop,P∨¬P⇒(∀p1:P,∀p2:P,{p1= p2} ∨ { p1≠ p2} )∀P:Prop,P∨¬P⇒(∀p1:P,∀p2:P,{p1=p2}∨{p1≠p2})\forall P: \texttt{Prop}, P \vee \neg P …

9 coq constructive-mathematics calculus-of-constructions

2

Enumerazione dei grafici planari della larghezza degli alberi vincolati

Sto cercando riferimenti per il seguente problema: dati interi e k , enumera tutti i grafici planari non isomorfi su n vertici e larghezza dell'albero ≤ k . Sono interessato sia ai risultati teorici che a quelli pratici, ma per lo più algoritmi pratici che sono possibili per codificare ed …

9 reference-request graph-theory graph-algorithms treewidth

1

Abbinamento “equo” del peso massimo

Sono interessato a una variante della corrispondenza del peso massimo in un grafico, che chiamo "Corrispondenza massima equa". Si supponga che il grafico è piena (cioè E=V×VE=V×VE=V\times V ), ha un numero pari di vertici, e che il peso è dato da una funzione di profitto . Data una corrispondente …

9 ds.algorithms graph-algorithms np-hardness matching bipartite-graphs

1

La complessità di Kolmogorov è una funzione suriettiva?

Risolviamo una codifica delle macchine di Turing e di una macchina di Turing universale, U, che sull'ingresso (T, x) produce qualunque uscita T sull'ingresso x (possibilmente entrambe funzionano per sempre). Definire la complessità di Kolmogorov di x, K (x), come la lunghezza del programma più breve, p, tale che U …

9 cc.complexity-theory universal-computation kolmogorov-complexity universal-turing-machines

2

Perché la maggior parte della crittografia dipende da grandi coppie di numeri primi, anziché altri problemi?

La maggior parte dei metodi di crittografia attuali dipendono dalla difficoltà dei numeri di factoring che sono il prodotto di due grandi numeri primi. A quanto ho capito, ciò è difficile solo finché il metodo utilizzato per generare i numeri primi grandi non può essere utilizzato come scorciatoia per il …

9 cr.crypto-security primes

2

Risultati teorici per foreste casuali?

Le foreste casuali hanno una reputazione tra i professionisti di essere tra le tecniche di classificazione più efficaci. Eppure non li incontriamo molto nella letteratura teorica dell'apprendimento, da cui suppongo un'assenza di profondi risultati teorici. Se si volesse approfondire questa teoria, da dove iniziare?

9 machine-learning lg.learning

1

Dove viene esplorata la parametricità relazionale nei modelli di iperdoctrina o topos?

Reynolds originariamente propose una semantica relazionale per il calcolo lambda polimorfo del secondo ordine [1]. Tuttavia, in seguito ha dimostrato [2] che questo approccio era incompatibile con la teoria dell'insieme classico. Pitts descrisse la struttura dei modelli di iperdoctrina e dei modelli di topos [3] che sono coerenti con la …

9 type-theory parametricity

1

Problema di appartenenza a determinate classi di grammatiche senza restrizioni

Considera una grammatica arbitraria senza contesto sopra l'alfabeto { 0 , 1 , ¯ 0 , ¯ 1 } . Alle produzioni di questa grammatica, aggiungi due produzioni fisse senza contesto : P : ¯ 0 0 → ϵ e ¯ 1 1 → ϵ . Chiama la grammatica risultante …

9 context-free decidability

1

Soddisfazione del primo ordine che non ha modelli finiti

Dal teorema di Church sappiamo che determinare la soddisfacibilità del primo ordine in generale è indecidibile, ma ci sono diverse tecniche che possiamo usare per determinare la soddisfacibilità del primo ordine. Il più ovvio è cercare un modello finito. Tuttavia, ci sono un certo numero di affermazioni nella logica del …

9 reference-request lo.logic automated-theorem-proving

1

Test di identità randomizzati per polinomi di alto grado?

Sia un polinomio variato dato come un circuito aritmetico di dimensione poli , e sia un numero primo.n ( n )fffnnn(n)(n)(n)p=2Ω(n)p=2Ω(n)p = 2^{\Omega(n)} Puoi verificare se è identicamente zero su , con time e probabilità di errore , anche se il grado non è a priori limitato? E se è …

9 polynomials arithmetic-circuits

1

Trovare vettori simili in tempi subquadratici

Sia sia una funzione che chiamiamo funzione di somiglianza . Esempi di funzione di somiglianza sono distanza coseno, l 2 norma, distanza di Hamming, Jaccard similitudine, etc.d:{0,1}k×{0,1}k→Rd:{0,1}k×{0,1}k→Rd:\{0,1\}^k\times \{0,1\}^k \to \mathbb{R}l2l2l_2 Considera nnn vettori binari di lunghezza kkk : v⃗ ∈({0,1}k)nv→∈({0,1}k)n\vec{v} \in (\{0,1\}^k)^n . Il nostro obiettivo è raggruppare vettori simili. …

9 ds.algorithms graph-algorithms clustering

1

Gioco di assunzione di segretaria

Questa è un'estensione del classico problema del segretario . Nel gioco delle assunzioni hai una serie di candidati e ordina la competenza di ciascun lavoratore.C= { c1, ... , cN}C={c1,…,cN}\mathcal C=\{c_1,\ldots,c_N\} Wlog, supponiamo che sia il più abile, seguito da c 2 , ecc.c1c1c_1c2c2c_2 L'ordine in cui il colloquio tra …

9 ds.algorithms gt.game-theory