Domande taggate «reference-request»

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

1
"Informazioni verificabili": è un concetto noto?
Quanto segue mi sembra una definizione naturale e mi chiedo se sia stata studiata da qualche parte Considera un insieme di lingue. Quindi K ⊂ { 0 , 1 } ω è chiamato " X informazioni verificabili" quando c'è L ∈ X stX⊂2{0,1}*X⊂2{0,1}*\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}K⊂{0,1}ωK⊂{0,1}ωK \subset \lbrace …
2
Risultati di complessità per le funzioni ricorsive elementari inferiori?
Incuriosito dall'interessante domanda di Chris Pressey sulle funzioni elementari ricorsive , stavo esplorando di più e non riuscivo a trovare una risposta a questa domanda sul web. Le funzioni ricorsive elementari corrispondono bene alla gerarchia esponenziale, .DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots Sembra chiaro dalla definizione che i problemi di decisione …
1
Completezza funzionale della logica a 3 valori
Nel contesto di alcuni lavori recenti , abbiamo definito un linguaggio basato su una logica a tre valori alla Kleene, dove sta per vero, per falso e per errore o non lo so. Per dimostrare che il nostro linguaggio era espressivo, volevamo dimostrare che potevamo costruire un insieme di operatori …
2
Percorsi più brevi che non consentono ogni bordo
Gradirei qualsiasi suggerimento o termine che potrebbe farmi iniziare nella giusta direzione. Abbiamo un grafico diretto e lunghezze per ogni fronte che può essere considerato positivo. C'è uno speciale nodo di partenza nodo finale e .G=(V,E)G=(V,E)G=(V,E)lijlijl_{ij}ijijijsssttt Per ciascun bordo , vorremmo calcolare la lunghezza del percorso più breve da a …
1
Euristica per l'ottimizzazione
Dal momento che è venerdì, è tempo di una domanda CW. Sto cercando euristiche che hanno un ampio uso in problemi di ottimizzazione. Per limitare il campo di applicazione a euristiche più "teoriche", ecco le regole (alcune arbitrarie, altre no) Dovrebbe essere un metodo ben definito senza numerosi parametri e …
2
Massimizzazione dei pesi del bordo di somma
Mi chiedo se il seguente problema abbia un nome o qualsiasi risultato ad esso correlato. G=(V,w)G=(V,w)G = (V,w)w(u,v)w(u,v)w(u,v)uuuvvvu,v∈Vu,v∈Vu,v \in Vw(u,v)∈[−1,1]w(u,v)∈[−1,1]w(u,v) \in [-1,1]maxS⊆V∑(u,v):u∈S or v∈Sw(u,v)maxS⊆V∑(u,v):u∈S or v∈Sw(u,v)\max_{S \subseteq V} \sum_{(u,v) : u \in S\ \textrm{or}\ v\in S} w(u,v) Si noti che sto contando i bordi sia all'interno del sottoinsieme che all'esterno …
2
Informazioni su k-SAT (introduzione, limiti, metodi, ecc.)
Mi piacerebbe sapere dove posso rivolgermi per una buona e delicata introduzione a k-SAT (questo potrebbe essere per i matematici che potrebbero non avere una buona preparazione informatica). Mi piacerebbe anche conoscere articoli che potrebbero sondare o spiegare gli attuali metodi usati per risolvere k-SAT. Infine, sono interessato ai metodi …
3
Algoritmi per triangolazione poligonale
Ho avuto difficoltà a trovare algoritmo o articoli pubblicati sulla triangolazione del poligono autointersecante (anche poligono con struttura del foro). Qualcuno può guidarmi nella ricerca di articoli / algoritmi pubblicati, per favore? PS: qualcuno tagga questa domanda in modo appropriato per favore, non ho abbastanza punti reputazione per farlo.
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.