Scienza del computer

Domande e risposte per studenti, ricercatori e professionisti dell'informatica

3
Perché la relativizzazione è una barriera?
Quando stavo spiegando la prova Baker-Gill-Solovay che esiste un oracolo con cui possiamo avere, , e un oracolo con cui possiamo avere ad un amico, è una domanda sul perché tali tecniche siano provare il e non ho potuto dare una risposta soddisfacente.P=NPP=NP\mathsf{P} = \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Per …
2
Caratterizzazione di termini lambda che hanno tipi di unione
Molti libri di testo trattano i tipi di intersezione nel calcolo lambda. Le regole di digitazione per l'intersezione possono essere definite come segue (in cima al calcolo lambda semplicemente digitato con sottotipo): Γ ⊢ M: T1Γ ⊢ M: T2Γ ⊢ M: T1∧ T2( ∧ I)Γ ⊢ M: ⊤( ⊤ I)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧io)Γ⊢M:⊤(⊤io) …
3
Le subquery aggiungono potenza espressiva alle query SQL?
SQL ha bisogno di subquery? Immagina un'implementazione sufficientemente generalizzata del linguaggio di query strutturato per i database delle relazioni. Dal momento che la struttura dell'istruzione canonica SQL SELECTè in realtà abbastanza importante perché ciò abbia un senso, non mi rivolgo direttamente all'algebra relazionale, ma potresti inquadrarla in quei termini facendo …
1
Problema somma sottoinsieme con molte condizioni di divisibilità
Sia SSS un insieme di numeri naturali. Consideriamo SSS nell'ordine parziale di divisibilità, ovvero . Permetteres1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V an antichain }}\} . Se consideriamo il problema della somma dei sottoinsiemi in cui il multiset di numeri …
1
Quali algoritmi di apprendimento automatico possono essere utilizzati per le previsioni sulle serie temporali?
Attualmente sto giocando con le previsioni delle serie storiche (in particolare per il Forex). Ho visto alcuni articoli scientifici sulle reti di stati ecologici che sono applicati alle previsioni Forex. Esistono altri buoni algoritmi di apprendimento automatico per questo scopo? Sarebbe anche interessante estrarre modelli "redditizi" dalle serie storiche.
2
Che cos'è un compilatore batch?
Ho la seguente citazione dal corso del mio compilatore (nel contesto della colorazione dei grafici): Poiché è lento, la colorazione dei grafici tende a essere utilizzata nei compilatori batch, mentre la scansione lineare tende a essere utilizzata nei compilatori JIT. Non sono riuscito a trovare una definizione chiara online. Quindi, …
28 compilers 
6
Esistono programmi in grado di "tradurre" il codice sorgente tra due lingue?
Esistono programmi in grado di "tradurre" il codice sorgente tra due lingue (supponendo che il traduttore abbia accesso alle librerie necessarie)? In caso affermativo, come funzionano (tecniche utilizzate, conoscenze richieste, ecc.)? Come sarebbero fattibili? In caso contrario, quali sono le restrizioni che impediscono il loro sviluppo? È un problema completo …
2
Cosa significa "vera concorrenza"?
Sento spesso frasi come "vera semantica di concorrenza" e "equivalenze di vera concorrenza" senza riferimenti. Cosa significano quei termini e perché sono importanti? Quali sono alcuni esempi di vere equivalenze di concorrenza e quali sono le loro necessità? Ad esempio, in quali casi sono più applicabili di più equivalenze standard …
2
Esistono problemi specifici noti per essere indecidibili per ragioni diverse dalla diagonalizzazione, dall'autoreferenzialità o dalla riducibilità?
Ogni problema indecidibile che conosco rientra in una delle seguenti categorie: Problemi indecidibili a causa della diagonalizzazione (autoreferenziazione indiretta). Questi problemi, come l'arresto del problema, sono indecidibili perché potresti usare un presunto decisore per il linguaggio per costruire una TM il cui comportamento porta a una contraddizione. Potresti anche raggruppare …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.