Informatica teorica ds.algorithms

1

Si sa qualcosa sul seguente problema? Ha assolutamente senso? Come si chiama? È banalmente equivalente a qualche altro problema? Qual è la complessità temporale? Dato un grafico non orientato (generale / planare / di grado limitato / ecc.) G = (V, E), trova un sottoinsieme massimo di spigoli E ', …

14 ds.algorithms graph-theory

5

Il miglior libro sull'implementazione del metodo Simplex?

Sono interessato all'implementazione dell'attività SM per LP, tuttavia ho sentito parlare di possibili insidie: il libro di Cormen afferma che è possibile avere dati di input che renderanno l'implementazione ingenua per comportarsi in tempo esponenziale. Ho anche sentito che un'implementazione ingenua può eseguire il loop per alcuni tipi di dati. …

14 ds.algorithms linear-programming software implementation simplex

2

L'esistenza del conservatore di distanza planare?

Sia G un grafico n-nodo non orientato e T sia un sottoinsieme nodo di V (G) chiamato terminali . Un conservatore di distanza di (G, T) è un grafico H che soddisfa la proprietà dH( u , v ) = dsol( u , v )dH(u,v)=dsol(u,v)d_H(u,v) = d_G(u,v) per tutti i …

14 ds.algorithms reference-request graph-algorithms planar-graphs

2

Algoritmo per ordinare le coppie di numeri

Ho già fatto questa domanda su StackOverflow , ma forse è più adatto a questo sito. Il problema è: Ho N coppie di numeri interi senza segno. Devo ordinarli. Il vettore finale delle coppie deve essere ordinato in modo non crescente in base al primo numero in ciascuna coppia e …

14 ds.algorithms sorting

2

Il compromesso spazio-temporale e il miglior algoritmo

Considera una lingua LLL tale che: L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) e così L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) In altre parole, la macchina più veloce calcola L nel tempo O ( f ( n ) ) e la macchina M ′ più efficiente in termini di spazio calcola L mentre …

14 cc.complexity-theory ds.algorithms open-problem space-time-tradeoff

2

Giustificazione del metodo ungherese (Kuhn-Munkres)

Ho scritto un'implementazione dell'algoritmo Kuhn-Munkres per il problema della corrispondenza perfetta bipartita di peso minimo basato sugli appunti delle lezioni che ho trovato qua e là sul web. Funziona davvero bene, anche su migliaia di vertici. E sono d'accordo sul fatto che la teoria che sta dietro sia veramente bella. …

14 ds.algorithms graph-theory linear-programming simplex

2

Algoritmo ottimale per trovare la circonferenza di un grafico sparso?

Mi chiedo come trovare la circonferenza di un grafico sparso non orientato. Per rado intendo . Per ottimale intendo la minore complessità temporale.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Ho pensato ad alcune modifiche all'algoritmo di Tarjan per i grafici non indirizzati, ma non ho trovato buoni risultati. In realtà ho pensato che se avessi trovato …

14 ds.algorithms graph-theory open-problem

2

Numero di tagli di un grafico senza usare l'algoritmo di Karger

Sappiamo che l'algoritmo di taglio di Karger può essere usato per dimostrare (in modo non costruttivo) che il numero massimo di possibili tagli che un grafico può avere è ( n2)(n2)n \choose 2 . Mi chiedevo se potessimo in qualche modo provare questa identità dando una prova biiettiva (piuttosto iniettiva) …

14 ds.algorithms graph-theory co.combinatorics graph-algorithms max-flow-min-cut

1

Prove di correttezza dei classici Paxos e Fast Paxos

Sto leggendo il documento "Fast Paxos" di Leslie Lamport e rimango bloccato con le prove di correttezza di entrambi i classici Paxos e Fast Paxos. Per coerenza, il valore scelto dal coordinatore in fase al turno dovrebbe soddisfarevvv2a2a2aiii CP(v,i):CP(v,i):CP(v,i): per ogni round , nessun valore diverso da è stato o …

13 ds.algorithms dc.distributed-comp proofs

1

La somma dei sottogruppi DAG è approssimativa?

Ci viene dato un grafico aciclico diretto con un numero associato a ciascun vertice ( ) e un numero target .G = ( V, E)sol=(V,E)G=(V,E)g: V→ Ng:V→Ng:V\to \mathbb{N}T∈ NT∈NT\in \mathbb{N} Il problema della somma del sottoinsieme DAG (potrebbe esistere con un nome diverso, un riferimento sarà ottimo) chiede se ci …

13 ds.algorithms graph-theory graph-algorithms approximation-algorithms subset-sum

2

Modifica la distanza con le operazioni di spostamento

Motivazione: un coautore pubblica un manoscritto e vorrei vedere un chiaro riassunto delle modifiche. Tutti gli strumenti simili a "diff" tendono ad essere inutili se si spostano entrambi i testi (ad esempio, riorganizzando la struttura) e si apportano modifiche locali. È davvero così difficile farlo bene? Definizioni: vorrei trovare la …

13 ds.algorithms reference-request parameterized-complexity string-matching edit-distance

1

Algoritmi esatti per la programmazione quadratica non convessa

Questa domanda riguarda problemi di programmazione quadratica con vincoli di riquadro (box-QP), ovvero problemi di ottimizzazione del modulo minimizza f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x} soggetto a x∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n . Se fosse semi-definito positivo, allora tutto sarebbe bello, convesso e facile, e potremmo risolvere il problema in …

13 ds.algorithms optimization exp-time-algorithms

1

Capacità di Unively Solvable Puzzle (USP)

Nel loro seminario Algoritmi teorici di gruppo per le moltiplicazioni di matrici , Cohn, Kleinberg, Szegedy e Umans introducono il concetto di puzzle unicamente risolvibile (definito di seguito) e la capacità USP. Sostengono che Coppersmith e Winograd, nella loro innovativa moltiplicazione Matrix tramite progressioni aritmetiche , "implicitamente" dimostrano che la …

13 ds.algorithms co.combinatorics algebraic-complexity matrix-product

2

Rafforzamenti della sottomodularità

Una funzione set è sottomodulare monotona se per tutte , A , B f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffA , BUN,BA,Bf( A ) + f( B ) ≥ f( A ∪ B …

13 ds.algorithms approximation-algorithms submodularity

2

Costruzioni di alberi di suffisso a tempo lineare concettualmente semplici

Nel 1973 Weiner diede la prima costruzione lineare di suffissi. L'algoritmo è stato semplificato nel 1976 da McCreight e nel 1995 da Ukkonen. Tuttavia, trovo che l'algoritmo di Ukkonen sia relativamente coinvolto concettualmente. Ci sono state semplificazioni dell'algoritmo di Ukkonen dal 1995?

13 ds.algorithms

Domande taggate «ds.algorithms»