Scienza del computer

1

Diciamo che sappiamo che il problema A è difficile, quindi riduciamo A al problema sconosciuto B per dimostrare che anche B è difficile. Ad esempio: sappiamo che la colorazione 3 è difficile. Quindi riduciamo la colorazione da 3 a 4. Combinando uno dei colori nella 3 colorazione si ottiene una …

9 complexity-theory np-complete reductions

1

Taglio minimo della st nei grafici aciclici diretti ponderati con pesi eventualmente negativi

Ho riscontrato il seguente problema: Dato un grafico aciclico diretto con pesi dei bordi a valore reale e due vertici s e t, calcolare il taglio minimo della st. Per i grafici generali questo è NP-difficile, poiché si può ridurre banalmente il taglio massimo ad esso semplicemente invertendo i pesi …

9 algorithms complexity-theory graph-theory weighted-graphs

2

Macchina di Turing alfabeto infinito

Una macchina di Turing a cui è consentito leggere e scrivere simboli da un alfabeto infinito è più potente di una normale TM (questa è l'unica differenza, la macchina ha ancora un numero finito di stati)? L'intuizione non mi dice, dal momento che hai bisogno di un numero infinito di …

9 computability turing-machines reductions simulation

2

Dimensione della corrispondenza massima nel grafico bipartito

Sono corretto nella mia osservazione che la cardinalità della massima corrispondenza di un grafico bipartito è sempre uguale a ?MMMG ( U, V, E)sol(U,V,E)G(U, V, E)min ( | U| , | V| )min(|U|,|V|)\min(|U|, |V|)

9 graph-theory graphs bipartite-matching

3

È

Ho sostenuto la mia teoria degli esami di calcolo qualche settimana fa, e questa era una delle domande: Supponiamo che la linguaL = { ( anBm)r∣ n , m , r ≥ 0 }L={(un'nBm)r|n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L è regolare? Se sì, fornisci un'espressione regolare o un automa. Dopo che …

9 formal-languages regular-languages regular-expressions

3

Big O: nidificato per loop con dipendenza

Mi è stato assegnato un compito a casa con Big O. Sono bloccato con i cicli nidificati che dipendono dal ciclo precedente. Ecco una versione modificata della mia domanda di compiti a casa, dal momento che voglio davvero capirlo: sum = 0; for (i = 0; i < n; i++ …

9 algorithms algorithm-analysis runtime-analysis landau-notation

3

Quicksort ha sempre un runtime quadratico se si sceglie un elemento massimo come pivot?

Se disponi di un algoritmo di ordinamento rapido e selezioni sempre l'elemento più piccolo (o più grande) come pivot; ho ragione nel dare per scontato che se fornisci un set di dati già ordinato, otterrai sempre prestazioni nel caso peggiore, indipendentemente dal fatto che l'elenco "già ordinato" sia in ordine …

9 algorithms time-complexity algorithm-analysis runtime-analysis sorting

3

Intuizione per la convoluzione nell'elaborazione delle immagini

Ho letto molti documenti sulla convoluzione nell'elaborazione delle immagini e molti di loro dicono della sua formula, alcuni parametri aggiuntivi. Nessuno spiega l'intuizione e il significato reale dietro a fare la convoluzione su un'immagine. Ad esempio, l'intuizione della derivazione sul grafico è renderla più lineare, ad esempio. Penso che un …

9 terminology intuition graphics computer-vision

1

Rimozione dei duplicati in modo efficiente e con un sovraccarico di memoria insufficiente

Voglio filtrare in modo efficiente un elenco di numeri interi per i duplicati in modo che solo il set risultante debba essere memorizzato. In un modo questo può essere visto: abbiamo un intervallo di numeri interi S={1,…,N}S={1,…,N}S = \{1, \dots{}, N\} conNNN grande (diciamo2402402^{40} ) abbiamo una funzione f:S→Sf:S→Sf : …

9 algorithms data-structures sorting

3

La codifica Huffman è sempre ottimale?

Il requisito della codifica come prefisso libero comporta alberi di grandi dimensioni a causa della necessità di completare l'albero. Esiste una soglia in cui la memorizzazione non codificata di dati a lunghezza fissa sarebbe più efficiente della codifica dei dati?

9 information-theory data-compression

2

Introduzione alla verifica logica del primo ordine

Sto cercando di insegnarmi diversi approcci alla verifica del software. Ho letto alcuni articoli. Per quanto ho appreso, la logica proposizionale con temporale generalmente usa il controllo del modello con solutori SAT (nei sistemi in corso - reattivi), ma che dire della logica del primo ordine con temporale? Usa i …

9 reference-request logic formal-methods sat-solvers software-verification

5

Quanta matematica è necessario sapere per comprendere matematica / strutture discrete per l'informatica?

Normalmente le università insegnano matematica discreta / struttura discreta. La mia domanda è: quanta matematica è necessario sapere per comprendere quest'area? Il calcolo è richiesto o il precalcolo andrà bene? È necessario aver fatto delle prove prima di essere in grado di comprendere questo settore? Grazie a tutti per le …

9 discrete-mathematics

1

Trasformazione grammaticale delle espressioni aritmetiche

Nell'articolo Parsing Expressions di Recursive Descent di Theodore Norvell (1999) l'autore inizia con la seguente grammatica per le espressioni aritmetiche: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v …

9 formal-languages context-free formal-grammars left-recursion

1

Un algoritmo di rete neurale artificiale potrebbe essere espresso in termini di operazioni di riduzione della mappa?

Un algoritmo di rete neurale artificiale potrebbe essere espresso in termini di operazioni di riduzione della mappa? Sono anche interessato più in generale ai metodi di parallelizzazione applicati alle ANN e alla loro applicazione al cloud computing. Penso che un approccio implicherebbe l'esecuzione di un ANN completo su ciascun nodo …

9 parallel-computing artificial-intelligence neural-networks

1

Perché la complessità dell'annullamento del ciclo negativo ?

Vogliamo risolvere un problema di flusso di costi minimo con un algoritmo di annullamento del ciclo negativo generico. Cioè, iniziamo con un flusso casuale valido e quindi non selezioniamo alcun ciclo negativo "buono" come i cicli di costo medio minimo, ma usiamo Bellman-Ford per scoprire un ciclo minimo e aumentare …

9 algorithms graph-theory algorithm-analysis runtime-analysis network-flow