Domande taggate «ds.algorithms»

Domande relative a istruzioni ben definite per il completamento di un'attività e analisi pertinenti in termini di tempo / memoria / ecc.

1
Chi per primo ha proposto di utilizzare l' algoritmo Monte Carlo
Sono sicuro che tutti conoscono l' esperimento con ago di Buffon nel 18 ° secolo, che è uno dei primi algoritmi probabilistici per calcolare .ππ\pi L'implementazione dell'algoritmo nei computer di solito richiede l'uso di , o una funzione trigonometrica, che, anche se implementati come serie troncate, in qualche modo vanifica …
4
Compendio dei migliori risultati di approssimazione e durezza per problemi di ottimizzazione NP
Conosci qualche wiki aggiornato dedicato ai problemi di ottimizzazione NP con i loro migliori risultati di approssimazione e durezza? Sulla base del feedback, sembra sicuro supporre che non ci sia una tale risorsa (vedi la fine di questa domanda per due opzioni vicine). - aggiunto l'8 febbraio. Poiché vi è …
3
Arrotondamento per ridurre al minimo la somma degli errori nelle distanze a coppie
Cosa si sa della complessità del seguente problema: Dato: numeri razionali .x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n Output: numeri interi .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n Obiettivo: minimizzare dove∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j),e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. Cioè, vorremmo arrotondare i numeri razionali in …
2
Perché c'è un'enorme differenza tra i solutori SAT?
I solutori di SAT sono molto importanti negli attacchi algebrici , ad esempio walkingat e minisat . Tuttavia, quando si risolvono i problemi di benchmark disponibili qui c'è un'enorme differenza di prestazioni tra i due: Walksat è molto più veloce di minisat per questi problemi. Perchè è questo? Questa implementazione …
5
Problema minimo di connettività Flip
Oggi ho formulato il seguente problema mentre giocavo con il mio GPS. Ecco qui : Sia un grafico diretto tale che se quindi , ovvero è un orientamento del grafico non orientato sottostante. Considera le seguenti operazioni:e = ( u , v ) ∈ E ( v , u ) …
4
Avvio delle carte del solutore SAT
Voglio fare un primo solutore SAT. Conosco la competizione SAT e la conferenza SAT, e ci sono così tanti articoli su questo argomento. Sono un antipasto, un antipasto sopraffatto. Dove dovrei iniziare? Alla fine voglio spingere lo stato dell'arte. Voglio un consiglio di esperti su come iniziare, in modo da …
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.