Scienza del computer

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

1
Funzioni utili tra polillogaritmico e polinomiale?
Mi chiedo se ci siano funzioni utili asintoticamente maggiori di una funzione pollogaritmica e meno di una funzione polinomiale. Cioè una funzione f( n )f(n)f(n) tale che f( n ) = ω ( log( n)K)f(n)=ω(log⁡(n)k)f(n) = \omega(\log(n)^k) per qualche costante k>0k>0k > 0 e f(n)=o(nk)f(n)=o(nk)f(n) = o(n^k) per qualche costante …
2
Nome corretto per un parser di discesa ricorsivo che utilizza loop per gestire la ricorsione a sinistra?
Questa grammatica è ricorsiva: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Quindi, in teoria, la discesa ricorsiva non funzionerà. Ma sfruttando le …
2
Ordina una matrice di
Sto cercando di capire come posso ordinare un array di elementi quando solo non sono presenti.nnnlognlog⁡n\log n Ho sentito che l'ordinamento di un array al massimo con inversioni ha complessità . Poiché ci sono elementi non ordinati, nel mio caso ci sono al massimo inversione.ioioIO ( n log( Io/ n))O(nlog⁡(io/n))O(n\log(I/n))lognlog⁡n\log …
8 sorting 
1
Dinamiche di apprendimento
Di recente ho appreso il Q-learning, una tecnica di apprendimento di rinforzo che stima direttamente il valore atteso di intraprendere un'azione in uno stato. Mi chiedo se esistano tecniche per fare "apprendimento della dinamica", al fine di stimare la dinamica di un sistema. Un agente di "apprendimento dinamico" potrebbe scegliere …
3
Variabile booleana vera equazione iff soddisfatta in ILP
Assumendo è una variabile booleana in un programma ILP (cioè , v ) e , sono delimitate interi variabili tra e . Voglio codificare il seguente vincolo di alto livello:yyyy∈Zy∈Zy \in Z0&lt;=y&lt;=10&lt;=y&lt;=10 <= y <= 1x1x1x_1x2x2x_2000MMM y=1⟺x1≤x2y=1⟺x1≤x2y = 1 \iff x_1 \le x_2 Finora ho questo: x1≤x2+(M+1)yx1≤x2+(M+1)yx_1 \le x_2 + …
1
Esiste un problema NP-completo, tale che la versione decisionale del suo problema di conteggio non è completa PP?
Una volta risolto un verificatore deterministico di tempo polinomiale V (input, certificato), il problema NP corrispondente è la domanda: per questo input esiste un certificato (dimensione polinomiale) tale che V (input, certificato) restituisce True? Il problema di conteggio associato (classe #P) è: quanti certificati esistono tali che V (input, certificato) …
2
Teoria del dominio e polimorfismo
La teoria dei domini offre una straordinaria teoria della calcolabilità in presenza di tipi semplici. Ma quando viene aggiunto il polimorfismo parametrico non sembra esserci una bella teoria che spieghi cosa sta succedendo altrettanto bene come la teoria dei domini spiega il calcolo su tipi semplici. Certamente non mi aspetto …
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.