Domande taggate «reference-request»

La richiesta di riferimento viene utilizzata quando l'autore deve conoscere il lavoro correlato alla domanda.

3
Problemi succinti in
Lo studio della rappresentazione succinta dei grafici è stato avviato da Galperin e Wigderson in un articolo del 1983, in cui dimostrano che per molti semplici problemi come trovare un triangolo in un grafico, la corrispondente versione succinta in . Papadimitriou e Yanakkakis approfondiscono questa linea di ricerca e dimostrano …
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
Traduzione di SAT in HornSAT
È possibile tradurre una formula booleana B in una congiunzione equivalente di clausole di Horn? L'articolo di Wikipedia su HornSAT sembra implicare che lo sia, ma non sono stato in grado di inseguire alcun riferimento. Nota che non intendo "in tempo polinomiale", ma piuttosto "affatto".
4
Copertura impostata per la frequenza limitata della cardinalità limitata: durezza di approssimazione
Considera il problema minimo di copertura dei set con le seguenti restrizioni: ogni set contiene al massimo elementi e ogni elemento dell'universo si presenta al massimo in set.kkkfff Esempio: il caso e equivale al problema di copertura minima del vertice nei grafici con grado massimo 4.k=4k=4k = 4f=2f=2f = 2 …
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 …
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.