Scienza del computer

2

Eseguire un algoritmo sui dati in remoto e assicurarsi che la risposta non sia stata manomessa

Sto pensando a questo particolare problema di elaborazione / crittografia / database da anni e voglio solo sapere se ci sono già soluzioni. Ad essere sincero, non so nemmeno a quale campo appartenga esattamente questo problema. In breve: la persona A ha un elenco di dati, un'altra persona (B) ha …

8 cryptography security protocols encryption

2

Cos'è l'analogo Curry-Howard per le logiche lineari?

Come definito da Wikipedia, (La corrispondenza Curry-Howard) è una generalizzazione di un'analogia sintattica tra sistemi di logica formale e calcoli computazionali che fu scoperta per la prima volta dal matematico americano Haskell Curry e dal logico William Alvin Howard. Ad esso è associato il cubo λ, che è una rappresentazione …

8 logic type-theory functional-programming

2

Quali sono alcuni modi efficaci per trovare le differenze tra due grandi corpus di testo che hanno contenuti simili, ma ordinati diversamente?

Ho due file di grandi dimensioni contenenti paragrafi di testo inglese: Il primo testo è lungo circa 200 pagine e contiene circa 10 paragrafi per pagina (ogni paragrafo è lungo 5 frasi). Il secondo testo contiene quasi esattamente gli stessi paragrafi e testo del primo. È inoltre lungo 200 pagine …

8 strings data-mining natural-language-processing edit-distance

2

Dato un TM , lascia mai lo stato iniziale quando il nastro di avvio è vuoto?

Voglio determinare se questo problema di decisione è decidibile. Ho provato a stabilire riduzioni da Halt e "Accetta stringhe vuote", ma non ho ancora trovato una soluzione. Qualcuno mi può aiutare?

8 computability turing-machines undecidability

2

Qual è la complessità temporale di questo algoritmo? E perché?

Sono bloccato analizzando la complessità temporale del seguente algoritmo: def fun (r, k, d, p): if d > p: return r if d = 0 and p = 0: r <- r + k return r if d > 0: fun (r, k + 1, d - 1, p) if …

8 algorithm-analysis runtime-analysis

1

La funzione di attivazione dovrebbe essere monotona nelle reti neurali?

Molte funzioni di attivazione nelle reti neurali (sigmoide, tanh, softmax) sono monotone, continue e differenziabili (tranne che per un paio di punti, dove non esiste la derivata). Capisco il motivo della continuità e della differenziabilità, ma non riesco davvero a capire un motivo della monotonisità.

8 machine-learning neural-networks

1

Qual è la relazione tra problemi e lingue?

Voglio chiedere esattamente qual è la relazione tra problemi e lingue. Sappiamo che l'insieme di tutte le lingue non è numerabile. Anche l'insieme dei problemi non è numerabile? Ogni problema può essere definito da una lingua? Una lingua può risolvere più di un problema e viceversa? Esiste una corrispondenza uno …

8 formal-languages

2

Incarico di rendere insoddisfacente la formula

Immaginiamo di avere una formula soddisfacente F(UN0,UN1, . . .UNK,S0, . . . ,Sn)F(UN0,UN1,...UNK,S0,...,Sn)F(A_0, A_1,...A_k,S_0,...,S_n) Il problema da risolvere è "Esiste un'assegnazione per le variabili (S0, . . . ,Sn)(S0,...,Sn)(S_0,...,S_n) quale renderà F insoddisfacente? ". Un modo di risolvere è trovare tutte le soluzioni per F in termini di variabili …

8 logic satisfiability sat-solvers

2

Come può un sistema di tag ciclico arrestarsi con un output?

Ad esempio, possiamo dire di avere un programma astratto che, data una stringa binaria finita come input, rimuove tutti gli zeri (cioè 0010001101011 restituisce 111111), che è sicuramente una funzione calcolabile di Turing. Come può un sistema di tag ciclico calcolare questo (che può, per definizione, essendo Turing completo) quando …

8 computability turing-machines

2

Ridurre al minimo gli automi finiti deterministici senza stati accettanti

Ho un automa finito senza stati finali / accettanti, quindi F è vuoto. Come posso minimizzarlo? Ho avuto questo su un test e non sapevo come affrontare il problema perché l'automa non aveva stati di accettazione. Un singolo stato iniziale con tutte le transizioni in se stesso è la risposta …

8 automata finite-automata

2

Applicazioni reali per il problema di Steiner Tree?

Esistono applicazioni nel mondo reale dello Steiner Tree Problem (STP)? Capisco che il design del chip VSLI è una buona applicazione dell'STP. Ci sono altri esempi di problemi del mondo reale che le persone possono suggerire e che potrebbero essere formulati in termini di STP? Antefatto: sto iniziando la mia …

8 graph-theory reference-request optimization combinatorics applied-theory

1

C'è un hash continuo?

Domande: Può esserci un hash (crittograficamente sicuro) che preserva la topologia delle informazioni di {0,1}∗{0,1}∗\{0,1\}^{*}? Possiamo aggiungere un predicato di vicinanza calcolabile in modo efficiente quale dato hk(x)hk(x)h_k(x) e hk(y)hk(y)h_k(y) (o yyy stesso) ci dice se yyyè molto vicinoxxx (ad es. la distanza di Levenshtein o la distanza di Hamming …

8 complexity-theory cryptography hash string-metrics topology

2

Una mediana di un AVL. Come sfruttare l'AVL?

Ecco la fonte della mia domanda. Dato un albero auto-bilanciamento (AVL), codificare un metodo che restituisce la mediana. (Mediana: il valore numerico che separa la metà superiore di un campione di dati dalla metà inferiore. Esempio: se la serie è 2, 7, 4, 9, 1, 5, 8, 3, 6 allora …

8 data-structures search-trees selection-problem balanced-search-trees

1

Definizione del modello di apprendimento PAC

Il modello di apprendimento probabilmente approssimativamente corretto (PAC) è definito come: Una classe di concetti CCC si dice che sia apprendibile dal PAC se esiste un algoritmo UNUNA e una funzione polinomiale p o l y( ⋅ , ⋅ , ⋅ , ⋅ )poly(·,·,·,·)poly(·,·,·,·)tale che per qualsiasi e , per …

8 machine-learning

2

Campi informatici che si occupano di sistemi peer-to-peer

Sono un laureando e non vedo l'ora di diventare un accademico; fare tutto il dottorato e iniziare a fare ricerca. Sono interessato a una varietà di cose legate all'informatica, ma ultimamente le tecnologie P2P hanno davvero catturato il mio interesse. Ho l'impressione di dover scegliere uno dei campi di informatica …

8 distributed-systems research