Scienza del computer reference-request

2

Qual è lo stato attuale dei programmi paralleli o concorrenti nell'isomorfismo di Curry-Howard?

In Prove e tipi di Girard possiamo leggere: Da un punto di vista algoritmico, il calcolo sequenziale non ha isomorfismo di Curry-Howard, a causa della moltitudine di modi di scrivere la stessa prova. Questo ci impedisce di usarlo come un calcolo tipizzato, sebbene si intraveda una struttura profonda di questo …

9 reference-request logic parallel-computing

1

Doppi triangoli unici di poligoni semplici

Data una triangolazione (senza punti di Steiner) di un semplice poligono , si può considerare il doppio di questa triangolazione, che è definita come segue. Creiamo un vertice per ogni triangolo nella nostra triangolazione e colleghiamo due vertici se i triangoli corrispondenti condividono un bordo. Il doppio grafico è noto …

9 reference-request computational-geometry

1

Il trucco usato nella dimostrazione della doppia complessità esponenziale dell'aritmetica di Presburger

L'ho pubblicato su MathUnderflow ma non ho ricevuto risposte, quindi ho pensato di provarlo qui, Sto leggendo il vecchio documento di Rabin e Fischer [pubblicherò un link quando possibile] dove, tra le altre cose, è dimostrata la doppia complessità esponenziale dell'aritmetica di Presburger. La dimostrazione si basa sull'esistenza di una …

9 complexity-theory reference-request logic

4

Perché la ricerca binaria è chiamata ricerca binaria?

Ho sentito diverse possibili spiegazioni, quindi vorrei un riferimento attendibile. Aggiornamento 05.19: Sono interessato alla domanda perché uno dei miei studenti ha scritto nella sua tesi che il nome deriva dalla seguente spiegazione (1). Fino ad ora ho pensato / sentito che deriva dalla spiegazione (2). Mi sentirei male sia …

9 terminology reference-request history

3

Equivalenza dell'analisi del flusso di dati, interpretazione astratta e inferenza del tipo?

@La risposta di Babou a una domanda recente mi ricorda che un tempo penso di aver letto un documento sull'equivalenza (in termini di entrambi i fatti che possono essere inferiti o dimostrati e la complessità temporale dell'esecuzione dell'algoritmo di inferenza) dell'analisi del flusso di dati , interpretazione astratta e inferenza …

9 reference-request compilers type-inference program-optimization

1

Distribuzioni di probabilità e complessità computazionale

Questa domanda riguarda l'intersezione della teoria della probabilità e della complessità computazionale. Un'osservazione chiave è che alcune distribuzioni sono più facili da generare rispetto ad altre. Ad esempio, il problema Dato un numero nnn , restituisce un numero uniformemente distribuito iii con 0≤i<n0≤i<n0 \leq i < n . è facile …

9 complexity-theory reference-request probability-theory probabilistic-algorithms

1

Quali algoritmi esistono per risolvere i sistemi lineari numerici naturali?

Sto osservando il seguente problema: Dato nnn vettori -dimensionale di numeri naturali v1,…,vmv1,…,vmv_1, \ldots, v_m ed alcuni input vettore uuu , è uuu una combinazione lineare di viviv_i 's con coefficienti numerici naturali? cioè ci sono alcuni dove u = t 1 v 1 + ⋯ + t m v …

9 algorithms reference-request linear-algebra integers knapsack-problems

1

Quali sono gli isomorfismi appropriati tra i linguaggi formali?

Un linguaggio formale sopra un alfabeto è un sottoinsieme di , cioè un insieme di parole su quell'alfabeto. Due linguaggi formali e sono uguali, se gli insiemi corrispondenti sono estensivamente uguali a sottoinsiemi di . Si possono usare le lingue nella teoria della complessità per formalizzare il concetto di "problema". …

9 complexity-theory formal-languages reference-request

1

Differenza tra le lingue accettate da due DFA con diverso stato iniziale / stati accettanti?

Di recente, ho posto una domanda su Math SE. Ancora nessuna risposta. Questa domanda è collegata a quella domanda, ma maggiori dettagli tecnici verso l'informatica. Dati due DFA A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) e B=(Q,Σ,δ,q2,F2)B=(Q,Σ,δ,q2,F2)B = (Q, \Sigma, \delta, q_2, F_2) dove l'insieme di stati, l'alfabeto di input …

9 formal-languages reference-request finite-automata

2

Complessità di una variante di somma di sottoinsieme

Questa variante del problema della somma dei sottoinsiemi è facile / conosciuta? Dato un numero intero e un set di numeri interi positivi tale che ogni ha al massimo bit impostati su ( ); esiste un sottoinsieme tale che la somma dei suoi elementi sia uguale a ?A = { …

9 complexity-theory reference-request decision-problem

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

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

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

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

2

Teorema di Courcelle: alla ricerca di documenti

Sto cercando un documento facile e introduttivo sulla dimostrazione del teorema di Courcelle . Sono anche interessato alla sua connessione con la complessità parametrizzata per quanto riguarda la larghezza degli alberi . Sono solo un principiante in questo campo. Eventuali suggerimenti?

9 complexity-theory graph-theory reference-request discrete-mathematics parameterized-complexity

Domande taggate «reference-request»