Domande taggate «approximation-algorithms»

Domande sugli algoritmi di approssimazione.

1
Quali sono i migliori compromessi tempo / errore possibili per la soluzione approssimativa dei programmi lineari?
Per concretezza considera l'LP per risolvere un gioco a somma zero per due giocatori in cui ogni giocatore ha azioni. Supponiamo che ogni voce della matrice di payoff sia al massimo 1 in valore assoluto. Per semplicità non facciamo ipotesi di scarsità.nnnUNUNA Supponiamo che Runtime sia disponibile per approssimare il …
5
È possibile verificare se un numero calcolabile è razionale o intero?
È possibile testare algoritmicamente se un numero calcolabile è razionale o intero? In altre parole, sarebbe possibile per una libreria che implementa numeri calcolabili fornire le funzioni isIntegero isRational? Immagino che non sia possibile e che ciò sia in qualche modo correlato al fatto che non è possibile verificare se …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
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 …
2
Caratterizzazione di problemi per i quali esistono algoritmi di tempo sublineare
Mi chiedevo se i problemi per i quali esistono algoritmi di tempo sublineare (nella dimensione di input) possano essere caratterizzati da proprietà specifiche. Ciò include tempo sublineare (ad es. Test di proprietà, una nozione alternativa di approssimazione per problemi di decisione), spazio sublineare (ad es. Algoritmi di sketch / streaming …
3
Perché i rapporti di approssimazione differenziale non sono ben studiati rispetto a quelli standard nonostante i loro benefici dichiarati?
MINsupAOPTsupAOPT\sup\frac{A}{OPT}MINMINMINAAAAAAOPTOPTOPTinfΩ−AΩ−OPTinfΩ−AΩ−OPT\inf\frac{\Omega-A}{\Omega-OPT}ΩΩ\Omega fornisce lo stesso rapporto di approssimazione per problemi come la copertura del vertice minimo e il set indipendente massimo che sono noti per essere solo realizzazioni diverse dello stesso problema; fornisce lo stesso rapporto per le versioni max e min dello stesso problema. Allo stesso tempo, nella teoria standard …
2
Cosa si sa di questa variante TSP?
Questa domanda è stata precedentemente pubblicata in Exchange Science Stack Exchange qui . Immagina di essere un venditore ambulante di grande successo con clienti in tutto il paese. Per accelerare la spedizione, hai sviluppato una flotta di droni monouso, ciascuno con una portata effettiva di 50 chilometri. Con questa innovazione, …
2
Approssimazione in tempi subsponenziali
Esistono studi sugli algoritmi di approssimazione per problemi NP completi in tempo polinomiale e algoritmi esatti in tempo esponenziale. Esistono studi sugli algoritmi di approssimazione per i problemi completi di NP nel tempo subesponenziale della forma dove ?2nδ22nδ22^{n^{\delta_2}}δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) Sono particolarmente interessato a ciò che è noto sui problemi approssimativi del …
1
Isomorfismo imperfetto del sottografo
Si consideri il seguente problema: dato un grafico di query G=(V,E)sol=(V,E)G = (V, E) e un grafico di riferimento G′=(V′,E′)G′=(V′,E′)G' = (V', E') , vogliamo trovare la mappatura iniettiva f:V→V′f:V→V′f : V \rightarrow V' che minimizza il numero di fronti (v1,v2)∈E(v1,v2)∈E(v_1, v_2) \in E tale che (f(v1),f(v2))∉E′(f(v1),f(v2))∉E′(f(v_1), f(v_2)) \notin E' …
1
Decomposizioni grafiche per combinare funzioni "locali" delle etichette dei vertici
Supponiamo di voler trovare o ∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Dove è preso max o somma su tutte le etichettature di VVV , prodotto è preso in tutti i bordi EEE per un grafo G={V,E}G={V,E}G=\{V,E\} e fff è una funzione arbitraria. Questa quantità è facile da …
2
Uso dell'assistente alla prova nella ricerca della teoria della complessità?
Considerando gli argomenti trattati in una conferenza come STOC, alcuni algoritmi o ricercatori di complessità utilizzano attivamente COQ o Isabelle? Se è così, come lo usano nella loro ricerca? Suppongo che la maggior parte delle persone non userebbe tali strumenti perché le prove sarebbero di livello troppo basso. Qualcuno sta …
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.