Scienza del computer enumeration

2

Perché le funzioni totali non sono enumerabili?

Abbiamo imparato il concetto di enumerazioni di funzioni. In pratica, corrispondono ai linguaggi di programmazione. In un'osservazione passeggera, il professore ha affermato che la classe di tutte le funzioni totali (ovvero le funzioni che terminano sempre per ogni input) non è enumerabile. Ciò significherebbe che non possiamo escogitare un linguaggio …

29 computability semi-decidability enumeration

1

Classi di complessità relative all'elencazione di tutte le soluzioni?

Stavo leggendo una domanda su Stack Overflow che mi chiedeva se fosse NP -hard a elencare tutti i cicli semplici in un grafico contenente un nodo particolare e mi venne in mente che non riuscivo a pensare a nessuna classe di complessità esistente adatta per parlando di problemi del modulo …

15 complexity-theory reference-request complexity-classes enumeration

1

Trova i cicli semplici in un grafico diretto

Questo problema, per me, sembra molto interessante. Stava per trovare un semplice ciclo (cioè un ciclo in cui non si ripetono nodi) in un grafico diretto. La mia soluzione sta andando in questo modo, cioè questo grafico è un problema di caso: So che c'è un ciclo in un grafico, …

15 algorithms graphs enumeration

3

Quanto velocemente possiamo trovare tutte le combinazioni di Four Square che si sommano a N?

È stata posta una domanda a Stack Overflow ( qui ): Dato un intero , stampare tutte le possibili combinazioni di valori interi di A , B , C e D che risolvono l'equazione A 2 + B 2 + C 2 + D 2 = N .NNNA,B,CA,B,CA,B,CDDDA2+B2+C2+D2=NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = N …

12 complexity-theory time-complexity number-theory enumeration

1

Lunghezza media di percorsi (semplici) st in un grafico diretto

Dato che l' enumerazione del percorso - è un problema # P-completo, potrebbero esserci metodi efficienti che calcolano (o almeno approssimano) la lunghezza media del percorso - senza enumerarli? Cosa succede se i percorsi sono autorizzati a rivisitare i vertici?ssstttsssttt Anche risultati pertinenti su grafici speciali potrebbero essere utili.

11 algorithms complexity-theory graphs approximation enumeration

2

Perché i numeri calcolabili (nel senso di Turing) sono enumerabili?

Perché i numeri calcolabili (nel senso di Turing) sono enumerabili? Deve essere molto ovvio, ma al momento non lo vedo.

9 computability turing-machines enumeration

1

Algoritmo del tempo lineare per la ricerca di percorsi più brevi da a

Definizione. Dato un grafo e due vertici e , il problema -shortest-percorsi è trovare il semplici cammini minimi tra e in .G = ( V, E)G=(V,E)G=(V,E)SsstttKkkKkkSsstttsolGG Si noti che la lunghezza di questi percorsi non è necessariamente uguale e che i vertici e sono necessariamente collegati a . Mi chiedevo …

8 algorithms graphs optimization shortest-path enumeration

1

Genera algoritmicamente tutti i punti della griglia all'interno di un ipercubo

\def\R{\mathbb{R}}\def\Z{\mathbb{Z}}\def\n#1{\|#1\|_\infty} Il problema deriva direttamente dalla matematica computazionale e può essere dichiarato come segue: Data una matrice regolare M∈Rd×dM∈Rd×dM\in\R^{d\times d} , trova in modo efficace tutti i vettori v∈Zdv∈Zdv\in\Z^d tali che ∥Mv∥∞≤1‖Mv‖∞≤1\n{Mv}\leq1 , dove ∥Mv∥∞‖Mv‖∞\n{Mv} è il componente massimo del vettore in modulo. Fornisco un algoritmo di seguito, ma è …

8 algorithms linear-algebra enumeration

Domande taggate «enumeration»