Informatica teorica

2

Il modo migliore per determinare la dimensione minima di una struttura dati solo le distanze tra i punti

Mi sono imbattuto in questo problema in un'area della fisica abbastanza lontana dall'informatica, ma sembra il tipo di domanda che è stata studiata in CS, quindi ho pensato di provare la mia fortuna a chiederlo qui. Immagina di avere una serie di punti e un elenco di alcune delle distanze …

13 ds.algorithms cg.comp-geom

1

Casi di sistemi lineari risolvibili nel tempo quasi lineari

Lasciare un quadrato matrice reale A e due vettori x e b di lunghezza n , tale che A x = b . La risoluzione di x attraverso l'eliminazione gaussiana standard produce una complessità aggregata di quasi O ( n 3 ) . Tuttavia, ci sono casi in cui risolvere …

13 cc.complexity-theory linear-algebra matrices

2

Algoritmo decentralizzato per la determinazione di nodi influenti nei social network

In questo articolo di Kempe-Kleinberg-Tardos, gli autori propongono un avido algoritmo basato su funzioni sottomodulari per determinare i nodi più influenti in un grafico, con applicazioni ai social network.kkk Fondamentalmente l'algoritmo procede come segue: S=empty setS=empty setS = {\rm empty~set} scegli il nodo con la massima influenza individuale, chiamalo ; …

13 ds.algorithms graph-theory dc.distributed-comp social-sciences heuristics

1

Problema NP-completo per la geometria euclidea ma in P per la geometria non euclidea?

Ci sono problemi che sono NP-completi quando si usa la geometria euclidea ma sono ben definiti e risolvibili in tempo polinomiale per una geometria non euclidea?

13 reference-request cg.comp-geom

1

Algoritmi paralleli per la raggiungibilità nei grafici planari diretti

Chong, Han e Lam hanno dimostrato che la connettività st non indirizzata può essere risolta sulla PRAM EREW nel tempo con processori .O ( registro n )O(logn)O({\log}n)O ( m + n )O(m+n)O(m+n) Qual è l'algoritmo parallelo più noto per la connettività st nei grafici planari diretti? Indicare il tempo di …

13 ds.algorithms graph-theory dc.parallel-comp

1

Dato un grafico, decidere se la connettività del bordo è almeno n / 2 o meno

Il capitolo 1 del libro The Probabilistic Method, di Alon e Spencer menziona il seguente problema: Dato un grafico , decidere se la connettività del suo bordo è almeno n / 2 o meno.GGGn/2n/2n/2 L'autore cita l'esistenza di un algoritmo Matula e migliora a O ( n 8 / 3 …

13 ds.algorithms open-problem graph-algorithms

3

Applicazione riuscita di metodi branch-and-bound per problemi NP-hard

Branch and bound è un'euristica efficace per i problemi di ricerca e Wikipedia elenca una serie di problemi difficili in cui è stato utilizzato branch-and-bound. Tuttavia, non sono stato in grado di trovare riferimenti per suggerire che è più di un "solo metodo" per risolvere questi problemi. Aneddoticamente, ho sentito …

13 ds.algorithms reference-request optimization heuristics

1

Parità-L vs. NL

Parity-L, noto anche come L, è l'insieme di lingue riconosciute da una macchina di Turing non deterministica che può solo distinguere tra un numero pari o un numero dispari di percorsi di "accettazione". Una recente domanda correlata è stata posta da Niel de Beaudrap.⊕⊕\oplus La mia domanda è la seguente: …

13 cc.complexity-theory counting-complexity

1

Il conteggio delle cricche massime in un grafico di incomparabilità # P-completo?

Questa domanda è motivata da una domanda MathOverflow di Peng Zhang . Valiant ha mostrato che il conteggio delle cricche massime in un grafico generale è # P-completo, ma cosa succede se ci limitiamo ai grafici di incomparabilità (ovvero, vogliamo contare gli antoidi massimi in un poset finito)? Questa domanda …

13 cc.complexity-theory counting-complexity partial-order clique

3

Codice implementato per calcolare la larghezza del percorso (= numero di ricerca nodo, numero di separazione vertice, spessore intervallo)

Sto cercando un'implementazione di un algoritmo per calcolare la larghezza del percorso di un grafico. È noto che calcolare la larghezza del percorso equivale a calcolare il numero di ricerca del nodo, il numero di separazione del vertice o lo spessore dell'intervallo del grafico. L'algoritmo non deve essere molto veloce; …

13 ds.algorithms reference-request graph-algorithms implementation

5

Perché la codifica di Huffman elimina l'entropia che Lempel-Ziv non fa?

Il popolare algoritmo DEFLATE utilizza la codifica Huffman in cima a Lempel-Ziv. In generale, se disponiamo di una fonte di dati casuale (= 1 bit entropia / bit) , è probabile che nessuna codifica, incluso Huffman, li comprima in media. Se Lempel-Ziv fosse "perfetto" (che si avvicina alla maggior parte …

13 ds.algorithms it.information-theory coding-theory encoding

2

Riferimento per l'algoritmo di factoring ottimale di Levin?

Nel " Consiglio a uno studente laureato principiante " di Manuel Blum : LEONID LEVIN crede mentre lo faccio, qualunque sia la risposta a P = NP? problema, non sarà come qualsiasi cosa tu pensi che dovrebbe essere. E ha dato alcuni esempi meravigliosi. Per uno, ha dato un ALGORITMO …

13 ds.algorithms reference-request factoring

1

Richiesta di riferimento: prova priva di teoria dei numeri che i gruppi di stabilizzatori massimi determinano stati unici

Contesto. Sto scrivendo su temi come il teorema di Gottesman-Knill , utilizzando gruppi stabilizzatore Pauli, ma nel caso di d qudits -dimensionale - dove D può avere più di un fattore primario. (Sottolineo questo perché la maggior parte della letteratura sul formalismo stabilizzante in "dimensioni superiori" coinvolge i casi di …

13 reference-request quantum-computing

2

Quali sono le leggi equazionali per zero tipi?

Disclaimer : mentre mi interessa la teoria dei tipi, non mi considero un esperto di teoria dei tipi. Nel calcolo lambda tipizzato in modo semplice, il tipo zero non ha costruttori e un eliminatore univoco: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash initial (M) \colon A} Da un punto di vista …

13 pl.programming-languages type-theory lambda-calculus semantics

3

Il gioco Dracula

Background Questa domanda è motivata da un gioco da tavolo chiamato "Dracula". In questo gioco c'è un vampiro e quattro cacciatori, lo scopo dei cacciatori è catturare il vampiro. Il gioco si svolge in Europa. Il gioco ha il seguente aspetto: 1. Il giocatore cacciatore mette tutti i cacciatori nelle …

13 graph-theory co.combinatorics board-games combinatorial-game-theory