Scienza del computer

2

Ricostruzione di grafici dalla distribuzione dei gradi

Data una distribuzione dei gradi, quanto velocemente possiamo costruire un grafico che segue la data distribuzione dei gradi? Uno schizzo di link o algoritmo sarebbe buono. L'algoritmo dovrebbe riportare un "no" in caso non sia possibile costruire un grafico e nessun esempio se è possibile costruire più grafici.

12 algorithms graphs graph-theory

2

Il linguaggio delle espressioni regolari ha bisogno di un push down degli automi per analizzarlo?

Voglio convertire un utente inserito espressione regolare in un NFA in modo da poter quindi eseguire l'NFA contro una stringa per scopi corrispondenti. Qual è la macchina minima che può essere utilizzata per analizzare le espressioni regolari? Presumo che debba essere un automa push down perché la presenza di parentesi …

12 formal-languages parsers regular-expressions pushdown-automata

1

Cos'è la classe di complessità

Cosa significa la classe di complessità ? So che ⊕ P è la classe di complessità che contiene le lingue A per le quali esiste una macchina di Turing M non deterministica temporale polinomiale tale che x ∈ A iff il numero di stati di accettazione della macchina M sull'ingresso …

12 complexity-theory terminology complexity-classes

2

Un oracolo per separare NP dal coNP

Come provare che ? Sto solo cercando un simile oracolo TM M e un linguaggio ricorsivo L ( M ) = L per cui vale.N PUN≠ c o N PUNNPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML ( M) = LL(M)=LL(M) = L So che la prova in cui si mostra che non v'è un …

12 complexity-theory relativization

4

Operazioni in cui la classe di lingue indecidibili non è chiusa

Esistono lingue indecidibili tali che la loro lingua di unione / intersezione / concatenata è decidibile? Qual è l'interpretazione fisica di tale esempio perché in generale, le lingue indecidibili non sono chiuse in queste operazioni? Cosa possiamo dire della chiusura di Kleene? Ne abbiamo anche degli esempi? Vale a dire …

12 formal-languages undecidability closure-properties

1

Qual è lo scopo del threading M: N (Hybrid)?

In altre parole, quali vantaggi ha il threading ibrido rispetto al threading 1: 1 (solo kernel) e N: 1 (solo utente)? Questo è il seguito di Qual è la differenza tra thread a livello di utente e thread a livello di kernel?

12 operating-systems concurrency os-kernel

1

Informazioni sull'algoritmo di riduzione di Codd

L'algoritmo di Codd converte un'espressione nel calcolo relazionale tupla in Algebra relazionale. Esiste un'implementazione standard dell'algoritmo? Questo algoritmo è usato da qualche parte? (Sembra che l'industria abbia bisogno solo di SQL e varianti, non sono sicuro dei teorici del database in ambito accademico.) Qual è la complessità della riduzione? Questo …

12 algorithms database-theory

2

In che modo una password wifi crittografa i dati utilizzando WEP e WPA?

In che modo la password immessa (per connettersi a una rete wireless) crittografa i dati sulla rete wireless? Attraverso la mia lettura non sono sicuro che la password che inseriamo sia la stessa della passphrase. Se è corretto, allora come può la passphrase generare le quattro chiavi WEP? Capisco come …

12 cryptography computer-networks encryption security

1

Trova i percorsi più brevi in un grafico unipatico ponderato

Si dice che un grafico diretto è unipatico se per due vertici e nel grafico , esiste al massimo un percorso semplice da a .v G = ( V , E ) u vuuuvvvG=(V,E)G=(V,E)G=(V,E)uuuvvv Supponiamo che mi venga dato un grafico unipatico tale che ogni fronte abbia un peso positivo …

12 algorithms graphs

2

Tutte le lingue regolari e senza contesto sono decidibili in modo efficace?

Mi sono imbattuto in questa figura che mostra che le lingue regolari e libere da contesto sono (proprio) sottoinsiemi di problemi efficienti (presumibilmente ). Capisco perfettamente che i problemi efficienti sono un sottoinsieme di tutti i problemi decidibili perché possiamo risolverli ma potrebbe richiedere molto tempo.PP\mathrm{P} Perché tutte le lingue …

12 formal-languages regular-languages context-free efficiency

5

Come viene scambiata la chiave in un protocollo di crittografia della chiave privata?

Windows NT utilizzava un protocollo point-to-point in cui un client può comunicare "in modo sicuro" con un server utilizzando un codice di flusso per crittografare una matrice di messaggi con una chiave kkk . Il server crittografa anche la sua risposta con la stessa chiave kkk . Ma come è …

12 cryptography encryption

1

Il teorema di smn è lo stesso concetto del curry?

Sto studiando il teorema di smn e il concetto mi ha ricordato il curry. Dall'articolo di Wikipedia sul teorema di smn : il teorema dice che per un dato linguaggio di programmazione e interi positivi m e n, esiste un algoritmo particolare che accetta come input il codice sorgente di …

12 computability

3

In che modo 0 ha due valori nel proprio complemento?

Si dice che nel complemento di 2 0 abbia un solo valore, mentre nel complemento di 1 sia +0 che -0 hanno valori separati. Quali sono?

12 arithmetic

1

La programmazione lineare ammette un algoritmo fortemente polinomiale?

Il problema della programmazione lineare: trova un algoritmo temporale fortemente polinomiale che per la data matrice A ∈ Rm × neb ∈ Rm decide se esiste x ∈ Rn con Ax ≥ b. So che Steve Smale elenca alcuni dei problemi irrisolti in matematica. Ma un tale problema di programmazione …

12 algorithms polynomial-time linear-programming

1

Google DeepDream Elaborato

Ho visto alcune domande su questo sito su Deep Dream, tuttavia nessuno di loro sembra parlare in realtà di ciò che DeepDream sta facendo, in particolare. Per quanto ho raccolto, sembrano aver cambiato la funzione obiettivo e anche cambiato la backpropagation in modo che invece di aggiornare i pesi aggiornino …

12 machine-learning artificial-intelligence neural-networks image-processing computer-vision