Da, le prove con il metodo probabilistico sono spesso definite non costruttive. Tuttavia, una prova con metodo probabilistico in effetti progetta un algoritmo randomizzato e lo usa per dimostrare l'esistenza. Citato da p103 di Alandomith Algorithms di Rajeev Motwani, Prabhakar Raghavan : Potremmo vedere la prova con il metodo probabilistico …
Sto leggendo un documento che fa riferimento al limite mentre n va all'infinito dell'entropia di Rényi. Lo definisce comeHn( X) =11 - nlog2(Σi = 1Npnio)Hn(X)=11−nlog2(∑i=1Npin){{H}_{n}}\left( X \right)=\dfrac{1}{1-n} \log_2 \left( \sum\limits_{i=1}^{N}{p_{i}^{n}} \right). Dice quindi che il limite èn → ∞n→∞n\to \infty è -log2(p1)−log2(p1)-\log_2 \left( p_1 \right). Ho visto un altro articolo …
Diciamo che ho trovato un algoritmo di approssimazione 2 per un certo problema e voglio dimostrare che l'analisi è stretta. Devo ora trovare un esempio di dimensione generica o è sufficiente dimostrare che ho un esempio di dimensione per cui l'algoritmo produce ?nnn1010102OPT2OPT2OPT
Ho cercato di implementare l'algoritmo di Brzozowski ma ho appena scoperto che crea automi non ottimali per una certa classe di input, con uno stato in più di quello che è veramente necessario nel risultato. Posso mostrarlo su un automa banale: a b a b a b a b a …
Ho una foresta, cioè nodi con bordi diretti e nessun ciclo (diretto o non diretto). Definisco l'altezza di un vertice come 0 se non ha spigoli in arrivo o il numero massimo di spigoli da attraversare all'indietro per raggiungere un vertice di altezza 0. vvv So anche che il grado …
La fonte di questa domanda proviene da un corso di laurea che sto seguendo, che copre un'introduzione all'analisi degli algoritmi. Questo non è per i compiti, ma piuttosto una domanda posta nel CLRS. Hai una macchina lenta in esecuzione su MIPS e una macchina veloce in esecuzione su MIPS. Hai …
Dato un grafico diretto e due vertici distinti S e T, esiste un algoritmo del tempo polinomiale che trova ogni vertice che si trova su almeno un semplice percorso da S a T? Non è difficile trovare tutti i vertici che sono sia successori di S che predecessori di T, …
Diciamo che ho un grafico |G||G||G| con |E|=O(V2)|E|=O(V2)|E|=O(V^2)bordi. Voglio eseguire BFS susolsolG che ha un tempo di esecuzione di O(V+E)O(V+E)O(V+E). È naturale scrivere che il tempo di esecuzione su questo grafico sarebbe O(O(V2)+V)O(O(V2)+V)O(O(V^2)+V) e quindi semplificare O(V2)O(V2)O(V^2). Ci sono insidie nell'usare una scorciatoia "remove-the-nested-O" (non solo in questo caso, ma …
Cosa significa quando un argomento di una funzione è chiamato argomento fittizio ? Non ho incontrato questo termine al di fuori di Fortran, è un termine generale in informatica? Quali sarebbero esempi di argomenti passati come fittizi e non passati come fittizi? Ho trovato questa definizione , che non sono …
Diciamo che è un oracolo per un problema in , ma non posso chiamarlo oracolo con nessuna istanza di input. Invece, ogni volta che chiamo mi viene restituita un'istanza e una soluzione casuali. Quindi, so che è effettivamente in grado di risolvere problemi arbitrari di , non riesco proprio a …
Sto per implementare un linguaggio specifico di dominio per la rappresentazione delle convenzioni di apprendimento sociale. Parte dell'implementazione è una descrizione formale di un linguaggio: il suo "calcolo", i simboli e le espressioni logiche. Il mio approccio sarebbe quello di descrivere il linguaggio descrivendone la grammatica ma ci sono anche …
Di 'che hai mmm input booleani e ti viene data una soglia nnn. Devi costruire un circuito booleano che valuti se vero almenonnndegli input true. È possibile utilizzare porte AND, OR, NOT o XOR (limitate al fan-in due, con fan-out arbitrario). Asintoticamente quanto è piccolo questo circuito? Ogni limite superiore …
Esiste un libro o tutorial che ci insegna come applicare in modo efficiente gli algoritmi comuni (ordinamento, ricerca, ecc.) Su dati di grandi dimensioni (ovvero dati che non possono essere caricati completamente nella memoria principale) e come applicare in modo efficiente quegli algoritmi considerando il costo di bloccare il trasferimento …
Se supponiamo di iniziare con un'istanza di -SAT e di provare a convertire il problema in un'istanza di -SAT, dove ci sono valori letterali per clausola, possiamo garantire una riduzione del importo totale delle clausole?KKk( k + m )(K+m)(k+m)( k + m )(K+m)(k+m) Mi sono reso conto dopo la pubblicazione …
Per il metodo di taglio e taglio, è essenziale conoscere molte sfaccettature dei polipropi generati dal problema. Tuttavia, attualmente è uno dei problemi più difficili per calcolare effettivamente tutte le sfaccettature di tali polipropi man mano che crescono rapidamente di dimensioni. Per un arbitrario problema di ottimizzazione, il politopo usato …
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.