Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

3
Esiste un algoritmo di approssimazione dei fattori costante per il problema della colorazione del rettangolo 2D?
Il problema che consideriamo qui è l'estensione del noto problema di colorazione degli intervalli. Invece degli intervalli consideriamo i rettangoli con lati paralleli agli assi. L'obiettivo è colorare i rettangoli utilizzando un numero minimo di colori in modo tale che a due rettangoli sovrapposti vengano assegnati colori diversi. Questo problema …
4
In che modo le lingue imperative sono più diverse l'una dall'altra rispetto alle lingue funzionali?
Sto leggendo L'implementazione dei linguaggi di programmazione funzionale di Simon Peyton Jones e c'è un'affermazione che mi ha sorpreso un po '(a pagina 39): In misura molto maggiore rispetto alle lingue imperative, le lingue funzionali sono in gran parte variazioni sintattiche l'una dell'altra, con relativamente poche differenze semantiche. Ora, questo …
4
Complessità nel trovare una seconda soluzione data una soluzione corretta a un problema NP-completo
Sto cercando di capire se ci sono risultati generali o esempi riguardanti la completezza NP del problema di trovare una seconda soluzione a un problema NP completo. Più precisamente, sono interessato a qualsiasi problema del seguente modulo: Data una soluzione a un'istanza I di un problema NP-completo, esiste una soluzione …
1
La struttura delle istanze patologiche per gli algoritmi simplex
Per quanto ne so, tutti sanno che le regole pivot deterministiche per gli algoritmi simplex hanno input specifici su cui l'algoritmo richiede tempo esponenziale (o almeno non polinomiale) per trovare l'ottimale. Chiamiamo queste istanze "patologiche" poiché di solito (cioè sulla maggior parte degli input) l'algoritmo simplex termina rapidamente. Ricordo dal …
1
Set di gradi per grafici ad estensione lineare
Un'estensione lineare di un poset è un ordine lineare sugli elementi di , tale che in implica in per tutti .P P x ≤ y P x ≤ y L x , y ∈ PLLLPP\mathcal{P}PP\mathcal{P}x ≤ yx≤yx \leq yPP\mathcal{P}x ≤ yx≤yx \leq yLLLx , y∈ Px,y∈Px,y\in\mathcal{P} Un grafico di estensione …
5
Un computer può simularsi come parte di un mondo simulato?
Supponiamo che tu costruisca un computer che calcolerà lo stato di tutti gli atomi nell'Universo in un determinato momento futuro. Poiché l'Universo è, per definizione, tutto ciò che esiste (e tutto ciò che interagisce con il resto), include anche il computer che stai costruendo. Puoi calcolare lo stato di tutti …
5
Soddisfazione di vincoli aperti o interattivi
In passato, ho implementato modelli di coordinamento utilizzando SAT e la soddisfazione dei vincoli regolari come cavallo di battaglia principale nei loro motori. Continuando in questa linea di lavoro, vorrei rendere i modelli più interattivi e il modo migliore che vedo di fare questo è quello di aprire il risolutore …
17 sat  lo.logic  csp 
3
Randomizza o no?
Questa domanda è ispirata alla maglietta del Georgia Tech Algorithms and Randomness Center , che chiede "Randomize or no ?!" Ci sono molti esempi in cui la randomizzazione aiuta, specialmente quando si opera in ambienti contraddittori. Ci sono anche alcune impostazioni in cui la randomizzazione non aiuta o fa male. …
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.