Mi chiedo, ci sono documenti o ricerche che trattano di automi pushdown visibilmente, ma che permettono alle parole, piuttosto che alle singole lettere, di essere inserite nella pila. In alternativa, una costruzione che consentiva di spingere i simboli ϵϵ\epsilontransizioni ϵ potrebbe raggiungere lo stesso obiettivo. Ovviamente, tali variazioni possono essere …
Qualsiasi grafico planare , rispettivamente, esterno G=(V,E)G=(V,E)G=(V,E) soddisfa |E′|≤3|V′|−6|E′|≤3|V′|−6|E'|\le 3|V'|-6 , rispettivamente, |E′|≤2|V′|−3|E′|≤2|V′|−3|E'|\le 2|V'|-3 , per ogni sottografo di . Inoltre, i grafici (esterni) planari possono essere riconosciuti in tempi polinomiali.GG′=(V′,E′)G′=(V′,E′)G'=(V',E')GGG Che cosa si sa sui grafici tale che (resp. ) per ogni sottografo di ? È possibile riconoscerli in …
π 1 : A × B → A π 2 : A × B → BA × B ≜ ∀ α .( A → B → α ) → αUN×B≜∀α.(UN→B→α)→α A \times B \triangleq \forall\alpha.\; (A \to B \to \alpha) \to \alpha π1: A × B → Aπ1:UN×B→UN\pi_1 : A …
Mentre leggevo il blog di Dick Lipton, mi sono imbattuto nel seguente fatto vicino alla fine del suo post su Bourne Factor : Se, per ogni , esiste una relazione della forma ( 2 n ) ! = m - 1 ∑ k = 0 a k b c k …
Dato un vertici grafo non orientato, qual è il miglior tempo di esecuzione noto vincolato per trovare un sottografo che è un k × k -biclique? Esistono algoritmi parametrizzati più veloci dell'algoritmo tempo di "indovinare" un lato del bicolore e vedere se ci sono almeno altri vertici incidenti a tutti …
Il seguente manoscritto è disponibile pubblicamente? Dana Scott, 1969, Una teoria delle funzioni calcolabili di tipo superiore . Note di seminario inedite, 7 pagine, Università di Oxford. C'è una discussione di questo articolo nella sezione 8.1.2, Tipi come set , in Cardone & Hindley, 2006 History of Lambda-calculus and Combinatory …
Prendi un grafico diretto dove i bordi sono decorati con un numero naturale. Vogliamo l'insieme di tutti i percorsi P tra due vertici v 1 e v 2 in modo tale che ogni bordo successivo nel percorso sia decorato con un numero naturale maggiore del numero naturale che decora il …
È noto che le formule casuali -CNF su n variabili con clausole c n sono insoddisfacenti (cioè sono contraddizioni) con alta probabilità, per una costante sufficientemente grande c . Pertanto, le formule casuali k -CNF (per c abbastanza grande) costituiscono una distribuzione naturale su insoddisfacenti formule booleane (o due volte, …
Dati i punti in R d e una distanza l trovano il sottoinsieme più grande di questi punti in modo tale che la distanza euclidea di non due di essi superi l .p1,…,pnp1,…,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}llllll Qual è la complessità di questo problema? Nel grafico sopra i punti che hanno un bordo ogni …
Supponiamo di avere due partecipanti arbitrariamente potenti che non si fidano l'uno dell'altro. Hanno accesso al bitimpegno (ad es. Buste sigillate contenenti dati che un giocatore può consegnare all'altro ma che non possono essere aperti fino a quando il primo giocatore non fornisce una chiave al secondo). Puoi usarlo per …
I grafici senza X sono quelli che non contengono alcun grafico di X come un sottografo indotto. Un buco è un ciclo con almeno 4 vertici. Un buco dispari è un buco con un numero dispari di vertici. Un antihole è il complemento di un buco. I grafici privi di …
Come in, l'area degli articoli nell'ACM Journal on Experimental Algorithmic JEA . Quali erano le opere fondamentali? Quali sono i risultati principali? Come sono caratterizzati? Qualche connessione interessante con altre aree dell'informatica?
Cosa dovrei leggere per capire questo problema? La potenza dei circuiti quantistici di piccola profondità. Is ? In altre parole, la parte "quantistica" di qualsiasi algoritmo quantistico può essere compressa in profondità poligono (n), a condizione che siamo disposti a eseguire il postprocessing classico in tempo polinomiale? (Questo è noto …
Sono uno studente laureato in matematica e l'informatica teorica è un dominio di cui non ho mai capito di cosa si tratta perché non sono riuscito a trovare una buona lettura sull'argomento. Voglio sapere di cosa tratta effettivamente questo dominio, di che tipo di argomenti tratta, quali prerequisiti sono necessari …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.