Scienza del computer

1

Supponiamo di voler unire due relazioni su un predicato. È in NC? Mi rendo conto che una prova del fatto che non si trova in NC equivarrebbe a una prova che , quindi accetterei la prova che si tratta di un problema aperto come risposta.P≠NCP≠NCP\not=NC Sono interessato sia al caso …

9 complexity-theory time-complexity parallel-computing database-theory descriptive-complexity

3

Risorse di apprendimento online per matematica discreta

Esistono buone risorse discrete per l'apprendimento della matematica con set di problemi?

9 reference-request education discrete-mathematics

4

Distanza più breve tra un punto in A e un punto in B

AAABBBnnnAAABBBmin { dist(p,q) | p∈A∧q∈B }min { dist(p,q) | p∈A∧q∈B }\min \space \{\mbox{ } \text{dist}(p, q) \mbox{ } | \mbox{ } p \in A \land q \in B \space \} Non sono sicuro di aver ragione, ma questo problema è molto simile ai problemi che possono essere risolti dalla programmazione …

9 algorithms computational-geometry

3

Come sentire intuitivamente che una lingua è regolare

Data una lingua L={anbncn}L={anbncn} L= \{a^n b^n c^n\} , come posso dire direttamente, senza guardare le regole di produzione, che questa lingua non è regolare? Potrei usare il lemma del pompaggio, ma alcuni ragazzi stanno dicendo solo guardando la grammatica che questo non è normale. Come è possibile?

9 formal-languages regular-languages pumping-lemma intuition

1

La prova che

Vorrei utilizzare il vostro aiuto per il seguente problema: . Mostra che L ∉ R E ∪ C o R E .L = { ⟨ M⟩ ∣ L ( M) è privo di contesto }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}L ∉ R E∪ Co R EL∉RE∪CoREL \notin …

9 formal-languages computability context-free turing-machines

3

Qual è la branca dell'informatica che studia come funzionano i programmi antivirus?

È un esercizio banale in automi finiti dimostrare che non esiste un algoritmo in grado di rilevare tutti i virus, eppure ci sono molte società di software che vendono software antivirus. C'è qualche parte di CS che si occupa di virus e antivirus? PS: Non sto chiedendo la giustificazione non …

9 reference-request security

1

I circuiti Depth-2 con porte OR e MOD non sono universali?

È noto che ogni funzione booleana può essere realizzata utilizzando un circuito booleano di profondità 2 (sopra le variabili, la loro negazione e i loro valori costanti) contenente porte AND nel primo livello e una singola porta OR nel livello superiore; questa è semplicemente la rappresentazione DNF di .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff …

9 complexity-theory logic circuits

1

Algoritmi di Machine Learning basati sulla "minimizzazione del rischio strutturale"?

Quali algoritmi di machine learning (oltre a SVM) utilizzano il principio di minimizzazione del rischio strutturale ?

9 reference-request machine-learning

4

Cosa si intende per interrupt nel contesto dei sistemi operativi?

Ho deciso di leggere i concetti dei sistemi operativi di Silberschatz, Galvin Gagne (ottava edizione) durante l'estate. Sono arrivato a un argomento che mi confonde: gli interrupt e il loro ruolo in relazione ai sistemi operativi. Il testo dice che un sistema operativo inizierà un primo processo come "init" e …

9 operating-systems computer-architecture process-scheduling

1

WPA2 con chiave precondivisa è un esempio di prova a conoscenza zero?

Quando si imposta un punto di accesso e si seleziona WPA2, è necessario immettere manualmente una chiave precondivisa (una password), PSK, sia nell'AP che nell'STA. Entrambe le parti, AP e STA, devono autenticarsi a vicenda. Ma devono farlo senza rivelare il PSK. Entrambi devono dimostrare all'altra parte di conoscere il …

9 cryptography security authentication

1

Alla ricerca di un algoritmo di classificazione che favorisca le voci più recenti

Sto lavorando a un sistema di classificazione che classificherà le voci in base ai voti che sono stati espressi nel corso di un periodo di tempo. Sto cercando un algoritmo che calcolerà un punteggio che è un po 'come una media, tuttavia mi piacerebbe favorire i punteggi più recenti rispetto …

9 algorithms data-mining

3

Se

Sono bloccato nel risolvere il prossimo esercizio: Sostieni che se è privo di contesto e è regolare, allora (ovvero il quoziente giusto ) è privo di contesto.R L / R = { w ∣ ∃ x ∈ RLLLRRRL/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx …

9 formal-languages context-free finite-automata closure-properties pushdown-automata

1

Problema del postino cinese: trovare le migliori connessioni tra nodi di livello dispari

Sto scrivendo un programma, risolvendo il problema del postino cinese (noto anche come problema di ispezione del percorso) in un drair non indirizzato e attualmente sto affrontando il problema per trovare i migliori bordi aggiuntivi per collegare i nodi con grado dispari, in modo da poter calcolare un circuito euleriano. …

9 algorithms graph-theory graphs

1

Attacca le funzioni hash che non soddisfano la proprietà a senso unico

Mi sto rivedendo per un corso di sicurezza informatica e sono bloccato su una delle domande passate. Eccolo: Alice ( AAA ) vuole inviare un breve messaggio MMM a Bob ( BBB ) usando un segreto condiviso SabSabS_{ab} per autenticare che il messaggio è arrivato da lei. Propone di inviare …

9 cryptography hash one-way-functions

3

Diagramma a T del Cross Compiler

Sto studiando Bootstrapping da Red Dragon Book Compilers e ho trovato abbastanza confuso il diagramma a T per il compilatore incrociato. Non riesco a capire cosa si intende per "Esegui il compilatore1 attraverso il compilatore2". Qualcuno può fornire qualche spiegazione, analogia o un esempio migliore da mettere in relazione con …

9 compilers terminology