Domande taggate «reference-request»

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

2
Numero limitato di occorrenze variabili in SAT 1-in-3
Esiste un risultato noto sulla classe di complessità 1-in-3-SAT con un numero limitato di occorrenze variabili? Ho escogitato la seguente riduzione parsimoniosa con Peter Nightingale, ma voglio citare qualcosa se questo è noto. Ecco il trucco che abbiamo trovato. Ciò mostra che 1-in-3-SAT limitato a 3 occorrenze per variabile è …
4
Esiste un'analisi matematica algoritmica?
Esistono teoria dei grafi algoritmica / teoria dei numeri / combinatoria / teoria dell'informazione / teoria dei giochi. Esiste un'analisi matematica algoritmica? Secondo il wiki, l'analisi matematica include le teorie della differenziazione, integrazione, misura, limiti, serie infinite e funzioni analitiche. È OK concentrarsi sull'analisi reale (wiki) che si occupa dei …
2
Limite inferiore alla stima
Vorrei sapere (correlato a questa altra domanda ) se erano noti limiti inferiori per il seguente problema di test: si ottiene l'accesso alla query a una sequenza di numeri non negativi e , con la promessa che o .an≥⋯≥a1an≥⋯≥a1a_n \geq \dots\geq a_1ε∈(0,1)ε∈(0,1)\varepsilon \in (0,1)∑nk=1ak=1∑k=1nak=1\sum_{k=1}^n a_k = 1∑nk=1ak≤1−ε∑k=1nak≤1−ε\sum_{k=1}^n a_k \leq 1-\varepsilon …
2
Come giudicare la definizione di complessità computazionale dei reali è naturale o adatta?
Come sappiamo, la definizione della complessità computazionale dell'algoritmo è quasi senza controversie, ma la definizione della complessità computazionale dei reali o dei modelli di calcolo sui reali non è in tal caso. Conosciamo il modello e il modello di Blum e Smales nel libro Analisi calcolabile. E apparentemente, il modello …
1
Identificazione di bordi inutili per il percorso più breve
GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i, j]iiijjjGGG+++maxmax\max Dico che un sottografo di (con lo stesso set di vertici) è sp-equivalente a se . In altre parole, la rimozione dei bordi per passare da a non modifica la lunghezza dei percorsi più brevi; i bordi rimossi non sono necessari per alcun percorso più breve.G′G′G'GGGGGGMG=MG′MG=MG′M_G = M_{G'}GGGG′G′G' …
1
Trasformazioni naturali e parametricità
In Teoremi gratis! , Wadler afferma che la caratterizzazione della parametricità può essere re-espressa in termini di trasformazioni naturali rilassate e questo sarà oggetto di un ulteriore documento. A quale documento si riferisce? L'approccio categorico alla parametricità che conosco utilizza trasformazioni dinaturali come nel polimorfismo di Functorial di Bainbridge, Freyd, …
7
Manuale di algoritmi avanzati
Sto cercando risorse (preferibilmente un manuale) su argomenti avanzati negli algoritmi (argomenti oltre a quelli trattati nei manuali di algoritmi come CLRS e DPV). Il tipo di materiale che può essere utilizzato per insegnare argomenti in un corso di algoritmi come Erik Demaine e il corso Advanced Algorithms di David …
1
Sull'isomorfismo grafico Problemi completi
Sono interessato a studiare i problemi completi di Graph Isomorphism (GI). Nel documento "Problemi polinomialmente equivalenti all'isomorfismo grafico" di Kellogg S. Booth, (1979), è stato dimostrato che molti problemi di base sono stati completati utilizzando tecniche di sostituzione dei bordi, tecniche di composizione, ecc. Vorrei imparare alcune tecniche che sono …
1
Un sondaggio sui separatori?
Ci sono ormai montagne di risultati sui separatori nei grafici, dal separatore planare, dal separatore di alberi, dai grafici di larghezza degli alberi delimitati, dai grafici del genere delimitati, ecc, ecc. Ecc. Esiste un buon sondaggio aggiornato su questo e sulle loro applicazioni?
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.